Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

2
Les automates d'arborescence non déterministes sont-ils plus forts que les automates déterministes?
Mise à jour: Il semble que ce problème ait été étudié et résolu récemment, voir cet article wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Et aussi cette enquête: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supposons qu'au lieu de l'ensemble habituel de mots, {0,1} *, nos mots ne soient pas linéaires mais plutôt donnés sur une structure arborescente. Pour éviter …
3
Dureté de trouver un mot de longueur au plus acceptée par un automate pushdown non déterministe
Énoncé du problème: Soit un automate de refoulement (potentiellement non déterministe) et soit son alphabet d'entrée. Y a-t-il un mot st accepté par ?A w ∈ A ∗ | w | ≤ k MMMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM Ce problème est-il NP-complet? At-il été étudié? Existe-t-il un algorithme …
1
La source du graphe de décomposition modulaire
Lors de l'introduction de la décomposition modulaire des graphes , la plupart des auteurs utilisent le graphe à 11 sommets, que je copie de wikipedia. La question est de savoir qui en est le concepteur d'origine. (Je ne demande pas qui a dessiné ce graphique pour wikipedia, mais la source …
1
Preuve du problème de la limite supérieure de la somme des racines carrées
Dans [1], Garey et al. identifier ce qui serait plus tard connu sous le nom de problème de la somme des racines carrées au cours de l'élaboration de l'exhaustivité NP du TSP euclidien. Étant donné les entiers a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n et LLL , déterminez si a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} + \sqrt{a_2} + …
2
Combien de temps faut-il pour trouver un cycle court dans un graphique aléatoire?
Soit G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2}) un graphe aléatoire sur ≈n3/2≈n3/2\approx n^{3/2} bords. Avec une probabilité très élevée, GGG a de nombreux cycles à 444 cycles. Notre objectif est de produire l'un de ces 444 cycles le plus rapidement possible. Supposons que nous ayons accès à GGG sous forme de liste …
1
Quelle est la référence du premier théorème d'incomplétude de Gödel basé sur l'indécidabilité du problème d'arrêt?
Une forme plus faible du premier théorème d'incomplétude de Gödel, dont les preuves directes à la manière de Gödel sont longues, impliquées et à un endroit plutôt contre-intuitives, a une preuve simple et intuitive basée sur l'indécidabilité du problème d'arrêt - voir par exemple https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Qui a proposé …
4
Des résultats d'amorçage qui amorcent vraiment
Il existe un type de résultats dans TCS généralement appelé résultats d'amorçage . En général, il a la forme Si la proposition est vraie, alors la proposition est vraie.UNEAAUNE′A′A' où et sont des propositions qui se ressemblent, et est apparemment "plus faible" que , c'est la raison pour laquelle nous …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.