The mean connected induced subgraph order of a finite graph
is the average number of vertices in its nonempty
connected induced subgraphs. The average is over
inducing vertex sets, not over graph
isomorphism classes. Writing
for those sets, it is
The Vince conjecture asserts for every connected
-vertex simple graph of minimum vertex degree at least three. Chen and
Ma (2026) proved the strict inequality
. Chen and Ma (2026) credit GPT Astra, accessed through
Danus, with assistance in developing some proofs.