«np-hard» 태그된 질문

최소한 NP- 완전 문제만큼 어려운 결정 문제

6
알려진 NP-Hard 문제를 기반으로하는 암호화 알고리즘이없는 이유는 무엇입니까?
RSA와 같은 오늘날의 암호화의 대부분은 정수 인수 분해에 의존하는데, 이는 NP 하드 문제는 아니지만 BQP에 속하므로 양자 컴퓨터에 취약합니다. 알려진 NP 하드 문제에 기반한 암호화 알고리즘이없는 이유가 궁금합니다. NP-hard로 입증되지 않은 알고리즘보다 더 나은 암호화 알고리즘을 만드는 것처럼 들립니다 (적어도 이론적으로는).

3
예 또는 아니오가 아닌 결정 문제 대“실제”문제
나는 몇 가지 문제가에 근접하기 어려운 것을 여러 곳에서 읽기 (이다 NP-하드 근사치 를). 그러나 근사는 결정적인 문제가 아닙니다. 대답은 예 또는 아니오가 아닌 실수입니다. 또한 각각의 원하는 근사 계수에 대해 많은 정답과 오답이 있으며, 이는 원하는 근사 계수로 바뀝니다! 그렇다면이 문제가 NP-hard라고 어떻게 말할 수 있습니까? (상기 제 탄환 …

1
쓰레기통을 최소한의 움직임으로 채우는 것은 NP-hard입니까?
있다 쓰레기통과 공의 유형. 번째 빈 라벨 갖는다 에 대해 ,이 타입의 볼의 예상 번호 .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj 유형의 볼로 시작 합니다. 유형의 각 볼 은 가중치 를 가지며 bin 가 가중치 볼을 빈에 . 이전 상태를 유지하는 볼의 분포를 실현 가능한 솔루션이라고합니다.bjbjb_jjjjjjjwjwjw_jiiicicic_i bin 유형의 공이 있는 실행 가능한 솔루션을 …

2
NP에 없지만 결정 가능한 NP-Hard 문제
NP-Complete 가 아니며 결정 불가능한 NP-Hard 문제를 쉽게 이해할 수있는 좋은 예가 있는지 궁금합니다 . 예를 들어, 정지 문제 는 NP-Complete가 아니라 결정 불가능한 NP-Hard입니다. 나는 이것이 다항식 시간이 아닌 해결책을 검증 할 수있는 문제라는 것을 의미한다고 생각합니다. (이 경우가 아니면이 설명을 수정하십시오).

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
시간대 슬롯 판매
을 감안할 때 타임 슬롯은 K의 사람들은 사고 싶은데요. 사람 i 는 각 시간 슬롯 j 에 대해 h ( i , j ) ≥ 0 값 을 갖습니다 . 각 사람은 하나의 연속 된 시간 슬롯 블록 만 구입할 수 있으며 이는 비어있을 수 있습니다.엔nn케이kk나는iih ( i , j …

2
Dominosa NP-Hard입니까?
이 질문은 컴퓨터 과학 스택 교환에서 답변 할 수 있기 때문에 수학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . Dominosa는 ​​비교적 새로운 퍼즐 게임입니다. 이는 온 재생 격자. 게임이 시작되기 전에 도미노 본 이 그리드에 배치됩니다 (완벽한 타일링 구성) ). 다음 단계에서는 도미노 뼈가 숨겨져 있으며 숫자 만 …

1
NPI 내부 계층의 자연 후보
라고 가정 해 봅시다 . 는 또는 -hard에 없는 의 문제 클래스입니다 . 추측되는 문제 목록은 여기에서 찾을 수 있습니다 .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}피P\mathsf{P}N PNP\mathsf{NP}N P INPI\mathsf{NPI} 라드의 정리는 우리에게 알려줍니다 경우 그 다음의 무한 …

2
다음 문제를 SAT로 줄이십시오.
여기에 문제가 있습니다. 주어지면 각 입니다. 거기 서브셋 최대 크기 되도록 모든 ? 이 문제를 SAT로 줄이기 위해 노력하고 있습니다. 해결책에 대한 내 생각은 1에서 까지 변수 를 갖는 것입니다 . 경우 각 에 대해 절 하십시오 . 그런 다음이 모든 절을 함께 사용하십시오. 그러나 이것은 의 제약을 나타내지 않으므로 …

2
부분 집합 : 일반적인 경우에 특수 감소
Wikipedia 는 하위 집합 합계 문제가 주어진 정수의 여러 하위 집합을 찾는 것으로서 그 합계는 0입니다. 또한 그것은 합 서브셋 발견에 해당한다고 에스ss 주어진 위해 에스ss . 그래서 나는 그것들이 동등하다는 것을 믿습니다. 중 하나 에스ss 제로를 설정하여 사소한 s = 0s=0s = 0 . 그러나 나는 0에서 감소 찾는 …

1
CNF에서 DNF 로의 변환이 NP-Hard임을 증명
이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . CNF에서 DNF 로의 변환이 NP-Hard임을 어떻게 증명할 수 있습니까? 나는 대답을 요구하지 않고 그것을 증명하는 방법에 대한 몇 가지 제안 만합니다.


1
3SAT에서 해밀턴 경로 문제로 쉽게 축소
286 페이지의 Sipser의 책 "계산 이론 소개"가 3SAT에서 Hamiltonian 경로 문제로 감소했습니다. 더 간단한 축소가 있습니까? 더 간단하게 말하면 (학생들에게는) 이해하기 쉬운 축소를 의미합니다. 선형 수의 변수를 사용하는 축소가 있습니까? Sipser의 축소는 변수를 사용 합니다. 여기서 는 절 수이고 은 변수 수입니다. 다시 말해, 축소가 크기를 에서 로 날리는 것이 …

1
"Flow Free"퍼즐은 NP-hard입니까?
"Flow Free"퍼즐은 양의 정수 과 격자 그래프 에서 고유 한 정점의 (정렬되지 않은) 쌍으로 구성되어 각 정점이 최대 한 쌍이되도록합니다. 이러한 퍼즐에 대한 해결책 은 그래프에서 방향이 지정되지 않은 경로 의 집합으로 각 정점이 정확히 하나의 경로에 있고 각 경로의 끝 집합이 퍼즐의 정점 쌍 중 하나입니다. 이 이미지 는 …

2
Hidoku NP가 완료 되었습니까?
Hidoku는 1에서 사이의 미리 채워진 정수 가있는 격자입니다 . 목표는 그리드 에서 연속 정수 (1 ~ ) 의 경로를 찾는 것입니다 . 보다 구체적으로, 그리드의 각 셀은 1에서 까지의 서로 다른 정수를 포함해야 하며 값 각 셀은 값이 인접 셀을 가져야합니다 (대각선 일 수도 있음).n 2 n 2 n 2 …

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