Informatique théorique graph-theory

1

Propriétés fermées mineures qui sont explicitement exprimables par MSO

Ci-dessous, MSO désigne la logique monadique du second ordre des graphiques avec des quantifications de sommets et de contours. Soit une petite famille fermée de graphes. Il découle de la théorie de graphe mineur de Robertson et Seymour que F est caractérisée par une liste finie H 1 , H …

19 graph-theory lo.logic graph-minor topological-graph-theory

1

Comptez rapidement le nombre d'arbres couvrant

Soit le nombre d'arbres couvrant un graphe à sommets. Il existe un algorithme qui calcule dans les opérations arithmétiques . Cet algorithme consiste à calculer , où Q est le laplacien de G et J est la matrice constituée uniquement de 1 . Pour plus d'informations sur cet algorithme, voir …

19 graph-theory graph-algorithms counting-complexity spectral-graph-theory

1

Trouver un bon sous-graphique induit

On vous donne un graphe avec n sommets. Il peut être bipartite si vous le souhaitez. Il existe m ensembles d'arêtes E 1 , … , E m ⊆ E (disons disjoints). Je m'intéresse au problème de trouver un sous-ensemble S ⊆ V , aussi petit que possible (ou même …

19 ds.algorithms graph-theory optimization

2

Le problème du jeu de sommets de rétroaction est-il résoluble en temps polynomial pour les graphiques bornés à 3 degrés?

Feedback Vertex Set est NP-complete pour les graphiques généraux. Il est connu qu'il est NP-complet pour les graphiques bornés de degré 8 en raison d'une réduction de la couverture des sommets. L' article de Wikipédia indique qu'il est résoluble en temps poly pour les graphiques bornés de degré 3 et …

19 cc.complexity-theory graph-theory graph-algorithms np-hardness bounded-degree

3

graphiques où la coloration des sommets est en P mais l'ensemble indépendant est NP complet

Existe-t-il un exemple d'une classe de graphes pour laquelle le problème de coloration des sommets est en P mais l'ensemble indépendant est le problème est NP complet?

19 cc.complexity-theory graph-theory complexity-classes

2

Axiomes pour les chemins les plus courts

Supposons que nous ayons un graphique pondéré non orienté (avec des poids non négatifs). Supposons que tous les chemins les plus courts dans G soient uniques. Supposons que nous ayons ces chemins (séquences d'arêtes non pondérées), mais ne connaissons pas lui-même. Pouvons-nous produire un qui aurait donné ces chemins comme …

19 graph-theory co.combinatorics graph-algorithms metrics

2

Structure de données pour les chemins les plus courts

Soit un graphe non orienté non pondéré avec sommets et arêtes. Est-il possible de prétraiter et de produire une structure de données de taille afin qu'il puisse répondre aux requêtes de la forme "distance entre et " dans le temps O (n)?n m G m ⋅ p o l y …

19 graph-theory graph-algorithms ds.data-structures

2

maintien d'un arbre couvrant équilibré d'un graphique non orienté croissant

Je cherche des moyens de maintenir un arbre couvrant relativement équilibré d'un graphique, alors que j'ajoute de nouveaux nœuds / arêtes au graphique. J'ai un graphique non orienté qui commence comme un seul nœud, la "racine". À chaque étape, j'ajoute au graphique soit un nouveau nœud et un bord le …

19 graph-theory ds.data-structures graph-algorithms tree online-algorithms

1

Construction de graphiques où chaque paire de sommets a un voisin commun unique

Soit un simple graphe sur sommets sans sommet de degré . Supposons que pour deux sommets de , il existe un sommet unique adjacent à chacun d'eux. Il s'agit d'un exercice de A Course in Combinatorics , van Lint et Wilson, pour prouver qu'un tel graphique est régulier.ggGnnn( n > …

19 graph-theory co.combinatorics puzzles

11

Modèles de graphiques aléatoires, pour de vrais réseaux informatiques

Je m'intéresse aux modèles de graphes aléatoires similaires aux graphes de vrais réseaux informatiques. Je ne sais pas si le modèle commun bien étudié ( n sommets, chaque bord possible est sélectionné avec la probabilité p ) est bon pour étudier les réseaux informatiques réels (est-ce?).G(n,p)G(n,p)G(n,p)nnnppp Quels modèles de graphes …

19 reference-request graph-theory co.combinatorics

2

Complexité de la récupération d'une matrice d'adjacence à partir de son carré

Je m'intéresse au problème suivant: étant donné une matrice , y a-t-il un graphe non orienté sur n sommets dont la matrice d'adjacence au carré est cette matrice?n × nn×nn\times nnnn La complexité de calcul de ce problème est-elle connue? Remarques: Bien sûr, cela peut aussi être formulé comme un …

18 cc.complexity-theory graph-theory

3

Qu'est-ce qui sépare les problèmes globaux faciles des problèmes globaux durs sur les graphiques de largeur d'arbre bornée?

De nombreux problèmes de graphes durs peuvent être résolus en temps polynomial sur des graphes de largeur d'arbre bornée . En effet, les manuels utilisent généralement, par exemple, l'ensemble indépendant comme exemple, ce qui est un problème local . En gros, un problème local est un problème dont la solution …

18 graph-theory graph-algorithms treewidth

3

Comptage du nombre de chemins simples dans un graphique non orienté

Comment puis-je déterminer le nombre de chemins simples uniques dans un graphique non orienté? Soit pour une certaine longueur, soit pour une plage de longueurs acceptables. Rappelez-vous qu'un chemin simple est un chemin sans cycle, je parle donc de compter le nombre de chemins sans cycle.

18 graph-theory co.combinatorics counting-complexity

1

L'isomorphisme sous-graphique induit est-il facile sur une sous-classe infinie?

Existe-t-il une séquence de graphes non dirigés , où chaque a exactement sommets et le problème{ Cn}n ∈ N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Étant donné et un graphe , est-il un sous-graphe induit de ?G C n GnnnggGCnCnC_nggG est connu pour être dans la classe ? (Par exemple, lorsque , c'est le …

18 cc.complexity-theory graph-theory

5

Est-il possible de tester si un nombre calculable est rationnel ou entier?

Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

Questions marquées «graph-theory»