Вдохновленный вопросом, что факторинг известен как P-hard , мне интересно, каково текущее подобное состояние знаний о твердости изоморфизма графов. Я уверен, что в настоящее время неизвестно, находится ли G в P, но:
какой самый известный в настоящее время класс, чем GI сложнее?
(не было ответа на похожий вопрос )
Чтобы обратиться к некоторым комментариям, я хочу знать известный в настоящее время максимальный класс (ы), для которого GI, проблема завершена. Известные алгоритмы для GI ограничены сверху суперполиномиальными функциями, и он является членом NP. Но не известно, что G-это P-hard. Я хотел бы знать любые классы C, для которых известно, что это C-hard, и, надеюсь, как можно более инклюзивно.
2
"не было ответа на похожий вопрос" Неужели? Я думаю, что ответ Джошуа Грохова там отвечает на вопрос здесь.
—
Тайсон Уильямс
Посмотрите раздел «GI класса сложности» здесь: en.wikipedia.org/wiki/Graph_isomorphism_problem
—
Аарон Стерлинг,
@ Тайсон, и кто бы ни проголосовал за его комментарий: я думаю, что Митч говорит, что ответ там дает только верхние оценки изоморфизма графа, а не твердость изоморфизма графа.
—
Цуёси Ито
Я хотел бы добавить, что я не считаю это дублирующим вопросом. Ответ Джошуа дает верхние границы. Этот вопрос звучит больше как «GI хотя бы AC0 тяжело?» - да, согласен с @Tsuyoshi.
—
Аарон Стерлинг
Для плоских графиков известно, что они полны для L ... См. Theorie.informatik.uni-ulm.de/Personen/toran/beatcs/…
—
Джошуа Херман