Nous disons que NFA est constamment ambigu s'il existe telle sorte que tout mot est accepté par ou (exactement) chemins.k ∈ N w ∈ Σ ∗ 0 kMMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Si l'automate est constamment ambigu pour , alors est appelé FA sans ambiguïté (UFA).k = 1 MMMMk=1k=1k=1MMM...
Toute langue qui n'est pas complète de Turing ne peut pas écrire elle-même un interprète. Je n'ai aucune idée de l'endroit où je l'ai lu, mais je l'ai vu utilisé à plusieurs reprises. Il semble que cela donne lieu à une sorte de langage complet «ultime» non Turing; celui (s) qui ne peutêtre...
J'ai eu une discussion avec un ami récemment (qui est un défenseur des langues fortement typées). Il a fait le commentaire: Les inventeurs de Lambda Calculus ont toujours voulu le taper. Maintenant , nous pouvons voir que l' église a été associée à la simplement dactylographié Calcul Lambda . En...
J'ai besoin d'une liste de langues complètes. Il y a deux de ces problèmes répertoriés dans le Complexity Zoo , à savoir:Σp2Σ2p\Sigma_2^p DNF équivalent minimum. Étant donné une formule DNF F et un entier k, existe-t-il une formule DNF équivalente à F avec k ou moins d'occurrences de littéraux?...
Le problème suivant apparaît dans la liste d'Aaronson Dix demi-grands défis pour la théorie de l'informatique quantique . Est-ce que BQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} En d'autres termes, la partie "quantique" de n'importe quel algorithme quantique peut-elle être...
Existe-t-il un théorème général qui indiquerait, avec une désinfection appropriée, que la plupart des résultats connus concernant l'utilisation de nombres réels peuvent réellement être utilisés lorsque l'on considère uniquement les réels calculables? Ou existe-t-il une caractérisation appropriée...
Soit un digraphe (pas nécessairement un DAG) et soit s , t ∈ V ( G ) . Quelle est la complexité de compter le nombre de simples s - t chemins dans G . ggGs , t ∈ V( G )s,t∈V(g)s,t \in V(G) s - ts-ts-tggG Je m'attendrais à ce que le problème soit # -complet, mais je n'ai pas pu trouver une référence...
Je recherche un algorithme à un passage qui calcule la parité d'une permutation. Je suppose qu'une permutation d'entrée est donnée par le flux π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n] . La sortie doit être la parité de la permutation. La question qui m'intéresse est la...
En regardant le blog sur la théorie des types d'homotopie, on peut facilement trouver beaucoup de bibliothèque formalisant la plupart de la théorie des types d'homotopie dans Agda et Coq. Quelqu'un sait-il s'il existe une tentative similaire de formaliser HoTT dans Idris
J'ai lu que la programmation linéaire entière est résoluble en temps polynominal si le nombre de variables est fixe, c'est-à-dire n ∈ O ( 1 ) . Si le nombre de variables croît logarithmiquement, c'est-à-dire n ∈ O ( log 2 ( N ) ) pour une entrée donnée de taille N , le problème est-il toujours...
Le principe 0-1 dit que si un réseau de tri fonctionne pour toutes les séquences 0-1, alors il fonctionne pour n'importe quel ensemble de nombres. Existe-t-il un S⊂{0,1}nS⊂{0,1}nS\subset \{0,1\}^n tel que si un réseau trie chaque séquence 0-1 de S, alors il trie chaque séquence 0-1 et la taille de...
Le comptage des triangles dans les graphiques généraux peut être fait trivialement en temps et je pense que faire beaucoup plus vite est difficile (références bienvenues). Et les graphes planaires? La procédure simple suivante montre que cela peut être fait en temps . Ma question est...
Je vais présenter mon problème avec un exemple. Supposons que vous concevez un examen, qui consiste en un certain ensemble de questions indépendantes (que les candidats peuvent avoir raison ou tort). Vous voulez décider d'un score à attribuer à chacune des questions, la règle étant que les...
Soit et sous-ensembles de . Nous souhaitons trouver la somme de Minkowski .AAABBB{0,…,n}{0,…,n}\{0,\ldots,n\}A+B={a+b | a∈A,b∈B}A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χX:{0,…,2n}→{0,1}χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} is a characteristic function of XXX if...
Dans la description formelle des automates déterministes de refoulement, ils autorisent mouvements, où la machine peut faire apparaître ou pousser des symboles sur la pile sans lire un symbole de l'entrée. Si ces mouvements ϵ ne sont pas autorisés et que la pile ne peut être modifiée qu'une fois...
Un graphique mixte est un graphique qui peut avoir à la fois des bords orientés et non orientés. Son graphe non orienté sous-jacent est obtenu en oubliant les orientations des arêtes dirigées, et dans l'autre sens, une orientation d'un graphe mixte est obtenue en affectant une direction à chaque...
Inspiré par une question que m'a posée Greg Kuperberg, je me demande s'il existe des articles qui définissent et étudient les classes de complexité des langues admettant divers types de preuves de connaissances . Les classes comme SZK et NISZK sont extrêmement naturelles du point de vue de la...
Quels sont quelques exemples de paires de classes de complexité et B telles queAAABBB on ne sait pas si , etA=BA=BA=B nous ne connaissons pas non plus de relativisations contradictoires (c'est-à-dire que nous ne connaissons pas les oracles et Q tels que A P = B P et A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P...
De nombreuses publications informatiques des années 1950 et 1960 contiennent des spéculations philosophiques fascinantes sur la nature de l'esprit et la signification de l'information par rapport au monde physique. Des exemples célèbres sont le "Test de Turing", le "Calcul de l'espace" de Zuse, le...
C'est une preuve standard dans les cours d'automates que pour et | Σ | ≥ 2 que S ( L ) = { w w : w ∈ L } n'est pas une langue sans contexte.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Il est également vrai que pour tout fini , S ( L ) est fini...