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

점 두 가지 크기의 세트 가 있다고 가정 합니다 . 회전에 의해서만 다른 경우 테스트의 (시간) 복잡성은 무엇입니까? : 회전 행렬이 존재 이되도록 ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY 여기에 실제 값을 나타내는 문제가 있습니다. 단순화를 위해 기본 산술 연산 비용을 O (1)로 가정 할 수 있도록 각 좌표에 대해 (짧은) 대수 공식이 있다고 …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

최근 프리 프린트 https://arxiv.org/abs/1801.00776 에서 실수를 시간 O ( n √) 로 정렬 할 수 있다고 주장합니다.nnn 선형 공간. 알고리즘 정렬 전문가는 아니지만 논문은 합리적으로 보입니다.O(nlogn−−−−√),O(nlog⁡n),O(n \sqrt{\log n}), 맞다면 이론적으로 이것은 중요 할 것입니다. 그러나 주요 주장의 표현은 다소 비공식적이고 비 전통적입니다. 이 논문에서 아무도 눈치 채지 못했습니까? 같은 저자, …

12 cc.complexity-theory  ds.algorithms  sorting 

시간 계층 정리에 따르면 튜링 기계는 시간이 충분하다면 더 많은 문제를 해결할 수 있다고합니다. 공간이 무증상으로 제한되는 경우 어떤 방식으로 유지됩니까? 어떻게 DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) 에 관한 DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) 의 경우 fgfg\frac{f}{g} 는 충분히 빨리 자 랍니까? I는, 특히 그 경우에 관심이 s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = n^3 및 f(n)=2nf(n)=2nf(n) …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

밀도 언어의 함수 인 차원 X : N → N은 정의 차원 X ( N ) = | { x ∈ X ∣ | x | ≤ n } | . 가정 및 B는 약간의 유한 알파벳 이상의 언어이다 대일 LOGSPACE가 감소 B 및 B가 아닌 L = 인 DSpace …

12 cc.complexity-theory  reductions  structural-complexity 

나는 모든 만족할 수있는 명제 논리 공식, SAT 의 언어를 고려하고 있습니다 (이것은 유한 알파벳을 갖기 위해 우리는 명제 문자를 적절한 방법으로 인코딩 할 것입니다 . [편집 : 대답은 질문에 대한 대답이 강력하지 않을 수 있다고 지적했습니다 다양한 인코딩으로 인해 더 구체적이어야합니다-아래 내 결론 참조] ). 내 간단한 질문은 가 …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

하자 ( F가 ) A (비 모노톤)의 최소 크기를 연산 나타낸다 ( +를 , × , - ) 회로 주어진 multilinear 다항식 계산 F를 ( X 1 , ... , X의 N ) = Σ E ∈ E C E N Π I = 1 x e i iA ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

나는 경우의 정의에서, 어떤 일이 일어날 것, 궁금 (다항식 계층 구조는, 예를 들어, 참조 여기 의 역할) N P는 로 대체 될 것 R P ?피HPHPH엔피NPNPR PRPRP 과 같은 방법으로 우리는 여전히 계층 구조를 만들 수 보인다 단지 사용, 내장 R의 P 사방 대신 N P 및 C O R …

12 cc.complexity-theory  randomized-algorithms  randomness 

Karp 감소는 두 계산 문제 사이의 다항식 시간 계산 가능한 많은 일 감소입니다. 많은 Karp 축소는 실제로 하나의 기능입니다. 이것은 모든 Karp 감소가 주 입성 (일대일 기능)인지에 대한 의문을 제기합니다. 다수의 Karp 감소 하에서 만 완료되고 주입 Karp 감소 하에서 완료되지 않은 자연적인 완전 문제가 있습니까? 인젝 티브 Karp 축소를 …

12 cc.complexity-theory 

1979 년 Hopcroft / Ullman 은 L ⊆ P ⊆ NP is PSpace는 알려져 있지만 L ⊊ PSpace는 모든 것이 적절한 격리라고 추측되지만 ~ 40 년 후 "여전히 남아있는 곳"이라고 알려진 유일한 적절한 (& 사소한) 격리라고 썼다. . 그때부터 L ⊊ P, P ⊊ PSpace 및 P ⊊ NP 사이에 …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

N P ⊆ P / p o l yP/poly=NP/polyP/poly=NP/polyP/poly = NP/poly 의미 차례로 다항식 계층 구조의 붕괴와 같은 흥미로운 결과를 보유하고 있습니다.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly 대한 흥미로운 의미가 있습니까?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

다양한 수의 이론 / 대수 문제의 알려진 또는 알려지지 않은 복잡성에 대한 목록을 찾고 있습니다. 예를 들어 GCD 가 열려 있습니다.엔씨1NC1NC^1 인수 분해 가 열려 있습니다.피PP 컴퓨팅 뭉치 상동 성은 -hard# P#P\#P , Arora와 Barak 은 팩토링의 변형이 라고 말합니다 ( NP- 완전 팩토링의 변형 에 대한 논의에 따르면 명확하지는 …

12 cc.complexity-theory  big-list  algebra  open-problem 

Razborov와 Rudich 의 자연적인 증거 장벽은 믿을만한 암호화 가정 하에서 건설적이고, 크고, 유용한 기능의 조합 특성을 찾아서 NP를 P / poly에서 분리 할 수 ​​없다고 말합니다. 장벽을 피하기 위해 잘 알려진 몇 가지 결과가 있습니다. 장벽이 약한 대형 위반에 민감하다는 것을 보여주는 차우 의 결과 와 최근 채프먼과 윌리엄스의 논문 …

12 cc.complexity-theory  circuit-complexity 

를 감도 및 블록 감도 가진 부울 함수라고 하자 .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) 민감도-블록 민감도 추측 추측 은 와 같은 있다고 합니다.c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{ }bs(f)\leq s(f)^c 이 추측의 진실과 거짓의 의미는 무엇입니까? 참고 문헌도 인용하십시오.

12 cc.complexity-theory  big-picture  boolean-functions  survey 

입력 유니버스 인 UUU 와의 하위 집합의 가족 UUU , 말 F⊆2UF⊆2U{\cal F} \subseteq 2^U . 의 부분 집합은 U , 즉 ⋃ E ∈ F E = U를 포함FF{\cal F} 할 수 있다고 가정합니다 .UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U 증분 피복 시퀀스 의 서브 세트의 서열이다 FF{\cal F} 말하자면 = { …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

PSPACE의 wikipedia 페이지에는 포함 이 엄격하지 않다고 언급 되어 있습니다 (불행히도 참조가 없음).NL⊂PHNL⊂PHNL\subset PH Q1 : 와 L ⊂ P # P 는 어떻습니까?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Q2 : 어떤 경우 설립 클래스가없는 가 들어 P # P 와 포함의 경우 어느 것이 알려져 있지 않다 L ⊂ C는 엄격하다?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …

12 cc.complexity-theory  complexity-classes  logspace