«lower-bounds» 태그된 질문

다음과 같은 자연적인 질문을 고려해 유한 언어 감안할 때 , 가장 작은 문맥 자유 문법 생성 무엇 L은 ?엘엘L엘엘L 우리는 언어의 순서 지정하여 질문을 더 재미있게 만들 수 있습니다 , 예를 들어 대한 L N 의 모든 순열의 집합입니다 { 1 , ... , N } : 직관적위한 CFG L …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

"너무 좋아서"데이터 구조의 존재를 배제한 결과가 알려져 있습니까? 예를 들어 , 주문 유지 보수 데이터 구조 에 and 기능을 추가 하고 ( Dietz 및 Sleator STOC '87 참조 ) 여전히 시간 작업을 얻을 수 있습니까?에스P l i t에스피엘나는티Split제이o 나 n제이영형나는엔JoinO (1)영형(1)\mathcal{O}(1) 또는 정수 키와 시간 연산으로 순서 집합을 구현할 수 …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

문제 #SAT는 정식 # P- 완전 문제입니다. 의사 결정 문제가 아니라 기능 문제입니다. 제안 논리에 부울 공식 가 주어지면 만족할만한 양수 F 가 몇 개인 지 묻습니다 . #SAT에서 가장 낮은 하한은 어느 것입니까?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

랜덤 제한과 스위칭 레마 에 기반한 잘 알려진 AC0AC0\mathsf{AC^0} 회로 크기 하한 결과가 있습니다. TC0TC0\mathsf{TC^0} 회로에 대한 하한 크기 ( 대한 하한 증명과 유사)를 증명하기 위해 스위칭 Lemma 결과를 개발할 수 있습니까 AC0AC0\mathsf{AC^0}? 아니면 TC0TC0\mathsf{TC^0} 하한 을 증명하기 위해이 접근법을 사용하는 데 방해가 되는가? Natural Proofs 와 같은 장벽 결과는 …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

요소 고유성 / 차별성 문제에 대한 로그 선형 하한에 대한 몇 가지 증거가 있지만 (대수 계산 트리 또는 적대적 인수에 기초 함) 알고리즘 분석 및 설계의 첫 번째 과정에서 사용할 수있는 간단한 것을 찾고 있습니다. 정렬에 대한 하한과 동일한 "난이도"가 좋습니다. 또한, 모든 접근법 (예를 들어, 조합 또는 정보 이론에 …

13 cc.complexity-theory  lower-bounds  proofs 

그 정수 포인트 D 차원 격자를 주어진 검증하기 쉬운 정규 인접하여 한 크기의 세퍼레이터 찾을 수 없음 (D) - (1) (다만 어떤 중간 초평면을 선택하고, 전체 삭제 정점). 또한 분리막의 크기가 Ω ( n d - 1 ) 이어야한다는 것을 확인하는 것은 너무 어렵지 않지만 (즉각적이지는 않습니다 ) . 아무도 …

13 reference-request  cg.comp-geom  lower-bounds 

중지 문제는 계산할 수없는 것으로 잘 알려져 있습니다. 그러나 정지 문제에 대한 정보를 기하 급수적으로 "압축"하여 압축을 풀 수 있습니다. 보다 정확하게는 튜링 기계에 대한 설명을 계산할 수 있으며 비트 권고 는 튜링 기계의 모든 에 대한 정지 문제에 대한 답을 어드바이스 상태는 신뢰할 수 있습니다. 어드바이저는 비트 수를 선택하여 …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

하자 ( 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 

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 

어떤 속성이 2-CNF (2-SAT)로 표현 될 수 없다는 것을 어떻게 알 수 있습니까? 페블 게임과 같은 게임이 있습니까? 고전적인 블랙 페블 게임과 블랙-화이트 페블 게임은 이것에 부적합한 것으로 보입니다 (Hytel과 Pitassi, SIAM J of Computing, 2010에 따르면 PSPACE는 완벽합니다). 아니면 게임 이외의 기술이 있습니까? 편집 : 나는 알 수없는 술어 …

12 sat  lower-bounds  combinatorial-game-theory 

aaabbbaaabbbaaabbbO(mlogmloglogm)O(mlog⁡mlog⁡log⁡m)O(m\log m\log\log m)mmmmax{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlog⁡mlog⁡log⁡m)\Omega(m\log m\log\log m) 이 문제의 하한? 고마워요, 그리고 이것이 순진한 질문이라면 죄송합니다.

12 time-complexity  lower-bounds  nt.number-theory  primes 

무게이진 문자열 중 은 문자열에있는 숫자의 수입니다. 입력이 거의없는 입력에서 모노톤 기능을 계산하려면 어떻게해야합니까?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n 그래프에 크릭이 있는지 결정하는 것이 모노톤 회로에서는 어렵다는 것을 알고 있지만 (Alon Boppana, 1987 참조) 그래프에 예를 들어 최대 에지가 있으면 다음과 같은 모노톤 경계 깊이 회로를 찾을 수 있습니다 크기 은 -clique 를 결정 합니다.kkkk3k3k^3f(k)⋅nO(1)f(k)⋅nO(1)f(k)\cdot …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

하한 을 증명하기 위해 줄일 수있는 표준 문제는 무엇입니까 ?Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) 물론 분류 및 요소 구별 이외의 문제를 언급하십시오.

12 cc.complexity-theory  lower-bounds 

이는 다항식 시간 경도 결과 에 대한 Robin Kothari의 이전 게시물에 대한 후속 질문으로 작성되었습니다 . 특히, 나는 대략 하한 을 갖는 것으로 여겨지는 문제에 대한 경도 증거를 보고자합니다. 그리고 단어 크기 (예 : 3SUM과 같은)를 가지고 약간의 서브 큐빅 개선을 허용한다고합니다. Barab et al. (Springer를 통해 )). 의사 결정 …

12 graph-theory  cg.comp-geom  lower-bounds 

이 질문은 스택 작업 당 상각 된 O ( 1 ) 시간 에 두 개의 대기열을 사용하여 스택을 시뮬레이션 할 수 있는지 여부 에 대한 기존 질문에서 영감을 얻었습니다 . 답을 알 수없는 것 같습니다. 다음은 모든 PUSH 작업이 먼저 수행되고 모든 POP 작업이 수행되는 특수한 경우에 해당하는보다 구체적인 질문입니다. …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting