«reductions» 태그된 질문

인스턴스를 더 크게 만들지 않고 -Clique를 SAT 로 줄이는 데 관심이 있습니다.kkk Clique는 NP에 있으므로 대수 공간을 사용하여 SAT로 줄일 수 있습니다. 간단한 Garey / Johnson 교과서 축소는 인스턴스를 입방 크기로 날려 버립니다 . 그러나 Clique는 모든 고정 대해 P에 있으므로 적어도 고정 대한 효율적인 감소가 "필요"해야한다 .kkkkkkkkk 축소를 구축하는 …

10 cc.complexity-theory  sat  reductions  clique 

컴퓨터 과학의 물리적 문제 모델로 축소 될 수있는 어려운 문제 (NP 또는 그 이상)의 예를 찾고 있습니다. 예를 들어, Ising 모델에서 max-2-sat를 에너지 최소화로 줄일 수 있습니다. 이 유형의 축소에 대한 더 많은 예를 찾고 싶습니다.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Kolmogorov의 복잡성이 계산할 수없는 또 다른 문제의 감소를 사용하여 계산할 수 없다는 증거를 찾고 있습니다. 일반적인 증거는 축소가 아닌 베리의 역설을 공식화하는 것이지만 Halting Problem 또는 Post 's Correspondence Problem과 같은 것을 줄여 증거가 있어야합니다.

9 computability  reductions  kolmogorov-complexity 

VRATW (Time-Windows)를 사용하여 차량 라우팅 문제를 결정 문제로 SAT / SMT 인스턴스로 구성하는 방법이 궁금합니다. (대안 : TSP) 예 : "n = 10 차량으로 시간대 내에있는 모든 고객을 방문하는 유효한 솔루션이 있습니까?" 이 결정 문제는 사용되는 차량의 수를 최소화하는 첫 번째 단계에 유용 할 수 있습니다. SMT에 대한 경험이 없지만 …

9 ds.algorithms  reference-request  sat  reductions  tsp