On sait qu'il est NP-complet de tester si un cycle hamiltonien existe dans un graphe à 3 réguliers, même s'il est planaire (Garey, Johnson et Tarjan, SIAM J.Comput.1976) ou bipartite (Akiyama, Nishizeki, et Saito, J. Inform. Proc. 1980) ou pour tester si un cycle hamiltonien existe dans un graphe à...
Il est clair que tout problème décidable dans un espace de log déterministe ( LLL ) s'exécute au maximum dans le temps polynomial ( PPP ). Il y a une multitude de classes de complexité entre LLL et PPP . Les exemples incluent NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , ACiACiAC^i ,...
Une question très spécifique, je le sais, et je doute qu'elle soit répondue par quiconque ne connaît pas déjà les règles de Magic. Transféré à Draw3Cards . Voici les règles complètes du jeu Magic: the Gathering . Voir cette question pour une liste de toutes les cartes magiques. Ma question est - le...
Il existe une littérature abondante et au moins un très bon livre exposant la dureté connue des résultats d'approximation pour les problèmes NP-difficiles dans le contexte d'erreur multiplicative (par exemple, l'approximation 2 pour la couverture des sommets est optimale en supposant UGC). Cela...
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 exact le plus...
Compter le nombre de correspondances parfaites dans un graphe bipartite est immédiatement réductible au calcul du permanent. Étant donné que trouver une correspondance parfaite dans un graphique non bipartite est dans NP, il existe une certaine réduction des graphiques non bipartites au permanent,...
Étant donné une énorme base de données de mots autorisés (triés par ordre alphabétique) et un mot, recherchez le mot de la base de données le plus proche du mot donné en termes de distance de Levenshtein. L'approche naïve consiste, bien entendu, à simplement calculer la distance de levenshtein...
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...
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 /...
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...
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 la façon de...
É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...
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 / 2L1/2L_{1/2}XXxyyyx...
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...
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 utilisé et de la...
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 ,
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...
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 eu des travaux antérieurs...
Quelles implications une preuve de la conjecture abc aurait-elle pour tcs?
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...