Informatique théorique

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

2
Apprentissage automatique sans contre-exemples
Dans le cadre d'apprentissage des automates d'Angluin , un étudiant vise à apprendre une langue régulière en posant deux types de questions à son professeur:L ⊆ Σ∗L⊆Σ∗L\subseteq \Sigma^* Requêtes de mots: étant donné , ?w ∈ Σ∗w∈Σ∗w\in \Sigma^*w ∈ Lw∈Lw\in L Requêtes d'équivalence: étant donné un langage , est ? …
2
Est-ce que l'algorithme quasipolynomial time Babai génère réellement l'isomorphisme?
J'ai une question (espérons-le simple, peut-être stupide) sur le document historique de Babai montrant que est quasipolynomial.G Igje\mathsf{GI} Babai a montré comment produire un certificat que deux graphes pour sont isomorphes, en temps quasi-polynomial dans.gje= ( Vje, Eje)gje=(Vje,Eje)G_i=(V_i,E_i)je ∈ { 1 , 2 }je∈{1,2}i\in\{1,2\}v = |Vje|v=|Vje|v=|V_i| Babai a-t-il réellement montré …
1
Écart entre
Si est l'ensemble des temps d'arrêt des machines de Turing à n états sur un alphabet binaire avec une bande initiale vide, alors B B ( n ) = max H T ( n ) .HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) Que dire du deuxième plus grand nombre de ? Appelez cela …
2
Paire de cycles disjoints de sommets dans un graphe orienté
Quel est l'algorithme déterministe le plus rapide connu qui peut reconnaître des graphes dirigés avec une paire de cycles disjoints de vertex? Je sais que les graphiques avec un minimum de trois degrés ont toujours une telle paire ( Thomassen'83 ), mais même ainsi, je ne trouve pas d'algorithme efficace …
1
Théorème d'Adleman sur des demi-tours infinis?
Adleman a montré en 1978 que BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : si une fonction booléenne fff de nnn variables peut être calculée par un circuit booléen probabiliste de taille MMM , alors fff peut également être calculé par un circuit booléen déterministe de taille polynôme en MMM et nnn ; en fait, …
2
S'effondre sous l'hypothèse que
Il est connu que si N P ⊆ P / P o l y alors la hiérarchie polynomiale se réduit à Σ P 2 et M A = A M .NP⊆P/PolyNP\subseteq P/PolyΣP2\Sigma_2^{P}MA=AMMA = AM Quels sont les effondrements les plus forts qui se produisent si N E X P ⊆ …
1
Pour quels graphiques l'arbre DFS est-il toujours un chemin?
Pour quels graphiques non orientés tous les arbres de recherche en profondeur d'abord (pour tous les sommets de départ possibles et pour tous les choix des voisins à rechercher en premier) sont-ils des chemins dirigés? C'est-à-dire que chaque arbre DFS ne doit avoir qu'une seule feuille et que chaque autre …
1
Le «degré de difficulté de Rabin à calculer une fonction et un ordre partiel des ensembles récursifs»
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une notion de degré de difficulté de calcul est …
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.