语言

12

还有什么其他~~的问题~~比图表同形不同的语言在？你能给一些参考吗？ $NP\cap coAM$

更新：我忘了提到我对不知名的语言感兴趣。 $coNP$

你的意思是那些不知道是在

，对不对？

c o N P

$\mathrm{coNP}$

— ilyaraz

是的，我忘了提及

— Marcos Villagra 2010年

但是据信，

，因此提出问题的最好方法是用已知的方式代替。对不起，我的学究。

c o N P = c o A M

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

— ilyaraz

10

我唯一知道的其他问题还包括同构问题：组同构和环同构。这两种协议的协议与图同构基本相同。 $coAM$

组同构减少为图同构减少为环同构。

$P$

— 约书亚·格罗夫（Joshua Grochow）
source

9

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

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

— MRA
source

2

这些是搜索问题，而不是决策问题，逼近问题的决策变体是承诺问题。安迪·德鲁克（Andy Drucker）和我在cstheory.stackexchange.com/questions/330/…上对SVP和CVP进行了类似的讨论

— Joshua Grochow 2010年

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}$

— 道斯蒂女士
source