AVERTISSEMENT: Ceci est une question ouverte et puritains stackexchange ressentiraient probablement un besoin extraordinaire de voter pour l'oubli. Cependant, je ne peux penser à aucun autre forum plus approprié et plus prometteur pour obtenir une réponse à cette question. En travaillant sur un...
C'est une question sur la complexité du circuit. (Les définitions sont en bas.) Yao et Beigel-Tarui ont montré que chaque famille de circuits de taille possède une famille de circuits équivalente de taille de profondeur deux , où la porte de sortie est une fonction symétrique et le deuxième niveau...
Le problème de l’isomorphisme graphique (IG) est sans doute le candidat le mieux connu pour un problème NP-intermédiaire . L'algorithme le plus connu est l'algorithme sous-exponentiel avec la durée d'exécution . On sait que GI n’est pas complet sauf si la hiérarchie polynomiale...
Je passe en revue les notes de cours sur CIS 500: Fondations logicielles et les exercices sont très amusants. Je n’en suis qu’au troisième exercice, mais j’aimerais en savoir plus sur ce qui se passe lorsque j’utilise des tactiques pour prouver des choses comme:forall (n m : nat), n + n = m + m...
Ma question est simple: Quel est le temps d'exécution le plus défavorable du meilleur algorithme connu pour calculer une composition simple d'une matrice ?n × nn×nn \times n Eigendecomposition réduit-il à la multiplication matricielle ou les algorithmes les plus connus (via SVD ) sont-ils dans le...
Je suis étudiant en quatrième année de doctorat en informatique théorique. J'aimerais rester dans le monde universitaire, alors je réfléchis à la meilleure façon de faire progresser ma carrière. La meilleure façon de le faire est évidemment de rédiger de nombreux articles de qualité, mais une autre...
J'aimerais comprendre Applicativeen termes de théorie des catégories. La documentation de ce documentApplicative indique qu’il s’agit d’ un foncteur fort monoïdal laxiste . Premièrement, la page Wikipedia sur les foncteurs monoïdaux indique qu’un foncteur monoïdal est laxiste ou fort . Il me semble...
Quelles sont les applications théoriques des codes de correction d'erreur en plus de la correction d'erreur elle-même? Je connais trois applications: le théorème de Goldreich-Levin sur le trépan dur, la construction d’un extracteur par Trevisan et l’ amplification de la dureté de la fonction...
Il est communément admis que pour tout , il est possible de multiplier deux matrices en un temps . Une discussion est ici .ϵ>0ϵ>0\epsilon > 0n×nn×nn \times nO(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) J'ai demandé à des personnes plus familières avec les recherches si elles pensaient qu'il y avait un...
Pourquoi la plupart des gens préfèrent-ils utiliser plusieurs réductions pour définir l'exhaustivité des NP au lieu, par exemple, des réductions de
Je cherche une réponse définitive à la question de savoir si la génération de nombres "réellement aléatoires" est calculable par Turing. Je ne sais pas comment formuler cela avec précision. Cette question de StackExchange sur les "algorithmes efficaces pour la génération de nombres aléatoires" est...
Laissez PRIMES (aka test de primalité ) être le problème: Étant donné un nombre naturel , est-il un nombre premier?nnnnnnn Soit FACTORING le problème: Soit les nombres naturels , avec , a-t-il un facteur avec ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1<d<m1<d<m1 < d < m Sait-on si PRIMES...
La preuve de Adleman que est contenu dans montre que s'il existe un algorithme aléatoire pour un problème qui fonctionne en temps sur les entrées de taille , alors il y a aussi un algorithme déterministe pour le problème qui fonctionne en temps sur les entrées de taille [l’algorithme exécute...
Un graphe est -choosable (également appelé -list-colorable ) si, pour toute fonction qui mappe des sommets sur des ensembles de couleurs, il existe une affectation de couleur telle que, pour tous les sommets , , et tel que, pour tous les , .k f k c v c ( v ) ∈ f ( v ) v w c ( v ) ≠ c ( w...
Ryan Williams vient d’afficher sa limite inférieure sur ACC , la classe de problèmes qui ont des circuits de profondeur constante avec des ouvertures et des portes sans bornes AND, OR, NOT et MOD_m pour tous les m possibles. Qu'est-ce qui rend les portes MOD_m si spéciales? Ils permettent de...
Existe-t-il des algorithmes de tri comparatifs connus qui ne se réduisent pas au tri des réseaux, de telle sorte que chaque élément soit comparé ?O ( logn )O(logn)O(\log n) Autant que je sache, le seul moyen de trier avec comparaison sur chaque élément est de construire un réseau de tri AKS pour n...
Ceci est un post-cross de math.stackexchange. Soit FACT représentent le problème de factorisation d'entiers: étant donné trouver des nombres premiers p i ∈ N , et les entiers e i ∈ N , de telle sorte que n = Π k i = 0 p e i i .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in...
Je suis étudiant en troisième année de doctorat dans un domaine de la CS théorique qui aimerait obtenir des conseils pour une situation difficile avec mon conseiller. Mon conseiller n’est pas impliqué dans mes projets de recherche. En particulier, j'ai proposé toutes mes idées de papier et je les...
Existe-t-il des références (en ligne ou sous forme de livre) qui organisent et discutent des théorèmes du SDC par technique de démonstration? Garey et Johnson le font pour les différents types de constructions de widgets nécessaires pour les preuves de complétude NP (en particulier dans le chapitre...
J'ai récemment entendu ceci: "Une machine non déterministe n'est pas la même chose qu'une machine probabiliste. En gros, une machine non déterministe est une machine probabiliste dans laquelle les probabilités de transitions ne sont pas connues". Je me sens comme si je comprends le point mais je...