L'informatique reference-request

2

Méthode pour mesurer la «similitude» entre les grammaires FSA?

Je travaille avec un algorithme de correspondance de motifs qui génère un automate à états finis acyclique qui accepte une chaîne de texte donnée et toutes ses sous-chaînes. L'algorithme FSA est exécuté sur une représentation symbolique d'un flux musical (par exemple, des données MIDI). Le flux musical a été prétraité …

10 formal-languages reference-request finite-automata

2

Peut-on construire une réduction de Karp à partir d'une réduction de Cook entre des problèmes NP?

Nous avons eu plusieurs questions sur la relation entre les réductions Cook et Karp . Il est clair que les réductions de Cook (réductions de Turing à temps polynomial) ne définissent pas la même notion de complétude NP que les réductions de Karp (réductions de plusieurs à un temps polynomial), …

10 complexity-theory reference-request np-complete reductions

1

Preuve courte et lisse du théorème de la forte dualité pour la programmation linéaire

Considérez les programmes linéaires D u a l : → c ≤ → y T APr i m a l :A x⃗ ≤ b⃗ max c⃗ TX⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :c⃗ ≤ y⃗ TUNEmin y⃗ …

10 algorithms reference-request linear-programming linear-algebra duality

1

Étant donné un graphe en accords

Un graphe est en corde s'il n'a pas de cycles induits de longueur ou plus. Un arbre de clique de est un arbre dont les sommets de l'arbre sont les cliques maximales de . Une arête en correspond à un séparateur minimal. Le nombre d'arbres cliques distincts peut être exponentiel …

10 algorithms graph-theory reference-request

3

Répartition équitable du gâteau bidimensionnel

Je m'intéresse aux procédures de partage équitable des terres (c.-à-d. Partage sans envie, ou au moins partage proportionnel). Contrairement au problème bien étudié de division des gâteaux, la division des terres est bidimensionnelle, c'est-à-dire que les préférences des utilisateurs peuvent varier à la fois horizontalement et verticalement. Par conséquent, il …

10 reference-request game-theory

3

Premiers pas avec l'analyse de programme

Je recherche des ressources pour débuter avec l'analyse de programme . Le seul livre que j'ai trouvé sur le sujet est le livre Nielson & Nielson . En dehors de cela, il semble qu'il n'y ait que des livres de "compilateur" où "l'analyse de programme" serait un chapitre, ou quelque …

10 reference-request compilers semantics

1

Un langage de programmation qui ne peut implémenter que des fonctions bijectives calculables?

Existe-t-il des langages de programmation (ou logique) qui peuvent implémenter (ou exprimer) une fonction si et seulement si est une fonction bijective calculable? ff:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

7

Où trouver les articles de recherche publiés?

Issu du POV de quelqu'un qui envisage de poursuivre un doctorat en informatique. J'ai du mal à décider sur quoi je concentrerais mes recherches lorsque je ferai mon doctorat. Voir aussi cette question sur academia.SE . Je pense donc que lire / se tenir au courant des recherches en cours …

10 reference-request

2

Algorithme d'appariement rapide des chaînes à incompatibilité k

Je suis à la recherche d'un algorithme d'appariement rapide de chaînes k-mismatch. Étant donné une chaîne de motif P de longueur m et une chaîne de texte T de longueur n, j'ai besoin d'un algorithme rapide (temps linéaire) pour trouver toutes les positions où P correspond à une sous-chaîne de …

10 algorithms reference-request strings string-metrics substrings

1

Déterminer à quel point une chaîne donnée est similaire à une collection de chaînes

Je ne sais pas si cette question appartient ici et je m'en excuse sinon. Ce que je cherche à faire est de développer une manière programmatique dans laquelle je peux déterminer de manière probabiliste si une chaîne donnée "appartient" dans un sac de chaînes. Par exemple, si j'ai un sac …

10 algorithms reference-request string-metrics

2

Quelle est la différence entre la crypto classique et la crypto post-quantique?

Sera-t-il nécessaire de changer les définitions de la sécurité si nous avons des ordinateurs quantiques? Quelles constructions cryptographiques vont casser? Connaissez-vous une enquête ou un article qui explique ce qui sera nécessaire pour changer?

10 reference-request cryptography quantum-computing

2

Comment classer mon problème d'optimisation d'entrée d'émulateur et avec quel algorithme dois-je l'aborder?

En raison de la nature de la question, je dois inclure beaucoup d'informations de base (parce que ma question est: comment puis-je restreindre cela?) Cela dit, cela peut être résumé (à ma connaissance) comme: Quelles méthodes existent pour trouver des optimums locaux sur des espaces de recherche combinatoire extrêmement grands? …

10 reference-request machine-learning combinatorics optimization search-problem

1

L'inversion d'un DFA minimal est-elle également minime?

La question est à peu près dans le titre. Y a-t-il jamais un moment où une langue peut être acceptée par un DFA minimal avec états, mais , l'inversion de , peut être acceptée par un DFA avec états, où ?LLLL R L m m < nnnnLRLRL^RLLLmmmm < nm<nm<n

10 formal-languages reference-request automata finite-automata

3

Recherche d'un dictionnaire de notation mathématique / CS

Il existe un éventail parfois vertigineux de symboles utilisés dans les documents mathématiques et CS. Pourtant, beaucoup supposent une familiarité de base qui semble rarement enseignée au même endroit. Je cherche un dictionnaire quelque chose comme le suivant, en particulier du point de vue CS. Il énumérerait tous les symboles …

10 terminology reference-request education

1

Existe-t-il un algorithme efficace pour déterminer si un graphe a un automorphisme non trivial?

Je travaille sur un problème lié aux carrés latins, et je veux une méthode pour ce qui se résume essentiellement au problème de décision: Entrée : Un graphe fini et simple G. Sortie : YESsi G a un automorphisme non trivial, NOsinon. Par conséquent... Question : Existe-t-il un algorithme efficace …

9 algorithms graphs graph-theory reference-request

Questions marquées «reference-request»