«relativization» 태그된 질문

우리가 가질 수있는 오라클, P=NPP=NP\mathsf{P} = \mathsf{NP} , 그리고 친구에게 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 를 가질 수있는 오라클이 있다는 베이커-길-솔로 니아의 증거를 설명 할 때 , 왜 그런지에 대한 의문이 생겼습니다. 이러한 기술은 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 문제 를 입증하는 데 적합 하지 않으며 만족스러운 답변을 드릴 수 없습니다. 좀 더 구체적으로 …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

증명하는 방법 ? 나는 단지 oracle TM 과 이것이 재귀 언어 을 찾고 있습니다.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L 와 같은 oracle 있고 와 같은 oracle 가 있음을 증명하는 증거를 알고 있습니다. . 나는 의 증거를 확장하여 그러한 오라클 를 찾아야한다는 힌트를 얻었지만 검색하고 읽을 때마다 어디에서나 "명확한"또는 "직선적"이지만 나는 그것을 …

12 complexity-theory  relativization 

전산 복잡도에 대해 강의합니다. 내 문제는 상대화 방법을 이해하지 못한다는 것 입니다. 불행히도 지금까지 많은 교과서에서 약간의 직관을 찾으려고 노력했지만 성공하지 못했습니다. 누군가가이 주제에 대한 빛을 비추어 스스로 계속할 수 있다면 고맙겠습니다. 다음 문장들 중 일부는 관계 화에 대한 질문과 생각으로 토론을 탐색하는 데 도움이 될 것입니다. 종종 상대화는 대각선 …

10 complexity-theory  np-complete  complexity-classes  relativization  np