«complexity-classes» 태그된 질문

라즐로 바바이 (László Babai)는 최근 그래프 동 형사상 문제가 준 다항식 시간 에 있음을 증명했다 . 시카고 대학교에서의 그의 강연 을 참조하십시오. Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 의 대화 내용을 참고하십시오 . Ladner의 정리에 따르면 인 경우 가 비어 있지 않습니다. 즉 …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

거의 모든 입력에서 L 을 올바르게 결정하는 다항식 시간 알고리즘이있는 경우 언어 엘LL 은 P- 밀도-클로즈 라고 가정하겠습니다 .엘LL ∈A∈A\in L Δ ALΔAL\Delta AALL임n → ∞| (LΔA)∩{0,1 }엔|2엔= 0limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.에이AA엘LL엘LL 참고 드문 드문 일 필요는 없습니다. 예를 들어, 비트 문자열이있는 경우 이므로 지수 지수로 여전히 소실됩니다. .2 …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

토론 : 나는 최근 의사 소통의 복잡성에서 다양한 것들을 배우는 데 개인적인 시간을 보냈습니다. 예를 들어, 나는 Arora / Barak의 관련 장에 익숙해졌고, 논문을 읽기 시작했고, Kushilevitz / Nisan이 책을 주문했습니다. 직관적으로 통신 복잡성과 계산 복잡성을 대조하고 싶습니다. 특히, 나는 계산 복잡도가 (다시 할 수 있습니다 일부 복잡성 클래스로 계산 …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

리프 언어는 많은 복잡한 클래스를 균일하게 정의 할 수있는 아름다운 방법입니다. 대부분의 복잡성 클래스는 일반적으로 계산 모델 (예 : 결정적 / 임의의 TM) 및 자원 바운드 (로그 시간, 폴리 공간 등)에 의해 지정됩니다. 그러나 리프 언어 공식에는 계산 모델이 하나만 있으며 클래스는 리프 언어를 제공하여 지정됩니다. 자세한 내용은 설명하기에 너무 …

20 cc.complexity-theory  complexity-classes 

오늘날 뉴욕 과 전세계에서 Christos Papadimitriou의 생일이 축하됩니다. 이것은 Christos의 복잡성 클래스 PPAD (및 그의 다른 관련 클래스)와 양자 컴퓨터 사이의 관계에 대해 질문 할 수있는 좋은 기회입니다. 그의 유명한 1994 년 논문에서 Papadimitriou는 PLS, PPAD 등과 같은 몇 가지 중요한 복잡성 클래스를 도입하고 체계적으로 연구했습니다. (Papadimitriou의 논문은 일부 초기 …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

2 F 가 # P에 있도록 정수 값 함수로 하자 . 있음을 따라 하는가 F가 에 #의 P ? 이것이 항상 유지되지 않을 것이라고 믿을만한 이유가 있습니까? 내가 알아야 할 언급이 있습니까?에프FF2 F2F2F# P#P\#P에프FF# P#P\#P 다소 놀랍게도,이 상황은 함수, (훨씬 더 큰 상수)를 내놓았다 있는 F ∈ ? # P …

19 cc.complexity-theory  complexity-classes  counting-complexity 

Wikipedia는 있지만 P 외부에있는 것으로 추측되는 네 가지 문제를 나열했습니다 . 이산 로그; 양자 시스템의 시뮬레이션; 특정 통일의 근본에서 Jones 다항식을 계산합니다.B 질문P비큐피BQP피피P 다른 문제가 있습니까?

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

정점 채색 문제가 P에 있지만 독립 세트 문제가 NP 완료 인 그래프 클래스의 예가 있습니까?

19 cc.complexity-theory  graph-theory  complexity-classes 

정수 인수 분해, 소수 / 복소수 이산 로그 문제 및 타원 곡선 포인트 그룹 (및 더 높은 차원의 abelian 품종)에 대한 변형과 ​​같이 암호화에서 발생하는 특정 하드 문제에 대한 회로 하한에 대한 세부 정보를 제공하는 참조가 있습니까? 숨겨진 부분 군 문제? 특히 이러한 문제 중 하나라도 선형 복잡도 하한값 이상을 …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

2011/02/08에서 편집 : 일부 참고 자료 찾기 및 읽기 후에 원래 질문을 두 개의 개별 질문으로 분리하기로 결정했습니다. UP과 NP에 관한 부분은 다음과 같습니다. 구문 및 의미 클래스의 경우 구문 및 의미 클래스의 이점을 참조하십시오 . U PUP\mathsf{UP} (명백한 다항식 시간, 참조를 위해 위키 및 동물원 참조)은 -기계에 의해 결정된 …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

패리티와 은 분리 할 수없는 쌍둥이와 같습니다. 아니면 지난 30 년 동안 보였습니다. Ryan의 결과에 비추어 소규모 수업에 대한 관심이 다시 생길 것입니다.C0ㅏ씨0AC^0 Furst Saxe Sipser to Yao to Hastad는 모두 패리티 및 임의 제한입니다. Razborov / Smolensky는 패리티 (ok, mod gates)가있는 근사 다항식입니다. Aspnes 등은 패리티에서 약한 정도를 사용합니다. …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

유명한 동형 추측 버먼과 Hartmanis의는 모든 것을 말한다 - 완전한 언어가 서로 다항식 시간 동형 (P-동형)입니다. 추측의 중요한 의미는 P ≠ N P를 암시한다는 것 입니다. 그것은 1977 년에 출판, 증거를 지원하는 조각은 모든 것을이었다 N P 당시에 알려진 - 완전한 문제가 실제로 P-동형했다. 사실, 그들은 모두 패딩 가능했습니다 . …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

복잡성 동물원 에 대해 많은이없는 S CSC\mathsf{SC} . 더 높은 수준의 계층 구조 에있는 멋진 † 문제, 즉 D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ) 의 문제를 찾고 있지만 에서 D T 나 …

18 cc.complexity-theory  complexity-classes 

문제점 : 정수 길이를 갖는 스틱 세트가 제공됩니다. 길이의 총합은 n (n + 1) / 2입니다. 다항식 시간 에 크기가 스틱을 얻기 위해 그것들을 분해 할 수 있습니까 ? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} 놀랍게도,이 문제에 대한 유일한 참조는이 고대 토론입니다. http://www.iwriteiam.nl/cutsticks.html 이 문제에 대해 알려진 것이 무엇입니까? …

18 reference-request  complexity-classes  puzzles 

Parity-P 는 비 결정적 튜링 머신에 의해 인식되는 언어 세트로, 짝수 또는 홀수의 "수락"경로 만 구분할 수 있습니다 (0 또는 0이 아닌 허용 경로가 아님). 따라서 Parity-P는 기본적으로 PP 의 더 어린 형제 자매입니다. PP는 NP 머신의 허용 경로 수가 대다수인지 ( 즉 , 해당 수량의 가장 중요한 비트인지)를 계산하지만 …

18 cc.complexity-theory  complexity-classes  np