L'informatique

3

Quelle structure de données stockerait efficacement les plages entières?

Je dois conserver une collection d'entiers compris entre 0 et 65535 afin de pouvoir effectuer rapidement les opérations suivantes: Insérer un nouvel entier Insérer une plage d'entiers contigus Supprimer un entier Supprimer tous les entiers sous un entier Tester si un entier est présent Mes données ont la propriété de …

10 data-structures efficiency search-trees integers

1

Existe-t-il un moyen de tester si deux NFA acceptent la même langue?

Ou au moins générer un ensemble de chaînes qu'un NFA accepte, donc je peux le nourrir dans l'autre NFA. Si je fais une recherche à travers tous les chemins de la NFA, cela fonctionnera-t-il? Bien que cela prenne beaucoup de temps.

10 algorithms regular-languages finite-automata

3

Lors du test de n éléments, comment couvrir tous les sous-ensembles t avec le moins de sous-ensembles s possible?

Ce problème est né des tests de logiciels. Le problème est un peu difficile à expliquer. Je vais d'abord donner un exemple, puis essayer de généraliser le problème. Il y a 10 éléments à tester, disons de A à J, et un outil de test qui peut tester 3 éléments …

10 algorithms combinatorics software-testing

3

Attribution de numéros

Étant donné nombres A 1 ≤ A 2 ≤ . . . ≤ A k tel que k Σ i = 1 A i = k ( 2 k + 1 ) est - il une attribution de numéros i 1 , i 2 , . . . , I …

10 np-complete decision-problem

1

Formalismes en programmation simultanée et / ou distribuée?

Mes antécédents provenaient de langages impératifs, principalement C, C ++ et Python. J'ai repris Scala, Erlang et un peu de Haskell quelques années plus tard et depuis, je me suis beaucoup intéressé à la programmation fonctionnelle et aux formalismes qui la sous-tendent. Je m'intéresse également à la programmation simultanée et …

10 distributed-systems concurrency

1

Problème de galets

Le galet est un jeu de solitaire joué sur un graphe non orienté , où chaque sommet a zéro ou plusieurs galets. Un mouvement de caillou unique consiste à retirer deux cailloux d'un sommet v et à ajouter un caillou à un voisin arbitraire de v . (Évidemment, le sommet …

10 algorithms graph-theory np-complete

2

Comment produire efficacement toutes les séquences binaires avec un nombre égal de 0 et de 1?

Une séquence binaire de longueur nnn est juste une séquence ordonnée sorte que chaque soit ou . Afin de générer toutes ces séquences binaires, on peut utiliser la structure d'arbre binaire évidente de la manière suivante: la racine est "vide", mais chaque enfant gauche correspond à l'ajout de à la …

10 algorithms graphs binary-trees

2

Qu'est-ce qui rend le calcul lambda pertinent à étudier?

Je commence un cours de premier cycle en informatique à l'automne prochain, mais je ne peux pas vraiment comprendre le λ-calcul dans le contexte de la programmation fonctionnelle. Je peux mal interpréter cela complètement, mais basé sur cette définition de la Stanford Encyclopedia of Philosophy, c'est juste une autre notation …

10 programming-languages lambda-calculus

1

Problème d'optimisation contraint dans l'entropie matricielle

J'ai un problème d'optimisation contraint dans l'entropie de la matrice (Shannon) . La matrice peut être écrite comme la somme des matrices de rang 1 de la forme où est un vecteur normalisé donné. Les coefficients des matrices de rang 1 sont les inconnues dans lesquelles nous optimisons et ils …

10 optimization entropy

1

Étant donné un graphe en accords

Un graphe est en corde s'il n'a pas de cycles induits de longueur ou plus. Un arbre de clique de est un arbre dont les sommets de l'arbre sont les cliques maximales de . Une arête en correspond à un séparateur minimal. Le nombre d'arbres cliques distincts peut être exponentiel …

10 algorithms graph-theory reference-request

1

Comment comprendre le verrou SR

Je ne peux pas comprendre comment fonctionne le verrou SR. Apparemment, vous branchez une ligne d'entrée de R, et une autre de S, et vous êtes censé obtenir des résultats dans et Q ' .QQQQ′Q′Q' Cependant, les deux R et S nécessitent une entrée de la sortie de l'autre, et …

10 circuits sequential-circuit

3

Répartition équitable du gâteau bidimensionnel

Je m'intéresse aux procédures de partage équitable des terres (c.-à-d. Partage sans envie, ou au moins partage proportionnel). Contrairement au problème bien étudié de division des gâteaux, la division des terres est bidimensionnelle, c'est-à-dire que les préférences des utilisateurs peuvent varier à la fois horizontalement et verticalement. Par conséquent, il …

10 reference-request game-theory

3

Premiers pas avec l'analyse de programme

Je recherche des ressources pour débuter avec l'analyse de programme . Le seul livre que j'ai trouvé sur le sujet est le livre Nielson & Nielson . En dehors de cela, il semble qu'il n'y ait que des livres de "compilateur" où "l'analyse de programme" serait un chapitre, ou quelque …

10 reference-request compilers semantics

2

Quel classificateur est plus précis pour une classification SVM?

J'apprends la classification SVM et je rencontre un problème. Je ne sais pas si ce dilemme a une terminologie. Supposons que nous aimerions classer les patients par SVM compte tenu des échantillons de personnes en bonne santé (des deux sexes) et de personnes atteintes d'un cancer du foie (des deux …

10 machine-learning

3

Langues décidables et grammaires illimitées?

Les machines de Turing et les grammaires illimitées sont deux formalismes différents qui définissent les langages RE. Certaines langues RE sont décidables, mais pas toutes. Nous pouvons définir les langues décidables avec les machines de Turing en disant qu'une langue est décidable si il y a une MT pour la …

10 computability turing-machines formal-grammars