Доказательство гипотезы В. А. Васильева о планарности сингулярных зацеплений

Доказано, что конечный четырехвалентный граф с крестовой структурой в вершинах нельзя вложить в плоскость с сохранением этой структуры тогда и только тогда, когда в нем найдутся два цикла с попарно различными ребрами, имеющие ровно одну точку трансверсального (в смысле крестовой структуры) перекрестья. Это дает квадратичный (по числу вершин) алгоритм распознавания планарности графа с такой структурой.
Библиография: 8 наименований.