«parameterized-complexity» 태그된 질문

Treewidth 및 pathwidth는 그래프가 나무 또는 경로에 근접한지를 각각 측정하는 일반적인 매개 변수입니다. 실제로 treewidth는 너무 인기가있어 많은 논문, 서적 및 강의 노트에 소개되어 treewidth의 알고리즘 측면에 대한 소개를 제공합니다 (예 : Downey & Fellows 책 참조). 일반적으로 이러한 자료는 트리 분해에 대한 동적 프로그래밍을 통해 다항식 시간에 NP- 하드 …

13 reference-request  graph-algorithms  parameterized-complexity 

무게이진 문자열 중 은 문자열에있는 숫자의 수입니다. 입력이 거의없는 입력에서 모노톤 기능을 계산하려면 어떻게해야합니까?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n 그래프에 크릭이 있는지 결정하는 것이 모노톤 회로에서는 어렵다는 것을 알고 있지만 (Alon Boppana, 1987 참조) 그래프에 예를 들어 최대 에지가 있으면 다음과 같은 모노톤 경계 깊이 회로를 찾을 수 있습니다 크기 은 -clique 를 결정 합니다.kkkk3k3k^3f(k)⋅nO(1)f(k)⋅nO(1)f(k)\cdot …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

하자 2CNF 식 수 및 k는 음수가 아닌 정수. 이 논문 에서 φ를 만족 시키기 위해 최대 k 개의 절을 삭제할 수 있는지 여부를 결정하는 문제 는 고정 매개 변수 다루기 쉬운데, 여기서 k 는 매개 변수 라는 것이 입증되었다 . 내 질문은이 결과를 다른 이진 부울 CSP로 일반화하는 작업이 …

12 parameterized-complexity  csp  fixed-parameter-tractable 

하자 하고 넣어야 G 케이 속의 표면에 삽입 할 수있는 모든 그래프의 세트 K 모든 정점이되도록 외면 상에 위치되어이 . 예를 들어, G 0 은 외부 평면 그래프 세트입니다. 그래프에서의 treewidth 수 G의 K는 상부의 일부 기능에 의해 제한되는 K ?k∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk 일정한 나무 폭은 일정한 속을 암시하지 않기 때문에 다른 …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

나는 고전적인 문제 정규 언어 포함에 관심이 있습니다. 정규 표현식 주어지면 , 우리는 그와 관련된 정규 언어 를 로 표시합니다. (일반 표현식은 고정 알파벳 에 있으며 조합, Kleene-star 및 연결이 있습니다.)L ( E ) Σ이자형EE패 ( E)L(E)L(E)ΣΣ\Sigma 입력 : 두 정규 표현식 및 질문 : 그것은 사실이다 ?E 2이자형1E1E_1이자형2E2E_2 패 …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

경계도 그래프에서도 W [1]-어려운 문제를 알고 있습니까? 미터법 차원은 최대 3 도인 그래프에서는 어렵지만 W [2]입니다. Red-Blue Nonblocker는 경계도 그래프에서 W [1] -hard 였지만 증거에 오류가 있었으며 (Downey Fellows 2013의 책), 파란색 정점이 경계도 인 경우에만 어렵습니다.

11 reference-request  parameterized-complexity 

매개 변수화 된 복잡성에서 사람들은 W-t-hardness를 증명하기 위해 FPT (fixed-parameter-tractable) 감소를 사용합니다. 이론적으로 FPT 감소는 다항식 시간 감소가 아닙니다. 매개 변수 k에서 지수 적으로 실행될 수 있기 때문입니다. 그러나 실제로 내가 본 모든 FPT 감소는 p- 시간 감소이며, 이는 W-t-hardness 증거는 거의 항상 NP-completeness 증거를 의미합니다. 누군가가 매개 변수 에서 …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

이 알파벳 Σ 와 관련하여 매개 변수화 된 언어 라고 가정하십시오 . L 의 k- 슬라이스 는 L k = L ∩ { ( x , k ) ∣ x ∈ Σ ∗ } 이며, 매개 변수 k 가 있는 L 의 인스턴스 집합입니다 . 복잡성 클래스 X P는 매개 …

10 cc.complexity-theory  reference-request  parameterized-complexity 

NP-Completeness ( 무게 질문 및 지시 된 질문 참조)에 관한 동등한 질문에 따라 매개 변수화 된 문제가 이러한 속성에 어떻게 영향을 받는지 궁금했습니다. 유 방향 그래프에서 어떤 -hard 그래프 문제가 -Hard이지만 무 방향 그래프에서 다루기 쉬운 고정 매개 변수는 무엇입니까?엔피엔피NP여[ 1 ]여[1]W[1] 가중치 그래프에서 어떤 하드 그래프 문제가 -단단하지만 비가 …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

k-FLIP SAT 매개 변수화 된 문제는 다음과 같이 정의됩니다. 입력 : 3-CNF 공식φφ\varphi 와 엔nn 변수와 진실 할당 σ: [ n ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} 매개 변수 : 케이kk 질문 : 과제를 변형시킬 수 있습니까?σσ\sigma 만족스러운 임무로 σ'σ′\sigma' ...에 대한 φφ\varphi 최대 의 …

10 parameterized-complexity  fixed-parameter-tractable 

저는 알고리즘 및 복잡성 이론을 연구하는 연구 학자이며 매개 변수화 된 복잡성을 어느 정도 사용합니다. 나에게 매개 변수가있는 복잡성에 관한 연구자들은 연구 논문 수 측면에서 매우 활발한 것으로 보입니다 (다른 사람들이 그렇지 않다는 것을 의미하지는 않습니다). 통신 복잡성, 산술 복잡성 등의 연구원들도 다양한 매개 변수를 더 많이 사용하고 있음을 알았습니다. …

9 soft-question  parameterized-complexity 

유한 우주 개체 의 요소 하위 집합의 패밀리라고 하자 . 가족 의 의 - 요소 서브 세트 와, , A는 - 설정된 명중 의 각각의 경우 적어도 하나 개의 세트가 존재 등을 그 .에프FF디dd유UUHHH케이kk유UU1 ≤ k &lt; d1≤k&lt;d1 \le k < d( k , d)(k,d)(k,d)에프FFV∈ FV∈FV \in F여∈ HW∈HW \in …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

이전 질문 Bicliques를 찾기위한 Parametrized Algorithm에서 , 나는k × kk×kk\times k 꼭짓점 그래프 에서 -biclique 이고 그것이 FPT wrt 이면 열려 있음을 알았습니다 . 대해 동일한 사실이다 계산 -bicliques 또는 이것이 #의 것으로 알려져 -hard WRT (또는 경도의 다른 개념)?엔nn케이kkk × kk×kk\times k여\ [ 1\]W\[1\]W\[1\]kkk 그 계산 알고 유도 -bicliques …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity