Informatique théorique ds.algorithms

10

Quelqu'un pourrait-il indiquer un ou plusieurs sites Web où il est possible de télécharger une implémentation fonctionnelle d'un solveur #SAT? Je suis intéressé par ceux qui renvoient le nombre exact de solutions, pas une approximation.

21 ds.algorithms sat software

1

Problèmes NP presque complets

Disons qu'un langage est de densité P proche s'il existe un algorithme de temps polynomial qui décide correctement sur presque toutes les entrées.LLLLLLL En d'autres termes, il existe un P , tel que disparaît, ce qui signifie Cela signifie également que sur une entrée aléatoire uniforme, l'algorithme de polytime pour …

20 cc.complexity-theory ds.algorithms complexity-classes np-complete

3

Tri à l'aide d'une boîte noire

Supposons que nous voulons trier une liste de n nombres réels. Supposons que l'on nous donne une boîte noire qui peut trier √SSSnnn nombres réels instantanément. Quel avantage pouvons-nous gagner en utilisant cette boîte noire?n--√n\sqrt n Par exemple, pouvons-nous trier les nombres avec seulement appels à la boîte noire? Le …

20 ds.algorithms sorting decision-trees

2

algorithme de diff efficace pour les arbres et la distance de Levenshtein

J'ai récemment lu ce résumé des problèmes liés à la différence entre les arbres et cela m'a intéressé à savoir quel est l'état de l'art pour ce problème. Supposons également qu'entre vos opérations d'édition autorisées se trouvent le nœud d'ajout / suppression traditionnel, le contenu d'édition, vous ajoutez les opérations …

20 ds.algorithms tree edit-distance

2

correspondance de motifs à n dimensions

Quels sont les résultats connus pour trouver un sous-tableau exact à n dimensions dans un tableau à n dimensions? Dans 1D, c'est juste un problème de correspondance de chaînes, KMP le fait en temps linéaire. En 2D, cet article a montré que cela peut être fait en temps linéaire avec …

20 ds.algorithms reference-request string-matching

1

Trouver la distance entre deux polynômes (représentés sous forme d'arbres)

Un collègue qui travaille sur la programmation génétique m'a posé la question suivante. J'ai d'abord essayé de le résoudre sur la base d'une approche gourmande, mais sur une deuxième pensée, j'ai trouvé un contre-exemple à l'algorithme gourmand. J'ai donc pensé qu'il valait la peine de le mentionner ici. Considérons deux …

20 ds.algorithms tree ai.artificial-intel genetic-programming

3

Enquête sur les algorithmes / complexité de l'algèbre linéaire

Je recherche une bonne enquête sur les algorithmes et la complexité de l'algèbre linéaire (opérations comme le rang, l'inverse, les valeurs propres, ... pour les matrices booléennes, et entières / rationnelles) en mettant l'accent sur les algorithmes parallèles ( hiérarchie N C ) et polytemporels . Je n'ai pas pu …

20 cc.complexity-theory ds.algorithms reference-request dc.parallel-comp linear-algebra

5

Algorithme parallèle déterministe pour une correspondance parfaite dans les graphiques généraux?

Dans la classe de complexité , il y a des problèmes supposés NE PAS être dans la classe , c'est-à-dire des problèmes avec des algorithmes parallèles déterministes. Le problème du débit maximal en est un exemple. Et il y a des problèmes que l'on croyait être dans , mais aucune …

20 cc.complexity-theory ds.algorithms reference-request graph-algorithms dc.parallel-comp

4

Ordre topologique positif, prendre 3

Supposons que nous ayons une matrice n par n. Est-il possible de réorganiser ses lignes et colonnes de manière à obtenir une matrice triangulaire supérieure? Cette question est motivée par ce problème: Ordre topologique positif Le problème de décision d'origine est au moins aussi difficile que celui-ci, donc un résultat …

20 ds.algorithms np-hardness open-problem matrices

2

Estimation de la moyenne en temps polynomial

Soit une fonction. Nous voulons estimer la moyenne de ; c'est-à-dire: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )F: { 0 , 1 }n→ ( 2- n, 1 ]F:{0,1}n→(2-n,1]f \colon \lbrace 0,1 \rbrace …

20 ds.algorithms randomized-algorithms black-box

1

Modifier la distance dans l'espace sublinéaire

Quelle est la complexité la plus connue pour calculer la distance d'édition exacte entre deux chaînes de même longueur en utilisant un espace de travail qui est sublinéaire dans la taille de l'entrée? Je suppose que l'entrée est stockée dans un format en lecture seule. Est-ce un problème déjà étudié? …

19 ds.algorithms edit-distance space-time-tradeoff

1

Trouver un bon sous-graphique induit

On vous donne un graphe avec n sommets. Il peut être bipartite si vous le souhaitez. Il existe m ensembles d'arêtes E 1 , … , E m ⊆ E (disons disjoints). Je m'intéresse au problème de trouver un sous-ensemble S ⊆ V , aussi petit que possible (ou même …

19 ds.algorithms graph-theory optimization

4

Comment obtenir les valeurs inconnues

Quelqu'un peut-il m'aider avec le problème suivant? Je veux trouver quelques valeurs ai,bjai,bja_i,b_j (mod NNN ) où i=1,2,…,K,j=1,2,…,Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (par exemple K=6K=6K=6 ), étant donné une liste de K2K2K^2 valeurs qui correspondent aux différences ai−bj(modN)ai−bj(modN)a_i-b_j\pmod N (par exemple N=251N=251N=251 ), sans connaître la relation concrète correspondante. Étant donné que les …

19 ds.algorithms linear-algebra nt.number-theory cryptographic-attack comp-number-theory

1

Fusion de listes d'objets fragiles

Contexte: Chao Xu a posté il y a quelque temps la question suivante: " Existe-t-il des algorithmes de tri de comparaison connus qui ne se réduisent pas à des réseaux de tri, de sorte que chaque élément est comparé fois?O ( logn)O(Journal⁡n)O(\log n) ". Il semble que nous soyons un …

19 ds.algorithms sorting sorting-network

2

Calcul de la constante de Cheeger: faisable pour quelles classes?

Le calcul de la constante de Cheeger d'un graphique , également connu sous le nom de constante isopérimétrique (car il s'agit essentiellement d'un rapport surface / volume minimum), est connu pour être NP-complet. Elle est généralement approximative. Je voudrais savoir si des algorithmes polynomiaux exacts sont connus pour des classes …

19 ds.algorithms reference-request graph-algorithms

Questions marquées «ds.algorithms»