Cette question a été inspirée par un commentaire sur StackOverflow . En plus de connaître les problèmes NP-complets du livre Garey Johnson, et bien d'autres; existe-t-il une règle empirique pour savoir si un problème ressemble à un problème NP-complet? Je ne cherche pas quelque chose de rigoureux,...
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...
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...
Vous avez une pièce. Vous pouvez le retourner autant de fois que vous le souhaitez. Vous voulez générer un nombre aléatoire rrr tel que a ≤ r < bune≤r<ba \leq r < b où r , a , b ∈ Z+r,une,b∈Z+r,a,b\in \mathbb{Z}^+ . La distribution des nombres doit être uniforme. C'est facile si b−a=2nb−a=2nb...
Notez, bien que je sache programmer, je suis tout à fait un débutant en théorie CS. Selon cette réponse La complétude de Turing est un concept abstrait de calculabilité. Si un langage est Turing complet, il est capable de faire n'importe quel calcul que n'importe quel autre langage complet de...
J'ai entendu plusieurs fois que pour des valeurs suffisamment petites de n, O (n) peut être pensé / traité comme si c'était O (1). Exemple : La motivation pour le faire est basée sur l'idée incorrecte que O (1) est toujours meilleure que O (lg n), est toujours meilleure que O (n). L'ordre...
Est-ce la tâche du logiciel (système d'exploitation) de détecter les débordements de pile ou un débordement de pile est-il détecté dans le matériel, provoquant une exception dans le
La plupart d'entre nous connaissent la correspondance entre la logique combinatoire et le calcul lambda . Mais je n'ai jamais vu (peut-être que je n'ai pas regardé assez profondément) l'équivalent de "combinateurs typés", correspondant au calcul lambda simplement tapé. Une telle chose...
Énoncé informel du problème: Étant donné une chaîne, par exemple , nous voulons colorer certaines lettres rouges et certaines lettres bleues (et certaines pas du tout), de sorte que la lecture des lettres rouges de gauche à droite donne le même résultat que la lecture seules les lettres...
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....
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 d'y penser? Parce que, la façon dont mon...
En supposant que les requêtes de cache l1 et l2 entraînent un échec, le processeur se bloque-t-il jusqu'à ce que la mémoire principale soit accessible? J'ai entendu parler de l'idée de passer à un autre fil, si oui, qu'est-ce qui est utilisé pour réveiller le fil
Quand y a-t-il des cas (relativement) basiques (pensez aux étudiants CS de première année de niveau collégial) où l'on utiliserait la récursivité au lieu d'une simple boucle?
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...
L'un des hyperparamètres des réseaux LSTM est la température. Qu'Est-ce que
J'utilise un solveur SAT pour coder un problème, et dans le cadre de l'instance SAT, j'ai des variables booléennes x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n où il est prévu que l'une d'entre elles soit vraie et que le reste soit être faux. (J'ai parfois vu cela décrit comme un encodage "à chaud".) Je...
J'ai du mal à comprendre la preuve de l'indécidabilité du problème de l'arrêt. Si renvoie si le programme s'arrête ou non sur l'entrée , pourquoi devons-nous passer le code de pour et ?a b P a bH( a , b )H(a,b)H(a,b)uneaabbbPPPuneaabbb Pourquoi ne pouvons-nous pas alimenter avec et une entrée...
Mon problème est de savoir comment prouver qu'une grammaire est sans ambiguïté? J'ai la grammaire suivante: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if }...
Je recherche un algorithme pour distribuer les valeurs d'une liste afin que la liste résultante soit aussi "équilibrée" ou "uniformément distribuée" que possible (entre guillemets car je ne suis pas sûr que ce soient les meilleures façons de la décrire ... plus tard, je fournirai un moyen de...
J'ai cherché sur le net une réponse à cette question et il semble que tout le monde connaisse implicitement la réponse sauf moi. On peut supposer que cela est dû au fait que les seules personnes qui s’en soucient sont celles qui ont fait des études supérieures sur le sujet. D'un autre côté, j'ai...