L'informatique

3

Approximation de la complexité de Kolmogorov

J'ai étudié quelque chose sur la complexité de Kolmogorov , lu des articles et des livres de Vitanyi et Li et utilisé le concept de la distance de compression normalisée pour vérifier la stilométrie des auteurs (identifier comment chaque auteur écrit des textes et des documents de groupe par leur …

22 computability approximation data-compression kolmogorov-complexity

1

Décidez si un langage sans contexte peut être accepté par un automate déterministe pushdown

Étant donné une grammaire sans contexte G, il existe un automate N non déterministe à refoulement qui accepte exactement le langage que G accepte. (et vice versa) Il peut également exister un automate déterministe à refoulement qui accepte exactement le langage que G accepte également. Cela dépend de la grammaire. …

22 automata context-free pushdown-automata

4

Est-ce qu'une machine sans arrêt boucle toujours?

Une machine de Turing qui revient à un état rencontré précédemment avec sa tête de lecture / écriture sur la même cellule de la même bande exacte sera prise en boucle. Une telle machine ne s'arrête pas. Quelqu'un peut-il donner un exemple d'une machine sans arrêt qui ne boucle pas?

22 computability turing-machines halting-problem

2

Quelle combinaison de structures de données stocke efficacement les réseaux bayésiens discrets?

Je comprends la théorie derrière les réseaux bayésiens et je me demande ce qu'il faut pour en construire un en pratique. Disons pour cet exemple, que j'ai un réseau bayésien (dirigé) de 100 variables aléatoires discrètes; chaque variable peut prendre jusqu'à 10 valeurs. Est-ce que je stocke tous les nœuds …

22 data-structures machine-learning

1

Combien de distances les plus courtes changent lors de l'ajout d'une arête à un graphique?

Soit g=(V,E)G=(V,E)G=(V,E) un graphe complet, pondéré et non orienté. Nous construisons un deuxième graphe en ajoutant un à un les arêtes de à . Nous ajoutons des arêtes à au total.E E ′ Θ ( | V | ) G ′g′= ( V, E′)g′=(V,E′)G'=(V, E')EEEE′E′E'Θ ( | V| )Θ(|V|)\Theta(|V|)g′g′G' Chaque …

22 algorithms graphs graph-theory shortest-path

1

Candidats naturels pour la hiérarchie au sein de NPI

Supposons que . \ mathsf {NPI} est la classe de problèmes dans \ mathsf {NP} qui ne sont ni dans \ mathsf {P} ni dans \ mathsf {NP} -hard. Vous pouvez trouver une liste des problèmes supposés être \ mathsf {NPI} ici .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Le théorème de Ladner nous …

22 complexity-theory np-hard

2

En quoi un compilateur JIT est-il différent d'un compilateur ordinaire?

Il y a eu beaucoup de battage médiatique sur les compilateurs JIT pour des langages comme Java, Ruby et Python. En quoi les compilateurs JIT sont-ils différents des compilateurs C / C ++, et pourquoi les compilateurs sont-ils écrits pour Java, Ruby ou Python appelés compilateurs JIT, alors que les …

22 compilers

1

Les arbres AVL ne sont pas équilibrés en poids?

Dans une question précédente, il y avait une définition des arbres à poids équilibré et une question concernant les arbres rouge-noir. Cette question est de poser la même question, mais pour les arbres AVL . La question est, étant donné la définition d' arbres à μμ\mu équilibré comme dans l'autre …

22 data-structures binary-trees search-trees balanced-search-trees avl-trees

2

Existe-t-il un langage indécidable «naturel»?

Existe-t-il un langage "naturel" indécidable? par "naturel", j'entends un langage défini directement par les propriétés des chaînes, et non via des machines et leurs équivalents. En d'autres termes, si le langage ressemble à où est un TM, DFA (ou regular-exp), PDA (ou grammaire), etc., alors n'est pas naturel. Cependant est …

22 formal-languages automata computability undecidability

4

Existe-t-il d'autres façons de décrire les langages formels que les grammaires?

Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 7 ans . Je recherche des théories mathématiques qui traitent de la description des langages formels (ensemble de chaînes) en général …

22 formal-languages formal-grammars

4

Algorithmes de tri acceptant un comparateur aléatoire

Les algorithmes de tri génériques prennent généralement un ensemble de données à trier et une fonction de comparaison qui peut comparer deux éléments individuels. Si le comparateur est une relation d'ordre¹, la sortie de l'algorithme est une liste / tableau trié. Je me demande si les algorithmes de tri se …

22 algorithms randomized-algorithms sorting

2

L'algorithme de Dijkstra est-il uniquement BFS avec une file d'attente prioritaire?

Selon cette page , l'algorithme de Dijkstra est simplement BFS avec une file d'attente prioritaire. Est-ce vraiment aussi simple que cela? Je crois que non.

22 algorithms graphs shortest-path

2

Comment le problème du voyageur de commerce est-il vérifiable en temps polynomial?

Je comprends donc l'idée que le problème de décision est défini comme Existe-t-il un chemin P tel que le coût soit inférieur à C? et vous pouvez facilement vérifier que cela est vrai en vérifiant le chemin que vous recevez. Cependant, que se passe-t-il s'il n'y a pas de chemin …

21 complexity-theory time-complexity np decision-problem traveling-salesman

3

Pourquoi ce code est-il uniquement décodable?

Alphabet source:{ a , b , c , d, e , f}{une,b,c,ré,e,F}\{a, b, c, d, e, f\} Alphabet de code:{ 0 , 1 }{0,1}\{0, 1\} a : 0101une:0101a\colon 0101 b : 1001b:1001b\colon 1001 c : 10c:dixc\colon 10 ré: 000ré:000d\colon 000 e : 11e:11e\colon 11 F: 100F:100f\colon 100 Je pensais que …

21 encoding-scheme

5

À quoi ressemble le code machine lors de son exécution?

Lorsque le code machine est réellement exécuté par le matériel et le CPU, à quoi ressemble-t-il? Cela ressemblerait-il à du binaire, comme dans les instructions représentées par des uns et des zéros, ou serait-ce quelque chose composé de chiffres hexadécimaux où les opcodes sont des octets présentés comme des nombres …

21 computer-architecture cpu