Dans sa réponse à cette question , Stéphane Gimenez m'a signalé un algorithme de normalisation polynomiale en temps pour les preuves en logique linéaire. La preuve dans l'article de Girard utilise des réseaux de preuve, qui sont un aspect de la logique linéaire que je ne connais pas vraiment. Maintenant, …
Je suis à la recherche d'un livre sur les structures de données avancées qui va au-delà de ce qui est couvert dans les manuels standard comme Cormen, Leiserson, Rivest et Stein "Introduction to Algorithms". Un livre qui peut être utilisé pour enseigner un cours de niveau supérieur sur les structures …
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 …
EDIT (v2): Ajout d'une section à la fin sur ce que je sais du problème. EDIT (v3): Ajout d'une discussion sur le degré de seuil à la fin. Question Cette question est principalement une demande de référence. Je ne connais pas grand-chose au problème. Je veux savoir s'il y a …
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 / …
Edit: j'ai d'abord mal formulé ma contrainte (2), elle est maintenant corrigée. J'ai également ajouté plus d'informations et d'exemples. Avec certains collègues, étudiant une autre question algorithmique, nous avons pu réduire notre problème au problème intéressant suivant, mais nous n'avons pas pu résoudre la question de sa complexité. Le problème …
Il est bien établi qu'il existe un seuil de bruit pour le calcul quantique, tel qu'en dessous de ce seuil, le calcul peut être codé de telle sorte qu'il donne le résultat correct avec une probabilité limitée (avec au plus un surcoût de calcul polynomial). Ce seuil dépend du codage …
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 …
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 …
Les types et langages de programmation se concentrent un peu sur le sous-typage, mais pour autant que je sache, le sous-typage ne semble pas particulièrement fondamental. Le sous-typage vous donne-t-il plus que les types dépendants? Travailler avec des types dépendants est forcément plus de travail, donc je peux comprendre pourquoi …
É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 …
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 …
La conjecture de reconstruction dit que les graphes (avec au moins trois sommets) sont déterminés uniquement par leurs sous-graphes supprimés par les sommets. Cette conjecture a cinq décennies. En recherchant dans la littérature pertinente, j'ai trouvé que les classes de graphiques suivantes sont connues pour être reconstructibles: des arbres graphes …
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 …
Un graphe H est un noyau si tout homomorphisme de H vers lui-même est une bijection. Un sous-graphe H de G est un noyau de G si H est un noyau et qu'il y a un homomorphisme de G vers H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Étant donné un graphe G, quel est l'algorithme …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.