«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

2
온라인 최적화 문제를 포함하는 복잡성 클래스가 있습니까?
온라인 최적화 문제를 포함하는 복잡성 클래스가 있습니까? 그렇지 않다면 어떻게 그러한 클래스를 정의 할 수 있습니까? 빈 포장 문제의 온라인 버전과 같은 많은 문제가 온라인 버전에 있음을 알고 있습니다. 온라인 문제는 경쟁 비율로 측정하기가 더 어렵습니다. 그리고 나는 복잡성 동물원 에서 비슷한 것을 찾지 못했습니다 . 기본적으로 온라인 문제는 없지만 …



1
다음 SAT 하위 집합의 복잡성은 무엇입니까?
P ≠ N P라고 가정피≠ N피P≠NPP \neq NP 다음 표기법을 사용하십시오 테트 레이션을위한 (즉.나는ㅏia{}^ia ).나는a = aㅏ⋅⋅⋅ㅏ나는 배ia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | 인스턴스 x의 크기입니다. L을 언어로, 패 |에프( i ) ≤ | x | < g( 나는 ): = { x ∈ L | ∃ …

3
SAT에 솔루션을 포함시킬 수 있습니까?
NP 완전 문제의 "단단한"개별 사례에 관심이 있습니다. Ryan Williams 는 Richard Lipton의 블로그에서 SAT0 문제에 대해 논의했습니다 . SAT0은 SAT 인스턴스에 모두 0으로 구성된 특정 솔루션이 있는지 묻습니다. 이것은 "하드"일 가능성이있는 SAT 인스턴스 구성에 대해 생각하게했습니다. 포화 인스턴스 고려 와 m의 조항 및 N 변수, 여기서 α = m / …

2
결정 불가능한 문제의 NP- 완전 변형?
결정 불가능한 세트 의 경계 완전 변형의 예 :엔피NPNP 경계 정지 문제 = { | NTM 기계 M이 정지하고 t 단계 내에서 x를 받아들입니다 }( M, x , 1티)(M,x,1t)(M, x, 1^t)미디엄MM엑스xx티tt 경계 바둑판 식 배열 = { | T의 타일에 의한 면적 t 2 의 타일링이 있습니다 }( T, 1티)(T,1t)(T, …

1
제한된 스타 시스템 문제의 경도?
스타 시스템은 n- 요소 세트 의 n 서브 세트로 구성된 패밀리 입니다 . 몇몇 그래프가 있으면 스타 시스템은 그래픽 인 되도록 의 정점 이웃의 가족 . 주어진 스타 시스템이 그래픽인지 여부를 결정하는 것은 입니다.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP 문제가 -complete를 유지하도록 각 요소의 최소 발생은 무엇입니까 ?NPNPNP 12-12-2010 편집 : 다른 질문을 추가했습니다. 문제가 …

5
"가장 최악의 사례"이외의 사례에 대한 복잡성 클래스
평균 사례의 복잡성과 관련하여 복잡성 클래스가 있습니까? 예를 들어, 예상되는 다항식 시간을 결정하는 데 문제가있는 명명 된 복잡성 클래스가 있습니까? 또 다른 질문은 아래에 예시 된 최상의 사례 복잡성을 고려합니다 . 결정 에 적어도 지수 시간이 필요한 일련의 (자연) 문제가 있습니까? 명확히하기 위해 EXP가 완료된 언어 고려하십시오 . 분명히 모든 …


1
BPP / 선형과 같은 약간 비 균일 한 클래스의 무작위 화가 연구 되었습니까?
BPP / 선형으로 나는“올바른”조언이 주어 졌을 때 약속을 이행하는 선형 조언을 가진 BPP 기계를 언급하며, 무작위 화는 우리에게 P / 선형 또는 (SUBEXP / 선형) 알고리즘을 제공해야한다. 우리가 불균일 한 가정을 사용한다면, 우리는 불균일 한 적을 "바보"할 수 있기 때문에 고전적인 결과가 효과가 있다고 생각합니다. 그러나 와 같은 균일 한 …

3
어떤 증거가 있습니까?
어떤 증거가 있습니까?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP 는 다항식 시간으로 실행되고 언어에 속하는 입력에 대해 항상 예라고 대답하고 해당 언어에 속하지 않는 입력에 대해 절반 이상은 아니오로 대답하는 확률 론적 튜링 머신이 존재하는 언어 클래스입니다.


1
NP-E 및 E-NP의 자연 후보
70 년대 초반부터 N P엔피{\bf NP}및 (때문에 동일하지 않다 달리 다항식 시간 대일 감소 하에서 닫히지 ). 그러나 내가 아는 한, 한 클래스가 다른 클래스의 하위 집합인지 또는 비교할 수 없는지 여부는 여전히 열려 있습니다. 즉, 및 는 모두 비어 있지 않습니다.E =DT나는미디엄이자형(2O ( n ))이자형=디티나는미디엄이자형(2영형(엔)){\bf E}=DTIME(2^{O(n)})이자형이자형{\bf E}N P엔피{\bf NP}N …

1
P (PTime)와 Type 1 (문맥 구분) 언어 간의 추측 관계는 무엇입니까?
인지 인지는 알 수 .P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP 는 결정 론적 튜링 머신에서 다항식 시간으로 결정할 수있는 모든 언어 세트입니다. CSLCSLCSL 은 선형 경계 오토마타에 의해 결정된 언어 인 NSPACE (O (n)) 과 동등한 것으로 알려진 상황에 맞는 언어의 클래스입니다 NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)). 많은 오픈 질문은 한 가지 대답을 향한 경향 (이 …

1
중지 문제의 진리표의 Kolmogorov 복잡성이 무증상으로 알려져 있습니까?
하자 길이의 문자열을 나타내는 길이의 입력에 대해 정지 문제의 진리표에 해당하는 .HL티엔HALTnHALT_n2엔2n2^n엔nn Kolmogorov의 복잡성 의 시퀀스 가 이면, 어드바이스 문자열 중 하나는 무한정 자주 사용되며, 해당 문자열을 가진 TM은 균일하게 무한정 자주 해결할 수 있습니다. 그렇지 않습니다.케이( HL티엔)K(HALTn)K(HALT_n)O ( 1 )O(1)O(1)H알 L THALTHALT 대각선 화 인수를 자세히 살펴보면 실제로 이 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.