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

선형 프로그래밍 및 k- 평균과 같은 많은 문제에 대한 정확한 알고리즘의 런타임을 이해하기 위해 스무딩 분석이 여러 번 적용되었습니다. 이 영역에는 꽤 일반적인 결과가 있습니다 (예 : Heiko Röglin 및 Berthold Vöcking, Smoothed analysis of integer programming , 2005). 이러한 일반적인 결과 중 일부는 고유 한 최적의 솔루션으로 인스턴스를 생성하기 …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

스도쿠는 NP- 완료로 잘 알려진 퍼즐입니다. 이진 스도쿠는 숫자 과 1 만 허용하는 변형입니다 . 규칙은 다음과 같습니다.000111 각 행과 각 열에는 동일한 수의 0과 1이 포함되어야합니다. 각 행과 각 열은 고유합니다. 행 또는 열에는 연속적인 삼중 0 또는 1 이 포함되지 않습니다 ( 은 연속 삼중 1 입니다).1111111 1 …

12 cc.complexity-theory  np-hardness  puzzles 

경계가있는 그래프의 정점 채색에 대한 경도 결과를 찾고 있습니다. 그래프 주어 , 우리가 알고있는 어떤을위한 , 그것은 대략 어렵다 배에서 하지 않는 한 [ 1 ]. 그러나 의 최대 정도 가 묶이면 어떻게 될까요? 이 경우 (일부 ) 형식의 경도 비율 이 있습니까?ε > 0 χ ( G ) | …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

Schaefer의 이분법 정리는 대한 각 CSP 문제 가 다항식 시간에 풀 수 있거나 NP- 완전 하다는 것을 보여줍니다 . 예를 들어, SAT 및 Horn-SAT를 제외한 폭이 제한된 CSP 문제에만 적용됩니다. 폭이 무한한 일반적인 CSP 문제는 매우 어려울 수 있으며 (계산할 수없는 경우도 있음) "자연스럽고 NP에있는 문제"로 제한합니다.{ 0 , 1 …

12 cc.complexity-theory  lo.logic  csp 

RP=NPRP=NPRP = NP 는 거짓으로 널리 추측됩니다. 그러나 그것이 사실이라는 것을 잠시 상상해보십시오. 이 경우 일 가능성은 얼마나 됩니까?P=NPP=NPP = NP 다시 말해, 인 세계에서 를 믿는 데 장애가되는 것으로 보이는 것은 무엇 입니까?RP=NPRP=NPRP = NPP=NPP=NPP = NP

12 cc.complexity-theory  complexity-classes  conditional-results 

수정 SAT의 탐색 양식을 예 NP에 완성 검색 문제. Levin 검색은 어떤 의미에서 최적 인 X 를 해결하기 위한 알고리즘 L 을 제공합니다 . 특히, 알고리즘은 " 일부 P가 리턴 한 y 가 올바른지 여부를 테스트 하면 입력 x 에 대해 가능한 모든 프로그램 P 를 실행 합니다"입니다. 이 프로그램 …

12 cc.complexity-theory  time-complexity  p-vs-np 

하드 코어 보손의 양자 랜덤 보행 (대칭이지만 이중 점유는 없음)을 사용하여 그래프 동 형사상 문제를 공격하기위한 노력이있었습니다. 유망 같았다 인접 행렬, 대칭 전력이 일반 그래프의 불완전한 것으로 판명되었다 용지 아미르 Rahnamai Barghi 리아 및 포노 마렌 의해. Jamie Smith 가이 논문 에서 다른 유사한 접근 방식을 반박했습니다 . 이 논문 …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

일반적인 적의 하한은 Reichardt 등의 혁신적인 작업으로 인한 양자 쿼리 복잡성을 특성화하는 것으로 알려져 있습니다. 또한 동일한 작업 라인이 스팬 프로그램 프레임 워크에 연결하여 양자 알고리즘을 설계합니다. Simon의 알고리즘과 같은 지수 속도가 증가하고주기를 찾기위한 Shor의 알고리즘을 포함하여 많은 흥미로운 양자 알고리즘이 양자 쿼리 모델로 표현 될 수 있습니다. 일반적인 적대적 …

12 cc.complexity-theory  quantum-computing  query-complexity 

크기 n1n1n_1 과 의 두 개의 스트링이 주어지면 n2n2n_2, 표준 레 벤슈 테인 편집 거리 계산은 시간 복잡도 O(n1n2)O(n1n2)O(n_1 n_2) 와 공간 복잡도 가진 동적 알고리즘에 의해 계산됩니다 O(n1n2)O(n1n2)O(n_1 n_2). (일부 개선 편집 거리의 함수로 만들 수 있습니다 ddd , 그러나 우리는 아무런 가정도하지 않습니다 dddO(max(n1,n2))O(max(n1,n2))O(\max(n_1, n_2)) 그러나 최적의 편집 …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

각 꼭지점이 정확히 두 개의 나가는 모서리를 가지며 자연수 N이 이진수로 인코딩 된 두 개의 꼭지점 s와 t, N 단계 내에서 s에서 t까지의 경로 수를 세고 싶습니다. 이것이 # P- 하드 문제입니까? 또는 일반적으로이 문제의 복잡성은 무엇입니까?

12 cc.complexity-theory  graph-theory  counting-complexity 

알고리즘이 될 수있는 "문제"를 정의 자연수를 받아들이고 복귀 0 또는 1을 반환 적어도 하나 . 이러한 은 의 "솔루션"이라고합니다1 n ∈ N n AㅏAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA "유니버설 문제 해결사"를 정의하여 문제를 받아들이고 그 해결책 중 하나를 반환 하는 알고리즘예를 들어 는 모든 자연수를 반복하고 결과가 될 때까지 입력을 실행하여 작동 …

12 cc.complexity-theory  ai.artificial-intel 

Arora와 Barak은 이 로 표현 될 수 있음을 보여줍니다. 즉, 3SAT로 무작위 축소 된 언어 집합입니다. 는 또한 결정 론적 검증자를 무작위 화 된 검증기로 대체한다는 점에서 의 자연스러운 무작위 일반화입니다 .AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} 이들 중 하나가 "NP가?에 대해 P는 BPP에?"에 더 가깝다는 의미가 있습니까? 관계?

12 cc.complexity-theory  big-picture 

MPA (multipebble 오토 마톤)는 2DFA 실제로 최대 자갈 (임의의 개수를 사용할 수있다 (양방향 결정적 유한 오토 마톤을)은 주어진 입력 자갈 승 - 입력은 두 개의 단부 사이에서 테이프에 기록된다 - # w # )로 표시됩니다. 계산 중에 MPA는 헤드 아래의 심볼에 조약돌이 있는지 여부를 감지 한 다음 조약돌 (조약돌)이 없으면 …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

언어 가 있지만 실제로 어떤 문자열이 언어의 일부인지 모릅니다. 보유 모두 한 언어의 유한이다 : 문자열 유한 집합 ⊆ L 언어로 알려져 있으며, 문자열의 유한 세트 B ⊆ ( Σ * ∖ L ) 에 있지 알려져있다 언어.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) 예를 들어, 내가 가지고 …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

일반적으로 한계가 "다항식 시간으로 계산 가능"과 같은 임계 값이 아니라 계산의 유한 성인 미적분에 대해 추론하는 것이 더 간단합니다. 예를 들어 공식 언어 이론에서는 을 사용하는 것이 좋습니다 . x n + 1 = x n 은 비 주기적 단일체를 특성화하기 위해 x ω + 1 = x ω가 되도록 …

12 cc.complexity-theory  computability