Quel est l'algorithme d'isomorphisme de graphe non orienté le plus rapide
Il s'agit d'une extension du problème classique des secrétaires . Dans le jeu d'embauche, vous avez un ensemble de candidats C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} et déterminez la compétence de chaque travailleur. Wlog, nous supposons que c1c1c_1 est le plus qualifié, suivi de c2c2c_2...
J'étudie la Conjecture Unique Games et la fameuse réduction à Max-Cut de Khot et al. À partir de leur article et ailleurs sur Internet, la plupart des auteurs utilisent (ce qui pour moi est) une équivalence implicite entre la réduction MAX-CUT et la construction de tests particuliers pour les codes...
Un graphique coloré peut être décrit comme un tuple (G,c)(G,c)(G,c) où GGG est un graphique et c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} est la coloration. On dit que deux graphes colorés (G,c)(G,c)(G,c) et (H,d)(H,d)(H,d) sont isomorphes s'il existe un isomorphisme π:V(G)→V(H)π:V(G)→V(H)\pi...
Considérons une grammaire arbitraire sans contexte sur l'alphabet { 0 , 1 , ¯ 0 , ¯ 1 } . Aux productions de cette grammaire, ajoutez deux productions fixes non contextuelles P : ¯ 0 0 → ϵ et ¯ 1 1 → ϵ . Appelons la grammaire résultante G P pour " G augmenté des productions P ".gGG{ 0 , 1 , 0¯¯¯,...
Nous savons par le théorème de Church que la détermination de la satisfiabilité du premier ordre est indécidable en général, mais il existe plusieurs techniques que nous pouvons utiliser pour déterminer la satisfiabilité du premier ordre. Le plus évident est de rechercher un modèle fini. Cependant,...
Soit un polynôme à n variables donné comme un circuit arithmétique de taille poly ( n ) , et soit p = 2 Ω ( n ) un nombre premier.fffnnn(n)(n)(n)p=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} Pouvez-vous tester si est identique à zéro sur Z p , avec un temps poly ( n ) et une probabilité d'erreur ≤ 1 - 1 / poly (...
Reynolds a proposé à l'origine une sémantique relationnelle pour le calcul lambda polymorphe du second ordre [1]. Cependant, il a montré plus tard [2] que cette approche était incompatible avec la théorie des ensembles classique. Pitts a décrit le cadre des modèles d'hyperdoctrine et des modèles...
Les forêts aléatoires ont la réputation parmi les praticiens d'être parmi les techniques de classification les plus efficaces. Pourtant, nous ne les rencontrons pas beaucoup dans la littérature de la théorie de l'apprentissage, dont je présume une absence de résultats théoriques profonds. Si l'on...
La plupart des méthodes de cryptographie actuelles dépendent de la difficulté de factoriser les nombres qui sont le produit de deux grands nombres premiers. Si je comprends bien, cela n'est difficile que tant que la méthode utilisée pour générer les grands nombres premiers ne peut pas être utilisée...
Fixons un encodage des machines de Turing et une machine de Turing universelle, U, qui en entrée (T, x) sort quelles que soient les sorties T en entrée x (éventuellement les deux fonctionnant pour toujours). Définissez la complexité de Kolmogorov de x, K (x), comme la longueur du programme le plus...
Je cherche des références pour le problème suivant: étant donné les entiers et , énumérer tous les graphes planaires non isomorphes sur sommets et la largeur d'arbre . Je m'intéresse à la fois aux résultats théoriques et pratiques, mais surtout aux algorithmes pratiques qu'il est possible de coder...
Cette question est double et est principalement orientée vers la référence: Y a-t-il un endroit où les principales intuitions pour prouver le théorème mineur du graphe sont données, sans trop entrer dans les détails? Je sais que la preuve est longue et difficile, mais il doit sûrement y avoir des...
Un de mes projets Java est une fourchette d'étuvage , et contrairement à, disons, Antlr ou JavaCC, les analyseurs sont générés au moment de l'exécution. Les grammaires générées sont des grammaires d'expression syntaxique ou PEG (j'entends un autre terme pour eux est "packrat"). Alors que la...
Je veux savoir si la décidabilité de l'égalité de deux preuves décidables de la même proposition peut être prouvée sans aucun axiome supplémentaire dans le Calcul des constructions inductives. Plus précisément, je veux savoir si cela est vrai sans aucun axiome supplémentaire dans Coq....
Je suis intéressé par des algorithmes efficaces pour l'intersection DFA pour des cas spéciaux. A savoir, lorsque les DFA se croisent obéissent à une certaine structure et / ou opèrent sur un alphabet limité. Y a-t-il une source où je peux trouver des algorithmes de tels cas? Afin de ne pas rendre...
Instance: un graphe non orienté gGG avec deux sommets distingués et un entier .k ≥ 0s ≠ ts≠ts\neq tk ≥ 0k≥0k\geq 0 Question: Est -ce qu'il existe un chemin dans , de telle sorte que le chemin croise au plus triangles? (Pour ce problème, un chemin est censé couper un triangle si le chemin contient...
Soit un graphe. Un ensemble de sommets est appelé critique si et aucun sommet en est adjacente à exactement un sommet dans . Le problème est de trouver un ensemble de sommets de taille minimale telle que pour chaque ensemble critique .G = ( V, E)g=(V,E)G=(V,E)X⊆ VX⊆VX\subseteq VX≠...
Je cherche une preuve que la complexité de Kolmogorov n'est pas calculable en utilisant une réduction d'un autre problème non calculable. La preuve commune est une formalisation du paradoxe de Berry plutôt qu'une réduction, mais il devrait y avoir une preuve en réduisant quelque chose comme le...
Je m'intéresse à l'informatique musicale, où il existe des approches pour traiter des morceaux de musique comme des phrases dans des grammaires génératives ou des L-systèmes. Au lieu de composer, on pourrait alors spécifier une grammaire et laisser l'ordinateur générer la musique. Par exemple, le...