L'informatique

2

Existe-t-il un algorithme parfois efficace pour résoudre #SAT?

Soit une formule booléenne composée des opérateurs ET, OU et NON habituels et de certaines variables. Je voudrais compter le nombre de missions satisfaisant pour . Autrement dit, je veux trouver le nombre d'affectations différentes de valeurs de vérité aux variables de pour lesquelles suppose une valeur vraie. Par exemple, …

24 complexity-theory reference-request satisfiability

5

La croissance O (mn) est-elle considérée comme "linéaire" ou "quadratique"?

Si j'ai une fonction dont la complexité temporelle est O ( mn ), où m et n sont les tailles de ses deux entrées, appellerions-nous sa complexité temporelle "linéaire" (car elle est linéaire en m et n ) ou "quadratique" ( puisqu'il s'agit d'un produit de deux tailles)? Ou autre …

24 terminology asymptotics landau-notation

3

Quel est l'algorithme le plus rapide pour trouver tous les chemins les plus courts dans un graphe clairsemé?

Dans un graphe non pondéré et non orienté avec des sommets et des arêtes tels que , quel est le moyen le plus rapide pour trouver tous les chemins les plus courts dans un graphe? Peut-il être fait plus rapidement que Floyd-Warshall qui est mais très rapide par itération?E 2 …

24 algorithms graphs shortest-path

6

Définition de langage récursif et récursivement énumérable pour un profane

Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 6 ans . J'ai rencontré de nombreuses définitions de langages récursifs et récursivement énumérables. Mais je ne pouvais pas vraiment comprendre …

24 formal-languages computability turing-machines

2

Algorithme efficace pour «résumer» un ensemble de sommes

Étant donné un ensemble multiple de nombres naturels X, considérons l'ensemble de toutes les sommes possibles: sommes (X) = { ∑i ∈ Aje|A ⊆ X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Par exemple, sommes ( { 1 , 5 } )= { 0 , 1 , …

24 algorithms optimization combinatorics integers

1

Quand un algorithme gourmand peut-il résoudre le problème de changement de pièce?

Étant donné un ensemble de pièces de monnaie de dénominations différentes et une valeur v, vous voulez trouver le moins de pièces nécessaires pour représenter la valeur v.c 1 , . . . , c nc1,...,cnc1, ... , cn Par exemple, pour le jeu de pièces 1,5,10,20, cela donne 2 …

24 algorithms combinatorics greedy-algorithms

5

Pourquoi les individus à faible condition physique ont-ils une chance de survivre à la prochaine génération?

Je lis et regarde actuellement sur l'algorithme génétique et je le trouve très intéressant (je n'ai pas eu la chance de l'étudier pendant que j'étais à l'université). Je comprends que les mutations sont basées sur la probabilité (le hasard est la racine de l'évolution) mais je ne comprends pas pourquoi …

24 algorithms optimization genetic-algorithms

7

Commencez à vous renseigner sur la théorie des systèmes distribués?

Quelle est la meilleure façon que quiconque peut faire pour avoir une bonne introduction à la théorie du système distribué, tous les livres ou références, et les sujets doivent être couverts en premier et les exigences pour commencer à apprendre dans ce sujet.

24 reference-request education distributed-systems

3

Récupérer le chemin le plus court d'un graphe dynamique

J'étudie actuellement les chemins les plus courts dans les graphiques dirigés. Il existe de nombreux algorithmes efficaces pour trouver le chemin le plus court dans un réseau, comme celui de dijkstra ou celui de bellman-ford. Mais que faire si le graphique est dynamique? En disant dynamique, je veux dire que …

24 algorithms data-structures graphs efficiency shortest-path

3

Quelles sont les fonctions mises en scène (conceptuellement)?

Dans un récent article du CACM [1], les auteurs présentent une implémentation des fonctions par étapes . Ils utilisent le terme comme s'il était bien connu, et aucune des références ne ressemble à une introduction évidente. Ils donnent une brève explication (l'accent est mis sur le mien et le numéro …

24 terminology programming-languages meta-programming

1

Comment prouver l'exactitude d'un algorithme de lecture aléatoire?

J'ai deux façons de produire une liste d'articles dans un ordre aléatoire et je voudrais déterminer s'ils sont également équitables (sans biais). La première méthode que j'utilise est de construire la liste complète des éléments puis de faire un shuffle dessus (disons un shuffle de Fisher-Yates). La deuxième méthode est …

24 algorithms proof-techniques randomized-algorithms correctness-proof randomness

1

Tri en tant que programme linéaire

Un nombre surprenant de problèmes ont des réductions assez naturelles de la programmation linéaire (LP). Voir le chapitre 7 de [1] pour des exemples tels que les flux de réseau, la correspondance bipartite, les jeux à somme nulle, les chemins les plus courts, une forme de régression linéaire et même …

24 algorithms reductions sorting linear-programming

2

Est-ce que Logical Min-Cut NP-Complete?

Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . Définition du problème Logical Min Cut (LMC) Supposons que est un digraphe non pondéré, et sont deux sommets de , et est accessible à …

24 complexity-theory graph-theory np-complete

4

Le castor occupé est-il la fonction à la croissance la plus rapide connue de l'homme?

Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 7 ans . Je viens de poser cette question intéressante. Quelle est la fonction connaissant la croissance la plus rapide connue …

24 computability

3

Quelles sont les conditions pour qu'un NFA pour que son équivalent DFA soit de taille maximale?

Nous savons que les DFA sont équivalents aux NFA en termes de pouvoir d'expressivité; il existe également un algorithme connu pour convertir les NFA en DFA (malheureusement je connais maintenant l'inventeur de cet algorithme), qui dans le pire des cas nous donne états, si notre NFA avait états. S2S2S2^SSSS Ma …

24 formal-languages automata regular-languages finite-automata nondeterminism