Informatique théorique

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

3
Applications des SCTM / UCT
MCTS / UCT est une méthode de recherche d'arbre de jeu qui utilise un algorithme de bandit pour sélectionner les nœuds prometteurs à explorer. Les jeux sont joués de manière aléatoire et les nœuds menant à plus de victoires sont explorés plus en profondeur. L'algorithme de bandit maintient un équilibre …
1
Existe-t-il un algorithme polynomial pour résoudre l'isomorphisme des graphes pour les graphes de Delaunay de tessellations hexagonales (finies)?
Étant donné un plan fini, j'ai une tessellation hexagonale de ce plan avec un hexagone régulier de taille fixe. Je calcule ensuite le graphe de Delaunay G pour la pavage. Étant donné un tel graphique G, je supprime des ensembles spécifiques de nœuds dans ce graphique pour produire plusieurs sous-graphiques …
1
Quels classificateurs d'apprentissage automatique sont les plus parallélisables?
Quels classificateurs d'apprentissage automatique sont les plus parallélisables? Si vous aviez un problème de classification difficile, un temps limité, mais un réseau local décent d'ordinateurs avec lesquels travailler, quels classificateurs essayeriez-vous? D'un côté, il me semble que certains classificateurs standard que je connais se cumulent comme suit, mais je peux …
1
Une version descriptive de la complexité du théorème de Rice pourrait-elle être utilisée pour séparer AC0 et PSPACE?
Dans cette question , il a été mentionné qu'il existe des versions de complexité descriptive du théorème de Rice. J'ai trouvé une preuve du théorème suivant: Étant donné une classe de complexité C , les propriétés non triviales des langages en C ne peuvent pas être calculées en C J'avais …
3
Pourquoi n'utilisons-nous pas des classes plus grandes pour étudier le déterminisme contre le non-déterminisme?
Dans une question précédente sur la hiérarchie temporelle, j'ai appris que les égalités entre deux classes peuvent être propagées à des classes plus complexes et les inégalités peuvent être propagées à des classes moins complexes, avec des arguments utilisant le remplissage. Par conséquent, une question me vient à l'esprit. Pourquoi …
1
Dans la théorie des domaines, à quoi peut servir la structure supplémentaire présente dans les espaces métriques?
Le chapitre de Smyth dans le manuel de logique en informatique et d'autres références décrivent comment les espaces métriques peuvent être utilisés comme domaines. Je comprends que les espaces métriques complets donnent des points fixes uniques mais je ne comprends pas pourquoi les espaces métriques sont importants. J'apprécierais vraiment toute …
2
Taxonomie des automates d'expression régulière notables
J'essaie de dresser une taxonomie d'algorithmes pour transformer des expressions régulières en automates afin d'effectuer des tests empiriques de leurs propriétés de complexité dans des domaines spécifiques. Je connais plusieurs des plus grands noms, par exemple, Thompson "Algorithme de recherche d'expression régulière", Thompson, 1968 Glushkov "Un nouvel algorithme quadratique pour …
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.