1
Контрприклад для ефективного алгоритму Корнейля для Ізоморфізму Графа
У роботі Ефективний алгоритм для ізоморфізму графів Корнейла та Готлиба, 1970 р., Було викладено гіпотезу, згідно з якою зазначений алгоритм спирався на розв’язання ГІ у поліноміальний час. А саме: що репрезентативні графіки демонструють розділення автоматифізму даного графа Очевидно, ця гіпотеза досі не доведена (інакше ми б знали, що GI знаходиться …