L'informatique

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

4
Quelle est la différence entre un type et un type?
J'apprends la langue de programmation Haskell et j'essaie de comprendre ce qu'est la différence entre a typeet a kind. Si je comprends bien, a kind is a type of type. Par exemple, a ford is a type of caret a car is a kind of vehicle. Est-ce une bonne façon …
3
Le langage des paires de mots de longueur égale dont la distance de brouillage est de 2 ou plus est-il hors contexte?
Le contexte linguistique suivant est-il libre? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Comme indiqué par sdcvvc, un mot dans cette langue peut également être décrit comme la concaténation de deux mots de même longueur …
2
Comment prouver qu'une langue est hors contexte?
Il existe de nombreuses techniques pour prouver qu'une langue n'est pas sans contexte, mais comment puis-je prouver qu'une langue est sans contexte? Quelles techniques existe-t-il pour le prouver? De toute évidence, une façon consiste à présenter une grammaire sans contexte pour la langue. Existe-t-il des techniques systématiques pour trouver une …
6
Qu'est-ce qui est le plus efficace pour GCD?
Je sais que l'algorithme d'Euclide est le meilleur algorithme pour obtenir le GCD (grand diviseur commun) d'une liste d'entiers positifs. Mais en pratique, vous pouvez coder cet algorithme de différentes manières. (Dans mon cas, j'ai décidé d'utiliser Java, mais C / C ++ peut être une autre option). J'ai besoin …
2
Dominosa NP-Hard?
Cette question a été migrée à partir de Mathematics Stack Exchange car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 6 ans . Dominosa est un jeu de puzzle relativement nouveau. Il est joué sur une grille . Avant le début du jeu, les …
1
Deux définitions d'arbres binaires équilibrés
J'ai vu deux définitions d'arbres binaires équilibrés, qui me semblent différentes. Un arbre binaire est équilibré si, pour chaque nœud, il considère que le nombre de nœuds internes dans le sous-arbre gauche et le nombre de nœuds internes dans le sous-arbre droit diffèrent d'au plus 1. Un arbre binaire est …
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.