Quelle est la complexité de décider si un circuit avec bits d'entrée et bits de sortie calcule une permutation de ? en d'autres termes, si chaque chaîne de bits dans est une sortie du circuit pour une entrée? Cela ressemble à un problème qui a été étudié, mais je ne trouve aucune référence. nn{0,1...
Je veux savoir si la non-uniformité aide les fonctions informatiques dans la pratique. Il est facile de montrer qu'il existe des fonctions dans , de prendre n'importe quelle fonction non calculable f et de considérer le langage { 0 f ( n ) : n ∈ ω }, qui a clairement des circuits non uniformes...
Dans la complexité de calcul, il existe une distinction importante entre les calculs monotones et généraux et un célèbre théorème de Razborov affirme que le 3-SAT et même MATCHING ne sont pas polynomiaux dans le modèle des circuits booléens monotones. Ma question est simple: existe-t-il un...
C'est peut-être une question fondamentale, mais j'ai lu et essayé de comprendre des articles sur des sujets tels que le calcul de l'équilibre de Nash et les tests de dégénérescence linéaire et je ne savais pas comment les nombres réels sont spécifiés en entrée. Par exemple, quand il est indiqué que...
Étant donné une matrice binaire par (les entrées sont ou 1 ), le problème est de déterminer s'il existe deux vecteurs binaires v 1 ≠ v 2 tels que M v 1 = M v 2 (toutes les opérations effectuées sur Z ). Ce problème est-il difficile à NP?n M 0mmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 =...
Dans ma formation en informatique, je remarque de plus en plus que la plupart des problèmes discrets sont NP-complets (au moins), alors que l'optimisation de problèmes continus est presque toujours facilement réalisable, généralement grâce à des techniques de gradient. Y a-t-il des exceptions à...
L'étude de la représentation succincte des graphiques a été lancée par Galperin et Wigderson dans un article de 1983, où ils prouvent que pour de nombreux problèmes simples comme la recherche d'un triangle dans un graphique, la version succincte correspondante dans -complete. Papadimitriou et...
Considérez le problème de couverture de l'ensemble minimal avec les restrictions suivantes: chaque ensemble contient au plus éléments et chaque élément de l'univers se produit dans au plus ensembles.kkkfff Exemple: le cas et est équivalent au problème de couverture minimale des sommets dans les...
Existe-t-il des problèmes naturels dans qui ne sont pas (connus pour être / pensés être) dans ?U P ∩ c o U PNP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Évidemment, le grand que tout le monde connaît dans est la version décisionnelle de l'affacturage (n'a pas un facteur de taille au plus...
Soit une matrice entière carrée, et soit un entier positif. Je m'intéresse à la complexité du problème de décision suivant:MMMnnn L'entrée en haut à droite de positive?MnMnM^n Notez que l'approche évidente du quadrillage itéré (ou de tout autre calcul explicite) nous oblige à gérer potentiellement...
Une machine PHPHPH accès oracle à une fonction booléenne aléatoire f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} , et deux spectres de Fourier ggg et hhh . Le spectre de Fourier d'une fonction fff est défini comme F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R :...
Il est bien connu que la connectivité st dirigée est complète en . Résultat percée Reingold a montré que undirected st-connectivité est en . La connectivité st dirigée planaire est connue pour être dans . Cho et Huynh ont défini un problème de sac à dos paramétré et ont présenté une hiérarchie de...
Le problème suivant est-il NP-difficile? Étant donné une configuration de carte pour brouillons internationaux , trouvez un mouvement juridique unique.n×nn×nn\times n Le problème correspondant pour les vérificateurs américains (ou versions anglaises) est trivialement résoluble en temps polynomial....
Quelles seraient les conséquences de #P = FP? Je m'intéresse aux conséquences pratiques et théoriques. D'un point de vue pratique, je m'intéresse particulièrement aux conséquences sur l'intelligence artificielle. Les pointeurs vers des articles ou des livres sont plus que bienvenus. Veuillez ne pas...
Shiva Kintali vient d'annoncer un résultat (cool!) Que l' isomorphisme des graphes pour les graphes à largeur d'arbre bornée de largeur est ⊕ L -hard≥4≥4\geq 4⊕L⊕L\oplus L . De manière informelle, ma question est: "C'est difficile?" Nous savons que non uniformément , voir les réponses à cette...
Pour une formule 3CNF laisser soit le nombre de maximal de clauses satisfaites dans toute affectation à . On sait que Max-3SAT est difficile à estimer (sous réserve de P ≠ NP), c'est-à-dire qu'il n'y a pas d'algorithme de polytime dont l'entrée est une formule 3CNF , et dont la sortie est le nombre...
Cette réponse aux problèmes majeurs non résolus en informatique théorique? question indique qu'il est ouvert si un problème particulier dans NP nécessite un temps .Ω ( n2)Ω(n2)\Omega(n^2) En regardant les commentaires sous la réponse, je me suis demandé: Mis à part le rembourrage et les astuces...
Supposons que nous ayons une classe d'objets (par exemple des graphiques, des chaînes) et une relation d'équivalence sur ces objets. Pour les graphiques, cela pourrait être un isomorphisme de graphique. Pour les chaînes, nous pourrions déclarer deux chaînes équivalentes si elles sont des anagrammes...
Que sait-on de la complexité de calcul de la factorisation d'entiers dans des champs de nombres généraux? Plus précisement: Sur les entiers, nous représentons des entiers via leurs extensions binaires. Quelles sont les représentations analogues d'entiers dans des champs numériques généraux? Est-il...
Considérez le problème suivant: étant donné une formule CNF et une affectation qui satisfait cette formule, y a-t-il une autre affectation satisfaisante pour cette formule? Quelle est la complexité de ce problème? (C'est sûrement en NP, mais est-il aussi difficile en NP?) Que se passe-t-il si vous...