L'informatique

4

Y a-t-il des problèmes NP, pas en P et pas NP Complete?

Existe-t-il des problèmes connus dans (et non dans ) qui ne sont pas terminés? Je crois comprendre qu'il n'y a actuellement aucun problème connu dans ce cas, mais cela n'a pas été exclu comme une possibilité. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} S'il y a un problème qui est (et non ) mais pas , …

34 complexity-theory np-complete p-vs-np

2

Quelle est la différence entre les threads au niveau utilisateur et les threads au niveau noyau?

Après avoir lu plusieurs sources, je suis encore confus au sujet des threads au niveau utilisateur et noyau. En particulier: Les threads peuvent exister au niveau utilisateur et au niveau du noyau Quelle est la différence entre le niveau utilisateur et le niveau noyau?

33 operating-systems terminology concurrency os-kernel

2

sur “Sur la cruauté d'enseigner réellement l'informatique”

Dijkstra, dans son essai sur la cruauté de véritablement enseigner l'informatique , fait la proposition suivante pour un cours d'initiation à la programmation: D'une part, nous enseignons ce qui ressemble au calcul des prédicats, mais nous le faisons très différemment des philosophes. Afin de former le programmeur débutant à la …

33 reference-request programming-languages education didactics

2

Existe-t-il une différence entre la programmation dynamique descendante et ascendante?

Existe-t-il une différence fondamentale entre la programmation dynamique descendante et ascendante? En particulier, y a-t-il un problème qui peut être résolu de bas en haut mais pas de haut en bas? Ou bien l’approche ascendante est-elle simplement un dénouement de la récurrence de l’approche descendante?

33 algorithms dynamic-programming

2

Y a-t-il des améliorations dans l'algorithme de Dana Angluin pour l'apprentissage des ensembles réguliers?

Dans son article phare de 1987, Dana Angluin présente un algorithme temporel polynomial pour l’apprentissage d’un DFA à partir de requêtes d’appartenance et de requêtes théoriques (contre-exemples d’un DFA proposé). Elle montre que si vous essayez d'apprendre un DFA minimal avec états et que votre plus grand contre-exemple est de …

33 algorithms learning-theory machine-learning

2

Quelle est la gravité asymptotique du brassage naïf?

Il est bien connu que cet algorithme «naïf» pour mélanger un tableau en échangeant chaque élément avec un autre choisi au hasard ne fonctionne pas correctement: for (i=0..n-1) swap(A[i], A[random(n)]); Plus précisément, puisque à chacune des nnn itérations, l’une desnnn choix est fait (avec une probabilité uniforme), il y a …

33 algorithms algorithm-analysis asymptotics probability-theory randomness

1

Est-il difficile de remplir les bacs avec un minimum de mouvements?

Il y a nnn bacs et mmm type de balles. La iii ième bin a des étiquettes a i , jai,ja_{i,j} pour 1 ≤ j ≤ m1≤j≤m1\leq j\leq m , c'est le nombre attendu de billes de type jjj . Vous commencez avec b jbjb_j boules de type jjj . …

33 complexity-theory np-hard integer-programming

4

Quelle est exactement la différence sémantique entre set et type?

EDIT: J'ai maintenant posé une question similaire sur la différence entre les catégories et les ensembles. Chaque fois que je lis sur la théorie du type (qui est certes plutôt informelle), je ne peux pas vraiment comprendre comment elle diffère de la théorie des ensembles, concrètement . Je comprends qu’il …

33 type-theory sets

2

Langues régulières planaires

Dans ma classe, un étudiant a demandé si tous les automates finis pouvaient être dessinés sans croiser les bords (il semble que tous mes exemples l'ont fait). Bien sûr, la réponse est négative, l'automate évident pour la langue {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} a la structure …

33 regular-languages finite-automata planar-graphs

4

Comment O et Ω sont-ils liés au pire et au meilleur des cas?

Aujourd'hui, nous avons discuté dans une conférence d'un algorithme très simple pour trouver un élément dans un tableau trié à l'aide de la recherche binaire . On nous a demandé de déterminer sa complexité asymptotique pour un tableau de éléments.nnn Mon idée était que c'est visiblement , ou pour être …

33 algorithm-analysis asymptotics landau-notation reference-question

4

De quoi parle la programmation dynamique?

Désolé à l'avance si cette question vous semble stupide ... Pour autant que je sache, la construction d'un algorithme utilisant la programmation dynamique fonctionne de cette façon: exprimer le problème comme une relation de récurrence; mettre en œuvre la relation de récurrence soit par mémorisation, soit par une approche ascendante. …

33 algorithms dynamic-programming algorithm-design

3

Le matériel / l'implémentation affecteront-ils la complexité spatio-temporelle des algorithmes?

Je ne suis même pas un étudiant CS, donc cela pourrait être une question stupide, mais veuillez me supporter ... À l'ère pré-informatique, nous ne pouvons implémenter une structure de données de tableau qu'avec quelque chose comme un tableau de tiroirs. Puisqu'il faut localiser le tiroir avec l'index correspondant avant …

32 algorithms algorithm-analysis data-structures runtime-analysis

5

Les langues régulières peuvent-elles être complètes?

Je lisais sur Iota et Jot et j'ai trouvé cette section déroutante: Contrairement à Iota, où l'arbre syntaxique d'une chaîne peut se ramifier à gauche ou à droite, la syntaxe Jot est uniformément ramifiée à gauche. Par conséquent, Iota est strictement sans contexte, mais Jot est un langage régulier. Je …

32 regular-languages programming-languages turing-completeness

5

Comment les ordinateurs se souviennent-ils de l'endroit où ils stockent les choses?

Lorsqu'un ordinateur stocke une variable, lorsqu'un programme doit obtenir la valeur de la variable, comment l'ordinateur sait-il où chercher en mémoire la valeur de cette variable?

32 compilers memory-access variable-binding

5

Preuve que le code mort ne peut pas être détecté par les compilateurs

Je prévois d'enseigner un cours d'hiver sur un nombre variable de sujets, dont l'un sera les compilateurs. Maintenant, je suis tombé sur ce problème en pensant aux affectations à donner tout au long du trimestre, mais cela m'a déconcerté, je pourrais donc l'utiliser à titre d'exemple. public class DeadCode { …

32 computability proof-techniques compilers