Cycle-complement conjecture for dense uniformly most reliable graphs

Let CmC_m denote a cycle of length mm, let \cup denote disjoint union, and let an overline denote graph complementation. A uniformly most reliable graph (UMRG) is a graph with the highest all-terminal reliability among graphs having the same order and size, for every edge-failure probability. Write n=3k+rn=3k+r with 0r<30\leq r<3.

Cycle-complement conjecture. For any n5n\geq 5 and e=n(n3)/2e=n(n-3)/2, the graph

(k1)C3C3+r\overline{(k-1)C_3\cup C_{3+r}}

is a UMRG.

The conjecture was verified in the paper for n11n\leq 11, with strong computational evidence for n=12,13,14n=12,13,14. Its general case remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Nicole Rosenstock and Eduardo A. Canale, “Counterexample to a Boesch's Conjecture”, arXiv:2212.03912 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.