«np-hardness» 태그된 질문

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

2
주어진 정점 쌍 사이의 최대 거리를 줄이려면 해밀턴 경로에 일치 항목을 추가하십시오.
다음 문제의 복잡성은 무엇입니까? 입력 : 해밀턴 경로에서 K의 NHHHKn케이엔K_n 정점 쌍의 서브 세트R⊆[n]2아르 자형⊆[엔]2R \subseteq [n]^2 양의 정수 k케이k 쿼리 : 모든 ( v , u ) ∈ R , d G ( v , u ) ≤ k에 대해 일치하는 있습니까? (여기서, G = ( [ N ] …
5
경계 트리 폭 그래프에서 r- 도미 네이션 세트에 대한 정확한 알고리즘
그래프 주어 , I는 최적의 찾을 r에 대한 -domination G를 . 그게 내가 부분 집합의 원 인 S 의 V는 모든 정점 있도록 G는 최대의 거리에있다 연구 의 일부 정점에서 S 의 크기를 최소화하면서, S를 .G=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS 찾는이 관련 문제가 있습니다 : 내가 지금까지 확인 한 바로는, 나는 …
1
SAT의 NP-hardness에 필요한 최소 감소 깊이는 얼마입니까?
모두가 아시다시피, SAT는 대한 완료 다항식 시간 많은 한 감소를 WRT. 여전히 wrt 많은 일 감소입니다.N P엔피\mathsf{NP}C0ㅏ씨0\mathsf{AC^0} 내 질문은 축소에 필요한 최소 깊이는 얼마입니까? 더 공식적으로 최소한의 무엇입니까 SAT가되도록 -hard WRT 많은 일 감소?디디dN P엔피\mathsf{NP}C0디ㅏ씨디0\mathsf{AC^0_d} 나에게 보인다 충분해야한다? 누구든지 참조를 알고 있습니까?C02ㅏ씨20\mathsf{AC^0_2}
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
1
어떻게 NP에 문제가있을 수 있고 NP가 완전하지 않고 NP가 완전하지 않습니까?
나는 오랫동안 (1) NP-hard이고 (2) NP에 있으면 문제가 NP-complete라고 생각했다. 그러나 유명한 논문 "타원체 방법과 조합 최적화의 결과" 에서 저자들은 소수 색수 문제가 NP에 속하고 NP-hard이지만 NP- 완전한 것으로 알려져 있지 않다고 주장합니다. 논문의 세 번째 페이지에서 저자는 다음과 같이 씁니다. ... 그래프의 꼭짓점-포장 문제는 분수 색수 문제와 같은 의미로,이 …
1
부분 집합 합계 또는 NPP에 대한 정수 관계 감지?
정수 관계에 대한 (작은) 솔루션이 답을 얻을 수 있도록 부분 집합 합 또는 숫자 분할 문제의 인스턴스를 인코딩하는 방법이 있습니까? 확실하지 않다면 어떤 확률 론적 의미에서? 선택한 숫자의 범위가 보다 큰 '저밀도'영역에서 LLL (및 아마도 PSLQ)이 부분 집합 합계 문제를 해결하는 데 적당히 사용되었다는 것을 알고 있습니다. 선택된 숫자의 범위가 …
2
"가장 중요한 차별 비트"문제가 NP 완료입니까?
이것이 제가이 문제를 위해 만든 이름입니다. 나는 그것이 이전에 설명 된 것을 보지 못했습니다. 이 문제에 대한 NP- 완전성 또는 다항식 시간 알고리즘에 대한 증거를 아직 찾지 못했습니다. 숙제 문제가 아닙니다. 이것은 제가 일할 때 겪었던 문제와 관련이 있습니다. 최저 징수 비트 INSTANCE : 비트 벡터를 포함하는 세트 T. 각 …
1
유한 한 오토 마톤이 받아 들일 수있는 별개의 글자가 가장 적은 단어 문제의 복잡성
유한 (결정 론적 또는 비결정론 적)을 감안할 때, 자동 마톤 A와 임계 값 n , A는 최대 n 개의 고유 문자를 포함하는 단어를 허용 합니까? ( k 다른 문자로 aabaa 에는 두 개의 다른 문자 a 와 b 가 있음을 의미합니다 .) 나는이 문제가 NP- 완전임을 보여 주었지만, 나의 축소는 …
1
treewidth가 계산하기 어려운 흥미로운 그래프 클래스가 있습니까?
Treewith는 그래프가 나무와 얼마나 가까이 있는지를 나타내는 중요한 그래프 매개 변수입니다 (엄격한 토폴로지 의미는 아니지만). 트리 폭을 계산하는 것은 NP-hard 인 것으로 잘 알려져있다. treewidth 를 계산하기 어려운 자연스러운 그래프 클래스가 있습니까? 비슷하게: treewidth 계산이 쉬운 흥미로운 그래프 클래스가 있습니까? 그렇다면, 악용 될 수있는 구조적 특성 / 시험이 있습니까? 즉, …
4
선형 방정식 시스템에 대한 희소 솔루션 찾기
선형 방정식 시스템에 대한 희소 솔루션을 찾는 것이 얼마나 어려운가요? 보다 공식적으로 다음 결정 문제를 고려하십시오. 인스턴스 : 정수 계수와 숫자 의 선형 방정식 시스템 ccc. 질문 : 최소 ccc 변수가 0에 할당 된 시스템에 대한 솔루션이 있습니까? 또한 에 대한 의존성이 무엇인지 확인하려고합니다 ccc. 즉, 문제는 매개 변수 FPT입니다 …
2
사전 순으로 분류 된 분류 된 DAG의 토폴로지
우리가 지시 된 비순환 그래프 , 에서 총 순서 (예를 들어, 정수) 를 갖는 일부 세트 까지 의 라벨링 함수 를 입력으로 제공 하고 우리에게 묻는 문제를 고려하십시오 사 전적으로 가장 작은 위상 종류의 를 로 계산합니다 . 보다 정확하게는, 의 토폴로지 종류 는 를 으로 열거하는 것입니다. 에서 까지의 …
1
“뱀”재구성 문제
비디오 게임의 복잡성에 대한 작은 글을 쓰는 동안 Nibbler 와 Snake ; 둘 다 평면 그래프에서 재구성 문제로 모델링 될 수 있음을 발견했습니다. 모션 계획 영역에서 이러한 문제가 잘 연구되지 않은 것 같습니다 (예 : 연결된 캐리지 또는 로봇 체인 상상). 게임은 잘 알려져 있지만 관련 재구성 모델에 대한 간단한 …
1
어려운 확장 성 문제
확장 성 문제에서는 솔루션의 일부가 제공되며 솔루션을 완전한 솔루션으로 확장 할 수 있는지 여부를 결정하려고합니다. 일부 확장 성 문제는 효율적으로 해결할 수있는 반면 다른 확장 성 문제는 쉬운 문제를 어려운 것으로 변환합니다. 예를 들어, Konig-Hall 정리는 모든 3 차 이분 그래프가 3 가장 색을 칠할 수 있지만 일부 가장자리의 색이 …
3
과도 피드백 아크 세트 (TFAS) : NP- 완료?
얼마 전에 두 세트가 카디널리티와 관련이없는 속성을 충족시키는 가장자리의 2 파티션을 찾고자하는 그래프 문제 에 대한 참조 요청 을 게시 했습니다 . 나는 다음과 같은 문제가 NP-hard라는 것을 증명하려고 노력했다. 토너먼트 가 주어지면, 전 이적 관계를 정의하는 피드백 아크 세트 F ⊆ E 가 G 에 있습니까?G = ( V, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.