L'informatique counting

5

Ma mère suit un cours en ligne afin d'être une sorte de bibliothécaire, dans ce cours, ils couvrent les recherches booléennes, afin qu'ils puissent rechercher des bases de données efficacement, cependant, elle a reçu une question ressemblant à ceci: La recherche «x OU y» donnera 105 000 résultats, tandis que …

29 sets counting

2

Pourquoi le type void de C n'est-il pas analogue au type vide / bas?

Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

1

Pourquoi la variante de comptage d'un problème de décision difficile n'est-elle pas automatiquement difficile?

Il est bien connu que le 2-SAT est en P. Cependant, il semble assez intéressant que de compter le nombre de solutions pour une formule 2-SAT donnée, c'est-à-dire que # 2-SAT soit # P-difficile. Autrement dit, nous avons un exemple d'un problème pour lequel la décision est facile, mais le …

14 complexity-theory counting

2

Est-ce que # -Complétude implique une dureté d'approximation?

Soit un problème de comptage connu pour être # -Complete .PΠΠ\PiPPP Cela implique-t-il que est -hard (c'est-à-dire qu'il n'y a pas de PTAS pour le problème sauf si )?A P X P = N PΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory complexity-classes approximation counting

2

Compter les îles dans les matrices booléennes

Étant donné une matrice booléenne , soit entrées représentent la mer et entrées représentent la terre. Définissez un îlot comme verticalement ou horizontalement (mais pas en diagonale) adjacent entrées.X 0 1 1n×mn×mn \times mXX\mathrm X000111111 La question initiale était de compter le nombre d'îles dans une matrice donnée. L'auteur a …

9 algorithms matrices counting streaming-algorithm

2

Compter le nombre de mots acceptés par un NFA acyclique

Laisser MMM être un NFA acyclique. Depuis MMM est acyclique, L(M)L(M)L(M) est fini. Pouvons-nous calculer |L(M)||L(M)||L(M)| en temps polynomial? Sinon, pouvons-nous l'approcher? Notez que le nombre de mots n'est pas le même que le nombre de chemins d'acceptation dans MMM, qui est facilement calculable. Permettez-moi de mentionner une approche évidente …

8 formal-languages automata finite-automata nondeterminism counting

1

Algorithme pour trouver toutes les orientations acycliques d'un graphe

Je travaille sur les orientations acycliques des graphes non orientés et j'ai les questions suivantes: Étant donné le graphe simple non orienté connecté , comment trouver toutes les orientations acycliques possibles de ?ggGggG Quel est le nombre d'orientations acycliques? Il est connu (d' ici ) d'être pour un graphe avec …

8 algorithms graph-theory counting

Questions marquées «counting»