L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

1
Y a-t-il des problèmes existants qui ne pourraient pas être résolus avec un oracle en arrêt?
Je comprends que la plupart des problèmes sont triviaux si un oracle d'arrêt est disponible (ou, je pense de manière équivalente, l'hyper-calcul). Cependant, appliquer l'argument qui montre que le problème d'arrêt est impossible pour une machine Turing montre également qu'il est impossible pour un oracle Turing + de décider du …
2
DFA le plus petit qui accepte des chaînes données et rejette d'autres chaînes données
Étant donné deux ensembles de chaînes sur l'alphabet , pouvons-nous calculer le plus petit automate déterministe à états finis (DFA) tel que et ?A , BA,BA,BΣΣ\SigmaMMMA ⊆ L ( M)A⊆L(M)A \subseteq L(M)L ( M) ⊆ Σ∗∖ BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B En d'autres termes, représente un ensemble d'exemples positifs. Chaque chaîne …
1
Qu'est-ce qu'un moyen compact de représenter une partition d'un ensemble?
Il existe des structures de données efficaces pour représenter les partitions définies. Ces structures de données présentent de bonnes complexités temporelles pour des opérations telles que Union et Find, mais elles ne sont pas particulièrement économes en espace. Qu'est-ce qu'un moyen peu encombrant de représenter une partition d'un ensemble? Voici …
2
Pouvons-nous montrer qu'une langue n'est pas énumérable de manière calculable en montrant qu'il n'y a pas de vérificateur pour elle?
L'une des définitions d'un ensemble énumérable calculable (ce, équivalent à énumérable récursivement, équivalent à semi-décidable) est la suivante: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* est ce ssi il y a un langage décidable (appelé vérificateur) st pour tous les ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in \Sigma^* x∈Ax∈Ax\in A ssi il existe un st .y∈Σ∗y∈Σ∗y\in\Sigma^*⟨x,y⟩∈V⟨x,y⟩∈V\langle x, y \rangle …
3
Notions de calcul efficace
Un algorithme de machine de Turing à temps polynomial est considéré comme efficace si son temps d'exécution, dans le pire des cas, est limité par une fonction polynomiale dans la taille d'entrée. Je connais la forte thèse de Church-Turing: Tout modèle raisonnable de calcul peut être simulé efficacement sur les …
2
Qu'est-ce que la valeur la moins contraignante?
Dans les problèmes de satisfaction de contraintes, l'heuristique peut être utilisée pour améliorer les performances d'un solveur de bactracking. Trois heuristiques communément données pour les solveurs de retour arrière simples sont: Valeurs minimales restantes (combien de valeurs sont encore valides pour cette variable) Degré heuristique (combien d'autres variables sont affectées …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.