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

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

3
특성은 양호하지만 다항식 시간 알고리즘이없는 최적화 문제
다음 형식의 최적화 문제를 고려하십시오. f(x)f(x)f(x) 문자열 xxx 를 유리수로 매핑하는 다항식 시간 계산 가능 함수라고 합시다 . 최적화 문제는 다음과 같습니다. n 비트 문자열 x에 대한 의 최대 값은 얼마입니까?f(x)f(x)f(x)nnnxxx gggmaxxf(x)=minyg(y)maxxf(x)=minyg(y)\max_x f(x) = \min_y g(y)xxxnnnyyymmmnnnmmm 수많은 자연스럽고 중요한 최적화 문제에는 이러한 미니맥 특성이 있습니다. 몇 가지 예 (특성에 기초한 …

3
다항식으로 OR 표현
나는 변수 에 대한 OR 함수 가 다항식 로 정확하게 표현 될 수 있음을 알고 있습니다 : 이며 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_np(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n)p(x1,…,xn)=1−∏ni=1(1−xi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right)nnn 그러나 ppp 가 OR 함수를 정확하게 나타내는 다항식 인 경우 (그래서 ∀x∈{0,1}n:p(x)=⋁ni=1xi∀x∈{0,1}n:p(x)=⋁i=1nxi\forall x \in \{0,1\}^n : p(x) = \bigvee_{i = 1}^n x_i ) 다음 deg(p)≥ndeg⁡(p)≥n\deg(p) \ge …



6
복잡도 하한을 결정하는 고급 기술
여러분 중 일부는 이 질문을 따르고 있었을 것인데, 이는 연구 수준이 아니기 때문에 폐쇄되었습니다. 그래서 나는 연구 수준에있는 질문의 일부를 추출하고 있습니다. 정렬 감소 또는 EXPTIME 완료 문제와 같은 "간단한"기술 외에도 문제의 시간 복잡성에 대한 하한을 증명하기 위해 어떤 기술이 사용 되었습니까? 특히: 지난 10 년간 개발 된 "최첨단"기술은 무엇입니까? …

2
자연스러운 CLIQUE to K-Color 감소
둘 다 NP-Complete이기 때문에 CLIQUE에서 k-Color로 분명히 축소되었습니다. 사실, 저는 3-SAT에서 k-Color로 축소하여 CLIQUE에서 3-SAT로 축소를 구성하여 하나를 구성 할 수 있습니다. 내가 궁금해하는 것은 이러한 문제 사이에 합리적인 직접 축소가 있는지 여부입니다. SAT와 같은 중간 언어를 설명 할 필요없이 친구에게 간략하게 설명 할 수있는 축소를 말하십시오. 내가 찾고있는 것의 …

1
쉬운 가제트에서 Planar Hamiltonian Cycle NP-Complete (Hamiltonian Cycle)을 증명하고 싶습니다.
Hamiltonian (짧은 햄) 사이클은 NP- 완료이고 Planar Ham Cycle은 NP- 완전한 것으로 알려져 있습니다. Planar Ham Cycle에 대한 증거는 Ham Cycle이 아닙니다. 그래프 G가 주어지면 모든 교차점을 평면 가제트로 대체하여 평면 그래프 G '를 갖도록 멋진 가제트가 있습니까? G '에 햄 사이클이 있으면 G'에 햄 사이클이 있습니다. (Ham 경로 또는 …


1
경계 트리 폭이있는 그래프의 로그 공간 알고리즘
나무 너비 는 그래프가 나무에 얼마나 가까운 지 측정합니다. 트리 너비를 계산하는 것은 NP가 어렵습니다. 가장 잘 알려진 근사 알고리즘은 요소를 달성합니다.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle의 정리에 따르면 monadic 2 차 논리 (MSO2)로 정의 할 수있는 그래프의 속성은 제한된 트리 너비의 모든 그래프 클래스에서 선형 시간으로 결정할 수 있다고 합니다. 최근 논문에 따르면 …






4
Graph Isomorphism이
내 게시물에 Fortnow의 의견에 의해 동기를 그래프 동형 문제가 아니라는 것을 증거 - 완전한NPNPNP G I N P N P P G I P , 그리고 사실에 의해 위한 주요 후보 -intermediate 문제 (안 에서 - 완전한이나 ), I는 알려진 증거에 관심 것을 아닌 .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP 이러한 증거 중 하나 는 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.