«fixed-parameter-tractable» 태그된 질문

런타임이 입력 크기에서 다항식이지만 매개 변수에 임의로 의존하는 매개 변수화 된 문제에 대한 알고리즘

4
Graph isomorphism과 관련된 개방형 문제
현재 그래프 동형화 (GI) 문제에 대한 문헌 조사를하고 있습니다. 다음과 관련된 공개 질문을 알고 싶습니다. GI의 고정 매개 변수 다루기 쉬운 문제가있는 그래프 매개 변수는 무엇입니까? GI의 다항식 시간 용해도를 고정시킴으로써 그래프 파라미터가 무엇인지는 알려져 있지 않다. 많은 그래프 클래스로 제한 될 때 GI의 복잡성은 일반 GI (GI-Completeness)와 같습니다. GI …
2
4주기 자유 그래프 주어지면 2 차 시간에 3주기가 있는지 여부를 결정할 수 있습니까?
다음 -cycle 문제이다 :케이케이k 인스턴스 : 그래프 방향성이 가진 정점과 최대 \ n을 2 선택 가장자리를.지지G엔엔n( n2)(엔2)n \choose 2 질문 : G에 (적절한) 케이케이k 사이클이 있습니까?지지G 배경 : 모든 고정 케이케이k 에 대해 O (n ^ 2) 시간 내에 2 개 k2케이2k 사이클을 해결할 수 있습니다 .O ( n2)영형(엔2)O(n^2) Raphael …
1
대수 깊이를 갖는 경사 폭 표현식
너비가 w 인 그래프 의 트리 분해가 주어지면 여러 가지 방법으로 "멋지게"만들 수 있습니다. 특히, 트리가 이진이고 높이가 O ( log n ) 인 트리 분해로 변환하는 것이 가능하다는 것이 알려져있다 . 대부분의 분해의 폭을 유지하면서 달성 될 수있는 3 w . (예를 들어 Bodlaender와 Hagerup의 "경계 트리 폭에 대한 …
5
경계 트리 폭 그래프에서 r- 도미 네이션 세트에 대한 정확한 알고리즘
그래프 주어 , I는 최적의 찾을 r에 대한 -domination G를 . 그게 내가 부분 집합의 원 인 S 의 V는 모든 정점 있도록 G는 최대의 거리에있다 연구 의 일부 정점에서 S 의 크기를 최소화하면서, S를 .G=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS 찾는이 관련 문제가 있습니다 : 내가 지금까지 확인 한 바로는, 나는 …
2
고정 모수와 근사 알고리즘의 관계
고정 파라미터와 근사치는 어려운 문제를 해결하기위한 완전히 다른 접근법입니다. 그들은 다른 동기가 있습니다. 근사는 근사 솔루션으로 더 빠른 결과를 찾습니다. 고정 매개 변수는 k의 지수 또는 일부 함수와 n의 다항 함수에서 n이 입력 크기이고 k가 매개 변수라는 점에서 시간이 복잡한 복잡한 솔루션을 찾습니다. 예 .2케이엔삼2kn32^kn^3 이제 제 질문은 어떤 상위 …
5
FPT 문제의 경도
정점 표지는 독립 세트로 쉽게 줄일 수 있으며 그 반대도 마찬가지입니다. 그러나 매개 변수화 된 복잡성의 맥락에서 독립 세트는 정점 표지보다 어렵습니다. 정점 커버에 정점이 있는 커널 이 존재하지만 독립 세트는 W 1 하드입니다.2k2k2k FPT의 맥락에서 독립 집합의 본질은 어떻게 변하는가?
1
거의 2SAT 문제의 고정 매개 변수 다루기 힘든 이진 부울 CSP에 대한 결과가 있습니까?
하자 2CNF 식 수 및 k는 음수가 아닌 정수. 이 논문 에서 φ를 만족 시키기 위해 최대 k 개의 절을 삭제할 수 있는지 여부를 결정하는 문제 는 고정 매개 변수 다루기 쉬운데, 여기서 k 는 매개 변수 라는 것이 입증되었다 . 내 질문은이 결과를 다른 이진 부울 CSP로 일반화하는 작업이 …
2
계산 이론에서 자연스러운 문제는 무엇입니까?
P 대 NP 문제에 관한 Stephen Cook의 논문에서, 그는 다음과 같이 기술한다. 타당성 이론 : 자연 문제는 다항식 시간 알고리즘을 사용하는 경우 실현 가능한 알고리즘을 갖습니다. 내 질문은, 그가 " 자연적인 문제"란 무엇을 의미 하는가? 자연스런 문제에 대해 이야기하는 것은 충분히 일반적인 것처럼 보이지만 아직 정의를 찾지 못했습니다. 뭔가 빠진 …
1
결론 : 모든 FPT NP- 완전 언어는 고정 매개 변수-동형
Berman–Hartmanis 추측 : 모든 NP 완성 언어는 다항식 시간 동형에 의해 서로 관련 될 수 있다는 의미에서 유사하게 보인다 [1]. "다항식 시간"의보다 세분화 된 버전, 즉 매개 변수화 된 축소를 사용하는 경우에 관심이 있습니다. 매개 변수화 된 문제는 의 부분 집합입니다 . 여기서 Σ 는 유한 알파벳이고 Z ≥ 0 …
2
무 방향 (/ 가중) 그래프 에서는
NP-Completeness ( 무게 질문 및 지시 된 질문 참조)에 관한 동등한 질문에 따라 매개 변수화 된 문제가 이러한 속성에 어떻게 영향을 받는지 궁금했습니다. 유 방향 그래프에서 어떤 -hard 그래프 문제가 -Hard이지만 무 방향 그래프에서 다루기 쉬운 고정 매개 변수는 무엇입니까?엔피엔피NP여[ 1 ]여[1]W[1] 가중치 그래프에서 어떤 하드 그래프 문제가 -단단하지만 비가 …
1
고정 매개 변수 다루기 쉬운 정의의 동기는 무엇입니까?
Wikipedia의 글을 참고하세요 : FPT가 시간에 해결할 수있는 것들이다 다루기 쉬운 문제 파라미터 고정 포함 일부 계산 가능한 함수의 경우 O ( 1 ) f . 일반적으로이 함수는 2 O ( k ) 와 같은 단일 지수로 생각 되지만 그 정의는 더 빠르게 성장하는 함수를 인정합니다. 이것은이 수업의 초기 역사의 …
1
다항식 커널
k-FLIP SAT 매개 변수화 된 문제는 다음과 같이 정의됩니다. 입력 : 3-CNF 공식φφ\varphi 와 엔nn 변수와 진실 할당 σ: [ n ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} 매개 변수 : 케이kk 질문 : 과제를 변형시킬 수 있습니까?σσ\sigma 만족스러운 임무로 σ'σ′\sigma' ...에 대한 φφ\varphi 최대 의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.