Il existe plusieurs preuves pour la borne inférieure log-linéaire du problème d'unicité / distinction d'un élément (basée sur des arbres de calcul algébriques ou des arguments contradictoires), mais j'en cherche une qui soit assez simple à utiliser dans un premier cours d'analyse et de conception d'algorithmes. Le même «niveau de …
Une formule Monotone-2CNF est une formule CNF où chaque clause est composée d'exactement 2 littéraux positifs. Maintenant, j'ai une formule Monotone-2CNF FFF. Soit SSS l'ensemble des affectations satisfaisantes de FFFJ'ai également un oracle qui est capable de donner les informations suivantes:OOO La cardinalité de l'ensemble (ie le nombre de solutions …
Supposons que nous ayons un ensemble S de graphes (graphes finis, mais un nombre infini d'entre eux) et un groupe P de permutations qui agit sur S. Instance: Une permutation p dans P. Question: Existe-t-il un graphe g dans S qui admette l'automorphisme p? Ce problème est-il NP-complet pour certains …
Dans un article intitulé «Sur le déni dans la chaîne de référence commune et le modèle Oracle aléatoire», Rafael Pass écrit: Nous notons que lors de la démonstration de la sécurité selon la définition standard de la connaissance zéro dans le modèle RO [Oracle aléatoire], le simulateur a deux avantages …
Suite à la discussion sur les bornes inférieures pour 3SAT [ 1 ], je me demande quels sont les principaux résultats de borne inférieure formulés comme des compromis espace-temps. J'exclus des résultats tels que, disons, le théorème de Savitch; une bonne entrée se concentrerait sur un seul problème et ses …
En termes simples: quelle est la correspondance entre les machines de Turing avec oracles et les familles de circuits uniformes avec oracles? Comment ces derniers sont-ils définis afin d'obtenir le même modèle de calcul, pour une machine Oracle Turing donnée? Cela peut être une question élémentaire, mais il n'est pas …
Il est connu grâce à Immerman et Szelepcsényi que si f = Ω ( log ) (même pour les fonctions constructibles non spatiales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dans le même article, Immerman déclare que la hiérarchie alternative de l'espace journal s'effondre, cela signifie que (la définition de la machine de turing alternée …
La complexité classe PPAD a été inventé par Christos Papadimitriou dans son 1994 fondateur du papier . La classe est conçue pour capturer la complexité des problèmes de recherche où l'existence d'une solution est garantie par "Argument de parité dans les graphes dirigés": s'il y a un sommet déséquilibré dans …
Pour être honnête, je ne sais pas grand-chose sur la façon dont les nombres aléatoires sont générés (les commentaires sont les bienvenus!) Mais supposons le modèle théorique suivant: Nous pouvons obtenir des entiers uniformément aléatoires à partir de [1,2n][1,2n][1,2^n] et notre objectif est de produire un entier uniformément aléatoire de …
Supposons P NP.≠≠\ne Le théorème de Ladner dit qu'il existe des problèmes NP intermédiaires (problèmes dans NP qui ne sont ni dans P ni NP-Complete). J'ai trouvé en ligne des références voilées qui suggèrent (je pense) qu'il existe de nombreux "niveaux" de langues mutuellement réductibles au sein de NPI qui …
Si je comprends bien, une preuve que P = NP ou P ≠ NP devrait être non relativisable (comme dans les oracles de la théorie de la récursivité). Cependant, presque toutes les preuves semblent être relativisables. Quels sont les bons exemples de preuves non relativisables, du type d'une preuve P …
La classe de complexité PPAD est généralement définie en indiquant que End-Of-The-Line est PPAD-complete. La fin de ligne est un problème de recherche. L'entrée consiste en un graphe orienté dans lequel chaque nœud a au plus en degré et en degré 1. Le graphe est donné par une fonction calculable …
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, …
Imaginons que nous ayons deux ensembles mmm de points X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Quelle est la complexité (temporelle) des tests s'ils diffèrent uniquement par la rotation? : il existe une matrice de rotation OOT=OTO=IOOT=OTO=IOO^T=O^TO=I telle que X=OYX=OYX=OY ? Il y a un problème de représentation des valeurs réelles ici - pour …
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.