«reductions» 태그된 질문

계산 가능성과 복잡성에서 다른 문제의 솔루션을 사용하여 한 문제를 해결할 수있는 문제 간의 매핑을 찾습니다. 프로그래밍 언어 이론의 축소 (예 : 베타 감소)는 [lambda-calculus] 또는 [term-rewriting]을 참조하십시오.

4
서로에 대한 문제를 줄이는 일반적인 기술은 무엇입니까?
계산 및 복잡성 이론 (및 기타 분야)에서 감소는 어디에나 있습니다. 이 많은 종류가 있지만 원칙은 동일하게 유지 : 하나의 문제가 있음을 보여 다른 문제로 하드로 적어도입니다 에서 매핑 인스턴스에 의한 의 솔루션 상응하는 것들 . 기본적으로 대한 모든 솔버 가 축소 기능을 전처리 사용할 수 있도록 허용하면 도 해결할 수 …
2
C의 void 유형이 빈 / 하단 유형과 유사하지 않은 이유는 무엇입니까?
Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
문제가 NP- 완료임을 증명하기 위해 문제 간 축소를 구성하는 방법은 무엇입니까?
나는 복잡한 과정을 겪고 있으며 NPC 문제 사이의 감소를 생각해내는 데 어려움을 겪고 있습니다. 문제 사이의 감소를 어떻게 찾을 수 있습니까? 사용할 수있는 일반적인 트릭이 있습니까? 문제가 NPC임을 증명하도록 요청하는 문제에 어떻게 접근해야합니까?
3
NP- 완전성 교육-Turing 감소와 Karp 감소
컴퓨터 과학 전공에게 NP- 완전성을 가르치는 가장 좋은 방법에 대한 질문에 관심이 있습니다. 특히 Karp 축소를 사용하거나 Turing 축소를 사용하여 가르쳐야합니까? NP- 완전성 및 축소 개념은 모든 컴퓨터 과학 전공이 배워야 할 개념이라고 생각합니다. 그러나 NP- 완전성을 가르 칠 때 Karp 감소의 사용에는 몇 가지 단점이 있음을 알았습니다. 우선, 일부 …
1
선형 프로그램으로 정렬
놀랍게도 수많은 문제는 선형 프로그래밍 (LP)을 상당히 자연스럽게 감소시킵니다. 네트워크 흐름, 이분법 일치, 제로섬 게임, 최단 경로, 선형 회귀 및 회로 평가와 같은 예는 [1]의 7 장을 참조하십시오 ! 회로 평가는 선형 프로그래밍으로 줄어들 기 때문에 모든 문제 에는 선형 프로그래밍 공식이 있어야합니다. 따라서 선형 프로그램으로 축소하여 "새로운"정렬 알고리즘이 있습니다. …
2
스도쿠를 해결할 수 있으면 TSP (Traveling Salesman Problem)를 해결할 수 있습니까? 그렇다면 어떻게?
어떤 크기의 스도쿠를 부분적으로 채운 경우 완성 된 스도쿠를 제공하는 프로그램이 있다고 가정 해 봅시다. 이 프로그램을 블랙 박스 로 취급 하고이를 사용하여 TSP를 해결할 수 있습니까? TSP 문제를 부분적으로 채워진 스도쿠로 표현할 수있는 방법이 있으므로 스도쿠의 답변을 제공하면 다항식 시간으로 TSP에 대한 해결책을 말할 수 있습니까? 그렇다면 어떻게? TSP를 …
3
(수학) 문제를 SAT 인스턴스로 변환
내가하고 싶은 것은 수학 문제를 부울 만족도 문제 (SAT)로 바꾸고 SAT 해 찾기를 사용하여 해결하는 것입니다. 누군가가 매뉴얼, 가이드 또는 내 문제를 SAT 인스턴스로 변환하는 데 도움이되는 것을 알고 있는지 궁금합니다. 또한, 나는 이것을 지수 시간보다 더 나은 시간에 해결하고 싶습니다. SAT 솔버가 도움이 되길 바랍니다.
2
“서브 세트 제품”문제가 NP- 완전합니까?
부분 집합 합계 문제는 일반적인 NP 완료 문제입니다. 숫자 과 목표 k 의 목록이 주어지면, L 부터 k 까지의 숫자의 부분 집합이 있습니까?엘LL케이kk엘LL케이kk 한 학생이 "서브 세트 제품"문제라는이 변형이 NP- 완전한 것인지 물었습니다. 숫자 과 목표 k 의 목록이 주어지면, L 의 곱이 k 인 숫자의 부분 집합이 있습니까?엘LL케이kk엘LL케이kk 몇 …
2
다음 문제를 SAT로 줄이십시오.
여기에 문제가 있습니다. 주어지면 각 입니다. 거기 서브셋 최대 크기 되도록 모든 ? 이 문제를 SAT로 줄이기 위해 노력하고 있습니다. 해결책에 대한 내 생각은 1에서 까지 변수 를 갖는 것입니다 . 경우 각 에 대해 절 하십시오 . 그런 다음이 모든 절을 함께 사용하십시오. 그러나 이것은 의 제약을 나타내지 않으므로 …
2
부분 집합 : 일반적인 경우에 특수 감소
Wikipedia 는 하위 집합 합계 문제가 주어진 정수의 여러 하위 집합을 찾는 것으로서 그 합계는 0입니다. 또한 그것은 합 서브셋 발견에 해당한다고 에스ss 주어진 위해 에스ss . 그래서 나는 그것들이 동등하다는 것을 믿습니다. 중 하나 에스ss 제로를 설정하여 사소한 s = 0s=0s = 0 . 그러나 나는 0에서 감소 찾는 …
3
하프 클릭-NP 완료 문제
숙제 문제라는 점에서 시작 하겠습니다. 조언과 관련 관찰 만 제공하십시오 . 직접적인 답변은 없습니다 . 그 말로, 내가보고있는 문제는 다음과 같습니다. HALF-CLIQUE = { | 는 적어도 노드 를 가진 완전한 서브 그래프를 갖는 무 방향 그래프 이며, 여기서 n은 } 의 노드 수입니다 . HALF-CLIQUE가 NP- 완료임을 보여줍니다.G N …
2
Turing 감소로 NP 경도를 나타낼 수 있습니까?
용지에 의 Frobenius 문제의 복잡성 라미레즈-Alfonsín함으로써,이 문제는 NP-튜링 감소를 사용하는 것으로 확인되었다. 가능합니까? 정확히 어떻게? 나는 이것이 다항식 시간으로 많은 것이 가능하다고 생각했습니다. 이것에 대한 언급이 있습니까? NP- 경도, 심지어 NP- 완전성의 두 가지 다른 개념이 있습니까? 그러나 실제적인 관점에서 내 문제가 NP-hard라는 것을 보여주고 싶다면 어느 것을 사용해야하는지 혼란스러워합니다. …
1
네트워크 흐름보다 최소 컷이 더 쉬울 수 있습니까?
max-flow min-cut 정리 덕분에 우리는 알고리즘을 사용하여 네트워크 그래프에서 최대 흐름을 계산하여 -min-cut 을 계산할 수 있습니다. 따라서, 최소한의 계산의 복잡성 ( S , T ) 는 최대 계산 복잡도보다 더 절단의 ( S , t ) -flow한다.( s , t )(s,t)(s,t)( s , t )(s,t)(s,t)( s , t )(s,t)(s,t) …
2
NP- 완전 문제에서 한계 PCP로 다항식 감소
어느 곳에서나 교과서는 경계 포스트 대응 문제 가 NP- 완전 이라고 가정합니다 ( 반복에 엔NN 인덱스 만 허용). 그러나 다른 NP- 완전 문제에서 간단한 (다소의 학자가 이해할 수있는) 다항식 시간 단축을 보여주는 곳은 어디에도 없습니다. 그러나 내가 생각할 수있는 모든 축소 는 런타임에 지수 ( 엔NN 또는 시리즈 크기)입니다. 아마도 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.