또 다른 스레드 에서 Joe Fitzsimons는 "3SAT에서 가장 좋은 현재 하한값"에 대해 물었습니다. 나는 다른 길로 가고 싶습니다 : 3SAT 에서 가장 좋은 현재 상한 은 무엇입니까 ? 다시 말해, 가장 효율적인 SAT 솔버의 시간 복잡성은 무엇입니까? 특히, SAT에 대한 하위 지수 (아직 초 다항식) 알고리즘을 찾는 것이 가능합니까?
이것은 회로 복잡성에 관한 질문입니다. (정의는 맨 아래에 있습니다.) 치아와 Beigel-타루이마다되었습니다 C C 0 크기의 회로 가족 들 크기의 등가 회로 군 갖는 S 쪽 O를 패 Y ( 로그 들 ) 깊이의 두 출력 게이트 대칭 함수이고 두번째 레벨 이루어져 p o l y ( log s ) 의 …
캐리 예측 알고리즘을 사용하여 다항식 크기 깊이 5 (또는 4?) 회로 제품군을 사용하여 추가를 계산할 수 있습니다 . 깊이를 줄일 수 있습니까? 캐리 예측 알고리즘에 의해 얻어진 것보다 깊이가 낮은 다항식 크기 회로 패밀리를 사용하여 두 개의 이진수의 덧셈을 계산할 수 있습니까?C0AC0AC^0 가 2 또는 3 인 회로 제품군 컴퓨팅 …
Turing 완성도에는 무한한 기억과 무한한 시간이 필요하다는 것을 알고 있습니다. 그러나이 서비스에는 한정된 양의 원자가 있으므로 메모리가 제한됩니다. 예를 들어, 가 비합리적 이지만 우주의 모든 원자가이 목적으로 사용 되더라도 특정 자릿수를 초과하여 저장할 수있는 방법은 없습니다 .ππ\pi 그러면 우주의 한계를 기반으로 구현 된 튜링 머신 (우주의 모든 자원을 사용할 수 …
다음과 같은 간단한 모노톤 회로 모델을 고려하십시오. 각 게이트는 이진 OR입니다. 기능의 복잡도 란 F ( X ) =가 Xf(x)=Axf(x)=Ax 여기서 부울 인 N × N 을 가진 행렬 O ( N ) '0'? 선형 크기 OR 회로로 계산할 수 있습니까?AAn×nn \times nO(n)O(n) 보다 공식적으로, fff 는 nnn 에서 nnn …
G를 2n 꼭짓점의 나무라고합시다. G의 트리 폭, tw (G) = 1입니다. 이제 그래프 H를 얻기 위해 G에 n 개의 모서리를 추가한다고 가정합니다. tw (H)의 쉬운 상한은 n + 1입니다. 이것이 본질적으로 최선입니까? 어떻게 든 tw (H)가 O (sqrt (n))이어야하지만 이것은 모호한 직감입니다. 2n 꼭짓점의 트리에 n 개의 모서리를 추가하여 얻은 …
변수와 절을 사용 하여 3-SAT를 고려한다고 가정하십시오 . 이 설명에 맞는 SAT 문제를 해결 하기 위해 시간 / 공간 이 걸리는 방법을 연구 중이며 임의의 양으로 조정할 수있는 오류 내에서. 그러나 캐치가 있습니다.c O ( v 2 + log c )vvvcccO(v2+logc)O(v2+logc)O(v^{2+\log c}) 이 방법은 사전 계산 된 값의 세트를 요구하며, …