Laisser L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. est-il régulier?LLL Cette question paraissait suspecte au premier coup d'œil et je me suis rendu compte qu'elle était liée à la conjecture principale jumelle . Mon problème est …
Pour chaque fonction calculable existe-t-il un problème qui peut être résolu au mieux en temps ou existe-t-il une fonction calculable telle que chaque problème qui peut être résolu dans peut également résolu en temps ?Θ ( f ( n ) ) f O ( f ( n ) ) o …
Dans Algorithmics for Hard Problems de Hromkovič (2e édition), il y a ce théorème (2.3.3.3, page 117): Il existe un problème de décision (décidable) tel que pour chaque algorithme qui résout il existe un autre algorithme qui résout également et remplit en outreA P A ′ PPPPUNEAAPPPUNE′A′A'PPP ∀∞n ∈ N …
Un graphe unipathique est un graphe orienté tel qu'il existe au plus un chemin simple d'un sommet à un autre sommet. Les graphiques unipathiques peuvent avoir des cycles. Par exemple, une liste doublement chaînée (pas circulaire!) Est un graphe unipathique; si la liste contient nnn éléments, le graphique a n−1n−1n-1 …
La loi de De Morgan est souvent introduite dans un cours d'introduction aux mathématiques pour l'informatique, et je le vois souvent comme un moyen de transformer les déclarations de AND en OR en niant les termes. Y a-t-il une explication plus intuitive pour expliquer pourquoi cela fonctionne plutôt que de …
Il y a une réduction dans le livre de Sipser "Introduction à la théorie du calcul" à la page 286 de 3SAT au problème de chemin hamiltonien. Y a-t-il une réduction plus simple? Par plus simple, je veux dire une réduction qui serait plus facile à comprendre (pour les étudiants). …
Notre professeur nous a demandé de penser à une fonction dans OCaml qui a le type 'a -> 'b c'est-à-dire une fonction d'un argument qui pourrait être n'importe quoi, et qui peut retourner un autre chose. J'ai pensé à utiliser raisedans une fonction qui ignore son argument: let f x …
Je commence une recherche bibliographique personnelle sur les algorithmes de vérification de type et souhaite quelques conseils. Quels sont les algorithmes, stratégies et techniques générales de vérification de type les plus couramment utilisés? Je m'intéresse particulièrement aux algorithmes de vérification de type complexes qui ont été implémentés dans des langages …
Je suis un étudiant diplômé suivant un cours de théorie du calcul et j'ai de la difficulté à produire du contenu une fois qu'on me le demande. Je suis en mesure de suivre le manuel (Introduction à la théorie du calcul de Michael Sipser) et les conférences; Cependant, lorsqu'on me …
Je travaille sur la programmation dynamique depuis un certain temps. La manière canonique d'évaluer une récursivité de programmation dynamique consiste à créer une table de toutes les valeurs nécessaires et à la remplir ligne par ligne. Voir par exemple Cormen, Leiserson et al: "Introduction to Algorithms" pour une introduction. Je …
De nombreuses références de systèmes d'exploitation disent qu'avec le multitâche coopératif (par opposition au multitâche préemptif), un processus maintient le CPU jusqu'à ce qu'il se suspende explicitement volontairement. Si un processus en cours exécute une demande d'E / S qui ne peut pas être immédiatement satisfaite (par exemple, demande un …
L'opérateur de différence définie (par exemple, EXCEPTdans certaines variantes SQL) est l'un des nombreux opérateurs fondamentaux de l'algèbre relationnelle. Cependant, certaines bases de données ne prennent pas directement en charge l'opérateur de différence d'ensemble, mais prennent en charge LEFT JOIN(une sorte de jointure externe), et en pratique, cela peut être …
Je lisais sur la programmation dynamique lorsque je suis tombé sur la citation suivante Un algorithme de programmation dynamique examinera toutes les façons possibles de résoudre le problème et choisira la meilleure solution. Par conséquent, nous pouvons grosso modo penser la programmation dynamique comme une méthode intelligente, par force brute, …
Je suis coincé sur la question suivante: "Les langages réguliers sont précisément ceux acceptés par les automates finis. Étant donné ce fait, montrez que si le langage est accepté par un automate fini, alors est également accepté par un certain fini; compose de tous les mots de inversé. "LLLLRLRL^{R}LRLRL^{R}LLL
Mon objectif est de résoudre le problème suivant, que j'ai décrit par son entrée et sa sortie: Contribution: Un graphe acyclique dirigé avec m nœuds, n sources et 1 puits ( m > n ≥ 1 ).ggGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Production: Le VC-dimension (ou une …
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.