Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

1
Incorporation isométrique de L2 dans L1
On sait que, étant donné un sous-ensemble à points de ℓ d 2 (c'est-à-dire, étant donné n points dans R d avec une distance euclidienne), il est possible de les incorporer isométriquement dans ℓ ( nnnnℓd2ℓ2d\ell_2^dnnnRdRd{\mathbb R}^d.ℓ(n2)1ℓ1(n2)\ell^{n\choose 2}_1 L'isométrie est-elle calculable en temps polynomial (éventuellement, randomisé)? Comme il existe des …
6
Classes bien connues de formules booléennes qui nécessitent des preuves de résolution exponentiellement longues
Vous pouvez souvent trouver des méthodes de plan de coupe, de propagation variable, de branchement et de limite, d'apprentissage de clause, de retour en arrière intelligent ou même d'heuristique humaine tissée à la main dans les solveurs SAT. Pourtant, pendant des décennies, les meilleurs solveurs SAT se sont largement appuyés …
6
Quels problèmes SAT sont faciles?
Que sont les "régions faciles" pour la satisfiabilité? En d'autres termes, des conditions suffisantes pour qu'un solveur SAT puisse trouver une affectation satisfaisante, en supposant qu'elle existe. Un exemple est lorsque chaque clause partage des variables avec quelques autres clauses, en raison d'une preuve constructive de LLL, d'autres résultats dans …
2
Est-il possible de trouver si une séquence existe en temps polynomial dans le problème suivant?
Je réfléchis au problème suivant depuis un certain temps et je n'ai pas trouvé de solution polynomiale pour cela. Uniquement source brute. J'ai essayé de réduire également un problème NP-Complete sans succès. Voici le problème : Vous avez un ensemble trié de paires d'entiers positifs. {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, …
4
Algorithmes d'approximation quantique
Il est généralement considéré comme peu probable que les ordinateurs quantiques soient capables de résoudre efficacement des problèmes NP-complets. Dans le cas classique, une approche pour résoudre ces problèmes consiste à utiliser des algorithmes d'approximation. Y a-t-il eu des recherches sur les algorithmes d'approximation utilisant l'informatique quantique où la quanticité …
1
Rabin – Karp contre Karp – Rabin
Les autres éditeurs avisés de Wikipédia ont refusé ma demande de déplacer l'article de Wikipédia sur l' algorithme Rabin – Karp vers ce que je pense qu'il devrait être appelé, l'algorithme Karp – Rabin, au motif que le nom Rabin – Karp est utilisé plus souvent ( faux, si l'on …
1
Existe-t-il des algorithmes sous-exponentiels pour PLANAR SAT?
Certains problèmes NP-durs qui sont exponentiels sur les graphes généraux sont sous-exponentiels sur les graphes planaires car la largeur de l'arborescence est au maximum de et ils sont exponentiels dans la largeur de l'arborescence.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Fondamentalement, je suis intéressé s'il existe des algorithmes sous-exponentiels pour PLANAR SAT qui est NP-complet. …
1
Existe-t-il un langage d'arbre régulier dans lequel la hauteur moyenne d'un arbre de taille
Nous définissons un langage d'arbre régulier comme dans le livre TATA : c'est l'ensemble d'arbres accepté par un automate d'arbre fini non déterministe (chapitre 1) ou, de manière équivalente, l'ensemble d'arbres généré par une grammaire d'arbre régulière (chapitre 2). Les deux formalismes ont des ressemblances étroites avec les analogues de …
1
Complexité de l'alimentation de la matrice
Soit une matrice entière carrée, et soit un entier positif. Je m'intéresse à la complexité du problème de décision suivant:MMMnnn L'entrée en haut à droite de positive?MnMnM^n Notez que l'approche évidente du quadrillage itéré (ou de tout autre calcul explicite) nous oblige à gérer potentiellement des entiers de magnitude doublement …
1
Qui a d'abord proposé d'utiliser l' algorithme de Monte Carlo
Je suis sûr que tout le monde connaît l' expérience de Buffon sur l'aiguille au XVIIIe siècle, qui est l'un des premiers algorithmes probabilistes à calculer .ππ\pi L'implémentation de l'algorithme dans les ordinateurs nécessite généralement l'utilisation de , ou d'une fonction trigonométrique, qui, même si elles sont implémentées sous forme …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.