J'ai récemment découvert le Q-learning, une technique d'apprentissage par renforcement qui estime directement la valeur attendue d'une action dans un état. Je me demande s'il existe des techniques pour faire de "l'apprentissage dynamique", afin d'estimer la dynamique d'un système. Un agent...
J'ai la question suivante. Les solveurs SAT sont-ils déterministes? Je veux dire, par exemple, sur les algorithmes miniSAT et DPLL . Sont-ils complètement déterministes? Si ces algorithmes renvoient unSAT, cela signifie que la solution n'existe certainement
J'essaie de comprendre comment trier un tableau de nnn éléments quand seulement lognJournaln\log n ne sont pas en place. J'ai entendu dire que trier un tableau avec au plus jejeI les inversions ont de la complexité O ( nlog( Je/ n))O(nJournal(je/n))O(n\log(I/n)). Parce qu'il y...
J'étudie les systèmes de types purs, en particulier le calcul des constructions, et j'essaie d'utiliser un codage pour les types récursifs, ce qui, selon Philip Wadler, est possible . À titre d'exemple, j'utilise la bibliothèque Morte Haskell pour coder les chiffres Scott comme donnés par Cardelli...
Comme je l'ai dit, je veux construire un programme pour générer n points équidistants dans un espace euclidien. De ce que je sais 1d: tous les deux points 2d: tous les triangles équilatéraux 3D: tous les tétraèdres équilatéraux jusqu'à 3d: je suppose que cela s'appelle un hypertriangle équilatéral...
C'est quelque chose que je n'ai pas trouvé - mais j'ai toujours trouvé intéressant que le lemme de pompage soit juste un lemme (d'autant plus qu'il a le même nom pour les langues régulières, les langues sans contexte, etc ...) Qu'est-ce qu'un
Mon algorithme initial: Comparez l'élément 0 avec tous les autres éléments, en gardant une trace du nombre d'éléments qui lui sont inférieurs. Répétez l'opération pour chaque élément jusqu'à ce qu'un élément supérieur à exactement (k-1) soit trouvé. Je suppose que cela prendrait O (n2)O(n2)O(n^2)au...
Étant donné un DFA, A, soit L (A) le nombre de mots que A accepte. Je pense qu'il est facile de calculer L (A): Traduisez l'encodage de A en une expression régulière. Si l'étoile Kleene apparaît n'importe où dans l'expression - le langage est infini. Sinon: Parcourez et comptez toutes les...
J'ai récemment imaginé la preuve suivante que L = P implique P = NP. Supposons que L = P. Soit A un problème dans NP. Selon la définition du vérificateur de NP, chaque solution positive à A a un témoin qui peut être vérifié en temps polynomial. Puisque P = L, la même solution peut être vérifiée...
Après ma classe de théorie du calcul aujourd'hui, cette question m'est venue à l'esprit: si un problème peut être résolu par un automate fini, ce problème appartient à P. Je pense que c'est vrai, puisque les automates reconnaissent des langages très simples, donc tous ces langages auraient des...
Supposons que vous disposiez d'un langage de programmation avec gestion manuelle de la mémoire. De quelles fonctionnalités ce langage a-t-il besoin pour pouvoir implémenter un ramasse-miettes précis en tant que bibliothèque, et non en tant que construction de langage fondamentale? Par un GC précis,...
Cette grammaire est récursive: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Je me demande s'il existe des fonctions utiles asymptotiquement supérieures à une fonction polylogarithmique et inférieures à une fonction polynomiale. Autrement dit, une fonction f(n)f(n)f(n) tel que f(n)=ω(log(n)k)f(n)=ω(log(n)k)f(n) = \omega(\log(n)^k) pour une constante k>0k>0k > 0 et...
Yo! C'est probablement une question stupide, mais je ne l'ai jamais vu écrit explicitement si, par exemple, la décidabilité de la vérification de type est équivalente à la propriété de normalisation forte. Par conséquent, je pose cette question pour clarifier toutes les relations possibles entre la...
Au cours des deux dernières années, j'ai construit un ordinateur mécanique alimenté par des billes et en ai fait un jeu. Il est similaire à l'ancien Digi-Comp II, à l'exception de deux différences clés: Les pièces sont repositionnables sur la carte. Vous pouvez connecter plusieurs «bits» ensemble à...
C'est une tâche du concours informatique allemand ("Bundeswettbewerb Informatik"), mais comme la date limite est passée, poser cette question n'est pas une tricherie. Étant donné un graphique orienté pondéré par les sommets G = ( V, E)g=(V,E)G=(V, E) et valeurs cvcvc_v, trouver un sous-ensemble de...
J'ai deux nombres, qui sont chacun le produit d'un grand nombre de petits nombres que je connais. Je veux trouver le GCD (le plus grand commun diviseur) de ces deux nombres. Existe-t-il un moyen d'utiliser la factorisation partielle dont je dispose pour accélérer le processus? En particulier,...
J'ai lu un de ces articles populaires sur la théorie des types cubiques, mais pas étonnant que je ne puisse voir que des formules et des diagrammes sans être en mesure de les reconnaître du tout. Voici donc ce que je veux. Je veux une explication assez approfondie de la composition, du remplissage...
Supposons que nous disposions d'un ordinateur quantique avec un nombre suffisant de qubits, pourrions-nous l'utiliser pour faire de l'algèbre linéaire plus rapidement qu'avec un ordinateur classique? À quel genre d'accélération pouvons-nous nous attendre? Quelqu'un a-t-il créé un algorithme...
Je dois résoudre un système de jusqu'à 10000 équations avec 10000 inconnues le plus rapidement possible (de préférence en quelques secondes). Je sais que l'élimination gaussienne est trop lente pour cela, alors quel algorithme convient à cette tâche? Tous les coefficients et constantes sont des...