فرض کنید $g$ یک گراف بدون پل و ${mathcal{c}}={c_1,ldots , c_k}$ گردایه ای از دورهای $g$
باشد، به طوری که هر یال $g$ دقیقاً در دو عنصر ${mathcal{c}}$ ظاهر شود، در این صورت ${mathcal{c}}$ را یک
gi{cdc}
$g$ می نامند و آن را به اختصار با gi{n:cdc}
نشان می دهند. در سال 1979
سیمور
% gi{seymour}
حدس زد هر گراف بدون پل دارای یک gi{n:cdc} است. تاکنون هیچ مثال نقضی...