Натхненний питанням факторингу, відомого як P-hard , мені цікаво, який сучасний подібний стан знань щодо твердості ізоморфізму графа. Я впевнений, що наразі невідомо, чи GI знаходиться в P, але:
який відомий на даний момент найбільший клас, якому ГІ важче?
(на подібне звучання не було відповіді )
Щоб вирішити деякі коментарі, я хочу знати максимально відомий на даний момент максимальний клас, що GI, проблема в чому завершена. Відомі алгоритми для GI є верхньо обмеженими суперполіноміальними функціями, і він є членом NP. Але невідомо, що GI є P-жорстким. Мені хотілося б знати будь-які класи C, для яких це - відомо, що це C-важко, і, сподіваємось, як можна інклюзивніше.
2
"не було відповідено на подібне звучаче запитання" Дійсно? Я думаю, що відповідь Джошуа Грохова тут відповідає на питання.
—
Тайсон Вільямс
Подивіться розділ "Клас складності GI" тут: en.wikipedia.org/wiki/Graph_isomorphism_problem
—
Аарон Стерлінг
@Tyson, і хто б не голосував за його коментар: Я думаю, що те, що говорить Мітч, - це те, що відповідь там дає лише верхні межі грамотному ізоморфізму, а не твердість ізоморфізму Графа.
—
Tsuyoshi Ito
Я хотів би додати, що я не бачу це як повторне запитання. Відповідь Джошуа дає верхні межі. Це запитання звучить більше як "Чи GI принаймні AC0 важкий?" - так, погоджуйтесь з @Tsuyoshi.
—
Аарон Стерлінг
Для планарних графіків відомо, що вона є повною для L ... Дивіться theorie.informatik.uni-ulm.de/Personen/toran/beatcs/…
—
Джошуа Герман