Quels sont quelques exemples de problèmes de décision difficiles qui peuvent être résolus en temps polynomial? Je recherche des problèmes pour lesquels l'algorithme optimal est "lent", ou des problèmes pour lesquels l'algorithme connu le plus rapide est "lent". Voici deux exemples: Reconnaissance de graphes parfaits. Dans leur article FOCS'03 [1] …
Je suis des assistants de preuve auto-apprenants et j'ai décidé de commencer sur quelques preuves de base et de progresser. Étant donné que les preuves sont basées sur d'autres preuves et forment donc une hiérarchie, existe-t-il un référentiel de la hiérarchie des preuves? Je sais que je peux choisir un …
J'utilise habituellement le symbole pour une chaîne vide (mot vide ou chaîne nulle). Mais je sais que certaines personnes utilisent λ au lieu de ε .εε\varepsilonλλ\lambdaεε\varepsilon Je pense que est dérivé du mot "vide". Cependant, je ne sais pas quelle est l'origine de λ .εε\varepsilonλλ\lambda Dans la théorie des automates, …
Je me demande quel est l'algorithme le plus connu, en termes de notation Big- OOO , pour résoudre la programmation linéaire en nombres entiers? Je sais que le problème est NPNPNP complet, donc je ne m'attends à rien de polynomial. Et je sais qu'il y a beaucoup d'heuristiques et autres …
Un étudiant m'a récemment demandé de vérifier une preuve de dureté NP pour eux. Ils ont effectué une réduction selon: Je réduit ce problème P′P′P' qui est connu pour être NP-complet à mon problème PPP (avec une réduction poly-temps multiple), donc PPP est NP-dur. Ma réponse était essentiellement: Étant donné …
Supposons que l'on nous donne deux nombres et et que nous voulons trouver pour l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algorithme naïf vérifie simplement toutes les paires possibles; par exemple en rubis, nous aurions: def max_xor(l, r) max = 0 (l..r).each do |i| …
Laissez GGG un graphe, et que sss et ttt deux sommets de GGG . Pouvons-nous échantillonner efficacement un chemin sss - plus court de tttmanière uniforme et indépendante au hasard dans l'ensemble de tous les chemins les plus courts entre sss et ttt ? Pour simplifier, nous pouvons supposer que …
Quelqu'un peut-il me renvoyer à des articles évalués par des pairs qui étudient les avantages ou les inconvénients de l'écriture de code dans un style fonctionnel? Existe-t-il des articles qui discutent des applications de Lambda Calculus dans des domaines tels que l'apprentissage automatique, la conception de langage, etc.?
J'ai un certain nombre de questions connexes sur ces deux sujets. Tout d' abord, la plupart des textes de complexité de brillant que sur la classe . Existe-t-il une bonne ressource qui couvre la recherche de manière plus approfondie? Par exemple, quelque chose qui traite de toutes mes questions ci-dessous. …
Une application classique de diviser pour mieux régner consiste à résoudre le problème suivant: Étant donné un tableau d'éléments distincts et comparables, comptez le nombre de paires d'inversion dans le tableau: paires telles que et .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Une approche consiste à faire un tri par fusion, …
Selon l'article de Wikipedia , le L dans signifie "balayage de gauche à droite" et le "R" signifie "dérivation la plus à droite". Cependant, dans l'article original de Knuth sur les grammaires L R ( k ) , il définit L R ( k ) (à la page 610) comme …
Les algorithmes et les structures de données sans cache sont une nouveauté introduite par Frigo et al. dans Cache-inconscient algorithmes, 1999 . La thèse de Prokop de la même année présente également les premières idées. L'article de Frigo et al. présentent quelques résultats expérimentaux montrant le potentiel de la théorie …
Le problème de bande passante minimale consiste à trouver un ordre des nœuds de graphique sur une ligne entière qui minimise la plus grande distance entre deux nœuds adjacents. Le problème de décision est NP-complet même pour les arbres binaires. Résultats de complexité pour la minimisation de la bande passante. …
Je suis un homme de 16 ans qui a récemment reçu une grande encyclopédie sur l'informatique par un de mes amis. Je ne suis généralement pas très intéressé par les ordinateurs et la technologie, mais l'informatique a commencé à me fasciner. J'ai cependant l'intention d'étudier la physique et / ou …
La littérature est assez claire sur le fait que les RAM à coût unitaire avec multiplication primitive sont déraisonnables, dans la mesure où elles ne peut pas être simulé par les machines de Turing en temps polynomial peut résoudre des problèmes PSPACE complets en temps polynomial Cependant, toutes les références …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.