Graphique automorphismes est une permutation de noeuds du graphe qui induit une bijection sur l'ensemble d'arêtes . Formellement, c'est une permutation de nœuds tels que ssiEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Définissez un bord violé pour une permutation comme...
Motivation: dans les algorithmes standard de débit maximal de chemin d'augmentation, la boucle interne nécessite de trouver des chemins de la source au puits dans un graphique orienté et pondéré. Théoriquement, il est bien connu que pour que l'algorithme se termine même lorsqu'il existe des...
Cette question s'est posée dans mon esprit après avoir lu les contributions d'András Salamon et Colin McQuillan à ma question précédente Compter les solutions des formules Monotone-2CNF . EDIT 30 e mars 2011 question n ° 2. Ajouté EDIT 29 e octobre 2010 Question reformulée après proposition András...
Étant donné un digraphe G fortement connecté avec des bords pondérés, je voudrais identifier des bords qui ne font manifestement pas partie d'un sous-graphique minimal fortement connecté (MSCS) de G. Une méthode pour trouver de tels bords est un algorithme de Floyd-Warshall modifié. En utilisant...
Existe-t-il un outil permettant de déterminer si deux personnes ont co-écrit ou non? Comme l'outil où l'on peut comprendre le numéro Erdos de
Une transaction de base de données classique simplifiée peut être considérée comme: lecture de M éléments effectuer un calcul basé sur ces lectures écrire quelques résultats N basés sur ces calculs, qui peuvent inclure les éléments lus à l'origine. Lors de l'exécution de ces transactions...
J'ai le LP suivant: / * Fonction objectif * / min: 1 w + 2 x + 0,5 y + z; / * Limites variables * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; Dans ce cas, U1 + U2> T1 et la solution optimale est y = 70 et z = 25. Je veux appliquer la condition d'attribution de valeurs...
J'ai une question de faisabilité qui peut être formulée comme suit. On me donne un point dans un espace vectoriel dimensionnel, et je veux trouver le point le plus proche de qui satisfait un ensemble de " contraintes" de la formed q p ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 Étant donné un ensemble , au plus l'un...
Hiroimono est un puzzle populaire complet. Je m'intéresse à la complexité informatique d'un puzzle connexe.NPNPNP Le problème est: Entrée : étant donné un ensemble de points sur une grille carrée x et un entiern knnnnnnkkk Question : Existe-t-il un polygone rectiligne (ses côtés parallèles à l' axe...
Soit une permutation. Notez que tandis que agit sur un domaine infini, sa description peut être finie. Par description , je veux dire un programme qui décrit les fonctionnalités de . (Comme dans la complexité de Kolmogorov.) Voir les explications ci-dessous. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi...
Dans Universal Blind Quantum Computation, les auteurs décrivent un protocole basé sur des mesures qui permet à un utilisateur presque classique d'effectuer des calculs arbitraires sur un serveur quantique sans révéler presque rien sur le contenu du calcul. Dans la description du protocole, les...
Quelqu'un connaît-il un ensemble de problèmes qui varient uniformément et qui couvrent l'une des hiérarchies "intéressantes" de complexité et de calculabilité? Par intéressant, je veux dire, par exemple, la hiérarchie polynomiale, la hiérarchie arithmétique ou la hiérarchie analytique. Ou peut-être...
Question : La prévision (telle que définie ci-dessous) de séquences calculables est-elle aussi difficile que le problème d'arrêt? Elaboration : "Prédire" signifie prédire avec succès, ce qui signifie ne faire que de nombreuses erreurs sur la tâche d'essayer de prédire le n-ième bit de la séquence...
Tout d'abord, je ne sais toujours pas si la théorie est bien adaptée à cette question, donc je ne serai pas offensé si la foule pense que ce n'est pas le cas ... Dans le marketing des moteurs de recherche, plusieurs problèmes sont intéressants. La conception de mécanismes d'enchères équitables (et...
Harvey Friedman a montré qu'il existe un résultat net précis qui ne peut pas être prouvé en ZFC (la théorie des ensembles de Zermelo-Frankel habituelle avec l'Axiom of Choice). De nombreuses logiques modernes sont construites sur des opérateurs à virgule fixe, alors je me demandais: y a-t-il des...
La résolution est un schéma pour prouver l'insatisfiabilité des CNF. Une preuve en résolution est une déduction logique de la clause vide pour les clauses initiales du CNF. En particulier, toute clause initiale peut être déduite, et de deux clauses A∨xA∨xA \lor x et la clause peut également être...
En traitant des catégories théoriques du domaine (disons CPO et CPO), je souhaite souvent un dictionnaire pour le langage de la théorie des catégories dans la théorie des domaines.ωω\omega Autrement dit, étant donné un concept, disons flèche monique, je pourrais le rechercher dans le dictionnaire...
J'essaie de dresser une taxonomie d'algorithmes pour transformer des expressions régulières en automates afin d'effectuer des tests empiriques de leurs propriétés de complexité dans des domaines spécifiques. Je connais plusieurs des plus grands noms, par exemple, Thompson "Algorithme de recherche...
Le chapitre de Smyth dans le manuel de logique en informatique et d'autres références décrivent comment les espaces métriques peuvent être utilisés comme domaines. Je comprends que les espaces métriques complets donnent des points fixes uniques mais je ne comprends pas pourquoi les espaces...
Contexte La complexité du circuit est définie comme l'ensemble des familles de circuits (c'est-à-dire des séquences de circuits, une pour chaque taille d'entrée) de profondeur bornée et de taille polynomiale construites à l'aide de fan-in illimités ET, OU et NON.AC0AC0AC^0 La fonction de parité...