Je suis actuellement à la recherche d'un sujet de thèse et ai rencontré le domaine de la théorie algorithmique de l'information. Le terrain me semble très intéressant, mais il semble que tout soit fait le terrain a été fait avant plusieurs années. Ma question est donc la suivante: le champ …
La classe est les fonctions de classe calculables par des familles de circuits de fan-in borné, de taille et de profondeur . La est l'union de ces classes.NCjeNCi\textrm{NC}^inO ( 1 )nO(1)n^{O(1)}O ( logje( n ) )O(Journalje(n))O(\log^i(n))NCNC\textrm{NC} Existe-t-il une étude de la variante de taille linéaire de cette hiérarchie? C'est-à-dire des …
Ceci est une généralisation de ma question précédente . Que soit une machine déterministe polynomial qui peut poser des questions à un oracle . Initialement, est vide mais cela peut être modifié après un jeu qui sera décrit ci-dessous. Soit une chaîne.MMMUNEUNEAUNEUNEAXXx Considérez le jeu Alice et Bob suivant. Initialement, …
Existe-t-il des exemples de cas où la simulation classique d'un algorithme quantique pour un problème surpasse le meilleur algorithme classique précédemment connu pour ce problème? "Surperformances" ne signifie pas nécessairement une classe de complexité différente, il pourrait simplement s'agir d'une meilleure mise à l'échelle. Cette question s'inspire du cas de …
Que soit une machine déterministe polynomial qui peut poser des questions à un oracle A . Initialement, A est vide mais cela peut être modifié après un jeu qui sera décrit ci-dessous. Soit x une chaîne.MMMUNEUNEAUNEUNEAXXx Considérez le jeu Alice et Bob suivant. Initialement, Alice et Bob ont respectivement et …
Le théorème de Mahaney nous dit que s'il y a un ensemble incomplet de clairsemé sous des réductions de plusieurs un en temps polynomial, alors . (Voir " Ensembles complets clairsemés pour NP: solution d'une conjecture de Berman et Hartmanis ")NPNPNPP= NPP=NPP = NP Existe-t-il des conséquences connues de l'existence …
Je suis tombé sur deux exemples de dureté hypothétique de certains problèmes graphiques. La dureté hypothétique signifie que réfuter une conjecture impliquerait l'exhaustivité NP du problème de graphe respectif. Par exemple, la conjecture de Barnette déclare que chaque graphe bipartite planaire cubique à 3 connexions est hamiltonien. Feder et Subi …
Existe-t-il un algorithme de tri basé sur la comparaison qui utilise une moyenne de lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) comparaisons? L'existence d'un algorithme de comparaison pire des cas lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n)est un problème ouvert, mais le cas moyen suffit pour un algorithme randomisé avec des comparaisons attendues lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n)pour chaque entrée . La signification de lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) est …
Je souhaite déterminer la complexité du problème de décision suivant: étant donné deux entiers l1l1l_1 et l2l2l_2 (chacun avec au plus m bits), décider si le bit le plus significatif de la multiplication l1⋅l2l1⋅l2l_1 \cdot l_2 est 1 (où le résultat est imprimé en bits de 2 m avec éventuellement …
Motivation : lors du développement d'outils de gestion des versions de données, nous avons fini par chercher des algorithmes pour «différencier» deux ensembles d'entiers, en proposant une séquence de transformations qui amènent un ensemble d'entiers à l'autre. Nous avons pu réduire ce problème au problème très naturel suivant qui semble …
Supposons que est un langage paramétré par rapport à un alphabet . La tranche de est , l'ensemble des instances de qui ont le paramètre . La classe de complexité contient les langages paramétrés tels que pour chaque , éventuellement avec un algorithme différent et un temps d'exécution polynomial lié …
Elberfeld, Jakoby et Tantau 2010 ( ECCC TR10-062 ) se sont révélés une version peu encombrante du théorème de Bodlaender. Ils ont montré que pour les graphiques avec une largeur d'arbre au plus , une décomposition d'arbre de largeur k peut être trouvée en utilisant l'espace logarithmique. Le facteur constant …
Permettez à une machine de Turing probabiliste d'avoir accès à une pièce de monnaie injuste qui génère des probabilités (les flips sont indépendants). Définissez comme la classe de langages reconnaissable par une telle machine en temps polynomial. Il s'agit d'un exercice standard pour prouver que:B P P ppppB PPpBPPpBPP_p A) …
Soit une matrice sur le corps fini et , vecteurs de l'espace . Je m'intéresse à la complexité informatique de décider s'il existe tel que , c'est-à-dire au problème d'accessibilité pour les systèmes dynamiques linéaires sur des champs finis.F 2 = { 0 , 1 } x y F n …
L'inclusion inverse est évidente, tout comme le fait que tout langage NP auto-réductible dans BPP l'est également dans RP. Est-ce également connu pour les langages NP non auto-réductibles?
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.