Informatique théorique clique

5

Raisons pour lesquelles un graphique peut ne pas être

En raisonnant un peu sur cette question , j'ai essayé d'identifier toutes les différentes raisons pour lesquelles un graphe peut ne pas être k colorable. Ce sont les 2 seules raisons que j'ai pu identifier jusqu'à présent:G=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk contient une clique de taille k + 1 . Telle est …

21 graph-theory co.combinatorics graph-colouring clique

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

2

Dureté de CLIQUE paramétrée?

Soit 0 ≤ p ≤ 10≤p≤10\le p\le 1 et considérons le problème de décision CLIQUE p entrée: nombre entier s , graphe G avec t sommets et bords Question: ne contient une clique sur au moins les sommets?pp_p sssggGttt⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil ggGsss Une instance de CLIQUE …

17 cc.complexity-theory np parameterized-complexity clique

1

2FA complexité de l'état de k-Clique?

Sous une forme simple: Un automate fini bidirectionnel peut-il reconnaître des graphes en vertex contenant un triangle avec des états ?vvvo ( v3)o(v3)o(v^3) Détails D' un intérêt ici sont graphiques de -vertex codées en utilisant une séquence de bords, chaque bord étant une paire de sommets distincts de .vvv{ 0 …

15 cc.complexity-theory ds.algorithms graph-algorithms clique

2

Étant donné un graphe libre

Le problème du kkk cycle est le suivant: Instance: Un graphe non orienté GGGavec nnn sommets et jusqu'à arêtes.(n2)(n2)n \choose 2 Question: Existe-t-il un (bon) kkk cycle dans GGG ? Contexte: Pour tout k fixe kkk, nous pouvons résoudre un cycle de 2k2k2k en temps O(n2)O(n2)O(n^2) . Raphael Yuster, Uri …

15 graph-theory graph-algorithms clique polynomial-time fixed-parameter-tractable

1

Le comptage des cliques maximales dans un graphique d'incomparabilité # P-complet?

Cette question est motivée par une question MathOverflow de Peng Zhang . Valiant a montré que le comptage des cliques maximales dans un graphique général est # P-complet, mais que se passe-t-il si nous nous limitons aux graphiques d'incomparabilité (c'est-à-dire que nous voulons compter les antichaines maximales dans un poset …

13 cc.complexity-theory counting-complexity partial-order clique

1

3-Clique Partition pour les graphiques de diamètre fixe

Le problème de la partition à 3 cliques est le problème de déterminer si les sommets d'un graphe, disons , peuvent être partitionnés en 3 cliques. Ce problème est NP-difficile par une simple réduction du problème de la colorabilité 3. Il n'est pas difficile de voir que la réponse à …

11 cc.complexity-theory graph-theory np-hardness clique

1

Améliorer la réduction générique de Cook pour Clique en SAT?

Je souhaite réduire -Clique en SAT sans agrandir l'instance.kkk La clique est en NP, elle peut donc être réduite à SAT en utilisant l'espace logarithmique. La réduction simple des manuels de Garey / Johnson fait exploser l'instance à la taille cubique . Cependant, -Clique est en P pour chaque fixe …

10 cc.complexity-theory sat reductions clique

1

Calcul de la fermeture du syndicat

Étant donné une famille d'au plus sous-ensembles de . La fermeture de l' union \ mathcal F est un autre ensemble famille \ mathcal C contenant tout ensemble qui peut être construit en prenant l'union de 1 ou plusieurs ensembles de \ mathcal F . Par | \ mathcal C …

10 co.combinatorics graph-algorithms clique independence

4

Le nombre de cliques dans un graphique: le résultat de Moon and Moser 1965

Je recherche le texte intégral du résultat de la clique Moon and Moser 1965 On Cliques in Graphs (il existe des graphes avec un certain nombre de cliques maximales exponentielles en ). Le mur de paiement de mon université n'a pas accès au journal en question. (En fait, l' aperçu …

10 reference-request graph-theory co.combinatorics clique

2

Algorithme d'énumération de clique

Je lis un vieil article de MC Golumbic sur les graphiques EPT (intersection des bords de chemins dans un arbre). Dans cet article, il est montré que le nombre de cliques maximales d'une instance de graphe EPT est polynomial. Il conclut que si un oracle rapporte qu'un graphe est un …

9 ds.algorithms graph-algorithms clique

Questions marquées «clique»