The local characterization of f-convex drawings

Let DD be an h-convex drawing of KnK_n, meaning that every induced subdrawing on K5K_5 is convex, and let D[J]D[J] denote the subdrawing induced by an isomorph JJ of K8K_8. The local f-convexity conjecture. DD is f-convex if and only if, for every isomorph JJ of K8K_8, D[J]D[J] is f-convex. This proposes a forbidden-drawing characterization of f-convexity within h-convex drawings; the source gives examples of h-convex drawings that are not f-convex but provides no resolution of the conjecture.

Sources & referencesView supporting material

Primary source

Alan Arroyo, Dan McQuillan, R. Bruce Richter and Gelasio Salazar, “Convex drawings of the complete graph: topology meets geometry”, arXiv:1712.06380 (2017).

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.