Je m'intéresse au problème suivant: étant donné un ensemble X et des sous-ensembles X_1, ..., X_n de X, trouver une coloration des éléments de X avec k couleurs de telle sorte que les éléments de chaque X_i sont tous de couleurs différentes. Plus précisément, je regarde le cas où tous les X_i sont...
Cet article suggère qu'il existe des combinateurs (représentant des calculs symboliques) qui ne peuvent pas être représentés par le calcul Lambda (si je comprends bien les
Problème: on nous donne un ensemble de bâtons ayant tous des longueurs entières. La somme totale de leurs longueurs est n (n + 1) / 2. Pouvons-nous les casser pour obtenir des bâtons de taille en temps polynomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Étonnamment, la seule référence que je trouve pour...
Soit un graphe simple non orienté et soit s , t ∈ V ( G ) des sommets distincts. Soit la longueur d'un chemin simple st le nombre d'arêtes sur le chemin. Je suis intéressé par le calcul de la taille maximale d'un ensemble de chemins st simples de sorte que chaque chemin a une longueur impaire, et...
Je suis intéressé par une fonction booléenne explicite avec la propriété suivante: si est constant sur un sous-espace affine de , alors la dimension de ce sous-espace est .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Il n'est pas difficile de...
Quelles universités ont un solide programme d'informatique quantique et proposent un certain type de cours d'informatique quantique / d'information / de recherche? Le but ici est de rassembler une liste utile pour ceux qui envisagent des études supérieures dans ces domaines, et non de discuter de...
Dans un article classique, Munro et Paterson étudient le problème de la quantité de stockage requise pour qu'un algorithme trouve la médiane dans un tableau trié de manière aléatoire. En particulier, ils se concentrent sur le modèle suivant: l'entrée est lue de gauche à droite pendant un nombre P...
Dans les systèmes de preuve pour la logique propositionnelle classique, si l'on veut montrer qu'une certaine formule n'est pas dérivable, on montre simplement que peut être dérivé (bien que d'autres techniques soient certainement possibles). La non-dérivabilité découle essentiellement de la...
Quelqu'un connaît-il un résultat de complétude NP pour le problème DOMINATING SET dans les graphiques, limité à la classe des graphiques bipartites planaires de degré 3 maximum? Je sais qu'il est NP-complet pour la classe des graphes planaires de degré maximum 3 (voir le livre Garey et Johnson),...
Récemment, Watrous et al ont prouvé que QIP (3) = PSPACE un résultat remarquable. Ce fut pour moi un résultat surprenant pour le moins et cela m'a fait réfléchir ... Je me demandais si les ordinateurs quantiques pouvaient être simulés efficacement par les ordinateurs classiques. Serait-ce...
La théorie de la complexité semble saisir quelque chose de fondamental dans la structure de l'univers, en ce qu'elle formalise la notion intuitive que certains problèmes sont plus difficiles que d'autres. Scott Aaronson prédit : "L'hypothèse de dureté NP sera finalement considérée comme analogue à...
Très souvent, si le temps d'exécution d'un algorithme est une expression compliquée, l'algorithme lui-même est également compliqué et peu pratique. Chacune des racines de cube et facteurs log log n dans le temps d'exécution asymptotique tend à ajouter de la complexité à l'algorithme et également...
La méthode de dérivation de Brzozowski est une très jolie technique pour construire des automates déterministes à partir d'expressions régulières d'une manière bien algébrique. J'ai élaboré de jolies généralisations de cette technique pour gérer des classes de grammaires plus importantes, mais les...
Ai-je raison de comprendre que prouver un problème NP complet est un succès en recherche? Si oui,
Il semble y avoir beaucoup de travail, pour certains problèmes NP-Hard, sur le développement d'algorithmes exacts à temps exponentiel rapide (c'est-à-dire, les résultats de la forme: L'algorithme A résout le problème en temps O (c ^ n), avec c petit). Il semble y avoir beaucoup de travail dans ce...
Cette page affirme que de nombreux langages n'utilisent pas de sous-typage implicite (équivalence structurelle), préférant le sous-typage explicite / déclaré (équivalence de déclaration) J'ai surtout utilisé des langages de programmation qui utilisent un sous-typage explicite . Quels sont les...
Il est bien connu qu'il y a des tonnes d'amateurs - moi y compris - qui s'intéressent au problème P vs NP. Il y a aussi beaucoup d'amateurs - moi y compris toujours - qui ont tenté de résoudre le problème. Un problème dont je pense que la communauté TCS souffre est un rapport relativement élevé...
2 questions pour les géomètres de calcul ou les algèbres: Je commence tout juste à plonger dans la géométrie informatique et je l'adore =) J'essaie de lire le célèbre article de Guibas et Stolfi intitulé "Primitives pour la manipulation des subdivisions générales et le calcul des diagrammes de...
Je viens de lire la question " La factorisation des nombres entiers est-elle un problème NP-complet? " ... alors j'ai décidé de dépenser une partie de ma réputation :-) en posant une autre question ayant :P ( Q est trivial ) ≈ 1QQQP( Q est trivial ) ≈ 1P(Q est trivial)≈1P(\text{Q is trivial})...
Est-il vrai qu'il y a des problèmes dans la hiérarchie polynomiale qui peuvent être résolus dans le temps (par une machine de Turing alternée à un certain niveau de la hiérarchie polynomiale) qui ne sont pas résolus dans O ( n k - 1 ) à aucun niveau de la hiérarchie polynomiale? En d'autres termes...