«upper-bounds» 태그된 질문

8
SAT 최고의 상한
또 다른 스레드 에서 Joe Fitzsimons는 "3SAT에서 가장 좋은 현재 하한값"에 대해 물었습니다. 나는 다른 길로 가고 싶습니다 : 3SAT 에서 가장 좋은 현재 상한 은 무엇입니까 ? 다시 말해, 가장 효율적인 SAT 솔버의 시간 복잡성은 무엇입니까? 특히, SAT에 대한 하위 지수 (아직 초 다항식) 알고리즘을 찾는 것이 가능합니까?

3
? 의 고정 깊이 특성
이것은 회로 복잡성에 관한 질문입니다. (정의는 맨 아래에 있습니다.) 치아와 Beigel-타루이마다되었습니다 C C 0 크기의 회로 가족 들 크기의 등가 회로 군 갖는 S 쪽 O를 패 Y ( 로그 들 ) 깊이의 두 출력 게이트 대칭 함수이고 두번째 레벨 이루어져 p o l y ( log s ) 의 …

2
깊이 5 미만으로 추가 할 수 있습니까?
캐리 예측 알고리즘을 사용하여 다항식 크기 ​​깊이 5 (또는 4?) 회로 제품군을 사용하여 추가를 계산할 수 있습니다 . 깊이를 줄일 수 있습니까? 캐리 예측 알고리즘에 의해 얻어진 것보다 깊이가 낮은 다항식 크기 ​​회로 패밀리를 사용하여 두 개의 이진수의 덧셈을 계산할 수 있습니까?C0AC0AC^0 가 2 또는 3 인 회로 제품군 컴퓨팅 …

1
이 우주에서 계산의 한계는 무엇입니까?
Turing 완성도에는 무한한 기억과 무한한 시간이 필요하다는 것을 알고 있습니다. 그러나이 서비스에는 한정된 양의 원자가 있으므로 메모리가 제한됩니다. 예를 들어, 가 비합리적 이지만 우주의 모든 원자가이 목적으로 사용 되더라도 특정 자릿수를 초과하여 저장할 수있는 방법은 없습니다 .ππ\pi 그러면 우주의 한계를 기반으로 구현 된 튜링 머신 (우주의 모든 자원을 사용할 수 …


2
나무와 가장자리의 반을 모두 가질 수있는 나무 너비는 얼마나됩니까?
G를 2n 꼭짓점의 나무라고합시다. G의 트리 폭, tw (G) = 1입니다. 이제 그래프 H를 얻기 위해 G에 n 개의 모서리를 추가한다고 가정합니다. tw (H)의 쉬운 상한은 n + 1입니다. 이것이 본질적으로 최선입니까? 어떻게 든 tw (H)가 O (sqrt (n))이어야하지만 이것은 모호한 직감입니다. 2n 꼭짓점의 트리에 n 개의 모서리를 추가하여 얻은 …


2
3-SAT를위한 준 다항식 회로는 사소한 것입니까?
변수와 절을 사용 하여 3-SAT를 고려한다고 가정하십시오 . 이 설명에 맞는 SAT 문제를 해결 하기 위해 시간 / 공간 이 걸리는 방법을 연구 중이며 임의의 양으로 조정할 수있는 오류 내에서. 그러나 캐치가 있습니다.c O ( v 2 + log c )vvvcccO(v2+logc)O(v2+log⁡c)O(v^{2+\log c}) 이 방법은 사전 계산 된 값의 세트를 요구하며, …


2
문제의 정확한 복잡성
허락하다 xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} ...에 대한 i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, 약속으로 x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (합이 끝난 곳 ZZ\mathbb{Z}). 그렇다면 결정의 복잡성은 무엇입니까x=1x=1x = 1? 사소한 문제는 ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} 때문에 x≡1modmx≡1modmx \equiv 1\bmod{m}iff x=1x=1x = 1 입니다. 질문은 : 문제가 AC0AC0\mathsf{AC}^0 있습니까? 그렇다면 회로가 이것을 목격하는 것은 무엇입니까? 그렇지 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.