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

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

10 cc.complexity-theory  complexity-classes 

나는 라는 가정하에 NPI에 희소 언어 (지연된 diagolanization으로 구성됨)가 있는지 알고 싶습니다 .피≠ N피피≠엔피P \neq NP

10 cc.complexity-theory  complexity-classes 

무적의 생성기는 다음과 같이 정의됩니다. NP 관계로하고 M을 L ( R ) 을 받아들이는 기계 라고 하자 . 비공식적 프로그램이있다 무적 발생기 입력의 경우, (1) n은 , 그것은 인스턴스 생성 감시 쌍 ( X , w ) ∈ R을 가진 | x | x 가 주어진 다항식 적 대적이 무한히 …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

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 | ∃ …

10 cc.complexity-theory  np-hardness  complexity-classes 

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

10 cc.complexity-theory  sat  hard-instances 

결정 불가능한 세트 의 경계 완전 변형의 예 :엔피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, …

10 cc.complexity-theory  np-hardness 

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

10 cc.complexity-theory  np-hardness 

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

10 cc.complexity-theory  complexity-classes 

공간을 구성 할 수 있지만 시간을 결정할 수없는 함수 을 표시하십시오 .f( n )f(n)f(n) 이 문제는 복잡성 클래스 DTIME (f (n))과 SPACE (f (n)) 사이의 가능한 분리와 관련이 있습니까?

10 cc.complexity-theory  space-bounded  separation 

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

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

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

10 cc.complexity-theory  complexity-classes 

입력 크기와 관련하여 여러 프로세서가 필요하지 않은 병렬 알고리즘을 사용하여 문제의 계산 복잡성을 줄일 수 있습니까 (예 : 슬래시 제공)?

10 cc.complexity-theory  dc.parallel-comp 

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

10 cc.complexity-theory  complexity-classes  np-complete 

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

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

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

10 cc.complexity-theory  reference-request  computability  lower-bounds