The convex-extension conjecture for COM tope graphs
Convex-extension conjecture. Every G∈GCOMG\in\mathcal{G}_{\rm COM}G∈GCOM is a convex subgraph of a graph G′∈GOMG'\in\mathcal{G}_{\rm OM}G′∈GOM.
MathDB