Informatique théorique

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

1
Limites inférieures de la fonction de seuil
Dans la complexité de l'arbre de décision d'une fonction booléenne, une méthode de borne inférieure très connue est de trouver un polynôme (approximatif) qui représente la fonction. Paturi a donné une caractérisation des fonctions booléennes symétriques (partielles et totales) en termes de quantité notée ΓΓ\Gamma : Théorème ( Paturi ): …
2
Informations sur k-SAT (Introduction, limites, méthodes, etc.)
J'aimerais savoir où je peux me tourner pour une bonne et douce introduction à k-SAT (cela peut être pour les mathématiciens qui peuvent ne pas avoir une bonne formation en informatique). J'aimerais également connaître les articles qui peuvent étudier ou expliquer les méthodes actuelles utilisées pour résoudre k-SAT. Enfin, je …
4
Pourquoi les automates linéaires bornés ne sont-ils pas aussi populaires que les autres automates?
D'après mon expérience, les langages contextuels et les automates linéaires bornés sont souvent ignorés ou ignorés dans les cours de théorie de la calculabilité, et sont même exclus de certains manuels remarquables, bien que les automates finis et déroulants reçoivent beaucoup d'attention. Il doit sûrement y avoir une bonne raison …
2
Permutations à sens unique sans trappe
En bref: en supposant qu'il existe des permutations unidirectionnelles , pouvons-nous en construire une qui n'a pas de trappe? Plus d'informations: Une permutation unidirectionnelle est une permutation ππ\pi qui est facile à calculer, mais difficile à inverser (voir le wiki de balise de fonction unidirectionnelle pour une définition plus formelle). …
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.