Dans un commentaire à Learning F #: Quels livres utilisant d'autres langages de programmation peuvent être traduits en F # pour apprendre des concepts fonctionnels? Makarius a déclaré: Notez que l'approche "CPS" a fait un grand tort aux performances en SML / NJ. Son modèle d'évaluation physique...
Étant donné deux vecteurs d'entiers de longueurs éventuellement inégales, comment puis-je déterminer le résultat maximum possible en accumulant le choix entre des paires de nombres correspondantes entre les deux vecteurs avec des zéros supplémentaires insérés dans le vecteur le plus court pour...
Ceci est une question du livre Dragon (je m'excuse pour les erreurs de traduction, je n'ai pas la version anglaise sous la main): Quelle langue est générée par cette grammaire? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Je ne sais pas ce que je suis censé faire ici....
Je me demandais, car a∗a∗a^* lui - même est un langage sans étoile, est - il une langue régulière qui n'est pas un langage sans étoile? Pouvez-vous donner un exemple? (de wikipdia ) Lawson définit les langues sans étoiles comme: Une langue régulière est dite sans étoile si elle peut être décrite...
Étant donné travaux , chaque travail nécessite temps pour se terminer.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Chaque travail doit être prétraité et post-traité par une seule machine M qui ne peut gérer qu'un seul travail à la fois et les deux phases...
Laissez L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}. Existe-t-il une machine de Turing R qui décide (je ne veux pas dire reconnaît) la langue L∅L∅L_\emptyset ? Il semble...
Le lemme de pompage pour les langues régulières peut être utilisé pour prouver que certaines langues ne sont pas régulières, et le lemme de pompage pour les langues sans contexte (avec le lemme d'Ogden) peut être utilisé pour prouver que certaines langues ne le sont pas. Existe-t-il un lemme de...
Comment pourriez-vous détecter algorithmiquement pour une photo donnée si le soleil brillait lorsque la photo a été prise? Exemples Un échantillon de cette webcam au sommet d'une montagne: Il est clair que le soleil brille. Dans cet autre exemple, c'est beaucoup moins évident: On pourrait...
L'énoncé habituel du problème de la coupe du gâteau suppose que tous les joueurs obtiennent leur part en même temps. Cependant, dans de nombreux cas, les joueurs arrivent progressivement. Par exemple, nous pouvons diviser un gâteau sur joueurs, mais un nouveau joueur arrive et veut une part.nnnnnnn...
Dans un premier arbre de profondeur, il y a les bords qui définissent l'arbre (c'est-à-dire les bords qui ont été utilisés dans la traversée). Il y a des bords restants reliant certains des autres nœuds. Quelle est la différence entre un bord transversal et un bord avant? De wikipedia: Sur la base...
Étant donné que l' énumération du chemin - est un problème # P-complet, pourrait-il y avoir des méthodes efficaces qui calculent (ou du moins approximent) la longueur moyenne du chemin - sans les énumérer? Que faire si les chemins sont autorisés à revoir les sommets?ssstttsssttt Des résultats...
Cela peut être une question stupide. Il semble clair qu'une FSA, étant finie, ne peut compter que le nombre de symboles dans sa chaîne d'entrée jusqu'à un nombre limité par le nombre de ses états. Mais supposons maintenant que nous équipons le FSA de capacités de sortie (par exemple, d'impression)....
Il existe des structures de données efficaces pour représenter les partitions définies. Ces structures de données présentent de bonnes complexités temporelles pour des opérations telles que Union et Find, mais elles ne sont pas particulièrement économes en espace. Qu'est-ce qu'un moyen peu...
Si je comprends bien, le problème d'affectation est en P car l'algorithme hongrois peut le résoudre en temps polynomial - O (n 3 ). Je comprends également que le problème d'affectation est un problème de programmation linéaire entier , mais la page Wikipedia indique que c'est NP-Hard. Pour moi,...
Récemment, je suis tombé sur ce problème , une variante des tours de hanoi . Énoncé du problème: Considérez la variation suivante du problème bien connu des tours de Hanoi: On nous donne tours et m disques de tailles 1 , 2 , 3 , … , m empilés sur certaines tours. Votre objectif est de transférer...
Existe-t-il un automate cellulaire (en 2D) qui simule une force entre particules?1 / r1/r1/r Plus précisément, je voudrais savoir s'il est possible, avec des règles de mise à jour strictement locales, que deux objets (définis dans le modèle) s'attirent avec une force , où r est la distance séparant...
Le problème suivant est-il NP-complet? (Je suppose que oui). Entrée: un graphique non orienté où l'ensemble de bords peut être décomposé en deux cycles simples à bords séparés (ceux-ci ne font pas partie de l'entrée).k∈N,G=(V,E)k∈N,g=(V,E)k \in \mathbb{N},G=(V,E) Question: Existe - t-il un cycle...
Étant donné deux expressions régulières arbitraires, existe-t-il un algorithme "efficace" pour déterminer si elles correspondent au même ensemble de chaînes? Plus généralement, peut-on calculer la taille de l'intersection des deux jeux de correspondance? Quels algorithmes sont là pour le faire et...
Je construis un catégoriseur de texte pour les phrases courtes. En plus de dire à l'utilisateur "la catégorie du texte que vous avez entré est C", je veux pouvoir expliquer pourquoi j'ai pris cette décision, de manière courte et compréhensible. Par exemple, je ne veux pas dire à l'utilisateur "J'ai...
Je lis sur la théorie des types dépendants dans le livre en ligne The Homotopy Type Theory . Dans la section 1.3 du chapitre Théorie des types , il introduit la notion de hiérarchie des univers : , oùU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots chaque univers est un...