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

P 대 NP 및 기타 리소스 제한 계산.

1
구간에 소수가 포함되는지 여부 결정
자연수의 구간에 소수가 포함되어 있는지 여부를 결정하는 복잡성은 무엇입니까? 에라토스테네스의 체의 변형은 알고리즘을 제공하며 , 여기서 L 은 구간의 길이이고 ~ 는 구간 의 시작점에서 다 로그 인자를 숨긴다. ( L 혼자서) 더 잘할 수 있습니까?O~(L)O~(L)\tilde O(L)LLL∼∼\simLLL
1
회로 평가 문제를위한 작은 회로
하자 맵핑 함수 될 -gate 회로 의 비트들과 비트 스트링 에 . 회로가 할당의 비순환 시퀀스 로 인코딩되었다고 가정합니다 . 는 와이어 레이블입니다.CircuitEvals,nCircuitEvals,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC(x)C(x)C(x)k:=g(i,j)k:=g(i,j)k := g(i, j)i,j,ki,j,ki, j, k 나는 이것이 약간 재미있는 질문이라는 것을 알고 있지만이 문제의 회로 복잡성에서 가장 잘 알려진 상한은 무엇입니까? 이 함수를 계산 하는 단일 …
2
복잡한 이론 연구에서 증거 보조 사용법?
STOC와 같은 컨퍼런스에서 다루는 주제를 고려할 때 알고리즘이나 복잡성 연구원이 COQ 또는 Isabelle을 적극적으로 사용하고 있습니까? 그렇다면 연구에서 어떻게 사용하고 있습니까? 나는 증거가 너무 낮기 때문에 대부분의 사람들이 그러한 도구를 사용하지 않을 것이라고 가정합니다. 좋은 보충이 아닌 연구에 중요한 방식 으로이 증거 보조자를 사용하는 사람이 있습니까? 나는 그러한 도구 중 …
2
주어진 정점 쌍 사이의 최대 거리를 줄이려면 해밀턴 경로에 일치 항목을 추가하십시오.
다음 문제의 복잡성은 무엇입니까? 입력 : 해밀턴 경로에서 K의 NHHHKn케이엔K_n 정점 쌍의 서브 세트R⊆[n]2아르 자형⊆[엔]2R \subseteq [n]^2 양의 정수 k케이k 쿼리 : 모든 ( v , u ) ∈ R , d G ( v , u ) ≤ k에 대해 일치하는 있습니까? (여기서, G = ( [ N ] …
3
결정 론적 계산의 비결정론 적 가속화
비결정론이 결정 론적 계산을 가속화 할 수 있습니까? 그렇다면 얼마입니까? 비결정론에 의한 결정 론적 계산 속도를 높이면 다음과 같은 형식의 결과를 의미합니다. DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) 예를 들어 DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) 비결정론에 의한 결정 론적 계산의 가장 잘 알려진 가속 결과는 무엇입니까? 무엇에 대해 또는 대신에 ? A T i m …
1
기초 대칭 다항식의 모노톤 산술 회로의 복잡성?
kkk 번째 기본 대칭 다항식 Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) 모두의 합 의 제품 구별 변수. 이 다항식 의 모노톤 산술 회로 복잡성에 관심이 있습니다. 간단한 동적 프로그래밍 알고리즘 (아래 그림 1)은 게이트 가있는 회로를 제공합니다 .(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) 질문 : 하한이 알려져 있습니까? Ω(kn)Ω(kn)\Omega(kn) 회로는 스큐 각 제품 게이트의 두 입력들 중 적어도 하나가 가변 …
2
무한히 많은 문자열을 제외하고 NP 완전한 언어의 폴리 타임 수퍼 셋
임의의 NP 완전한 언어에 대해 항상 보완 시간이 무한한 다중 시간 수퍼 셋이 있습니까? /cs//q/50123/42961 에서 수퍼 셋에 무한 보완을 요구하지 않는 간단한 버전이 요청되었습니다. 이 질문의 목적으로 라고 가정 할 수 있습니다 . Vor가 설명했듯이 이면 답은 "아니오"입니다. ( 인 경우 은 NP- 완료입니다. 분명히 수퍼 셋 은 무한대이고 …
2
일반 대 TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} 없는 의 문제점에 대한 후보 가 있습니까?RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} 암시하는 조건부 결과가 있습니까 ( 예 : , ?Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1} \not\subseteq \mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}
3
일정한 시간에 해결할 수있는 사소한 문제?
일정한 시간은 절대적으로 낮은 시간의 복잡성입니다. 일정 시간에 계산할 수있는 사소한 것이 있습니까? 우리가 Turing machine 모델을 고수한다면, 입력의 더 긴 부분이 일정한 시간 내에 도달 할 수 없기 때문에 응답은 입력의 일정한 길이의 초기 세그먼트에만 의존 할 수 있기 때문에 많은 것을 할 수 없습니다. 반면에 O(logn)O(log⁡n)O(\log n) 비트 …
2
두 폴리 토프의 동등성 확인
변수 의 벡터 와 A → x ≤ b로 지정된 선형 구속 조건 세트를 고려하십시오 .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b 또한, 두 개의 폴리 토프를 고려하십시오 P1P2={(f1(x⃗ ),⋯,fm(x⃗ ))∣Ax⃗ ≤b}={(g1(x⃗ ),⋯,gm(x⃗ ))∣Ax⃗ ≤b}P1={(f1(x→),⋯,fm(x→))∣Ax→≤b}P2={(g1(x→),⋯,gm(x→))∣Ax→≤b}\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*} 여기서 와 g 는 아핀 매핑입니다. 즉, …
2
모노톤 함수를 계산하려면 몇 개의 부정이 필요합니까?
Razborov는 모노톤 함수 매칭이 mP 가 아님을 증명했습니다 . 그러나 몇 가지 부정으로 다항식 크기 ​​회로를 사용하여 일치를 계산할 수 있습니까? 와 P / 폴리 회로 거기에 O(nϵ)O(nϵ)O(n^\epsilon) 을 계산하여 매칭이 있음을 부정? 부정의 수와 일치하는 크기의 균형은 무엇입니까?
1
DAG에서 모든 긴 경로를 파괴하는 것이 얼마나 비쌀까요?
우리는 하나 개의 소스 노드있는 DAG (방향성 비순환 그래프) 고려 들ss 및 하나 개의 타겟 노드 t를tt ; 동일한 정점 쌍을 연결하는 평행 모서리가 허용됩니다. Kkk - 컷 에지 제거 가지는 모든 파괴 Sss - t의tt 이상 경로 (K)를kk ; 더 짧은 sss - ttt 경로와 긴 "내부"경로 ( sss …
2
#P 이상 및 검색 문제 계산
여덟 명의 여왕 문제에 관한 위키 백과 기사를 읽고있었습니다. 정확한 수의 솔루션에 대한 알려진 공식은 없습니다. 몇 가지 검색을 한 후 "완전한 매핑의 계산 문제의 경도에 대해"라는 논문을 발견했습니다. 이 백서에는 #P를 넘어서는 #queens만큼이나 어려운 문제가 있습니다. Wikipedia 기사에서 철저하게 계산 된 # 여왕의 수를 엿볼 때, 그들은 상당히 지수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.