Soit un graphe. Soitêtre un entier. Soit le nombre de sous-graphes induits par les arêtes de ayant sommets et un nombre impair d'arêtes. Soit le nombre de sous-graphes induits par les arêtes de ayant sommets et un nombre pair d'arêtes. Soit . Le problème ODD EVEN DELTA consiste à calculer , étant...
J'essaie de comprendre le document sur les systèmes de preuve p-optimaux et la logique pour PTIME . Il y a une notion appelée systèmes de preuve dans le papier et je ne comprends pas l'intution: ... Nous identifions des problèmes avec des sous-ensembles de Q dans Σ ∗ .Σ={0,1}Σ={0,1}\Sigma =...
Pour mieux comprendre un article, j'essaie d'obtenir une brève compréhension de la logique des points les moins fixes. Il y a quelques points où je suis coincé. Si est un graphique etG = ( V, E)G=(V,E)G = (V,E) Φ ( P) = { ( a , b ) ∣ G ⊨ E( a , b ) ∨ P( a , b ) ∨ ∃ z( E( a , z) ∧ P( z, b ) )...
Dans l'article d'Adi Shamir [1] de 1979, il montre que l'affacturage peut se faire en un nombre polynomial d' étapes arithmétiques . Ce fait a été réaffirmé et a donc été porté à mon attention dans le récent article de Borwein et Hobart [2] dans le contexte des programmes en ligne droite (SLP)....
Soit la classe de langages décidée en alternant les machines de Turing qui s'arrêtent dans le temps f ( n ) en utilisant l'espace g ( n ) . Soit A A L T S P ( f ( n ) , g ( n ) ) la classe de langages décidée en alternant les machines de Turing qui cessent d'utiliser f (A T I S P (f( n ) , g( n )...
Je suis confus. Je veux prouver que le problème du tri d'une matrice nnn par nnn c'est-à-dire que les lignes et les colonnes sont en ordre croissant est Ω(n2logn)Ω(n2logn)\Omega(n^2\log n) . Je continue en supposant que cela peut être fait plus rapidement que n2Journalnn2lognn^2\log n et j'essaie...
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour l'échange théorique de pile informatique. Fermé il y a 7 ans . Comment exprimer " " comme une formule de premier...
Supposons que nous opérions dans un champ fini. On nous donne un grand polynôme fixe p (x) (de, disons, degré 1000) sur ce champ. Ce polynôme est connu à l'avance et nous sommes autorisés à faire des calculs en utilisant beaucoup de ressources dans la «phase initiale». Ces résultats peuvent être...
Considérez une formule monotone 3CNF ayant les deux restrictions supplémentaires suivantes: Chaque variable apparaît dans exactement clauses.222 Étant donné clauses, elles partagent au plus 1 variable.222111 Je voudrais savoir à quel point il est difficile de compter les affectations satisfaisantes...
Soit une famille de sous-ensembles d'éléments d'un univers fini d'objets. Une famille de sous-ensembles d'éléments de , avec , est un - ensemble de frappes de si pour chaque il existe au moins un ensemble tel que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
L'algorithme de Berkowitz fournit un circuit de taille polynomiale avec une profondeur logarithmique pour déterminer une matrice carrée en utilisant des puissances matricielles. L'algorithme utilise implicitement l'annulation. L'annulation est-elle essentielle pour atteindre un circuit de taille...
Soit xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} pour i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , avec la promesse que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (où la somme est supérieure à ZZ\mathbb{Z} ). Quelle est alors la complexité de déterminer si x=1x=1x = 1 ?...
Quelles sont certaines des meilleures sources (livres et articles) pour motiver et apprendre la complexité de la communication par elle-même et en relation avec sa relation avec la théorie de la complexité
Considérons le problème classique # P-complet # 3SAT, c'est-à-dire de compter le nombre d'évaluations pour rendre un 3CNF avec variables satisfaisable. Je m'intéresse à l' approximabilité additive . De toute évidence, il existe un algorithme trivial pour obtenir une erreur de , mais si , est-il...
Un homomorphisme d'un graphe à un graphe est un mappage de à tel que si et sont adjacents dans alors et sont adjacents dans . Un endomorphisme d'un graphe est un homomorphisme de à lui-même; il est sans virgule fixe s'il n'y a pas de tel que et il n'est pas trivial si ce n'est...
Quel est le meilleur résultat pour le nombre de portes dans un circuit multipliant deux entiers de n bits? La méthode évidente génère des portes . Il existe de meilleures approches avec les portes et .θ ( n log n log log n ) θ ( n log n 2 log ∗ ( n ) )θ ( n2)θ(n2)\theta(n^2)θ ( n logn...
Disons que nous avons une fonction booléenne et que nous appliquons une restriction aléatoire δ sur f . De plus, disons que l'arbre de décision T qui calcule f se réduit à la taille O ( 1 ) en raison de la restriction aléatoire. Est-ce à dire que f a une influence totale très faible?F: { - 1 , 1...
Soit un polynôme donné par un circuit arithmétique C de taille s . Étant donné C comme entrée, existe-t-il un algorithme déterministe pour vérifier si tous les facteurs irréductibles de f dans Q [ x 1 , x 2 , … , x n ] sont des formes linéaires? Sur une note connexe, étant donné une forme linéaire...
Fixons un encodage des machines de Turing et une machine de Turing universelle, U, qui en entrée (T, x) sort quelles que soient les sorties T en entrée x (éventuellement les deux fonctionnant pour toujours). Définissez la complexité de Kolmogorov de x, K (x), comme la longueur du programme le plus...
Je suis intéressé par des algorithmes efficaces pour l'intersection DFA pour des cas spéciaux. A savoir, lorsque les DFA se croisent obéissent à une certaine structure et / ou opèrent sur un alphabet limité. Y a-t-il une source où je peux trouver des algorithmes de tels cas? Afin de ne pas rendre...