«complexity-classes» 태그된 질문

복잡성 클래스 간의 관계에 대한 질문

7
, , complete 및 hard 정의
나는 컴퓨팅 과 복잡성 에 대해 배우고 있는데 , 이러한 용어의 의미를 이해할 수 없습니다. 내가 아는 것은 NP가 NP-complete의 하위 집합이며 NP-hard의 하위 집합이라는 것이지만, 그것이 실제로 무엇을 의미하는지 전혀 모른다. 설명이 여전히 너무 높기 때문에 Wikipedia 도별로 도움이되지 않습니다.
2
왜 PSPACE ≠ EXPTIME이라고 믿습니까?
PSPACE가 일반적으로 EXPTIME과 다른 이유를 직관적으로 이해하는 데 어려움을 겪고 있습니다. PSPACE가 입력 크기 의 공간 다항식에서 해결할 수있는 문제의 집합 인 경우 지수 시간이 더 크게 발생하고 지수 공간을 사용하지 않는 일련의 문제 가있을 수 있습니까?f(n)f(n)f(n) Yuval Filmus의 답변은 이미 매우 도움이됩니다. 그러나 PSPACE ≠ EXPTIME (예 : PSPACE가 …
4
일반화 된 3SUM (k-SUM) 문제?
3SUM의 문제 시도 3 개 식별하는 정수 세트로부터는 의 크기 이되도록 .S n a + b + c = 0a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 이차보다 더 나은 해결책이 없다고 추측된다. 즉 . 또는 다르게 말하면 입니다.o ( n log ( n ) + n 2 )o(n2)o(n2)\mathcal{o}(n^2)o(nlog(n)+n2)o(nlog⁡(n)+n2)\mathcal{o}(n \log(n) + …
1
k- 크릭 문제가 NP- 완전합니까?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 그래프 이론 의 Clique 문제에 관한이 Wikipedia 기사에서는 처음에 그래프 G에서 K 크기의 크릭을 찾는 문제가 NP- 완전 함을 나타냅니다. Cliques는 컴퓨터 과학에서도 연구되었습니다. 그래프에 주어진 …
3
합니까 그 의미?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 그것은 가능한가 과의 카디널리티 카디널리티와 동일 ? 또는 는 와 가 다른 카디널리티를 가져야 한다는 것을 의미 합니까?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}
1
모든 솔루션을 나열하는 것과 관련된 복잡성 클래스?
특정 노드를 포함하는 그래프에 모든 간단한 사이클을 나열 하는 것이 NP -hard 인지 묻는 질문을 Stack Overflow에서 읽고 있었는데 기존의 복잡한 클래스를 생각할 수 없었습니다. "이 문제에 대한 모든 해결책을 열거하십시오." 클래스 NP어떤 의미에서 는 적어도 하나의 솔루션이 존재하는지, FNP 클래스 가 단일 솔루션을 생성하도록 요구하고, 클래스 #P 는 얼마나 …
2
감소 유형 및 경도의 관련 정의
A를 B로 환원 할 수있게하십시오 (예 : . 따라서 를 수락 Turing 머신 은 의 Oracle에 액세스 할 수 있습니다. 허용 Turing 머신 이 이고 대한 오라클 이 . 감축 유형 :A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} 튜링 감소 : 는 여러 번 쿼리 할 수 ​​있습니다 .MAMAM_{A}OBOBO_{B} Karp 축소 : "다항식 시간 …
1
Karp-Lipton 정리 증명
나는 "전산 복잡성 : 현대적 접근"(2009) 책에 언급 된 Karp-Lipton 정리의 증거를 이해하려고 노력하고있다. 특히,이 책은 다음을 설명합니다. 카르 프-리프 톤 정리 만약 NP 다음 PH .P ∖ p o l y⊆⊆\subseteq 피∖ p o l y피∖피영형엘와이P_{\backslash poly} = Σ피2=Σ2피= \Sigma^p_2 증명 : 정리 5.4, 저자는 보여 PH가 ,이 표시에 …
2
실수로 복잡한 클래스가 있습니까?
최근에 한 학생이 NP 경도 증거를 확인하도록 요청했습니다. 그들은 다음 라인을 따라 축소를 수행했습니다. 내 문제 에 대해 NP- 완전으로 알려진 이 문제 줄입니다 (폴리 타임 다 대일 감소로) 는 NP-hard입니다.P′P′P'PPPPPP 내 대답은 기본적으로 다음과 같습니다. 이후 의 값을 가진 경우가 당신이 감소를 건너 뛸 수 있도록이 하찮게 튜링 계산할 …
2
병렬 컴퓨팅 및 클래스 NC에 대한 몇 가지 질문
이 두 가지 주제에 대한 여러 가지 관련 질문이 있습니다. 첫째, 대부분의 복잡한 텍스트는 클래스에만 적용됩니다 . 연구를 더 깊이 다루는 좋은 자료가 있습니까? 예를 들어 아래의 모든 질문에 대해 설명합니다. 또한, 는 병렬화와의 연관성으로 인해 여전히 상당한 양의 연구를보고 있다고 가정 하지만 틀릴 수 있습니다. 복잡성 동물원의 섹션은별로 도움이되지 …
3
P, NP 및 전문 튜링 머신
나는 일종의 새로운 것이지만 컴퓨팅 및 복잡성 이론 분야에 매우 관심이 있으며 문제를 분류하는 방법과 문제를 해결하는 데 사용되는 기계와 문제가 얼마나 강한 지에 대한 이해를 분명히하고 싶습니다. 내 이해 표준 튜링 머신-유한 알파벳, 유한 수의 상태 및 하나의 오른쪽 무한 테이프를 가진 튜링 머신 Turing-Equivalent Machine-표준 Turing Machine에 의해 …
2
PTAS 정의 대 FPTAS
내가 읽은 것에서 preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. 이것이 PTAS 정의입니다. 문제 대한 다항식 시간 근사법 ( PTAS ) 은 입력 크기에서 시간 복잡도가 다항식 인 근사법입니다.XXX …
1
알려진 AM- 완전 문제가 있습니까 / AM- 완전히 정의되어 있습니까?
Arthur-Merlin Complex 클래스에 완전한 문제가 있는지 궁금합니다. 그래프 비 동형화 (GNI)는 AM 의 문제 에 대한 정식 사례 인 것 같지만 아마도 완전한 문제 는 아닙니다. "완전한"문제가 AM에 대해 잘 정의되어 있는지 궁금합니다. AM = BP.NP이므로 AM으로의 "감소"는 결정적 복잡성 클래스에 사용하는 Karp 감소보다는 3SAT의 무작위 감소에 의존하는 것 같습니다. …
1
복잡성 클래스
복잡성 등급 는 무엇을 의미합니까? I는 알고 ⊕ P는 언어 포함 복잡도 종류이다 를 해당하는 다항식 시간 결정적 튜링 기계가 M이 되도록 X ∈ IFF 기계의 수용 상태의 수 M 의 입력에 x는 홀수이다.⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P}⊕ P⊕P\oplus PㅏAA미디엄MMx ∈ Ax∈Ax \in A미디엄MM엑스xx 그러나 무엇을 의미합니까? 나는 그것이 실제로하는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.