«complexity-theory» 태그된 질문

문제 해결의 (계산적) 복잡성과 관련된 질문

3
복잡성 이론에서 언어를 사용하는 이유
방금 계산 이론에 들어가기 시작했습니다. 계산 이론은 얼마나 많은 메모리를 사용하고 어떤 계산 모델을 사용하여 얼마나 빨리 계산할 수 있는지 연구합니다. 나는 매우 기본적인 질문을 가지고 있지만 실제로 여러분 중 일부는 그 개념을 이해하는 데 도움이되기를 바랍니다. 왜 모든 것이 LANGUAGES의 개념과 정의 (즉, 일반 언어와 문맥없는 언어)에 집중되어 있습니까? …
2
NP 문제 사이의 Cook 감소로부터 Karp 감소를 구성 할 수 있습니까?
우리는 Cook과 Karp 축소의 관계에 대해 몇 가지 질문을했습니다 . Cook 감소 (다항식 튜링 감소)는 일반적으로 사용되는 Karp 감소 (다항식 다 대일 감소)와 동일한 NP- 완전성 개념을 정의하지 않습니다. 특히, 쿡 감소는 P NP 인 경우에도 NP를 co-NP로부터 분리 할 수 ​​없습니다 . 따라서 일반적인 축소 증명에는 Cook 축소를 사용해서는 …
1
이 알고리즘이 결국 종료됨을 증명하는 쉬운 방법
소개 및 표기법 : 다음은 (실험에 따라) 종료되는 것으로 보이는 새롭고 간단한 알고리즘 버전입니다. 이제이를 증명하고 싶습니다. 표기법 은 차원 데이터 포인트 (벡터)를 나타냅니다. 나는 A, B, C의 세 세트를 가지고있다. , , : x i ∈ R pxi∈Rpx_i \in \mathbb{R}^p p pp| A | = n |A|=n|A| = n| …
1
이분 그래프에 대한 최소 정점 삭제가 NP-complete임을 보여줍니다
입력 인스턴스가 간단한 그래프 이고 자연 정수 k 인 다음 문제를 고려하십시오 .GGGkkk 세트 있는가 하도록 G - S는 양자과는 | S | ≤ k ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k 3-SAT, k -CLIQUE, k -DOMINATING SET 또는 k -VERTEX COVER를 줄임으로써이 문제가 임을 보여 드리고자합니다.NPNP\rm{NP}kkkkkkkkk 3-COLORING 문제를 줄일 …
1
상대화의 직관
전산 복잡도에 대해 강의합니다. 내 문제는 상대화 방법을 이해하지 못한다는 것 입니다. 불행히도 지금까지 많은 교과서에서 약간의 직관을 찾으려고 노력했지만 성공하지 못했습니다. 누군가가이 주제에 대한 빛을 비추어 스스로 계속할 수 있다면 고맙겠습니다. 다음 문장들 중 일부는 관계 화에 대한 질문과 생각으로 토론을 탐색하는 데 도움이 될 것입니다. 종종 상대화는 대각선 …
1
TCS 전공 수학
이론적 인 컴퓨터 과학 전공을 찾고 있습니다. 특히, 나는 복잡성 이론과 확률 적 오토마타 이론에 관심이있다. 내가 1 년 안에 졸업 할 때, 다음의 두 학기를 이수하는 것이 수학의 어떤 고급 과정 (예 : 갈루아 이론 또는 고조파 분석)에 도움이 될 것이라고 생각하십니까? 왜?
1
RAM 머신에 의해 T (n)에서 계산 가능한 부울 함수가 DTIME (T (n) ^ 2)에 있음을 증명
문제는 Arora-Barak의 저서 Computational Complexity-Modern Approach 의 연습 1.9입니다 . RAM 튜링 머신을 랜덤 액세스 메모리가있는 튜링 머신으로 정의하십시오. 우리는 이것을 다음과 같이 공식화합니다. 기계에는 모든 배열로 초기화되는 무한 배열 A가 있습니다. 다음과 같이이 배열에 액세스합니다. 기기의 작업 테이프 중 하나가 주소 테이프로 지정되어 있습니다. 또한 기계에는 R과 W로 표시되는 …
1
리터럴이 두 번 이상 발생할 수없는 제한된 버전의 3SAT를 다항식 시간으로 해결할 수 있음을 증명하는 방법은 무엇입니까?
과제 ( S. Dasgupta, CH Papadimitriou 및 UV Vazirani , Chap 8, 문제 8.6a) 에서 가져온 과제를 해결하려고 노력 중이며 다음과 같이 설명하고 있습니다. 3SAT는 각 리터럴이 최대 두 번 나타나는 수식으로 제한 되더라도 NP- 완료 상태로 유지되므로 각 리터럴이 최대 한 번 나타나는 경우 다항식 시간으로 문제를 해결할 수 …
2
그래프 채색 문제의 NP- 완전성
대체 제제 아래 문제에 대한 대체 공식을 생각해 냈습니다. 대체 공식은 실제로 다음과 같은 문제의 특별한 경우이며 이분 그래프를 사용하여 문제를 설명합니다. 그러나, 대안적인 제제는 여전히 NP-hard라고 생각합니다. 대체 공식은 문제 정의를 단순화하는 분리 된 수신 및 발신 노드 세트를 사용합니다. 을 감안할 때 나가고 수신 노드 (각각 그림에서 빨간색과 …
3
폰툰으로 섬을 연결하면 NP가 완료됩니까?
나는 내 마음에 문제가 있는데, 그것이 NPC 문제라고 생각하지만 그것을 증명하는 방법을 모른다. 여기 문제가 있습니다 : 매우 큰 호수 에는 k 개의 섬 이 있으며 , 부채꼴 모양의 판툰 이 n 개 있습니다. 이 폰툰은 크기는 같지만 초기 방향이 다르며 호수에서 원래 위치가 다릅니다. 이 폰툰은 질량 중심을 중심으로 …
3
모든 NP 문제는 NP- 완전 문제로 줄어 듭니다. 어떻게 NP 문제가 NP- 완전 문제가되지 않을 수 있습니까?
나의 책은 이것을 말한다 의사 결정 문제 B가 P에 있고 A가 B로 감소하면 의사 결정 문제 A는 P에 있습니다. 결정 문제 B는 B가 NP에 있으면 NP가 완전하고 NP에있는 A의 모든 문제에 대해 A는 B로 감소합니다. C가 NP에 있으면 결정 문제 C는 NP- 완료이고 일부 NP- 완료 문제 B에 대해서는 B가 …
1
왜 P와 P / 폴리가 사소하게 동일하지 않습니까?
P의 정의는 다항식 시간 알고리즘에 의해 결정될 수있는 언어입니다. P / poly의 정의는 다항식 회로에 의해 결정될 수있는 언어를 의미 할 수 있습니다 ( http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf 참조 ). 이제 다항식 크기의 회로를 다항식 시간으로 시뮬레이션 할 수없는 이유는 무엇입니까?
4
NSPACE (O (n))의 언어이며 DSPACE (O (n))의 언어가 아님
사실 나는 상황에 맞는 언어들이 CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} 허용되는 언어)는 널리 논의되지 않습니다. REGREG\mathbf{REG} (일반 언어) 또는 CFLCFL\mathbf{CFL}(문맥이없는 언어). 또한 열린 문제DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "아날로그"문제만큼 유명하지는 않습니다. "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}". 글쎄, 정말 그런 비유가 있습니까? 언어가 있습니까 CSLCSL\mathbf{CSL} 에있을 수없는 DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))} (처럼 N PNP\mathbf{NP} 완전한 언어)? 또한 : 언어가 …
2
계급이없는 경로 압축을 통한 조합 찾기의 복잡성
Wikipedia에 따르면 경로 압축을 사용하지 않는 순위 별 합집합은 의 상각 된 시간 복잡성을 제공하고 순위와 경로 압축을 기준으로 한 합집합은O(logn)O(log⁡n)O(\log n)O(α(n))O(α(n))O(\alpha(n)) (어디 αα\alphaAckerman 함수의 역함수입니다). 그러나 유니온 랭크가없는 경로 압축의 실행 시간은 언급하지 않았으며, 이것이 내가 일반적으로 구현하는 것입니다. 경로 압축 최적화를 사용하지만 순위 최적화를 사용하지 않는 조합 찾기의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.