«check-my-proof» 태그된 질문

나는이 포럼을 처음 접했고, 그의 두뇌를 유지하기 위해 이것을하는 물리학 자일뿐입니다. 가장 우아한 언어를 사용하지 않으면 은혜를 보여주세요. 다른 태그가 더 적합하다고 생각되면 의견을 남겨주세요. 내가 해결하기 위해 노력하고 이 문제 내가 해밀턴 사이클의 수를 계산해야하는 C(n)C(n)C(n) 에서 번째 순서 시어 핀 스키 그래프 . (Sierpinski 그래프의 정의와 그림은 위의 …

18 graph-theory  combinatorics  check-my-proof 

나는 NP = CoNP에 대해 매우 간단한 "증거"를 가지고 있으며 어딘가에 잘못한 것으로 생각하지만 잘못된 것을 찾을 수 없습니다. 누군가 나를 도울 수 있습니까? A는 NP에서 문제가되고 M은 A의 결정자로하자. B는 보수가된다. 즉 B는 CoNP에있다. M은 결정자이므로이를 사용하여 B도 결정할 수 있습니다 (답을 뒤집기 만하면 됨). 똑같은 M으로 NP와 CoNP …

12 complexity-theory  p-vs-np  check-my-proof  np 

정의 : Karp Reduction 언어 AAA 언어로 카프의 환원성 인 BBB 다항식 시간 계산 가능한 기능이 있는지 f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* 되도록 모든 대 xxx , x∈Ax∈Ax\in A 경우에만, f(x)∈Bf(x)∈Bf(x)\in B . 정의 : 레빈 감소 검색 문제 VAVAV_A 레빈 검색 문제에 환원 인 VBVBV_B 다항식 시간 함수가있는 경우 fff 카프가 감소 시킨다는 …

12 complexity-theory  reductions  check-my-proof 

최근 시험 문제는 다음과 같습니다. 는 무한 재귀 열거 가능 집합입니다. A 에 무한 재귀 하위 집합이있음을 증명하십시오.ㅏAAㅏAA 를 A 의 무한 재귀 서브 세트라고 하자 . C 에는 재귀 적으로 열거 할 수 없는 하위 집합이 있어야 합니까?씨CCㅏAA씨CC 나는 이미 1. 대답했다. 2. 나는 긍정적으로 대답하고 다음과 같이 주장했다. …

11 computability  check-my-proof