L'informatique

4

Notre PC fonctionne-t-il comme machine de Turing?

Notre PC fonctionne-t-il comme machine de Turing? Le modèle d'une machine de Turing se compose d'une bande mémoire infinie, ce qui signifie des états infinis. Mais supposons que si notre PC a 128 Mo de mémoire et 30 Go de disque, il aurait 256 ^ 30128000000 états et donc, il …

8 complexity-theory computability turing-machines automata

1

Prouver que la langue est régulière ou non régulière

Laisser LLLêtre une langue régulière. Prouve-le: L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} sont réguliers et: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} n'est pas régulier. Cela me semble très difficile. Je suppose que 1-3 sont similaires (mais je …

8 regular-languages

2

Est-il difficile de résoudre dans ?

De l'isomorphisme des graphes, nous savons que deux graphes A et B sont isomorphes s'il existe une matrice de permutation P telle que A = P× B ×P- 1A=P×B×P−1A = P \times B \times P^{-1} Donc, pour résoudre le problème, si deux graphes sont isomorphes, nous devons trouver une telle …

8 algorithms graphs cryptography graph-isomorphism

1

Complexité temporelle des simulations de machines de Turing universelles et théorème de la hiérarchie temporelle

J'ai un petit problème pour comprendre la preuve du théorème de la hiérarchie temporelle (Hennie et Stearns, 1966) qui garantit l'existence d'un langage acceptable en mais non acceptable en pour toutes les fonctions , tel que est constructible dans le temps etU( n )U(n)U(n)T(n )T(n)T(n)T( n) , U( n )T(n),U(n)T(n),U(n)U( …

8 complexity-theory turing-machines simulation

5

Comment savoir si une langue est reconnaissable, co-reconnaissable ou décidable?

Si vous avez une langue L, sans faire de preuves, existe-t-il un moyen de savoir si elle est reconnaissable ou co-reconnaissable ou décidable? Fondamentalement, tous les conseils ou astuces qui peuvent être utilisés pour le dire. Ou peut-être les modèles communs à rechercher pour savoir de quel type il s'agit?

8 computability undecidability intuition

4

Trouvez des travaux planifiés sans chevauchement avec un coût maximum

Étant donné un ensemble de n travaux avec [heure de début, heure de fin, coût], trouvez un sous-ensemble de sorte qu'aucun travail ne se chevauche et que le coût soit maximum. Maintenant, je ne sais pas si un algorithme gourmand fera l'affaire. C'est-à-dire, trier par coût et toujours prendre le …

8 algorithms scheduling greedy-algorithms knapsack-problems

1

Est la langue

Est la langue L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sans contexte? Je suppose que ce n'est pas sans contexte car il semble trop compliqué pour un PDA de décider si 2 nombres sont co-amorcés …

8 formal-languages context-free pumping-lemma pushdown-automata

2

Exactitude de l'algorithme des composants fortement connectés pour un graphique dirigé

J'ai lu un algorithme pour trouver les composants fortement connectés dans un graphe orienté G = ( V, E)g=(V,E)G=(V,E). Il considère deux recherches DFS et la deuxième étape consiste à transposer le graphique d'originegTgTG^T. L'algorithme est le suivant: Exécuter DFS sur ggG (à partir d'un sommet de départ arbitraire), en …

8 algorithms graphs graph-traversal

2

Trouver un ensemble de solutions au maximum différentes en utilisant la programmation linéaire ou une autre technique d'optimisation

Traditionnellement, la programmation linéaire est utilisée pour trouver la solution optimale à un ensemble de contraintes, de variables et d'un objectif (tous décrits comme des relations linéaires). Parfois, lorsque l'objectif est parallèle à une contrainte, il existe une infinité ou de nombreuses solutions optimales tout aussi bonnes. Je ne pose …

8 optimization linear-programming

2

Pourquoi exige-t-on souvent une constructibilité de l'espace dans le théorème de Savitch?

Lorsque le célèbre théorème de Savitch est énoncé, on voit souvent l'exigence que soit constructible dans l'espace (ce qui est intéressant, il est omis dans Wikipedia). Ma question simple est: pourquoi en avons-nous besoin? Je comprends l'exigence que soit dans , ce qui ressort clairement de la preuve. Mais aucune …

8 complexity-theory space-complexity complexity-classes nondeterminism

1

Quelle est la différence exacte entre un verrou et une bascule?

D'après ce que j'ai compris: Une bascule est un verrou cadencé, c'est-à-dire une bascule = verrou + horloge Le verrou vérifie en permanence les entrées et modifie la sortie chaque fois qu'il y a un changement d'entrée Flip Flop vérifie également en continu l'entrée, mais modifie le temps de sortie …

8 computer-architecture sequential-circuit digital-circuits

2

Passer du mode noyau au mode utilisateur (et vice versa)

Je lis le livre sur les systèmes d'exploitation de Galvin. Galvin explique ce que sont les modes noyau et utilisateur, les privilèges d'instructions accordés pour les deux modes et aussi pour le mode-bit. Mais je suis intéressé de savoir comment le mode passe de l'un à l'autre. Fondamentalement, je veux …

8 computer-architecture operating-systems memory-management cpu-cache memory-access

1

Adapter le réseau neuronal

J'ai à quelques reprises formé des réseaux de neurones (réseaux de rétropropagation) avec des ensembles de données assez compliqués (positions de backgammon et OCR). En faisant cela, il semble qu'une grande partie du travail implique d'essayer différentes configurations des réseaux, afin de trouver la configuration optimale pour l'apprentissage. Il y …

8 machine-learning neural-networks learning-theory

2

Régularité du milieu exact des mots d'une langue régulière

Laisser LLLêtre une langue régulière. Est la langueL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} ordinaire? Je sais que c'est très similaire à la question ici , mais le hic, c'est que ce n'est pas une simple sous-chaîne d'un …

8 formal-languages regular-languages closure-properties

1

Complexité des opérations de base des algorithmes de recherche et de tri [clos]

Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle se concentre sur un problème uniquement en modifiant ce message . Fermé il y a 6 ans . Le wiki a une bonne feuille …

8 algorithm-analysis asymptotics runtime-analysis sorting searching