Informatique théorique parameterized-complexity

1

Introduction en douceur aux aspects algorithmiques de la profondeur des arbres

La largeur d'arbre et la largeur de chemin sont des paramètres populaires, mesurant la proximité d'un graphique avec un arbre ou un chemin, respectivement. En effet, il semble que la largeur d'arbre soit si populaire qu'elle figure dans de nombreux articles, livres et notes de cours qui donnent (même très …

13 reference-request graph-algorithms parameterized-complexity

1

Complexité des circuits monotones des fonctions de calcul sur les entrées clairsemées

Le poidsd'une chaîne binaire est le nombre de uns dans la chaîne. Que se passe-t-il si nous sommes intéressés à calculer une fonction monotone sur des entrées avec quelques-unes?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n On sait que décider si un graphe a une -clique est difficile pour les circuits monotones (voir entre autres Alon Boppana, …

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

1

Des résultats sur le CSP booléen binaire au-delà de la tractabilité à paramètres fixes d'un problème de presque 2SAT?

Soit une formule 2CNF et k un entier non négatif. Il est prouvé dans cet article que le problème de décider si l'on peut supprimer au plus k clauses pour rendre satisfaisable, est un paramètre fixe traitable, où est le paramètre. Ma question est de savoir s'il existe des travaux …

12 parameterized-complexity csp fixed-parameter-tractable

1

Les graphiques du «genre délimité par l'extérieur» ont-ils une largeur d'arbre constante?

Soit et notons G k l'ensemble de tous les graphes qui peuvent être incrustés sur une surface du genre k de telle sorte que tous les sommets soient situés sur la face externe . Par exemple, G 0 est l'ensemble des graphes planaires externes. La largeur d'arbre des graphes dans …

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

1

Complexité paramétrée de l'inclusion des langues régulières

Je m'intéresse au problème classique INCLUSION DE LA LANGUE RÉGULIÈRE. Étant donné une expression régulière , nous notons L ( E ) le langage régulier qui lui est associé. (Les expressions régulières sont sur un alphabet fixe Σ , avec les opérations union, Kleene-star et concaténation.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Entrée: Deux …

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

2

W [1] - problèmes difficiles sur les graphes de degrés bornés

Connaissez-vous des problèmes qui sont durs W [1] même pour les graphes de degrés bornés? La dimension métrique est difficile sur les graphiques avec un degré au plus 3, mais elle est W [2] -hard. Red-Blue Nonblocker était auparavant W [1] -hard sur les graphiques de degrés bornés, mais il …

11 reference-request parameterized-complexity

5

Instance de réductions FPT qui n'est pas une réduction de temps polynomial

Dans la complexité paramétrée, les gens utilisent la réduction à paramètres fixes (FPT) pour prouver la dureté W [t]. Théoriquement, une réduction FPT n'est pas une réduction du temps polynomial, car elle peut s'exécuter de façon exponentielle dans le paramètre k. Mais dans la pratique, toutes les réductions FPT que …

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

1

Nom de la sous-classe «uniformément polynomiale» de XP?

Supposons que est un langage paramétré par rapport à un alphabet . La tranche de est , l'ensemble des instances de qui ont le paramètre . La classe de complexité contient les langages paramétrés tels que pour chaque , éventuellement avec un algorithme différent et un temps d'exécution polynomial lié …

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

2

Quels problèmes de graphe sont

Suite aux questions équivalentes concernant NP-Completeness (voir la question de poids et la question dirigée ), je me demandais comment les problèmes paramétrés sont affectés par ces attributs. Quels problèmes de graphes durs sont W [ 1 ] -Dur sur les graphes dirigés, mais les paramètres fixes traitables sur les …

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

1

Noyau polynomial pour -FLIP SAT sur les formules -CNF

Le problème paramétré k-FLIP SAT est défini comme suit: Entrée: une formule 3-CNF avec n variables et une affectation de vérité \ sigma: [n] \ à \ {0,1 \} Paramètre: k Question: pouvons-nous transformer l'affectation \ sigma en une affectation satisfaisante \ sigma ' pour \ varphi retourner la valeur …

10 parameterized-complexity fixed-parameter-tractable

1

La complexité paramétrée sera-t-elle l'avenir de la théorie de la complexité?

Je suis un chercheur qui travaille dans la théorie des algorithmes et de la complexité, j'utilise la complexité paramétrée dans une certaine mesure. Il me semble que les chercheurs en complexité paramétrée sont très actifs (je ne veux pas dire que d'autres ne le sont pas) en termes de nombre …

9 soft-question parameterized-complexity

1

Frapper des sets avec une sous-famille

Soit une famille de sous-ensembles d'éléments d'un univers fini d'objets. Une famille de sous-ensembles d'éléments de , avec , est un - ensemble de frappes de si pour chaque il existe au moins un ensemble tel que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Étant donné …

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

1

Complexité paramétrée du comptage des bicliques

Dans une question précédente, Algorithme paramétré pour trouver des bicliques , je me suis demandé s'il y avait des algorithmes paramétrés rapides pour trouver un -biclique dans un graphe de sommets n et j'ai appris qu'il était ouvert s'il était FPT par rapport à k . Est-ce la même chose …

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

Questions marquées «parameterized-complexity»