길이 까지 SAT를 계산하는 최소 회로를 찾는 복잡성에 대해 알려진 것은 무엇입니까 ? nnn 더 공식적으로 : 입력으로 을 주면 함수의 복잡도 는 최소 회로 출력 하므로 식 와 , ? C φ | φ | ≤ n C ( φ ) = S A T ( φ )1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq …
이 분야의 사람들 (이론적 컴퓨터 과학)이 프레젠테이션을 만들기 위해 어떤 도구를 사용하는지 궁금합니다. 많은 컴퓨터 과학이 논문을 쓰는 것이 아니라 프레젠테이션을하는 것이므로 이것이 중요한 소프트 질문이라고 생각했습니다. 이것은 논문을 작성하기 위해 어떤 도구를 사용 하는 이전의 질문에서 영감을 받았습니다 . 내가 본 가장 일반적인 것은 다음과 같습니다. 비머 마이크로 소프트 …
주어진 dag입니다. 도달 가능한 노드 수에 따라 각 노드에 레이블을 지정하려고합니다. 는 사소한 상한입니다. Ω ( V + E ) 는 하한입니다 (제 생각에). 더 나은 알고리즘이 있습니까? 하한이 개선 될 수 있다고 믿는 이유가 있습니까 (관련 : 전이 폐쇄의 하한에 대해 정확히 알려진 것)?O(V(V+E))O(V(V+E))O(V(V+E))Ω(V+E)Ω(V+E)\Omega(V+E) 동기 부여 : 나는 fol …
8 월 31 일에 업데이트 된 게시물 : 원래 질문 아래에 현재 답변에 대한 요약을 추가했습니다. 모든 흥미로운 답변에 감사드립니다! 물론 모든 사람이 새로운 결과를 계속 게시 할 수 있습니다. 어느 그래프 패밀리에 대해 색수 를 계산하기위한 다항식 시간 알고리즘이 존재 합니까?χ(G)χ(G)\chi(G) 경우 다항식 시간으로 문제를 해결할 수 있습니다 (이분 …
각 제약 조건에 최대 4 개의 변수 (예 : -1 계수를 가질 수있는 하나의 변수를 제외하고 모두 음이 아닌 {0,1} 계수)를 갖는 선형 제약 조건 세트가있는 경우 솔루션에 대해 알려진 것 공간? 변수의 수와 제약의 수, 그리고 변수의 수의 함수로서 목적 함수의 최소값이 얼마나 작은 지 아는 것보다 효율적인 솔루션에 …
내 게시물에 Fortnow의 의견에 의해 동기를 그래프 동형 문제가 아니라는 것을 증거 - 완전한NPNPNP G I N P N P P G I P , 그리고 사실에 의해 위한 주요 후보 -intermediate 문제 (안 에서 - 완전한이나 ), I는 알려진 증거에 관심 것을 아닌 .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP 이러한 증거 중 하나 는 …
내가 해결 정규 언어 L을LL 알파벳에 ΣΣ\Sigma , 그리고 내가 전화하는 다음과 같은 문제를 고려 편지 일정 에 대한 L을LL . 비공식적으로, 입력은 각 문자에 대해 n 개의nn 문자와 간격을 제공하며 (즉, 최소 및 최대 위치) 두 번째 문자가 동일한 위치에 매핑되지 않도록 각 문자를 간격에 배치하는 것이 목표입니다. 결과 …
부울 변수 의 집합 에 대해 일련의 절 를 고려할 때 모두 같지 않음 -SAT 문제 (NAE -SAT) 는 각 절에 최대 리터럴이 포함 되도록 변수의 실제 할당이 있는지 묻습니다. 각 절에는 하나 이상의 true 및 하나 이상의 false 리터럴이 포함됩니다.kkkkkkCCCXXXkkk PLANAR NAE -SAT 문제는 NAE -SAT가 와 의 입사 …
AKS 우선 순위 테스트 알고리즘의 첫 번째 단계는 입력 번호가 완벽한 검정력인지 확인하는 것입니다. 논문이 자세히 설명하지 않았기 때문에 이것은 숫자 이론에서 잘 알려진 사실 인 것 같습니다. 누군가 다항식 시간 에이 작업을 수행하는 방법을 말해 줄 수 있습니까? 감사.
용 ⊂ [ N ] 나타내고 의해 의 작은 소자 .A⊂[n]에이⊂[엔]A\subset [n]ai에이나는a_iithithi^{th}AAA 두 개의 요소 세트 에 대해 모든 대해 경우 라고 말합니다 .kkkA,B⊂[n]A,B⊂[n]A,B\subset [n]A≤BA≤BA\le Bai≤biai≤bia_i\le b_iiii -uniform의 하이퍼 그래프 불리며 시프트 쇄상 어느 간선 들어, , 우리가 또는 . (그래서 시프트 체인에는 최대 하이퍼에지가 있습니다.)kkkH⊂[n]H⊂[n]{\mathcal H}\subset [n]A,B∈HA,B∈HA, B \in …
변수를 . 두 변수 사이의 거리는. 두 리터럴 사이의 거리는 해당하는 두 변수 사이의 거리입니다.x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| 모든 절 대해 와 같이 3-SAT 인스턴스가 있다고 가정합니다. 어떤 고정 값 .(xa,xb,xc)(xa,xb,xc)(x_a , x_b, x_c)d(xa,xb)≤N∧d(xa,xc)≤N∧d(xb,xc)≤Nd(xa,xb)≤N∧d(xa,xc)≤N∧d(xb,xc)≤Nd(x_a , x_b) \leq N \wedge d(x_a , x_c) \leq …