Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

1
Algorithmes d'espace de journalisation sur les graphiques avec une largeur d'arbre bornée
La largeur de l'arbre mesure la proximité d'un graphique avec un arbre. Il est difficile de calculer la largeur de l'arbre NP. L' algorithme d' approximation le plus connu atteint le facteur .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Le théorème de Courcelle stipule que toute propriété de graphes définissables en logique monadique du second ordre …
1
Largeur de clique de presque Cographs
(J'ai posté cette question sur MathOverflow il y a deux semaines, mais jusqu'à présent sans réponse rigoureuse) J'ai une question sur les mesures de largeur de graphique des graphiques simples non dirigés. Il est bien connu que les cographes (graphes qui peuvent être construits par les opérations d'union et de …
2
Tester si les lettres peuvent être programmées pour obtenir un mot dans une langue régulière
Je fixe un langage régulier sur un alphabet , et je considère le problème suivant que j'appelle la planification de la lettre pour . De manière informelle, l'entrée me donne lettres et un intervalle pour chaque lettre (c'est-à-dire une position minimale et maximale), et mon objectif est de placer chaque …
2
Les chaînes de changement sont-elles bicolores?
Pour A⊂[n]A⊂[n]A\subset [n] On note aiaia_i la ithithi^{th} plus petit élément de AAA . Pour deux ensembles d'éléments kkk , A,B⊂[n]A,B⊂[n]A,B\subset [n] , nous disons que A≤BA≤BA\le B si ai≤biai≤bia_i\le b_i pour chaque iii . A kkk -uniform hypergraphe H⊂[n]H⊂[n]{\mathcal H}\subset [n] est appelée une chaîne de changement de vitesse …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.