Informatique théorique

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



1
Qu'est-ce que
Ceci est lié à la question La taille de l'adhésion des témoins pour chaque langue NP est-elle déjà connue? Certains problèmes naturels (-complet) ont des témoins de longueur linéaire: une affectation satisfaisante pour , une séquence de sommets pour , etc.NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Considérez la classe de complexité " limitée aux témoins …


1
complexité de la demi-langue
Pour toute langue sur , définissez En d'autres termes, constituée de tous pour lesquels il existe un de longueur égale de telle sorte que .LLLΣ∗Σ∗\Sigma^*L1 / 2= { x ∈ Σ∗: x y∈ L , y∈ Σ| x |} .L1/2={X∈Σ∗:Xy∈L,y∈Σ|X|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1 / …



2
Complexité informatique de l'optique quantique
Dans "Exigence pour le calcul quantique" , Bartlett et Sanders résument certains des résultats connus pour le calcul quantique à variable continue dans le tableau suivant: MA question est triple: Neuf ans plus tard, la dernière cellule peut-elle être remplie? Si une colonne est ajoutée avec le titre "Universal for …

13
Analyse complexe en informatique théorique
Il existe de nombreuses applications de l'analyse réelle en informatique théorique, couvrant les tests de propriété, la complexité de la communication, l'apprentissage PAC et de nombreux autres domaines de recherche. Cependant, je ne peux penser à aucun résultat dans TCS qui repose sur une analyse complexe (en dehors de l'informatique …


4
Quel est le moyen le plus rapide de vérifier l'inclusion d'un ensemble?
Étant donné sous-ensembles de .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Vérifiez s'il existe des ensembles avec . (Si oui, trouvez un exemple, sinon, dites simplement «non»)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La solution triviale à ce problème passe par toutes les paires d'ensembles et vérifie l'inclusion d'une paire dans le temps O(d)O(d)O(d) , donc le temps d'exécution global …

5
Quel est le nombre maximum de mariages stables pour une instance du problème du mariage stable?
Problème de mariage stable: http://en.wikipedia.org/wiki/Stable_marriage_problem Je suis conscient que pour une instance d'un SMP, de nombreux autres mariages stables sont possibles en dehors de celui retourné par l'algorithme de Gale-Shapley. Cependant, si l'on ne donne que , le nombre d'hommes / femmes, nous posons la question suivante - Peut-on construire …


4
Démarrage des papiers du solveur SAT
Je veux faire un premier solveur SAT. Je connais le concours SAT et la conférence SAT, et il y a tellement de papiers sur ce sujet. Je suis un démarreur, un démarreur débordé. Par où dois-je commencer? Finalement, je veux pousser l'état de l'art. Je veux des conseils d'experts sur …


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.