Чи не відомо , якщо ізоморфізм графів (GI) для сильно регулярних графів (SRGS) в P . Чи є підказки про те, що це може бути, а може і не бути GI -комплект? Чи є сильні наслідки в таких випадках? (Схоже на думку, що GI може бути не завершеним NP).
6
Я особисто вважаю, що проблема суворо простіша, ніж GI, через алгоритм Спілмана для СРГ, який має менший показник, ніж той, який Лукс має для загальних графіків. Просто здається, що існує набагато більше структури! (що в кінцевому підсумку може нічого не означати)
—
Тимофій Вс
Хоча я схильний погоджуватися з @TimothySun, я не знаю офіційних причин думати, що SRGI суворо простіше, ніж GI. Наприклад, якщо є скорочення від GI до SRGI то , що дасть кращий алгоритм для GI , ніж в даний час відомо, але якщо удари по зниженню до числа вершин , навіть до O ( п 3 / 2 ) , то це було б не мають цього дивного наслідку. Щодо вашого другого запитання, я сумніваюся, що будь-які наслідки складності будь-якої проблеми (відомо, що зводиться до GI) є повною GI, оскільки вона так не пов'язана з більшістю інших класів складності (на відміну від того, що GI, будучи NPC, руйнує PH).
—
Джошуа Грохов