Три-раскрашиваемость чистых детских рисунков снáрков и задача “Охота на сна́рка”

Теорема Тейта как следствие из теоремы о четырех красках утверждает, что планарные кубические графы являются три-раскрашиваемыми, т.е. все их ребра могут быть раскрашены в три цвета. Первым содержательным контрпримером к теореме Тейта стал нетривиальный кубический (тривалентный) граф Петерсена $P,$ который является минимальным и единственным с хроматическим индексом 4. Целочисленная последовательность OEIS А130315 описывает, по определению Мартина Гарднера, число снарков (с охватом $\ge5),$ т.е. нетривиальных кубических графов с числом вершин равным $2n.$ Высказывается гипотеза, что при переходе от категории снарков Snarks к категории чистых детских рисунков снарков SnarksPureDessins, получаемые двукрашенные в вершинах графы могут быть три-раскрашиваемы по полуребрам. Приведено вложение графа Петерсена $P$ в двойной тор $\Sigma_2.$ Приводится доказательство $RGB$ теоремы о циклическом двойном накрытии графа Петерсена–Белого $PB.$