«complexity-classes» 태그된 질문

곱셈 오류의 맥락에서 NP-hard 문제에 대해 알려진 근사 결과의 경도를 설정하는 풍부한 문헌과 최소한 하나의 훌륭한 책이 있습니다 (예 : UGC를 가정하면 정점 표지에 대한 2 근사가 최적입니다). 여기에는 APX, PTAS 등과 같은 잘 알려진 근사 복잡성 클래스도 포함됩니다. 가산 오차를 고려할 때 알려진 것은 무엇입니까? 문헌 검색에서 빈 포장에 …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

복잡성 이론은 NP- 완전성과 같은 개념을 통해 상대적으로 효율적인 솔루션이있는 계산 문제와 다루기 어려운 문제를 구별합니다. "미세한"복잡성은이 정 성적 구별을 문제 해결에 필요한 정확한 시간에 대한 정량적 가이드로 세분화하는 것을 목표로합니다. 자세한 내용은 여기를 참조 하십시오 : http://simons.berkeley.edu/programs/complexity2015 다음은 몇 가지 중요한 가설입니다. ETH : 333 - SATSATSAT 는 δ …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

다음 형식의 최적화 문제를 고려하십시오. f(x)f(x)f(x) 문자열 xxx 를 유리수로 매핑하는 다항식 시간 계산 가능 함수라고 합시다 . 최적화 문제는 다음과 같습니다. n 비트 문자열 x에 대한 의 최대 값은 얼마입니까?f(x)f(x)f(x)nnnxxx gggmaxxf(x)=minyg(y)maxxf(x)=minyg(y)\max_x f(x) = \min_y g(y)xxxnnnyyymmmnnnmmm 수많은 자연스럽고 중요한 최적화 문제에는 이러한 미니맥 특성이 있습니다. 몇 가지 예 (특성에 기초한 …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

를 믿어야하는 매력적인 이유는 무엇입니까 ? L은 입력에 대한 포인터가있는 로그 공간 알고리즘 클래스입니다.L≠PL≠PL\neq P 현재 L = P라고 가정하십시오. P- 완전 문제에 대한 로그 공간 알고리즘은 일반적인 개요에서 어떤 모양입니까?

23 cc.complexity-theory  complexity-classes 

에서는 스레드 , Norbet 블룸의 시도 증거는 간결 Tardos 함수 정리 6 반례 것을 주목 반증한다.피≠ N피P≠NPP \neq NP 정리 6 : 모노톤 부울 함수로합니다. CNF-DNF-approximator에 있다고 가정 A를 위해 하한을 증명하는 데 사용될 수 C를 m ( F ) . 그러면 A는 또한 행 같은 저급 증명하는 데 사용될 …

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

이것은 일종의 개방형 질문입니다. 사전에 사과드립니다. 복잡하거나 튜링 기계와 관련이 없지만 그 대답은 의미하는 진술의 예가 P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}있습니까?

22 cc.complexity-theory  complexity-classes  p-vs-np 

Peter Shor 의 답변 과 Adam Crume 의 이전 질문을 읽는 동안 나는 피P\mathsf{P} hard의 의미에 대해 약간의 오해가 있음을 깨달았습니다 . 문제는 피P\mathsf{P} 어떤 문제가있는 경우 -hard 피P\mathsf{P} 와 그것에 환원이다 엘L\mathsf{L} (또는 당신이 선호하는 경우 N CNC\mathsf{NC} ) 감소. 다항식 시간 알고리즘이 없으면 문제가 외부에 피P\mathsf{P}있습니다. 이것은 외부에 …

22 cc.complexity-theory  complexity-classes 

이라고 믿거 나 N L ≠ L 이라고 믿을만한 근거가 있는지 궁금합니다 .엔L = LNL=LNL=L엔L ≠ LNL≠LNL\neq L 것으로 알려져있다 . R L의 무작위 화 해제에 관한 문헌 은 R L = L 임을 확신합니다 . 누구나 N L ≠ L 임을 설득하는 기사 나 아이디어에 대해 알고 있습니까?엔L ⊂ …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

f(n)f(n)f(n) c > 0limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 모든 언어 L \ in {\ mathsf P}에 대해 모든 초 다항식 시간 바운드 f (n)에L∈PL∈PL\in {\mathsf P} 대해 L \ in {\ mathsf {DTIME}} (f (n)) 이 있음이 분명합니다 . 나는이 진술의 대화가 사실인지 궁금합니다. 우리가 알고있는 경우 즉, 의 L를 \ {\ mathsf …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

나는 Y 조합기 프리미티브가없는 대부분의 유형화 된 람다 미적분학의 복잡성이 제한되어 있다는 것을 알고있다. 예를 들어, 건축 미적분학은 기하 급수적으로 복잡한 지수를 표현할 수 있습니다. 내 질문은 유형이 지정된 람다 미적분학 이 특정 복잡성 아래 또는 모든 알고리즘 아래에서 모든 알고리즘을 표현할 수 있는지 여부와 관련이 있습니까? 예를 들어 Lambda …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

BPP에 있지만 RP 또는 co-RP에없는 것으로 알려진 자연 문제의 예가 있습니까?

21 cc.complexity-theory  complexity-classes  randomness 

문제 는 P-hard라고 알려진 팩토링 에서 영감을 얻었으며 현재 비슷한 지식 상태가 그래프 동형의 경도에 대해 궁금합니다. GI가 P에 있는지 현재 알려지지 않았지만 확신합니다. GI가 현재 가장 어려운 클래스는 무엇입니까? (이것은 비슷한 소리 질문에 대답하지 않았습니다 ) 의견 중 일부를 해결하기 위해 GI가 현재 알려진 최대 클래스를 알고 싶습니다. 문제가 …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

효율적으로 병렬화하는 아이디어를 포착하고, 그 하나 개의 해석 시간에 풀 수있는 문제이다 O ( 로그 의 C , N ) 하여 O ( N 개의 케이 ) 일부 상수 병렬 프로세서 C , K . 내 질문은 시간이 n c 이고 프로세서 수가 2 n k 인 유사한 복잡성 클래스가 …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

BQP는 Abelian 숨겨진 하위 그룹 오라클에 액세스 할 수있는 BPP와 동일합니까?

21 complexity-classes  quantum-computing 

P에서 알고리즘 병렬화에 대해 알려진 것에 대해 광범위하게 궁금합니다.이 주제에 대한 다음 위키 백과 기사를 찾았습니다. http://en.wikipedia.org/wiki/NC_%28complexity%29 이 기사에는 다음 문장이 포함되어 있습니다. NC = P인지 여부는 알 수 없지만 대부분의 연구자들은 이것이 거짓이라고 생각합니다. 이는 아마도 "내재적으로 순차적"이며 병렬 처리를 사용하여 크게 가속화 될 수없는 다루기 어려운 문제가 있음을 …

21 cc.complexity-theory  complexity-classes  big-picture