Informatique théorique

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

3
Existe-t-il une notion judicieuse d'un algorithme d'approximation pour un problème indécidable?
On sait que certains problèmes sont indécidables, mais il est néanmoins possible de progresser dans leur résolution. Par exemple, le problème d'arrêt est indécidable, mais des progrès pratiques peuvent être réalisés dans la création d'outils permettant de détecter les boucles infinies potentielles dans votre code. Les problèmes de carrelage sont …
11
Quel est le moyen le plus efficace de générer une permutation aléatoire à partir d’échanges probabilistes par paire?
La question qui m'intéresse est liée à la génération de permutations aléatoires. À partir d’une porte d’échange probabiliste par paire comme élément de base, quel est le moyen le plus efficace de produire une permutation uniformément aléatoire de nnn éléments? Ici, je suppose que "porte d'échange par paire probabiliste" est …
3
Embeddings peu profonds ou profonds
Lorsque vous encodez une logique dans un assistant de preuve tel que Coq ou Isabelle, vous devez choisir entre utiliser une intégration peu profonde et une intégration profonde . Dans une imbrication peu profonde, les formules logiques sont écrites directement dans la logique du prouveur de théorèmes, alors que dans …
20
NP-problèmes difficiles sur les arbres
Plusieurs problèmes d'optimisation connus pour être NP-difficiles sur les graphes généraux peuvent être résolus de manière triviale en temps polynomial (certains même en temps linéaire) lorsque le graphe en entrée est un arbre. Les exemples incluent la couverture de vertex minimale, le jeu maximum indépendant, l'isomorphisme de sous-graphe. Nommez quelques …
6
Bons exemples pour bien écrire en TCS
Je révisais un manuscrit d'étudiant. L'élève a fait remarquer qu'il serait bien de voir des exemples d'écriture de qualité dans les publications, et je me suis rendu compte que je ne pouvais pas vraiment trouver de bons exemples par cœur. Quels sont les meilleurs exemples d'écriture mathématique de qualité que …
4
Quelles sont les conséquences de
On sait que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} et L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , où L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nous savons aussi que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}parce que ce dernier a des problèmes complets dans les réductions logarithmiques d’espaces multiples, alors que ce n’est pas le cas …
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.