Mafia est un jeu de rôle populaire lors des fêtes, une description détaillée est disponible sur wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Fondamentalement, cela fonctionne comme suit: Au début, chacun des joueurs se voit secrètement assigner un rôle, soit aligné avec la mafia soit...
Soit BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n)) la classe des problèmes de décision ayant un algorithme aléatoire à erreur bilatérale borné fonctionnant dans le temps .O(f(n))O(f(n))O(f(n)) Connaît-on un problème tel que mais ? Sa non-existence est-elle prouvée? Q ∈ B P T I M E ( n k ) Q ∉ D T I...
La théorie des catégories et l'algèbre abstraite traitent de la façon dont les fonctions peuvent être combinées avec d'autres fonctions. La théorie de la complexité traite de la difficulté de calculer une fonction. C'est bizarre pour moi que je n'ai vu personne combiner ces domaines d'études, car...
Toutes les fonctions dont le poids de Fourier est concentré sur les ensembles de petite taille (ou termes de faible degré) sont-elles calculées par les circuits ?A
Je sais qu'il est impossible de décider de l' équivalence pour le calcul lambda non typé. Citant Barendregt, HP Le calcul lambda: sa syntaxe et sa sémantique. Hollande du Nord, Amsterdam (1984). :ββ\beta Si A et B sont des ensembles de termes lambda disjoints et non vides qui sont fermés sous...
La notion de réductions de temps polynomiales (réductions Cook) est l'abstraction d'un concept très intuitif: résoudre efficacement un problème en utilisant un algorithme pour un problème différent. Cependant, dans la théorie de la complétude de , la notion de dureté de N P est capturée par des...
Je n'ai jamais vu d'algorithme avec un journal dans le dénominateur auparavant, et je me demande s'il existe des algorithmes réellement utiles avec ce formulaire? Je comprends beaucoup de choses qui pourraient entraîner la multiplication d'un facteur de journalisation pendant l'exécution, par...
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...
Dans un récent fil de discussion sur la liste de diffusion d'Agda, la question des lois ηη\eta est apparue, dans laquelle Peter Hancock a fait une remarque stimulante . Ma compréhension est que les lois ηη\eta viennent avec des types négatifs, c'est-à-dire. connecteurs dont les règles...
Existe-t-il une séquence de graphes non dirigés , où chaque a exactement sommets et le problème{ Cn}n ∈ N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Étant donné et un graphe , est-il un sous-graphe induit de ?G C n GnnnggGCnCnC_nggG est connu pour être dans la classe ? (Par exemple, lorsque , c'est...
Je voudrais en savoir plus sur la complexité paramétrée (à la fois du côté algorithmique et du côté de la dureté). Quels livres / notes de cours puis-je lire à ce
Je voudrais calculer la largeur d' arbre d'un graphique. Il existe de très bonnes heuristiques pour d'autres problèmes de graphes NP-durs tels que VF2 pour l'isomorphisme de sous-graphe, avec du code disponible en igraph par exemple. Je les ai essayés sur mes graphiques et je trouve qu'ils...
Comment puis-je déterminer le nombre de chemins simples uniques dans un graphique non orienté? Soit pour une certaine longueur, soit pour une plage de longueurs acceptables. Rappelez-vous qu'un chemin simple est un chemin sans cycle, je parle donc de compter le nombre de chemins sans...
Actuellement, je fais une étude documentaire sur le problème d'isomorphisme graphique (GI). J'aimerais connaître quelques questions ouvertes concernant les points suivants Quels sont les paramètres du graphique pour lesquels la tractabilité des paramètres fixes de l'IG est un problème ouvert. Quels...
Considérons le langage composé de toutes les chaînes de k lettres sur Σ de telle sorte qu'il n'y ait pas deux lettres égales:Lk−distinctLk−distinctL_{k-distinct}kkkΣΣ\Sigma Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct}...
Ce problème est sorti de mon récent article de blog , supposons que l'on vous donne une visite TSP, est-il co-NP-complet pour déterminer s'il est minime? Plus précisément, le problème suivant est NP-complet: Instance: étant donné un graphe complet G avec des arêtes pondérées par des entiers...
Le problème Max-Sat vous demande de trouver une affectation d'une formule CNF qui satisfasse autant de clauses que possible. Pour le problème SAT plus simple, il existe de nombreux cas spéciaux connus qui peuvent être résolus en temps polynomial, par exemple, nous pouvons résoudre 2-SAT en temps...
Je voudrais savoir s'il existe des bibliothèques de graphiques gratuites pour tester si un ensemble spécifique de mineurs existe dans un graphique
La célèbre conjecture d'isomorphisme de Berman et Hartmanis dit que tous langages complets sont isomorphes en temps polynomiaux (p-isomorphes) les uns aux autres. La signification clé de la conjecture est qu'elle implique . Il a été publié en 1977, et une preuve à l'appui était que tous problèmes...
Le problème d'arrêt des machines Turing est peut-être l'ensemble canonique indécidable. Néanmoins, nous prouvons qu'il existe un algorithme qui en décide presque toutes les instances. Le problème de l'arrêt fait donc partie de la collection croissante de ceux qui présentent le phénomène de «trou...