Treewith est un paramètre de graphique important qui indique à quel point un graphique est proche d'être un arbre (bien que pas dans un sens topologique strict). Il est bien connu que le calcul de la largeur d'arbre est NP-difficile. Existe-t-il des classes naturelles de graphiques où la largeur...
Dans son livre Computational Complexity , Papadimitriou définit le FNP comme suit: Supposons que est un langage dans NP . Par la proposition 9.1, il y a un décidable polynomial, relation polynomiale équilibré R L tel que pour toutes les chaînes x : Il y a une chaîne y avec R L ( x , y ) si et...
Si est l'ensemble des temps d'arrêt des machines de Turing à n états sur un alphabet binaire avec une bande initiale vide, alors B B ( n ) = max H T ( n ) .HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) Que dire du deuxième plus grand nombre de ? Appelez cela B B 2 ( n )...
Nous savons que le problème du comptage du nombre d'affectations satisfaisantes dans une formule booléenne générale donnée (CNF-SAT), une formule DNF donnée, ou même une formule 2SAT donnée est un problème # P-complet . Maintenant, considérons un CNF-SAT sans littéral négatif (pas de , toujours A...
Dans le jeu de galets sur une ligne, il y a N + 1 nœuds étiquetés de 0 à N. Le jeu commence par un caillou sur le nœud 0. S'il y a un caillou sur le nœud i, vous pouvez ajouter ou supprimer un caillou du nœud i + 1. Le but est de placer un caillou sur le nœud N, sans placer plusieurs cailloux sur...
Supposons que nous ayons une propriété de graphe qui peut être vérifiée en temps polynomial non déterministe, et une preuve dans un système formel faible (disons RCA 0 ) que la propriété est mineure fermée. Pouvons-nous dire quoi que ce soit sur la force d'un système formel, qui est capable de...
Étant donné un automate A (déterministe ou non déterministe, je pense que cela n'a pas beaucoup d'importance) et un seuil n , A accepte-t-il un mot contenant au plus n lettres distinctes? (Par k lettres différentes, je veux dire que aabaa a deux lettres distinctes, a et b .) J'ai montré que ce...
J'ai une question (espérons-le simple, peut-être stupide) sur le document historique de Babai montrant que est quasipolynomial.G Igje\mathsf{GI} Babai a montré comment produire un certificat que deux graphes pour sont isomorphes, en temps quasi-polynomial dans.gje= ( Vje,
Supposons que nous voulions un langage de programmation pur et fonctionnel, comme Haskell ou Idris, qui vise la programmation de systèmes sans collecte de déchets et n'a pas d'exécution (ou du moins pas plus que les «exécutions» C et Rust). Quelque chose qui peut plus ou moins fonctionner sur du...
La preuve d'Omer Reingold que donne un algorithme pour USTCON (dans un graphe orienté U avec des sommets spéciaux s et t , sont-ils ConL=SLL=SLL=SLsssttt CONNECTE?) En utilisant uniquement logspace. L'idée de base est de construire un graphe d'extension à partir du graphe d'origine, puis de faire...
Il existe une vieille astuce pour écrire un algorithme qui, si P = NP, résout SAT en temps polynomial. Essentiellement, on répertorie toutes les machines à temps polynomiales et les tâches multiples sur elles. Existe-t-il une astuce analogue pour les fonctions à sens unique (ou même les fonctions...
Dans le cadre d'apprentissage des automates d'Angluin , un étudiant vise à apprendre une langue régulière en posant deux types de questions à son professeur:L ⊆ Σ∗L⊆Σ∗L\subseteq \Sigma^* Requêtes de mots: étant donné , ?w ∈ Σ∗w∈Σ∗w\in \Sigma^*w ∈ Lw∈Lw\in L Requêtes d'équivalence: étant donné un...
Après avoir lu la question récente "est le complément de {www∣...}{www∣...}\{ www \mid ...\} Hors -contexte?" ; Je me suis souvenu d'un problème similaire que je n'ai pas pu réfuter: Est L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid...
Considérons le jeu suivant sur un graphique pondéré dirigé avec une puce à un nœud.GGG Tous les nœuds de sont marqués par A ou B.GGG Il y a deux joueurs Alice et Bob. Le but d'Alice (Bob) est de déplacer la puce vers un nœud marqué par A (B). Initialement, Alice et Bob ont respectivement et...
Dans les pires cas purement fonctionnels , les listes triées caténables à temps constant , Brodal et al. présentent des arbres équilibrés purement fonctionnels avec O (1) concaténé et O (lg n) insèrent, suppriment et trouvent. La structure des données est quelque peu compliquée. Existe-t-il un...
Il est connu que pour l'apprentissage par PAC, il existe des classes de concepts naturels (par exemple des sous-ensembles de listes de décision) pour lesquelles il existe des écarts polynomiaux entre la complexité de l'échantillon nécessaire à l'apprentissage théorique de l'information par un...
Soit des points distincts asseyez-vous dans R 2 . On dit que les points i et j sont voisins si | i - j | < 31 . . . n1...n1 ... nR2R2\mathbb{R}^2jeiijjj , ce qui signifie que chaque point est voisin avec des points avec des index à moins de 2 , s'enroulant autour.| i-j | <3( modn - 2...
Quels sont les autres langages de problèmes différents de l'isomorphisme des graphes dans ? Pouvez-vous donner quelques références?NP∩ c o A MNP∩coAMNP\cap coAM Mise à jour: J'ai oublié de mentionner que je suis intéressé dans les langues ne sont pas connus pour être en .c o...
Les algorithmes de flux nécessitent la randomisation pour la plupart pour ne rien faire de non trivial, et en raison de la contrainte de petit espace, ont besoin de PRG qui utilisent peu d'espace. Je connais deux méthodes qui ont été citées jusqu'à présent dans les algorithmes de flux: F 2 ℓ 2kkk...
Le concept de schéma de partage secret est souvent attribué à Shamir (A. Shamir, How to share a secret , Comm. ACM, 22 (1979), pp. 612-613.) Et Blakey (GR Blakey, Safeguarding cryptographic keys , dans Proc. NCC, vol. 48, 1979, p. 313-317.). L'idée générale est qu'un secret S est caché aux...