Мови

12

Які інші ~~проблеми~~ мови, відмінні від ізоморфізму графа, є в ? Чи можете ви дати кілька посилань? $NP\cap coAM$

Оновлення: Я забув згадати , що я зацікавлений в мовах , невідомо, в . $coNP$

Ви маєте на увазі, що невідомо, що вони знаходяться в

, правда?

c o N P

$\mathrm{coNP}$

— ilyaraz

так, я забув згадати про це

— Marcos Villagra

Але вважається, що

, тому найкращий спосіб сформулювати питання - це замінити віри відомим. Вибачте за мій педантизм.

c o N P = c o A M

$\mathrm{coNP} = \mathrm{coAM}$

— ільяраз

10

Єдині інші, з яких я знаю, - це також проблеми ізоморфізму: груповий ізоморфізм та кільцевий ізоморфізм. Протоколи для обох цих по суті є однаковими, як для ізоморфізму графів. $coAM$

Груповий ізоморфізм зводиться до графа ізоморфізму зводиться до кільцевого ізоморфізму.

$P$

— Джошуа Грохов
джерело

9

$O(\sqrt{n/\log(n)})$ $NP \cap coAM$ $n$ $coNP$

$O(\sqrt{n})$ $NP \cap coNP$

— MRA
джерело

2

Це проблеми пошуку, а не проблеми вирішення, а варіанти рішення проблем наближення є проблемами обіцянки. Ми з Енді Друкером мали подібну дискусію про SVP та CVP на сайті cstheory.stackexchange.com/questions/330/… "

— Джошуа Грохов

6

$\mathbf{NP}\subseteq\mathbf{AM}$ $\mathbf{AM}\cap\mathbf{coAM}$ $\mathbf{PZK}\subseteq \mathbf{SZK}\subseteq \mathbf{AM}\cap\mathbf{coAM}$ $\mathbf{PZK}$ $\mathbf{SZK}$

Складність досконалих нульових знань

Статистичні мови з нульовим знанням можна розпізнати в два раунди

$\mathbf{SZK}$

— М. С. Дусті
джерело