En calcul quantique adiabatique (AQC), on code la solution d'un problème d'optimisation à l'état fondamental d'un [problème] hamiltonien . Pour arriver à cet état fondamental, vous commencez dans un état initial (fondamental) facilement refroidissable avec Hamiltonian H i et "recuit" (perturber...
Je m'intéresse aux modèles de graphes aléatoires similaires aux graphes de vrais réseaux informatiques. Je ne sais pas si le modèle commun bien étudié ( n sommets, chaque bord possible est sélectionné avec la probabilité p ) est bon pour étudier les réseaux informatiques réels...
En informatique distribuée, le problème du consensus semble être l'un des sujets centraux qui a attiré des recherches intensives. En particulier, le document "Impossibilité d'un consensus distribué avec un processus défectueux" a reçu le PODC Influential Paper Award 2001 . Alors pourquoi le...
Le calcul de la constante de Cheeger d'un graphique , également connu sous le nom de constante isopérimétrique (car il s'agit essentiellement d'un rapport surface / volume minimum), est connu pour être NP-complet. Elle est généralement approximative. Je voudrais savoir si des algorithmes...
J'aimerais savoir s'il y a eu des conjectures qui n'ont pas été prouvées depuis longtemps dans le TCS, qui ont ensuite été prouvées par une implication d'un autre théorème, qui auraient pu être plus faciles à prouver.
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...
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...
Je vois beaucoup de recherches sur l' hypercalcul dans les années 1990, mais ces dernières années, il semble y avoir peu de travail sur le sujet. Est-il vrai que la recherche dans ce domaine s'est éteinte? Si oui, quelles pourraient en être les raisons? A-t-on démontré de façon convaincante que ce...
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
Le problème de satisfaction est, bien sûr, un problème fondamental en CS théorique. Je jouais avec une version du problème avec une infinité de variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuration de base. Soit XXX un ensemble de variables non vide et...
Quels sont les algorithmes efficaces connus pour calculer un déterminant d'une matrice entière à coefficients dans , l'anneau de résidus modulo . Le nombre peut ne pas être premier mais composite (donc les calculs sont effectués en anneau, pas dans un champ). mmZmZm\mathbb{Z}_mmmmmmm Pour autant...
Une approche récente de la création d'une monnaie en ligne décentralisée, appelée Bitcoin , a suscité un certain intérêt. L'objectif est d'avoir un moyen de transférer des devises sans autorité centrale et sans double dépense ou contrefaçon. Leur approche consiste à faire en sorte que tous les...
Supposons que soit un arbre à degrés constants dont nous ne connaissons pas la structure. Le problème est de sortir l'arbre en posant des requêtes de la forme: "Le nœud se trouve-t-il sur le chemin du nœud au nœud ?". Supposons que chaque requête puisse recevoir une réponse en temps constant par un...
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...
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...
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...
Travailler directement avec la complexité du temps ou les limites inférieures du circuit est effrayant. Par conséquent, nous développons des outils tels que la complexité des requêtes (ou la complexité de l'arbre de décision) pour comprendre les limites inférieures. Étant donné que chaque requête...
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...
La XORification est la technique pour rendre plus difficile une fonction ou une formule booléenne en remplaçant chaque variable par le XOR de k ≥ 2 variables distinctes x 1 ⊕ … ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Je connais les utilisations de cette technique dans la...
Existe-t-il des algorithmes de résolution SAT qui ne sont pas basés sur DPLL? Ou tous les algorithmes utilisés par les solveurs SAT sont-ils basés sur