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

6 페이지 의 Razborov-Rudich의 Natural Proofs 논문에서 그들은 " 단조 회로 모델 에 대한 강력한 하한 증거 "가 있으며 그림에 어떻게 적용되는지에 대해 토론합니다 . 여기서 문제는 구성 성이 아닙니다. 이러한 증명에 사용 된 속성은 모두 가능하지만 큰 조건에 대한 공식적인 유사체가없는 것으로 보입니다. 특히, "무작위 모노톤 함수"의 실행 가능한 …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

입방 해밀턴 그래프에서 가장 긴 사이클의 상수 인자 근사값을 찾는 것은 hard입니다. 입방 해밀턴 그래프에는 적어도 두 번의 해밀턴 사이클이 있습니다.엔피엔피NP 3 차 해밀턴 그래프에서 해밀턴 사이클 수에 대해 가장 잘 알려진 상한 및 하한은 무엇입니까? 입방 해밀턴 그래프가 주어지면 해밀턴 사이클의 수를 찾는 복잡성은 무엇입니까? # 단단합니까?피피P

15 cc.complexity-theory  counting-complexity 

Savitch 는 O ( log 2 n ) 공간을 사용하여 st-connectivity 를 해결하는 결정적 알고리즘을 제공 하여 N L ⊆ D S P A C E ( log 2 n )를 암시 합니다. Savitch의 알고리즘은 시간 2 O ( log 2 n ) 에서 실행됩니다 . st-connectivity가 다항식 시간과 O …

15 cc.complexity-theory  space-bounded 

EXPANDER GRAPHS 라는 제목의 2006 년 발표 자료에는 어떤 미스터리가 남아 있습니까? Nati Linial은 다음과 같은 열린 문제를 제기했습니다. 확장 그래프로 제한 될 때 그래프의 어떤 hard 계산 문제가 여전히 어려운가?NPNPNP 그 이후로 하드 문제에 대한 그러한 결과를 입증하기 위해 어떤 진전이 있었습니까?NPNPNP

15 cc.complexity-theory  np-hardness  expanders 

자연 증명 은 부울 함수의 회로 복잡성에 대한 하한을 증명하는 데 장애가됩니다. 이들은 직접에 하한을 증명하기 그러한 장벽을 의미하지는 않는다 회로 복잡성. 그러한 장벽을 식별하는 데 진전이 있습니까? 모노톤 설정에 다른 장벽이 있습니까?monotonemonotonemonotone

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

나는 항상 P 대 NP 문제에 대한 실험 수학의 수치 적 증거가 부족하다는 것에 흥미를 느낀다. Riemann 가설은 수치 검증을 통해 뒷받침되는 증거가 있지만 P 대 NP 문제에 대한 비슷한 증거는 알지 못합니다. 또한, 결정 불가능한 문제 (또는 계산할 수없는 기능의 존재)의 존재로 인한 직접적인 물리적 세계 결과에 대해 알고 …

15 cc.complexity-theory  soft-question  big-picture  experimental 

이 질문에 대한 후속 조치 이며 Shiva Kinali 의이 질문 과 관련이 있습니다. 이 논문의 증거 ( Allender , Caussinus-McKenzie- Therien- Vollmer , Koiran-Perifel )는 계층 정리를 사용 하는 것으로 보인다 . 증명이 " 순수한 "대각선 화 이론인지 아니면 일반적인 대각선 화보다 더 많은 것을 사용 하는지 알고 싶습니다 . …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

이 질문이 너무 간단한 경우 사전에 사과하십시오. 기본적으로 알고 싶은 것은 다음 속성을 가진 함수 가 있는지 여부입니다 f(x)f(x)f(x). 가라 수 공역 도메인과이 제한되는 경우 비트 문자열. 그때F ( X ) Nfn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) 는 주사입니다 fn(x)fn(x)f_n(x) 는 의심 스럽다 fn(x)fn(x)f_n(x) 는 보다 합리적인 모델에서 계산하는 데 필요한 리소스 (공간 / …

15 cc.complexity-theory 

유전 적 부류의 구조 (예 : 그래프)는 유도 된 하부 구조에서 닫히거나 정점 제거에서 닫히는 구조입니다. 미성년자를 배제하는 그래프 클래스에는 제외 된 특정 미성년자에 의존하지 않는 훌륭한 속성이 있습니다. 마틴 그로 헤 (Martin Grohe)는 마이너를 제외한 그래프 클래스에는 동형에 대한 다항식 알고리즘이 있으며, 카운트가있는 고정 소수점 논리는 이러한 그래프 클래스에 …

15 cc.complexity-theory  graph-theory  relational-structures 

근사 계수가 1 + c 인 P에 대해 다항식 시간 근사 알고리즘이 존재하도록 상수 c> 0이 존재하면 문제 P는 APX에 있다고합니다. APX에는 PTAS (정수 c> 0을 선택하여 볼 수 있음)와 P가 포함되어 있습니다. APX가 NP에 있습니까? 특히 일부 근사 계수에 대해 다항식 시간 근사 알고리즘이 존재한다는 것은 문제가 NP에 있음을 …

15 cc.complexity-theory  complexity-classes  apx 

튜링 머신에 의해 정의 된 언어 L을 결정하면 L이 NP에 있는지 알고리즘 적으로 결정할 수 있습니까?

15 cc.complexity-theory  computability  turing-machines 

최근의 연구에서, 우리는 가정하에, 조합 맥락에서 발생한 전산 문제를 해결 , 는 IS 의 -version . 우리가 찾은 에 관한 유일한 논문 은 Complexity Zoo에 인용 된 Beigel-Buhrman-Fortnow 1998 논문 이었습니다 . 우리는 패리티 버전의 - 완전한 문제 ( 이 질문 참조 )를 취할 수 있지만 실제로는 에서 완전하지 않을 …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

복잡성 클래스 BQP는 클래식 입력을 취하고 확률 적 클래식 출력을 뱉어내는 다항식 시간 양자 서브 루틴에 해당합니다. 퀀텀 어드바이스는 미리 결정된 퀀텀 어드바이스 상태의 사본을 포함하지만 평상시와 같이 고전적인 입력을 포함하도록 수정합니다. 다항식 시간 퀀텀 서브 루틴의 복잡성 클래스는 임의의 퀀텀 상태를 입력으로 취하고 복제가 없기 때문에 하나의 사본 만 …

15 cc.complexity-theory  complexity-classes  quantum-computing 

우리는 종종 Turing 머신이 사용할 수있는 공간의 양에 한계가있는 복잡성 클래스를 고려합니다 (예 : DSPACE(f(n))DSPACE(f(n))\textbf{DSPACE}(f(n)) 또는 . 복잡도 이론 초기에는 공간 계층 정리와 및 와 같은 중요한 클래스를 만드는 등의 클래스에서 많은 성공을 거둔 것으로 보입니다 . 양자 계산에 대한 유사한 정의가 있습니까? 또는 양자 유사체가 흥미롭지 않은 명백한 이유가 …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

세트 커버의 다음 변형은 무엇입니까? 세트 S, S의 서브 세트 모음 C 및 양의 정수 K가 주어지면, S의 모든 요소 쌍이 선택된 서브 세트 중 하나에 놓 이도록 C에 K 세트가 존재한다. 참고 :이 문제가 NP-Complete임을 확인하기는 어렵지 않습니다. 정상적인 설정 표지 문제 (S, C, K)가 주어지면 S ', S' …

15 np-hardness  set-cover  cc.complexity-theory