Все эти условия легко проверить за полиномиальное время, однако задача проверки, имеет ли рёберно 4-раскрашенный 4-регулярный граф рисунок с четырьмя углами наклона, соответствующих цветам, является полной для теории существования вещественных чисел, того же класса сложности, что и NP-полнота.
Ezek a feltételek polinom időben még mind könnyen tesztelhetők; az a probléma azonban, ahol a 4-élszínezett 4-reguláris gráfok négy lejtésszöggel való lerajzolását vizsgáljuk, teljes az existential theory of the reals(wd) nagyobb osztályára nézve, ami legalább olyan nehéz bonyolultsági osztály, mint az NP-teljesség.WikiMatrix WikiMatrix