Je génère des DFA aléatoires pour tester un algorithme de réduction DFA sur eux. L'algorithme que j'utilise actuellement est le suivant: pour chaque état , pour chaque symbole de l'alphabet c , ajoutez δ ( q , c ) à un état aléatoire. Chaque état a la même probabilité de devenir un état...
Pour mon diplôme CS, j'ai eu la plupart des connaissances mathématiques "standard": Calcul: nombres différentiels, intégraux, complexes Algèbre: à peu près les concepts jusqu'aux champs. Théorie des nombres: XGCD et autres éléments connexes, principalement pour la cryptographie. Algèbre linéaire:...
J'essaie de comprendre les systèmes de preuve interactifs et j'ai essayé le problème suivant comme exercice. Nous savons que et I P = P S P A C E , alors imaginez des systèmes de preuve interactifs (faciles à comprendre) pour P H ?PH⊆ PSPA CEPH⊆PSPACEPH \subseteq PSPACEjeP= PSPA...
Je recherche une grammaire contextuelle qui décrit le langage suivant: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} J'ai des problèmes avec le fait qu'aucune règle comme n'est autorisée et donc je ne peux placer aucun terminal indiquant le "milieu" du mot....
Une équipe a décidé que chaque matin, quelqu'un devrait apporter des croissants pour tout le monde. Ce ne devrait pas être la même personne à chaque fois, donc il devrait y avoir un système pour déterminer de quel tour il s'agit. Le but de cette question est de déterminer un algorithme pour décider...
J'ai implémenté un réseau neuronal (utilisant CUDA) avec 2 couches. (2 neurones par couche). J'essaie de lui faire apprendre 2 fonctions polynomiales quadratiques simples en utilisant la rétropropagation . Mais au lieu de converger, il diverge (la sortie devient l'infini) Voici quelques détails...
Pourquoi les poids initiaux des réseaux de neurones sont-ils initialisés sous forme de nombres aléatoires? J'avais lu quelque part que cela est fait pour "briser la symétrie" et que le réseau neuronal apprend plus vite. Comment briser la symétrie permet-elle d'apprendre plus rapidement? Est-ce que...
Je voudrais échantillonner un point uniformément aléatoire dans un polygone ... S'ils en échantillonnent un grand nombre, ils seraient également susceptibles de tomber dans deux régions s'ils ont la même superficie. Ce serait assez simple s'il s'agissait d'un carré car je prendrais deux nombres...
Lors de l'insertion d'un élément dans une arborescence, les rotations sont effectuées par paires sur la base d'un motif en zig-zag ou en zig-zig. Lorsqu'il y a un nombre impair de rotations à effectuer, on peut soit faire la rotation supplémentaire en commençant à la feuille, soit enregistrer la...
Étant donné un programme composé de variables et d'instructions qui modifient ces variables, et une primitive de synchronisation (un moniteur, un mutex, un java synchronisé ou un verrou C #), est-il possible de prouver qu'un tel programme est thread-safe? Existe-t-il même un modèle formel pour...
Comme l'indique la question, comment prouver que ?NTIME (f( n ) ) ⊆ ESPACE ( f( n ) )NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Quelqu'un peut-il m'indiquer une preuve ou la décrire ici?
Est-il possible d'utiliser des types dépendants dans l' implémentation de raquette typée existante ? (c'est-à-dire qu'ils existent dedans?) Est-il raisonnablement possible d'implémenter un système de types dépendants à l'aide d'une raquette
J'utilise Mathematica pour résoudre des problèmes. J'ai une question sur l'inverse de la matrice. si je ne veux qu'un seul élément de la matrice inverse, existe-t-il un algorithme plus rapide que d'utiliser Inversepour calculer la matrice inverse entière et extraire l'élément que je...
J'ai découvert les réseaux neuronaux et les SVM. Les tutoriels que j'ai lus ont souligné l'importance de la noyauisation pour les SVM. Sans fonction de noyau, les SVM ne sont qu'un classificateur linéaire. Avec la noyauisation, les SVM peuvent également incorporer des fonctionnalités non linéaires,...
Je recherche un article simple et introductif sur la preuve du Théorème de Courcelle . Je m'intéresse également à son lien avec la complexité paramétrée concernant la largeur d'arbre . Je ne suis qu'un débutant dans ce domaine. Aucune
On sait que les logiques temporelles LTL, CTL, CTL * peuvent être traduites / intégrées dans le μμ\mu-calcul. En d'autres termes, le (modal)μμ\mu-calculus subsume ces logiques, (c'est-à-dire qu'il est plus expressif.) Pourriez-vous s'il vous plaît m'expliquer / pointer vers des articles / livres...
Il me semble étrange que le TSP nie la possibilité de villes répétées. Le but de ce vendeur itinérant est d'aller le plus vite possible et de visiter toutes les villes, non? Que se passe-t-il s'il est plus rapide de traverser une ville dans laquelle vous êtes déjà
Un de mes aînés a eu un entretien d'embauche et on lui a demandé pourquoi cela s'appelait dynamique. Il n'a pas pu répondre et après avoir abandonné, l'intervieweur a dit qu'il n'y avait rien de dynamique, ça s'appelait juste comme ça. C'est difficile à croire pour moi. Fait-il référence au fait...
Contexte. J'écris du code pour le classement semi-automatisé, en utilisant le classement par les pairs dans le cadre du processus de classement. Les étudiants reçoivent des paires d'essais à la fois, et les étudiants ont un curseur pour choisir lequel est le meilleur et combien il est meilleur. par...
Étant donné une langue régulière infinie LLL, comment puis-je prouver que LLL peut être partitionné en 2 langages réguliers infinis disjoints L1,L2L1,L2L_1, L_2? C'est:L1∪L2=LL1∪L2=LL_1 \cup L_2 = L, L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing, et L1L1L_1 et L2L2L_2 sont à la fois infinies et...