«complexity-classes» 태그된 질문

계산 복잡성 클래스 및 관계

2
UP 수업에 대한 직감
UP 클래스는 다음 과 같이 정의 됩니다. NP 기계로 해결할 수있는 결정 문제 클래스 대답이 '예'이면 정확히 하나의 계산 경로가 허용됩니다. 대답이 '아니오'이면 모든 계산 경로가 거부됩니다. 이 정의에 대한 직감을 개발하려고합니다. UP 문제가 고유 솔루션의 문제 (예 : 소인수 분해)라고 말할 수 있습니까? 그것은 나에게 진실에 가깝습니다. UP이 경우에 …
1
Ruzzo-Simon-Tompa 오라클 액세스 메커니즘
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} 지금 회로 오라클 게이트 가족 고려 - 말을 , 다른 클래스 오라클 접속 LOGSPACE 포함하는 회로의 복잡성 클래스 에 기초하여 추가 오라클 게이트 통해 . 그러한 클래스로 알려진 Ladner-Lynch 논문과 정신적으로 유사한 병리학적인 예가 있습니까? 그러한 클래스에 필요한 RST와 같은 제한은 무엇입니까? 실제로 그러한 예가있는 경우, RST …
3
P는 이해할 수없는 언어를 포함합니까? (TCS 커뮤니티 위키)
답 : 알려지지 않음 이 질문을 수정하는 데 도움을 주신 모든 분들께 감사드립니다. 이 위키의 정의는 최신 TCS 위키 " P에 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키) " 의 시작점을 제공했습니다 . 최신 위키는이 위키의 정의와 명명법이이 오래된 위키보다 훨씬 정교하기 때문에 선호됩니다. 특히,이 오래된 …
1
P-Space Complete 문제의 솔루션 수를 계산하는 것이 얼마나 복잡합니까? 더 복잡한 클래스는 어떻습니까?
나는 그것이 # P-Space라고 불릴 것 같지만 그것을 모호하게 언급 한 기사를 하나만 발견했다. EXP-SPACE-Complete 문제뿐만 아니라 EXP-TIME-Complete, NEXP-Complete의 계산 버전은 어떻습니까? Toda의 정리와 같은 포함 또는 제외 유형과 관련하여 인용 할 수있는 이전 연구가 있습니까?
3
NPI 문제가 모두 같은 복잡성이 아닌 이유는 무엇입니까?
NP-Complete과 반대로 NP-Intermediate 일 가능성이있는 문제와 이유를 어떻게 검토합니까? 문제를보고 그것이 NP-Complete인지 아닌지를 말하기는 종종 매우 간단하지만 문제가 NP-Intermediate인지 여부를 말하기가 훨씬 더 어려워 보입니다. 클래스. 기본적으로 내가 묻는 것은 다항식 시간 (모두 있다면)에서 확인할 수 있지만 다항식 시간 (P가 NP와 같지 않은 한)으로 해결할 수없는 문제가 서로 다항식 시간이 …
4
대각선 화는 계급 분리의 본질을 포착합니까?
나는 대각선 화와 relativization 결과에 근거하지 않은 클래스 분리를 ​​본 기억이 없습니다. 대각선 화 결론이나 대각선으로 된 튜링 기계 구조에서 비상 대화 주장이 여전히 사용될 수 있기 때문에, 대각선 화는 여전히 남아있는 알려진 클래스를 분리하는 데 사용될 수 있습니다. 다음은 몇 가지 관련 질문입니다. 대각선 화를 기반으로하지 않는 클래스 분리 …
4
복잡성 클래스 NEXP
NEXP 문제가 있으며 지수 시간과 단 하나의 교대 (기존 상태에서 시작)를 사용하여 교대 TM으로 해결할 수도 있습니다.NPNP^{\text{NP}} NEXP 대해 알려진 것이 있습니까? NEXP 또는 다른 클래스와 동일합니까? NEXP 기계와 단어가 주어지면 일반적인 기계 이외의 다른 문제 가 있습니까?NPNPNP^{\text{NP}}NPNP^{\text{NP}}
3
데이터 병렬 연산자와 함께 전체 기능 언어를 사용하여 표현할 수있는 알고리즘은 무엇입니까?
데이터 유형 만 숫자 형 스칼라와 임의의 배열 배열 인 함수형 프로그래밍 언어를 상상해보십시오. 이 언어에는 무제한 반복 수단이 없으므로 다음은 허용되지 않습니다. 명시 적 루프 (어쨌든 부작용없이 많이 사용하지 않음) 재귀 임의의 일류 함수 (y-combinator 없음) 그러나이 언어에는 다음이 있습니다. 최상위 기능 어휘 범위가 지정된 let 바인딩 분기 제어 …
3
NP의 두 가지 변형
NP 정의에 대한 두 가지 변형이 있습니다. 그것들은 (거의 확실하게) 뚜렷한 복잡성 클래스를 정의하지만 내 질문은 :이 클래스에 맞는 문제의 자연스러운 예가 있습니까? (여기서 자연스러워하는 것에 대한 나의 임계치는 평소보다 약간 낮습니다.) 클래스 1 (NP의 수퍼 클래스) : 검증에 초 다항식이지만 지수하에 시간이 걸리는 다항식 증인 문제. 구체적으로 time 이라고합시다 …
2
일반 및 임의의 oracles와 다른 무언가의 예?
Cohen / Baire 범주의 의미에서 지지G 일반적인 오라클 이라고하자 . 보자 아르 자형아르 자형R 임의의 오라클합니다. 이 복잡성 클래스 A와 B가 함께있는 또는 다른 방법으로, ㅏ지= B지과ㅏ아르 자형≠ B아르 자형ㅏ지=비지과ㅏ아르 자형≠비아르 자형\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^Rㅏ지≠ B지과ㅏ아르 자형= B아르 자형?ㅏ지≠비지과ㅏ아르 자형=비아르 자형?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} 이 질문은 Scott Aaronson의 의견 에서 영감을 얻었습니다 .
2
오라클은 협회입니까?
이 질문에는 분명한 대답이있을 수 있지만 여기에 질문이 있습니다. 직관적으로, 다음과 같은 그럴듯한 진술입니다. "서브 루틴 A를 갖는 서브 루틴 A를 가진 기계는 서브 루틴 B를 액세스 할 수있는 서브 루틴 A를 가진 기계와 같습니다". 이 문제를 공식적으로 정의하기 위해 기존의 표기법을 사용하겠습니다. 내가 말할 때 , 내가 포기하고 A의 …
1
이 게임의 복잡성은 무엇입니까?
이것은 내 이전 질문 의 일반화입니다 . 은 일부 오라클 에게 질문을 할 수있는 다항식 결정 론적 기계라고 하자 . 초기에 는 비어 있지만 아래에 설명 할 게임 후에 변경할 수 있습니다. x를 문자열로 하자 .미디엄미디엄MㅏㅏAㅏㅏA엑스엑스x 다음의 Alice and Bob 게임을 고려하십시오. 초기에 Alice와 Bob은 각각 미디엄ㅏ미디엄ㅏm_A 와 미디엄비미디엄비m_B 달러를 …
1
드문 드문 완전 세트 및 P 대 L
Mahaney 's Theorem은 다항식 다 대다 축소에서 희소 완전 세트 가 있으면 라고 말합니다 . ( " NP의 스파 스 전체 세트 : Berman과 Hartmanis의 추측 솔루션 "참조)NPNPNPP=NPP=NPP = NP 다른 복잡한 클래스에 대해 희소 한 완전한 세트가 존재하는 것으로 알려진 결과가 있습니까? 특히, 로그 공간 다원 감소 아래에 희소 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.