The independence ratio of a graph is the ratio of its independence
number to the vertex count of
(Bollobás 1981).
The product of the chromatic number and independence ratio of a graph is at least 1 (Bollobás 1981).
Dúcz and Varga (2026) constructed the snail graph and used it to prove the existence of a finite unit-distance
graph
with
,
answering in the negative Erdős's question whether every such graph has independence
ratio at least 1/4. ChatGPT and Codex assisted the computational search and software
development, while the authors state that they conceived and verified the mathematical
arguments. Independent peer review had not been reported as of Sep. 21, 2026
(Dúcz and Varga 2026, VibeMathed 2026).
Precomputed independence numbers for many named graphs can be obtained in the Wolfram Language using GraphData[graph, "IndependenceRatio"].