Bergold et al.'s plane subdrawing conjecture for simple drawings

Let KnK_n be drawn simply in the plane. A plane subdrawing is a subdrawing whose edges do not cross, and a Hamiltonian cycle is a cycle through all nn vertices. Bergold et al.'s conjecture. Every simple drawing of KnK_n contains a plane subdrawing with 2n32n-3 edges which contains a Hamiltonian cycle. The conjecture is proved for convex drawings and verified for simple drawings with n9n\leq 9; it remains open in general.

Sources & referencesView supporting material

Primary source

Helena Bergold and Manfred Scheucher, “Investigating Simple Drawings of K_n using SAT”, arXiv:2504.02650 (2025).

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.