«parameterized-complexity» 태그된 질문

어떤 문제는 결정할 수없는 것으로 알려져 있지만 그럼에도 불구하고 문제 해결에 약간의 진전이있을 수 있습니다. 예를 들어, 정지 문제는 결정 불가능하지만 코드에서 잠재적 인 무한 루프를 감지하기위한 도구를 작성하는 데 실질적인 진전이있을 수 있습니다. 타일링 문제는 종종 결정하기 어려운 경우가 있습니다 (예 :이 폴리 노 미노 타일에 사각형이 있습니까?). 다시이 …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

나는 d-Dimensional Hitting Set 문제라고 부르는 것의 매개 변수화 된 복잡성에 관심이 있습니다. 범위 공간 (예 : 세트 시스템 / 하이퍼 그래프) S = (X, R) 최대 d 및 a 양의 정수 k, X는 R의 모든 범위를 치는 k의 부분 집합을 포함합니까? 문제의 매개 변수화 된 버전은 k로 매개 변수화됩니다. …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : |w| = n\}nnnT(w)T(w)T(w)AAAwwwAAAfn=maxw∈I(n)T(w).fn=maxw∈I(n)T(w). f_n = \max_{w \in I(n)} T(w). 이제 Kolmogorov의 복잡도 n을 갖는 모든 입력 의 집합 IK(n)={w∈S:K(w)=n}IK(n)={w∈S:K(w)=n} I^K(n) = \{w \in S : K(w) = n \} 을 정의하고 시퀀스 f ^ K_n = \ frac {1을 정의하겠습니다. } {\ left | …

20 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

매개 변수화 된 복잡성에서, ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . 각각의 격리가 적절하다고 추측된다.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] 만약 다음 P = W [ P …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

트리 폭은 FPT 알고리즘에서 중요한 역할을합니다. 부분적으로 많은 문제가 트리 폭에 의해 FPT 매개 변수화되기 때문입니다. 관련된보다 제한적인 개념은 경로 너비의 개념입니다. 그래프 pathwidth있는 경우 , 또한 최대 treewidth 갖는다 (k)를 그 반대 방향으로 동시에 treewidth, K 기껏 pathwidth을 의미 유전율 로그 N 이 타이트하다.kkkkkkkkkklognklog⁡nk\log n 전술 한 바와 같이, …

18 parameterized-complexity  treewidth  graph-minor 

Parametrized Complexity (알고리즘 측과 경도 측 모두)에 대해 배우고 싶습니다. 이 주제에 관해 어떤 책 / 강의 노트를 읽을 수 있습니까?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

그래프 의 교집합 수 (모든 모서리를 덮는 데 필요한 최소의 수수께끼) 를 계산하는 매개 변수화 된 복잡성에 대해 알려진 것이 있다면 ? 긴 NP-완료된 것으로 알려져, 그것은 커널을 가지고 있기 때문에 그것은 분명히 FPT의있다 : 당신이 그래프 커버 할 수있는 경우 파벌을 한 후가 최대 2 K 정점의 다른 폐쇄 …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

하자 과 의사 결정 문제를 고려0≤p≤10≤피≤10\le p\le 1 CLIQUE P의 입력 : 정수 의 그래프 G 와 t 정점과 ⌈ P ( tp피_p s에스sG지Gt티t가장자리질문 :않습니다G는최소한의 파벌 포함의정점을?⌈p(t2)⌉⌈피(티2)⌉\lceil p\binom{t}{2} \rceil G지Gs에스s CLIQUE의 인스턴스 p는 비율을 포함 P 모든 가능한 에지의 아웃. 분명히 CLIQUE p는 어떤 값을 쉽게 페이지 . CLIQUE 0 …

17 cc.complexity-theory  np  parameterized-complexity  clique 

nnn 정점 무 방향 그래프가 주어지면 k × k -biclique 인 서브 그래프 를 찾는 가장 잘 알려진 런타임 범위 는 무엇입니까? 보다 매개 변수화 된 알고리즘이 더 k×kk×kk\times k(nk)poly(n)(nk)poly(n)\binom{n}{k}\mbox{poly}(n) biclique의 "추측"한 쪽의 시간 알고리즘과 적어도이 있는지 모두에 다른 정점 사건?kkk

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

너비가 w 인 그래프 의 트리 분해가 주어지면 여러 가지 방법으로 "멋지게"만들 수 있습니다. 특히, 트리가 이진이고 높이가 O ( log n ) 인 트리 분해로 변환하는 것이 가능하다는 것이 알려져있다 . 대부분의 분해의 폭을 유지하면서 달성 될 수있는 3 w . (예를 들어 Bodlaender와 Hagerup의 "경계 트리 폭에 대한 …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

모두가 알다시피, Garey와 Johnson의 유명한 저서 (및 다른 많은 책들)는 고전적인 환경에서 축소 기술에 대한 훌륭한 참고 자료를 제공합니다. fpt 축소와 같이 매개 변수화 된 알고리즘의 축소 기술 주제에 대한 조사 나 서적이 있습니까?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

그래프 주어 , I는 최적의 찾을 r에 대한 -domination G를 . 그게 내가 부분 집합의 원 인 S 의 V는 모든 정점 있도록 G는 최대의 거리에있다 연구 의 일부 정점에서 S 의 크기를 최소화하면서, S를 .G=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS 찾는이 관련 문제가 있습니다 : 내가 지금까지 확인 한 바로는, 나는 …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

-hierarchy 복잡성 클래스의 계층 인 W [ t ] 파라미터 복잡성은 참조 복잡성 동물원 대한 정의. 대안 정의 정의 W [ t는 ] 대한 FAGIN의 가중 definability 사용 Π의 t에서 , 1 차 논리의 -formulas을 참조 Flum 및 GROHE 의해 교과서 .여W\mathsf{W}승 [t]W[t]\mathsf{W}[t]승 [t]W[t]\mathsf{W}[t]Π티Πt\Pi_t 최하위 클래스 및 W [ 2 …

13 cc.complexity-theory  parameterized-complexity 

동기 부여 : 공동 저자가 원고를 편집하고 편집 내용을 명확하게 요약하고 싶습니다. 도구 -like 모든 "DIFF는"당신이 경우에 쓸모없는 경향이 모두 주위에 텍스트를 이동 (예를 들어, 다시 조직 구조) 및 지역 편집을하고. 제대로 이해하기가 정말 어렵습니까? 정의 : 허용되는 작업이 다음과 같은 최소 편집 거리를 찾고 싶습니다. "저렴한"작업 : 단일 문자 …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

정점 표지는 독립 세트로 쉽게 줄일 수 있으며 그 반대도 마찬가지입니다. 그러나 매개 변수화 된 복잡성의 맥락에서 독립 세트는 정점 표지보다 어렵습니다. 정점 커버에 정점이 있는 커널 이 존재하지만 독립 세트는 W 1 하드입니다.2k2k2k FPT의 맥락에서 독립 집합의 본질은 어떻게 변하는가?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable