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 de formaliser …
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 un bord qui est mappé sur non-bord ou un bord dont la pré-image est …
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 capacités de bord irrationnelles, nous …
J'ai cherché sur le forum pour voir si cela avait déjà été demandé, et bien que la théorie algorithmique des jeux soit discutée, je n'ai pas trouvé ce problème particulier résolu. J'essaie de comprendre quel est l'algorithme le plus connu pour calculer les équilibres de Nash approximatifs (à stratégie mixte) …
À la SODA 2006, l'article de Martin Grohe et D niel Marx "Résolution des contraintes via des couvertures de bords fractionnaires" ( citation ACM ) a montré que pour la classe des hypergraphes H avec une largeur d'hypertree fractionnée bornée, CSP ( H ) \ in PTIME .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME …
Je voudrais connaître l'état actuel de la transition de phase pour les k-sat aléatoires, étant donné n variables et m clauses, quel est le c = m / n le mieux connu pour les bornes supérieures et inférieures.
Disons que j'ai un graphique pondéré G=(V,E,w)g=(V,E,w)G = (V,E,w) tel que w:E→[−1,1]w:E→[-1,1]w:E\rightarrow [-1,1] est la fonction de pondération - notez que les poids négatifs sont autorisés. Dire que f:2V→RF:2V→Rf:2^V\rightarrow \mathbb{R} définit une propriété d'un sous - ensemble de sommets S⊂VS⊂VS \subset V . Question: Quels sont quelques exemples intéressants de …
Je recherche une fonction de hachage sur les ensembles H (.) Et une relation R (.,.) Telle que si A est inclus dans B alors R (H (A), H (B)). Bien sûr, R (.,.) Doit être facile à vérifier (temps constant), et H (A) doit être calculé en temps linéaire. …
Existe-t-il une classe de complexité contenant des homologues en ligne de problèmes d'optimisation? Sinon, comment définir une telle classe? Nous savons que de nombreux problèmes ont leur version en ligne: par exemple, la version en ligne du problème d'emballage de bac. Les problèmes en ligne sont plus difficiles à mesurer …
Les générateurs invulnérables sont définis comme suit: Soit une relation NP, et M une machine qui accepte L ( R ) . Informellement, un programme est un générateur invulnérable si, sur l'entrée 1 n , il produit des paires instance-témoin ( x , w ) ∈ R , avec | …
Stratego est un langage de transformation de programmation / DSL de réécriture. Anthony Sloane a effectué un travail sur une implémentation qui s'exécute sur Scala . Quelles sont les limites théoriques de Stratego en tant que langage fonctionnel? (quelle que soit la mise en œuvre). Peut-on écrire un ordre d'application …
Je m'intéresse aux instances individuelles "dures" de problèmes NP-complets. Ryan Williams a discuté du problème SAT0 sur le blog de Richard Lipton . SAT0 demande si une instance SAT a la solution spécifique composée de tous les 0. Cela m'a fait penser à la construction d'instances SAT susceptibles d'être "dures". …
Supposons que P≠NPP≠NPP \neq NP Soit utiliser la notation suivante pour la tétration (ie.iaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | est la taille de l'instance x. Soit L une langue, L|f( i ) ≤ | x | < g( i ): = { x ∈ L …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.