ИСТИНА

Имея связную диаграмму зацепления, мы можем на ней рассмотреть эйлеровы циклы и построить для каждого цикла граф пересечений. Заметим, что существуют простые графы, которые не являются графами пересечений никакого эйлерова цикла. Определяя движения Рейдемейстера на графах пересечений и продолжая их на все простые графы, мы получим новые теории. Мы покажем, что при построении этих теорий достаточно рассматривать только поворачивающие обходы (эйлеровы циклы, которые поворачивают в каждом классическом перекрестке), т.е. каждая теория “нереализуемых” графов эквивалентна теории, построенной с использованием поворачивающих обходов. Также мы обсудим, как можно определить ориентацию на граф-зацеплениях с многими компонентами.