«np-hardness» 태그된 질문

NP- 경도 및 NP- 완전성과 관련된 질문.

1
번호 분할의 특별한 경우의 NP 경도
다음 문제를 고려하십시오. 자 세트 양수 있는 상수, 우리로 세트 분할 할 크기의 서브 세트 되도록 각각의 합계의 생성물 부분 집합이 최대화됩니다.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk 이 문제는 각 파티션의 수에 제한이 있다는 점을 제외하고 잘 알려진 way 숫자 분할 과 매우 유사 합니다. 들면 …

3
사본의 NP 문제
이 질문은 나무의 NP-hard 문제 와 유사합니다 . cographs에서 다루기 쉬운 많은 NP-complete 문제가 있습니다 . 사본에 제한을 두었을 때 NP-complete로 남아있는 알려진 문제가 있습니까? 더 정확하게 말하면 입력 이 방향이 지정되지 않은 가중치가없는 cograph로만 구성된 예에 관심이 있습니다 . 두 가지 언급 : 가중 사본의 경우 이러한 문제가 언급되어 …


4
DAG의 지시 된 NP-hard 문제
트리 폭 은 그래프가 나무에 얼마나 가까운 지 측정합니다. 나무 너비가 제한된 그래프에서는 몇 가지 NP-hard 문제를 다루기 쉽습니다. 문제가 나무에 NP-hard로 남아 있으면 나무 너비는 우리를 구할 수 없습니다. 이것은 나무의 NP-hard 문제를 요구하는 이전 질문 중 하나의 배후의 동기였습니다 . 방향성 그래프가 DAG (Directed Acyclic Graph)에 얼마나 가까운지를 …

2
P 대 NP를 SAT로 줄이기
다음 질문은 복잡성 이론에 적용된 암호의 아이디어를 사용합니다. 즉, 그것은 순전히 복잡하고 이론적 인 질문이며 답을 얻는 데 필요한 암호 지식은 없습니다. 나는이 질문을 고의적으로 비공식적으로 작성합니다. 세부 사항이 없으면 약간 잘못 설명되었을 수 있습니다. 답변에서 수정 사항을 알려주십시오. 다음 papaper에서 : Nonmalleable 암호화, 대니 돌 레브, 신시아 드 워크 …

2
비정규 그룹 요소의 순열로 달성 할 수있는 사항 결정
유한 그룹 수정하십시오 . 다음 결정 문제에 관심이 있습니다. 입력은 부분 순서가있는 일부 요소이며 질문은 순서를 만족시키는 요소의 순열이 있고 그 요소의 구성이 차수는 그룹의 중립 요소 산출합니다 .G의 전자지GG지GG이자형ee 공식적으로 -test 문제 는 다음과 같습니다. 여기서 그룹 은 수정됩니다.지GG지GG 입력 : 에서 까지 라벨링 기능이 유한 부분 정렬 세트 …


2
P 대 NP의 확률
우선, 고델의 불완전 성 정리 (및 공식적인 논리)에 대한 나의 이해는 매우 순진하며 이론적 컴퓨터 과학에 대한 나의 지식이기도합니다 (여전히 학부 과정 중 하나의 대학원 과정 만 이수했음을 의미 함). 매우 순진합니다. 내가 알 수있는 한 P 대 NP의 가능성은 공개적인 문제입니다. 지금: 괴델의 첫 번째 불완전 성 정리에 따르면 …

1
메트릭 그래프에서 모든 유도 하위 그래프 G [S]에 대해 MST (G [S]) 최대화
이 문제는 전에 연구 되었습니까? 메트릭 무 방향 그래프 G (가장자리 길이가 삼각형 부등식을 만족함)가 주어지면 MST (G [S])가 최대화되도록 정점 세트 S를 찾으십시오. 여기서 MST (G [S])는 S.이 문제는 이전에 연구 된 적이 있습니까? NP- 하드입니까? 고마워

4
수치 데이터와 관련된 NP-hard 문제의 목록
축소를 위해 NP-hard 문제 를 강하게 찾고 있습니다. 지금까지 나는 다음과 같은 문제를 발견했다. 3 분할 문제 빈 포장 문제 숫자 3 차원 매칭 TSP 수치 데이터가없는 NP- 완전 문제 (예 : 만족도, 적혈구주기, 3 색). 누구든지 강력한 NP-hard 문제 목록을 알고 있습니까? 그렇지 않다면 여기에 하나 만들어 봅시다. NP …

4
NP- 완전성 / 경도는 건설적이어야합니까?
다음 속성을 가진 가 있습니까?L ∈ N PL∈NPL\in {\bf NP} 그것은 것으로 알려져 의미 .패 ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} (또는 일부 다른 -완전한 문제)를 튜링 감소하는 알려진 다항식 시간은 없습니다 .에스TSATSATN PNP{\bf NP}엘LL 즉,에 대한 다항식 시간 알고리즘 경우 붕괴 의미 로 , 그것은이 "일반 …

2
부울 변수 NP를 만족시키는 연산자를 찾는 데 문제가 있습니까?
이것은 각 변수의 할당은 알고 있지만 부울 연산자의 할당은 알지 못한다는 점을 제외하고는 SAT와 유사합니다. 이 경우 각 연산자의 할당을 찾고 있으므로식이 주어진 부울 값으로 NPC 문제를 평가합니까? 실제로, 정수 산술 표현 (예 : = 10) 을 만족시키기 위해 산술 연산자의 할당을 찾는 것이 NP가 완전한지 궁금합니다.111 op1op1op_1 333 op2op2op_2 …

1
고정 직경 그래프 용 3 분할 분할
3-Clique Partition 문제는 그래프의 꼭짓점 (예 : )을 3 개의 clique로 분할 할 수 있는지 여부를 결정하는 문제입니다 . 이 문제는 3 색성 문제를 간단히 줄임으로써 NP-hard입니다. 또는 때이 문제에 대한 답이 쉬운 지 알기 어렵지 않습니다 . 문제는 때 자체에서 간단한 감소로 인해 NP-hard 상태로 남아 있습니다 (그래프 주어지고 …

1
Nurikabe의 복잡성은 무엇입니까?
Nurikabe 는 지뢰 찾기 / Nonograms와 거의 유사한 구속 조건 기반 그리드 채우기 퍼즐입니다. 숫자는 각 셀에 대한 켜기 / 끄기 값으로 채워질 그리드에 배치되며 각 숫자는 해당 크기의 연결된 '온'셀 영역을 나타내며 '오프'셀 영역에 대한 약간의 제약 조건이 있습니다. 연결되어 있어야하며 인접한 2x2 영역을 포함 할 수 없습니다). Wikipedia …

1
주어진 카디널리티의 최소 무게 하위 포리스트
이 질문은 stackoverflow에 대한 질문에 의해 동기 부여되었습니다 . 노드 ( )에 루트 트리 (즉, 루트가 있고 노드에 자식이있는 등) 가 있다고 가정하십시오 .TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n 각 정점 는 음이 아닌 정수 가중치와 관련이 있습니다 : .iiiwiwiw_i 또한 과 같은 정수 가 제공 됩니다.kkk1≤k≤n1≤k≤n1 \le k \le n 노드 …

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