다음 문제에 대한 알고리즘을 구성하는 데 도움이 필요합니다. 나는 "를 참조하십시오"다른 점 C 수있는 점 G의 세트가있다. C의 모든 커버 G에서 최소한의를 찾는 알고리즘을 필요 (G 반드시 C의 일부가 아닙니다). 동적 프로그래밍으로 해결해야한다고 생각합니다. 그러나 나는 어떤 해결책이나 아이디어에 열려 있습니다. 감사합니다. 편집 1 : 나는 완전히
무작위로 방향이 바뀌지 않은 소셜 그래프가 있습니다. 가능한 경우 해밀턴 경로를 찾고 싶습니다. 또는 가능하지 않은 경우 (또는 가능한 경우 다항 시간으로 알 수없는 경우) 일련의 경로가 있습니다. 이 "일련의 경로"(모든 N 노드가 정확히 한 번 사용됨)에서 은 경로의 수를 최소화합니다. 및 은 경로의 평균 길이 인을 최대화합니다. (그래서 단일 노드의
는 다음과 같은 문제를 고려 동전의 부분 집합을 식별하고, num_heads은 머리 부분 인 동전의 수입니다. 이러한 M 사실을 감안할 때 가능한 최대 헤드 수를 알아 내야합니다. 이 문제는 NP 완료입니까? 그렇다면 감소는 무엇입니까? 그렇지 않다면, 다항식 시간 솔루션은 무엇입니까? 예를 들어 : N = 5
M = 3
fact1 = { {1, 2},
나는 직접적인 비순환 그래프를 가지고 있으며 리소스 제약 조건을 가진 최단 경로를 찾아야합니다. 저의 제약 조건은 선택된 경로가 소비 된 설정 자원의 최소 수를 가져야한다는 것입니다. 현재 K 최단 경로를 계산하고 내 제약 조건을 만족하는 경로 만 허용하려면 Yen's K Shortest Path algorithm을 사용하고 있습니다. 여기에서의 문제는 K
Wiki에 따르면 폴리 시간에서 np 복잡성 문제를 A로 변환하면 A는 np 하드입니다. 는 http://en.wikipedia.org/wiki/NP-hard를 참조하지만, 아래의 PDF는 다항식 시간에 문제 A를에 NP 어려운 문제를 변환 할 때, A는 NP 것을 말한다 - http://compgeom.cs.uiuc.edu/~jeffe/teaching/a
예를 들어, 내가 컴파일러/증명 검사 일하고, 나는 구문 트리가 있다면 내가 이와 같은, 궁금 해서요 : data Expr
= Lambdas (Set String) Expr
| Var String
| ...
할 수있는 방법이 있다면 Expr의 alpha-equivalence (등가 모듈로 이름 바꾸기)를 확인하십시오. 그러나이
우리는 다음과 같은 문제 등 ROMAN 서브 세트를 정의 NP 완전 증명 : INPUT : 유향 그래프 G = (V, E)과 양의 정수 K OUTPUT : V의 서브 세트 R이 | R | < = k 및 G의 모든 방향 지정 회로에는 R의 적어도 하나의 정점 이 포함되어 있으므로 출력은 "TRUE"여야합니다. 그렇지 않으면 "FALSE"여야합니다. Verte
이 사람이 힘들어서 모든 도움이 정말 감사합니다! 나는 그것을 알고 는 NP-완료되고, 따라서 다항식 시간에 해결 될 수는 없지만, 등이에 감소 어떤 NP 완성 문제의 유형 분석에 도움, 그것은 당신을 생각 나게 유사한 문제, 을 찾고 이야기는 다음과 같습니다. 나는 n 트럭으로 아이스크림 트럭 사업을 소유하고있다. m 배송이 중단되는 곳이 있습니다. 각
SAT가 NP 완전하다는 증거는 건설적인 증거이므로 프로그램으로 구현할 수 있어야합니다. 아무도이 짓을 한거야? 나는 (true 또는 false를 반환하는) 프로그램으로 입력하고 SAT 수식을 출력하는 프로그램 (컴파일러)을 찾고있다. 예를 들어, 컴파일러는 다음 프로그램을 사용할 수 있습니다 (pythonic 구문으로 표시하지만 모든 언어는 저와 동일합니