L'informatique

5

Pourquoi un état dangereux ne provoque pas toujours un blocage?

Je lisais les systèmes d'exploitation par Galvin et suis tombé sur la ligne ci-dessous, Cependant, tous les états dangereux ne sont pas bloqués. Un état dangereux peut entraîner un blocage Quelqu'un peut-il expliquer comment l' impasse! = État dangereux ? J'ai aussi attrapé la même ligne ici S'il n'y a …

10 operating-systems deadlocks

1

La signification du facteur d'actualisation sur l'apprentissage par renforcement

Après avoir lu les réalisations de google deepmind sur les jeux d'Atari , j'essaie de comprendre le q-learning et les q-réseaux, mais je suis un peu confus. La confusion survient dans le concept du facteur d'actualisation. Bref résumé de ce que je comprends. Un réseau neuronal convolutionnel profond est utilisé …

10 artificial-intelligence neural-networks reinforcement-learning

2

Jusqu'à quel point un automate LR (1) pour une langue peut-il être plus grand que l'automate LR (0) correspondant?

Dans un analyseur LR (0), chaque état consiste en une collection d'éléments LR (0), qui sont des productions annotées avec une position. Dans un analyseur LR (1), chaque état consiste en une collection d'éléments LR (1), qui sont des productions annotées avec une position et un caractère d'anticipation. Il est …

10 context-free parsers lr-k

1

Un analyseur Earley peut-il être transformé en un analyseur flou similaire au Levenshtein Automata Algo pour DFA?

Il existe un moyen d'effectuer une analyse floue (accepte les chaînes même avec des fautes de frappe à une certaine distance d'édition), avec un DFA et un automate Levenshtein construit au moment de l'exécution du mot d'entrée. Peut-on faire quelque chose de similaire avec un analyseur Earley? J'ai du mal …

10 algorithms context-free finite-automata parsers string-metrics

1

Comment une machine universelle de Turing peut-elle simuler des «plus grandes» machines?

J'essaie de trouver les réponses à deux questions sur la machine Universal Turing. Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui est simulée a un plus grand nombre d'états? Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui est simulée a …

10 computability turing-machines simulation turing-completeness

1

Signification de «position positive» et «position négative» dans la théorie des types?

Que signifient «en position positive» et «en position négative» dans le contexte de la théorie des types? La seule chose que j'ai compris du billet de blog de Bob Harper sur le sujet est qu'il existe un lien entre la polarité dans ce sens dans la théorie des types et …

10 type-theory

1

Existe-t-il des problèmes naturels

Je sais que le problème de formule booléenne quantifiée pour une formule où ne contient aucun quantificateur et seulement les variables est un exemple d'un -complet. Cependant, je me demande s'il existe des problèmes naturels connus pour être -complets, tout comme la minimisation des circuits est un problème naturel -complete …

10 complexity-classes

1

Conversion DNF en CNF: facile ou difficile

En ce qui concerne le thread Prouvant que la conversion de CNF en DNF est NP-Hard (et un thread Math connexe ): Que diriez-vous de l'autre direction, de DNF à CNF? Est-ce facile ou difficile? À la page 2 de cet article , ils semblent suggérer que les deux directions …

10 complexity-theory logic satisfiability normal-forms

3

Algorithmes pour minimiser les automates de Moore

L'algorithme de Brzozowski peut être étendu aux automates de Moore mais sa complexité temporelle est exponentielle en général. Existe-t-il un autre algorithme pour minimiser les automates Moore? Quels sont les temps d'exécution de ces algorithmes, le cas échéant?

10 reference-request automata optimization finite-automata transducers

1

Optimisation mathématique sur une fonction bruyante

Soit une fonction assez agréable (par exemple, continue, différenciable, pas trop de maxima locaux, peut-être concave, etc.). Je veux trouver un maximum de : une valeur qui rend aussi grand que possible. f x ∈ R d f ( x )F: Rré→ Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}Fffx ∈ Rréx∈Rdx \in \mathbb{R}^dF( x …

10 optimization approximation

4

Trouver un témoin peut-il être difficile à NP même si nous savons déjà qu'il y en a un?

Les exemples courants de problèmes NP-difficiles (clique, 3-SAT, vertex cover, etc.) sont du type où nous ne savons pas si la réponse est "oui" ou "non" au préalable. Supposons que nous ayons un problème dans lequel nous savons que la réponse est oui, en outre, nous pouvons vérifier un témoin …

10 complexity-theory np-hard search-problem

2

Multiplication en

Je cherchais ici , et j'ai remarqué que le meilleur temps d'exécution pour la multiplication de deux nombres à bits est , mais je peux facilement remarquer un algorithme qui s'exécute dans .nnnO(n⋅logn⋅2O(log∗n)O(n⋅log⁡n⋅2O(log∗⁡n)O(n\cdot \log n \cdot 2^{O(\log^* n)}O(n⋅logn)O(n⋅log⁡n)O(n\cdot \log n) Après tout, nous savons comment multiplier deux polynômes à partir …

10 runtime-analysis

2

Ce problème d'optimisation combinatoire est-il similaire à tout problème connu?

Le problème est le suivant: Nous avons un tableau / grille de nombres en deux dimensions, chacun représentant un «avantage» ou un «profit». Nous avons également deux entiers fixes et (pour "largeur" et "hauteur"). Et un entier fixe .h nwwwhhhnnn Nous souhaitons maintenant superposer rectangles de dimensions sur la grille …

10 algorithms optimization combinatorics approximation

1

Que signifie l'espace sublinéaire pour les machines Turing?

Il a été prouvé que le problème de décider si une entrée est un palindrome ou non nécessite un espace sur une machine de Turing. Cependant, même le stockage de l'entrée prend de l'espace cela ne signifie-t-il pas que toutes les machines Turing nécessitent de l'espace ?Ω ( logn )Ω(Journal⁡n)\Omega(\log …

10 turing-machines space-complexity

4

Existe-t-il une méthode pour une analyse automatique d'exécution des algorithmes?

Je me demande, existe-t-il une méthode d'analyse automatique de l'exécution qui fonctionne au moins sur un sous-ensemble pertinent d'algorithmes (algorithmes pouvant être analysés)? Je googlé « Analyse de l' algorithme automatique » qui m'a donné ce mais il est MATHY aussi. Je veux juste un exemple simple en pseudo-code que …

10 algorithms algorithm-analysis reference-request runtime-analysis