Soit un polynôme sur un champ fini fixe. Supposons qu'on nous donne la valeur de P sur un vecteur y ∈ { 0 , 1 } n et le vecteur y .P( x1, x2, … , Xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)PPPy∈ { 0 , 1 }ny∈{0,1}ny \in \{0,1\}^nyyy Nous voulons maintenant calculer la valeur de sur un vecteur y ′ ∈ { 0...
QUESTION COURTE: MAJ-3CNF est-il un problème PP-complet avec plusieurs réductions? VERSION PLUS LONGUE: Il est bien connu que MAJSAT (décider si la majorité des affectations de phrase propositionnelle satisfont la phrase) est PP-complet sous plusieurs réductions et #SAT est # P-complet sous...
Le fait qu'un problème soit EXP-temps complet implique-t-il que n'est pas en ?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) Je sais que d'après le théorème de la hiérarchie temporelle, n'est pas inclus dans . Néanmoins, cela ne semble pas exclure immédiatement l'existence d'algorithmes de temps...
Les estimateurs biaisés sont utiles en statistique car ils peuvent optimiser l'erreur quadratique moyenne plus que ce qu'un estimateur non biaisé peut gérer . Je me demandais si en théorie CS il y avait des exemples très remarquables de l'utilisation efficace d'estimateurs biaisés. Je me rends...
Dans le papier classique du calcul des constructions , il y a une règle qui dit (page 7 du pdf, page 101 du document original) Cette règle signifierait que tout contexte est réductible à un membre de ce contexte. Il semble que cela ne devrait pas être correct, car cela impliquerait 1 ≅ Nat 3 ≅ Nat...
Y a-t-il eu des tentatives pour montrer que le caractère aléatoire de Kolmogorov serait suffisant pour RP ? La probabilité utilisée dans l'énoncé "Si la bonne réponse est OUI, alors elle (la machine probabiliste de Turing) renvoie OUI avec probabilité ..." serait-elle toujours bien définie dans ce...
Soit HA L TnHALTnHALT_n la chaîne de longueur 2n2n2^n correspondant à la table de vérité du problème d'arrêt pour les entrées de longueur nnn . Si la séquence des complexités de Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) était O ( 1 )O(1)O(1) , alors l'une des chaînes de conseil serait utilisée...
P⊆ CSLP⊆CSLP\subseteq CSLP⊈ CSLP⊈CSLP\not\subseteq CSL PPP est l'ensemble de tous les langages décidables en temps polynomial sur une machine de Turing déterministe, et CSLCSLCSL est la classe des langages contextuels, connue pour être équivalente à , les langages décidés par des automates...
J'ai une langue dans laquelle les types sont déballés par défaut, avec l'inférence de type basée sur Hindley – Milner. Je voudrais ajouter un polymorphisme de rang supérieur, principalement pour travailler avec des types existentiels. Je pense que je comprends comment vérifier ces types, mais je ne...
Que soit une classe de complexité et BP- C la contrepartie aléatoire de C définie comme BPP par rapport à P . Plus formellement, nous fournissons un nombre aléatoire de bits polynomial et nous acceptons une entrée si la probabilité d'accepter est supérieure à
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...
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...
Supposons que j'ai deux listes d'entiers positifs de manitude bornée et que je prenne le produit de tous les éléments de chaque liste. Quelle est la meilleure façon de déterminer quel produit est plus grand? Bien sûr, je peux simplement calculer chaque produit, mais j'espère qu'il existe une...
On nous donne des paires d'objets (disons des nombres). Chaque objet apparaît dans au plus paires. Notre objectif est de répartir les paires dans des bacs de taille égale, de sorte que chaque objet se trouve dans le moins de bacs différents possible.qqq Plus précisément, nous nous intéressons à une...
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...
Soit un groupe abélien fini, et soit P le polytope dans R Γ défini comme étant les points x satisfaisant les inégalités suivantes:ΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall...
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...
Considérez le problème suivant. Il existe valeurs inconnues . La tâche consiste à rechercher l'index du plus grand en utilisant uniquement les requêtes du formulaire suivant. Une requête est spécifiée par un ensemble et la réponse correspondante est . L'objectif est d'utiliser le moins de requêtes...
Considérez le jeu à 2 joueurs suivant: La nature choisit au hasard un programme Chaque joueur joue un nombre en [0, infini] inclus en réponse au mouvement de la nature Prenez le minimum de numéros de joueurs et exécutez le programme pour (jusqu'à) autant d'étapes (sauf si les deux joueurs ont...
Le terme inversion de programme a plusieurs nuances de sens, mais a probablement commencé avec le travail de J. McCarthy de 1956, The Inversion of Functions Defined by Turing Machines dans le contexte de l'IA. À présent, de nombreuses connexions entre l'inversion de programme et d'autres domaines...