L'informatique

1

Différence entre l'expression régulière et la grammaire dans les automates

Je suis nouveau dans les automates et je n'ai reçu une brève introduction aux expressions régulières qu'hier. J'ai lu les différentes règles qui définissent une expression régulière. Mais je suis incapable de faire la différence entre les expressions régulières et la grammaire d'une langue (on ne m'a pas appris la …

12 automata formal-grammars regular-expressions

1

Modifier la distance de la liste avec des éléments uniques

La distance d'édition entre les listes Levenshtein-Distance est un problème bien étudié. Mais je ne trouve pas grand-chose sur les améliorations possibles s'il est connu qu'aucun élément ne se produit plus d'une fois dans chaque liste . Supposons également que les éléments soient comparables / triables (mais les listes à …

12 algorithms strings string-metrics edit-distance

2

Bonne structure de données de snapshottable pour un index en mémoire

Je conçois une base de données d'objets en mémoire pour un cas d'utilisation très spécifique. Il s'agit d'un rédacteur unique, mais il doit prendre en charge des lectures simultanées efficaces. Les lectures doivent être isolées. Il n'y a pas de langage de requête, la base de données ne prend en …

12 data-structures concurrency databases

1

Y a-t-il des problèmes AM-complete connus / AM-complete est-il bien défini?

Je suis curieux de savoir s'il existe des problèmes complets dans la classe de complexité Arthur-Merlin. Le graphique de non-isomorphisme (GNI) semble être l'exemple canonique d'un problème en AM, mais ce n'est probablement pas complet. Je suppose que je me demande aussi si un problème "complet" est bien défini pour …

12 complexity-theory reductions complexity-classes interactive-proof-systems

2

Le XOR-SAT généralisé est-il efficacement résoluble?

J'ai vu comment XOR-3-SAT est efficacement résoluble (par exemple, voir la section "XOR-satisfiabilité" dans l'entrée Wikipedia pour le problème de satisfiabilité booléenne ). Je me pose une question de base: XOR-k-SAT est-il efficacement résoluble, pour des formules avec des quantités variables de littéraux par clause? J'aimerais vraiment savoir si nous …

12 complexity-theory satisfiability

1

À quoi sert de trouver un nombre minimum de lignes droites pour couvrir un ensemble de points?

Il y a ce problème populaire [1] [2] en informatique qui consiste à trouver un nombre minimum de lignes droites couvrant un ensemble donné de points en 2D. Même si j'ai scanné de nombreux papiers, aucun d'entre eux n'a une motivation claire pour le problème. Quelle est l'utilité de résoudre …

12 reference-request computational-geometry applied-theory

2

Pourquoi le théorème de Schaefer ne prouve-t-il pas que P = NP?

C'est probablement une question stupide, mais je ne comprends tout simplement pas. Dans une autre question, ils ont proposé le théorème de dichotomie de Schaefer . Pour moi, il semble que cela prouve que chaque problème CSP est soit en P soit en NP-complet, mais pas entre les deux. Étant …

12 np-complete satisfiability p-vs-np

3

La preuve de l’indécidabilité du problème d’arrêt triche-t-elle en inversant les résultats?

J'ai du mal à comprendre le problème de l'arrêt de Turing. Sa preuve suppose qu'il existe une machine magique qui pourrait déterminer si un ordinateur s'arrêterait ou ferait une boucle pour toujours pour une entrée donnée. Ensuite, nous attachons une autre machine qui inverse la sortie et nous avons une …

12 computability halting-problem

3

Comment créer DFA à partir d'une expression régulière sans utiliser NFA?

L'objectif est de créer DFA à partir d'une expression régulière et l'utilisation de "Exp régulière> NFA> Conversion DFA" n'est pas une option. Comment faut-il s'y prendre? J'ai posé cette question à notre professeur mais il m'a dit que nous pouvions utiliser l'intuition et a gentiment refusé de fournir des explications. …

12 automata finite-automata regular-expressions simulation

4

Quels sont les avantages du hachage coucou par rapport au hachage parfait dynamique?

Les tables de hachage parfaites dynamiques et les tables de hachage de coucou sont deux structures de données différentes qui prennent en charge les recherches O (1) les plus défavorables et les insertions et suppressions de temps O (1) attendues. Les deux nécessitent un espace auxiliaire O (n) et un …

12 data-structures hash-tables

2

Isomorphisme de groupe pour ismorphisme de graphe

En lisant certains blogs sur la complexité de calcul (par exemple ici ), j'ai assimilé la notion qu'il est plus facile de décider si deux groupes sont isomorphes que de tester deux graphiques pour l'isomorphisme. Par exemple, sur la page indiquée, il est dit que l'isomorphisme des graphes est un …

12 complexity-theory graph-isomorphism group-theory

1

Pourquoi ne cherchons-nous pas davantage vers des garanties de temps de compilation?

J'adore tout ce qui est temps de compilation et j'adore l'idée qu'une fois que vous compilez un programme, de nombreuses garanties sont faites concernant son exécution. De manière générale, un système de type statique (Haskell, C ++, ...) semble donner des garanties de compilation plus fortes que tout système de …

12 programming-languages type-theory type-checking software-verification

3

Comment un NFA utilise-t-il les transitions epsilon?

Dans l'image ci-dessous, j'essaie de comprendre exactement ce que cette NFA accepte. Ce qui me déroute, c'est le saut à .q 0ϵϵ\epsilonq0q0q_0 Si un est entré, le système passe-t-il à la fois à et (l'état d'acceptation)?q 0 q 1000q0q0q_0 q1q1q_1 Si un est entré, le système passe-t-il à la fois …

12 automata finite-automata nondeterminism

1

Recherche en théorie des graphes et algorithmes de graphes

J'ai une question très générique à poser. Elle est liée à la recherche. Je m'intéresse à la théorie des graphes. J'ai fait un cours dedans. J'ai fait quelques sujets liés à la théorie des graphes comme point de vue de le faire en tant qu'étudiant en mathématiques et j'ai également …

12 graph-theory graphs

4

Union de langues régulières non régulière

Je suis tombé sur cette question: "Donnez des exemples de deux langues régulières dont leur union ne produit pas une langue régulière." C'est assez choquant pour moi parce que je crois que les langues régulières sont fermées sous l'union. Ce qui signifie pour moi que si je prends deux langues …

12 formal-languages regular-languages closure-properties