Les théorèmes de la hiérarchie sont des outils fondamentaux. Un bon nombre d'entre eux ont été rassemblés dans une question précédente (voir Quelles hiérarchies et / ou théorèmes de hiérarchie connaissez-vous? ). Certaines séparations de classes de complexité découlent directement des théorèmes de hiérarchie. Exemples de séparations bien connues: L≠PSPACEL≠PSPACEL\neq …
Un couvercle de bord est un sous-ensemble de bords d'un graphique de sorte que chaque sommet du graphique est adjacent à au moins un bord du couvercle. Les deux articles suivants indiquent que le comptage des couvertures de bord est # P-complet: Un FPTAS simple pour compter les couvertures de …
Je recherche des problèmes connus pour être des PNJ pour les graphes dirigés mais qui ont un algorithme polynomial pour les graphes non orientés. J'ai vu la question concernant l'inverse des problèmes «dirigés» qui sont plus faciles que leur variante «non dirigée» , mais je recherche la dureté du côté …
Les automates finis sans ambiguïté (UFA) sont un type spécial d'automates finis non déterministes (NFA). Un NFA est appelé sans ambiguïté si chaque mot a au plus un chemin d'acceptation.w∈Σ∗w∈Σ∗w\in \Sigma^* Cela signifie .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Résultats d'automate associés connus: La minimisation NFA est PSPACE-Complete. La minimisation NFA sur les …
Quand nous regardons le livre, Homotopy Type Theory - nous voyons les sujets suivants: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product types 2.7 S-types 2.8 …
Gowers a récemment souligné un problème, qu'il appelle «la détermination discrète de Borel», dont la solution est liée à la vérification des limites inférieures du circuit. Pouvez-vous fournir un résumé de l'approche adaptée à un public de théoriciens de la complexité? Que faudrait-il pour que cette approche prouve quoi que …
Il n'y a que très peu d'informations que je peux trouver sur le problème NP-complet de la résolution de l'équation diophantienne linéaire en nombres entiers non négatifs. C'est - à - dire, est - il une solution non négatif à l'équation a 1 x 1 + a 2 x 2 …
On m'a proposé d'enseigner un nouveau programme de lycée TCS, qui nécessite la construction d'un curriculum. J'aimerais beaucoup entendre des opinions et des suggestions à ce sujet. Premièrement, quelqu'un connaît-il des écoles secondaires où un programme TCS a été enseigné avec succès (ou sans succès)? L'idée est un programme de …
Dans l'article An Efficient Algorithm for Graph Isomorphism de Corneil et Gotlieb, 1970, une conjecture a été énoncée sur laquelle l'algorithme énoncé s'est appuyé pour résoudre l'IG en temps polynomial. À savoir: que les graphiques représentatifs présentent la partition d'automorphisme du graphique donné Évidemment, cette conjecture n'est pas prouvée jusqu'à …
Cette question est probablement à la frontière entre le sujet et hors sujet, mais j'ai vu des questions similaires ici, donc je vais la poser. J'implémente un solveur Unique -SAT, dont l'entrée est une formule -CNF ayant au plus affectation satisfaisante. Pour tester son comportement pratique, j'ai besoin d'un ensemble …
Tout graphique planaire , respectivement, externe satisfait | E ′ | ≤ 3 | V ′ | - 6 , respectivement, | E ′ | ≤ 2 | V ′ | - 3 , pour chaque sous-graphe G ′ = ( V ′ , E ′ ) de GG=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6|E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le …
Un nouvel article est sorti revendiquant un algorithme quasi-polynomial pour le logarithme discret. http://arxiv.org/abs/1306.4244 Si elle est correcte, cela signifie-t-il que nous n'avons plus de séparation exponentielle en complexité d'un algorithme classique et de sa version quantique pour le problème du logarithme discret? Cela a-t-il une implication pour la théorie …
Je me demande s'il y a des articles ou des recherches traitant des automates visiblement pushdown, mais permettant aux mots, plutôt qu'aux lettres simples, d'être poussés sur la pile. Alternativement, une construction qui a permis de symboles d'être poussé sur ϵϵ\epsilon -Transitions pourrait atteindre le même objectif. De toute évidence, …
On sait que l'on peut calculer exactement le déterminant d'une matrice dans l' espace determinstic . Quelles seraient les implications de complexité d'approximer le déterminant d'une matrice réelle, de norme au plus ( ) dans l'espace logarithmique randomisé, jusqu'à un 1 / \ text {poly } précision?n×nn×nn\times nlog2(n)log2(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} À …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.