언어

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

— ilyaraz

10

내가 아는 유일한 것은 동 형사상 문제입니다 : 그룹 동 형사상과 고리 동 형사상. 이들 모두에 대한 프로토콜은 본질적 동형 그래프와 동일하다. $coAM$

그룹 동형은 그래프 동형으로 감소 동형은 고리 동형으로 감소합니다.

$P$

— 조슈아 그로 호프
소스

9

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

반면에 )를 찾는 것도 알려져있다 ( Aharonov and Regev, 2004 ). $O(\sqrt{n})$ $NP \cap coNP$

— MRA
소스

2

이들은 결정 문제가 아닌 검색 문제이며 근사 문제의 결정 변형은 약속 문제입니다. 앤디 드러커 난에서 SVP 및 CVP에 대한 유사한 논의했다 cstheory.stackexchange.com/questions/330/... "

— 여호수아 Grochow

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

— MS 두티
소스