Une question récente de Huck Bennett demandant si la classe PH était contenue dans la classe PP, a reçu des réponses quelque peu contradictoires (tout à fait vrai, semble-t-il). D'un côté, plusieurs résultats Oracle ont été donnés, et de l'autre Scott a suggéré que la réponse était probablement...
Contexte Il y a plusieurs années, lorsque j'étais étudiant de premier cycle, on nous a confié un devoir d'analyse en amortissement. J'ai été incapable de résoudre l'un des problèmes. Je l’avais demandé en théorie , mais aucun résultat satisfaisant n’a été obtenu. Je me souviens du cours TA a...
Certains problèmes de comptage impliquent de compter de manière exponentielle beaucoup de choses (par rapport à la taille de l'entrée), tout en ayant d'étonnants algorithmes déterministes exacts à temps polynomial. Les exemples comprennent: Comptage des correspondances parfaites dans un graphe...
On sait que certains problèmes sont indécidables, mais il est néanmoins possible de progresser dans leur résolution. Par exemple, le problème d'arrêt est indécidable, mais des progrès pratiques peuvent être réalisés dans la création d'outils permettant de détecter les boucles infinies potentielles...
On sait que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} et L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , où L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nous savons aussi que...
Y a-t-il des avantages à calculer la complexité temporelle d'un algorithme utilisant le calcul lambda? Ou existe-t-il un autre système conçu à cet effet? Toute référence serait
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...
Dans les années 1980, Razborov a montré qu'il existait des fonctions booléennes monotones explicites (telles que la fonction CLIQUE) nécessitant de manière exponentielle de nombreuses portes ET et OU pour le calcul. Cependant, la base {AND, OR} sur le domaine booléen {0,1} n'est qu'un exemple d'un...
Dans son article classique de 1979, Andrew Chi-Chih Yao mentionne "MO Rabin et AC Yao, en préparation". Cela signifie que la complexité de la communication d'erreur corrigée de la fonction d'égalité EQ (que deux entiers compris entre et soient égaux) est égale à
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...
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...
Le théorème d'Immerman-Vardi stipule que PTIME (ou P) est précisément la classe de langages pouvant être décrite par une phrase de la logique du premier ordre avec un opérateur à point fixe, sur la classe des structures ordonnées. L'opérateur de point fixe peut être soit le point le moins fixe...
On prétend parfois que la théorie de la complexité géométrique de Ketan Mulmuley est le seul programme plausible pour régler les questions en suspens de la théorie de la complexité, comme la question P vs NP. Plusieurs théoriciens de la complexité connus ont commenté positivement le programme....
Je m'intéresse à la complexité paramétrée de ce que j'appellerai le problème d'ensemble d-dimensionnel: donné un espace de plage (c'est-à-dire un ensemble système / hypergraphe) S = (X, R) ayant une dimension VC au plus d et a entier positif k, X contient-il un sous-ensemble de taille k qui touche...
Autant que je sache, le programme de théorie de la complexité géométrique tente de séparer en prouvant que le permament d'une matrice à valeurs complexes est beaucoup plus difficile à calculer que le déterminant.VP≠VNPVP≠VNPVP \neq VNP Après avoir parcouru les documents du GCT, la question que je...
Cette question est inspirée d'une question similaire sur les mathématiques appliquées sur mathoverflow, et cette pensée persistant pensait que des questions importantes du TCS telles que P vs NP pourraient être indépendantes de ZFC (ou d'autres systèmes). Comme arrière-plan, les mathématiques...
Nous savons que le premier niveau de la hiérarchie polynomiale (c'est-à-dire NP et co-NP) est en PP, et que . Le théorème de Toda indique également que .PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} Savons-nous si ? Si non, pourquoi est-ce que avec un oracle en est plus fort...
En général, nous savons qu'il est plus facile de tester si une fonction prend une valeur particulière à une entrée donnée que d'évaluer la fonction à cette entrée. Par exemple: L'évaluation du permanent d'une matrice de nombre entier non négatif est # P-difficile, mais indiquer si un tel permanent...
SoitAAA un entier positif fixe de taille nnn bits. On est autorisé à prétraiter cet entier comme il convient. Etant donné un autre entier positif BBB de taille mmm bits, quelle est la complexité de la multiplication ABABAB ?
Ceci est une question naïve, de mon expertise; excuses à l'avance. La conjecture de Goldbach et de nombreuses autres questions non résolues en mathématiques peuvent être écrites sous forme de formules courtes dans le calcul des prédicats. Par exemple, le document de Cook "Les ordinateurs...