«complexity-theory» 태그된 질문

문제 해결의 (계산적) 복잡성과 관련된 질문

2
문제가 NP- 완료임을 증명하기 위해 문제 간 축소를 구성하는 방법은 무엇입니까?
나는 복잡한 과정을 겪고 있으며 NPC 문제 사이의 감소를 생각해내는 데 어려움을 겪고 있습니다. 문제 사이의 감소를 어떻게 찾을 수 있습니까? 사용할 수있는 일반적인 트릭이 있습니까? 문제가 NPC임을 증명하도록 요청하는 문제에 어떻게 접근해야합니까?
3
NP에서 "분명히"NP가 아닌 문제
모두 많은 발생한 , 그것은 문제가있는 것을 보여주기 위해 항상 사소한 -completeness 증거 나는 (내가 기억할 수있는) 읽었습니다 , 그리고 그것이 보여주는 -하드는 ... 어려운 부분입니다. 무엇 - 완전한 문제는 그 다항식 시간 확인 프로그램이 높은 비 사소한 다음은?NPNPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}
1
정규식 골프 NP- 완전합니까?
이 최근 XKCD 스트립 과 최근 블로그 게시물 에서 볼 수 있듯이Peter Norvig (및 후자를 특징으로하는 슬래쉬 도트 이야기)에서 나온 "regex golf"(정규식 분리 문제라고 부를 수 있음)는 세트 A의 모든 단어를 받아들이고 단어를 입력하지 않는 가장 짧은 정규식을 정의하는 퍼즐입니다. Norvig의 게시물에는 합리적으로 짧은 후보를 생성하는 알고리즘이 포함되어 있으며 그의 …
2
문제가 NP-complete 일 수 있는지 알기위한 경험 법칙
이 질문은 StackOverflow 에 대한 의견에서 영감을 얻었습니다 . Garey Johnson 책의 NP-complete 문제와 다른 많은 것들을 아는 것 외에도; 문제가 NP- 완전 문제인지 아닌지 알기위한 규칙이 있습니까? 나는 엄격한 것을 찾는 것이 아니라 대부분의 경우 작동하는 것을 찾고 있습니다. 물론, 문제가 NP- 완료이거나 NP- 완전 문제의 약간의 변형이라는 것을 …
2
의사 결정 문제의 최적화 버전
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 각 최적화 / 검색 문제에는 동등한 결정 문제가있는 것으로 알려져 있습니다. 예를 들어 최단 경로 문제 최적화 / 검색 버전 : 무 방향 비가 중 그래프 …
2
Dominosa NP-Hard입니까?
이 질문은 컴퓨터 과학 스택 교환에서 답변 할 수 있기 때문에 수학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . Dominosa는 ​​비교적 새로운 퍼즐 게임입니다. 이는 온 재생 격자. 게임이 시작되기 전에 도미노 본 이 그리드에 배치됩니다 (완벽한 타일링 구성) ). 다음 단계에서는 도미노 뼈가 숨겨져 있으며 숫자 만 …
1
문자열에서 가장 긴 반복 (산란) 서브 시퀀스
비공식 문제 설명 : 과 같은 문자열이 주어지면, 왼쪽에서 오른쪽으로 빨간색 글자 만 읽으면 파란색 글자 만 읽는 것과 같은 결과를 얻을 수 있도록 일부 글자는 빨간색으로, 일부 글자는 파란색으로 칠하고 (일부는 전혀 아님) 색을 지정하려고합니다.ACCABBABACCABBABACCABBAB 이 예에서는ACCABBABACCABBABA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} 따라서 는 의 반복되는 하위 시퀀스입니다 . 또한 가장 긴 반복 하위 …
3
NP- 완전성 교육-Turing 감소와 Karp 감소
컴퓨터 과학 전공에게 NP- 완전성을 가르치는 가장 좋은 방법에 대한 질문에 관심이 있습니다. 특히 Karp 축소를 사용하거나 Turing 축소를 사용하여 가르쳐야합니까? NP- 완전성 및 축소 개념은 모든 컴퓨터 과학 전공이 배워야 할 개념이라고 생각합니다. 그러나 NP- 완전성을 가르 칠 때 Karp 감소의 사용에는 몇 가지 단점이 있음을 알았습니다. 우선, 일부 …
5
NP에서이 결정 불가능한 문제가 아닌 이유는 무엇입니까?
분명히 NP에는 결정 불가능한 문제가 없습니다. 그러나 Wikipedia 에 따르면 : NP는 응답이 "예"인 경우 결정 론적 튜링 머신에 의해 다항식 시간으로 검증 할 수있는 [.. 증명]을 갖는 모든 결정 문제의 집합입니다. [...] 다항식 시간으로 실행되는 문제에 대한 검증자가있는 경우에만 문제가 NP에 있다고합니다. 이제 다음 문제를 고려하십시오. Diophantine 방정식이 주어지면 …
2
계산하기 쉽지만 검증하기 어려운 문제가 있습니까?
P NP를 가정하면 NP- 완전 문제는 해결하기 어렵지만 확인하기 쉬운 답변이 있습니다. 정답을 계산하기는 쉽지만 임의의 의도 된 솔루션을 확인하기 어려운 문제를 고려하는 것이 합리적입니까?≠≠\neq 그러한 문제는 다음 중 하나를 의미한다고 생각합니다. 주어진 모든 입력에 대해 기하 급수적으로 많은 "올바른"답변. 그렇지 않으면 모든 정답을 간단히 계산하여 검증을 수행 할 수 …
3
하한을 증명할 수 있습니까?
계산상의 문제가 있다면, 그러한 계산에 대한 하한을 찾는 작업이 실제로 가능합니까? 단일 계산 단계가 어떻게 정의되고 증명에 어떤 모델을 사용하는지에 달려 있지만 일반적으로 하한을 일반적으로 증명합니까? 내가 의미하는 바는 "문제 가 시간 보다 더 빨리 해결할 수 없음 "과 같은 문제를 증명할 수 있다는 것 입니다.t ( X ) X엑스엑스Xt …
2
#SAT를 해결하기 위해 때때로 효율적인 알고리즘이 있습니까?
하자 사업자와 일부 변수 보통 AND, OR 및 NOT으로 구성된 부울 수식합니다. 대한 만족스러운 과제 수를 세고 싶습니다 . 즉, 나는의 변수 진리 값을 다른 할당의 수를 찾으려면 하는 true 값을 가정합니다. 예를 들어, 수식 에는 세 가지 만족스러운 할당이 있습니다. 는 4 개입니다. 이것이 #SAT 문제 입니다.B B B …
2
논리적 Min-Cut NP-Complete입니까?
이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . LMC (Logical Min Cut) 문제 정의 가 가중이 아닌 그래프이고 및 가 두 꼭짓점 이고 가 에서 도달 할 수 있다고 가정합니다 . 우리가 할 수있는 방법을 LMC 문제 연구 …
2
“NP-complete”최적화 문제
이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 최적화 문제의 복잡성에 관한 몇 가지 용어로 인해 약간 혼란스러워합니다. 알고리즘 클래스에서 NP-complete로 설명 된 큰 parsimony 문제 가있었습니다 . 그러나 최적화 문제와 관련하여 NP-complete라는 용어가 무엇을 의미하는지 확실하지 않습니다. …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.