Informatique théorique ds.algorithms

2

Il est facile de voir que pour tout nnn il existe un mappage 1-1 FFF de {0,1} n à {0,1} n + O ( log n ) de telle sorte que pour tout x le vecteur F ( x ) est " équilibré ", c'est-à-dire qu'il a un nombre égal …

10 ds.algorithms ds.data-structures encoding

5

Thème de la théorie des automates / du langage formel

Salut à tous, j'essaie actuellement de trouver un sujet de thèse de master solide se rapportant à une branche de la théorie des automates ou lié aux langages formels. J'essaie de générer de bonnes idées sur ce qu'est un sujet acceptable, quelque chose d'ambitieux mais quelque chose de faisable en …

10 ds.algorithms automata-theory fl.formal-languages soft-question

2

Mélange de jetons sur un graphique à l'aide de swaps locaux

Soit un graphe connecté non régulier dont le degré est borné. Supposons que chaque nœud contienne un jeton unique.G=(V,E)G=(V,E)G= (V, E) Je veux mélanger uniformément les jetons parmi le graphique en utilisant uniquement des swaps locaux (c'est-à-dire l'échange des jetons entre deux nœuds adjacents)? Existe-t-il une borne inférieure connue pour …

10 ds.algorithms random-walks dc.distributed-comp

1

Généraliser la FFT

La nature diviser pour mieux régner de la FFT peut-elle être généralisée à d'autres transformations (Transformation z, gazouillis, etc.) automatiquement? Existe-t-il un algorithme qui prend une description de la transformation (je ne sais pas quelles informations seraient nécessaires) et peut produire une fonction similaire à la FFT?

10 ds.algorithms

1

Évaluer le circuit booléen sur un lot d'entrées similaires

Supposons que j'ai un circuit booléen qui calcule une fonction f : { 0 , 1 } n → { 0 , 1 } . Supposons que le circuit est composé de portes ET, OU et NON avec au plus fan-in et fan-out 2.CCCF: { 0 , 1 }n→ { …

10 ds.algorithms circuit-complexity boolean-functions circuits

1

Pourquoi le relâchement complémentaire est-il important?

Le relâchement complémentaire (CS) est couramment enseigné lorsque l'on parle de dualité. Il établit une belle relation entre la primale et la double contrainte / variables d'un point de vue mathématique. Les deux principales raisons d'appliquer CS (comme enseigné dans les cours d'études supérieures et les manuels): Pour vérifier l'optimalité …

10 ds.algorithms approximation-algorithms linear-programming primal-dual

3

Est-il possible de prouver que, pour un problème donné, aucun algorithme gourmand optimal n'existe?

Greedy est un terme non formel, mais il pourrait être (je ne suis pas sûr, c'est pourquoi je demande) que pour certains problèmes, la cupidité peut être formulée mathématiquement et ainsi être prouvée qu'aucun algorithme gourmand optimal n'existe. Est-ce possible?

10 ds.algorithms greedy-algorithms

1

Constantes cachées dans la complexité des algorithmes

Pour de nombreux problèmes, l'algorithme avec la meilleure complexité asymptotique a un très grand facteur constant qui est caché par une grande notation O. Cela se produit dans la multiplication matricielle, la multiplication d'entiers (en particulier, le récent algorithme de multiplication d'entiers O (n log n) de Harvey et van …

9 cc.complexity-theory ds.algorithms time-complexity

2

Contre-exemple d'algorithmes max-flow avec des poids irrationnels?

Il est connu que Ford-Fulkerson ou Edmonds-Karp avec l'heuristique fat pipe (deux algorithmes pour max-flow) ne doivent pas s'arrêter si certains des poids sont irrationnels. En fait, ils peuvent même converger vers la mauvaise valeur! Cependant, tous les exemples que j'ai pu trouver dans la littérature [références ci-dessous, plus les …

9 ds.algorithms graph-algorithms max-flow

1

Comprendre les performances des solveurs QFBV SMT

Les solveurs SMT tels que Z3 ou Boolector utilisent un ensemble complexe d'heuristiques pour résoudre les problèmes. Cependant, cela rend également très difficile la prévision des performances d'un tel solveur pour un problème donné. Ma question est donc: Question Existe-t-il un moyen de comprendre ou d'obtenir des informations sur les …

9 ds.algorithms sat heuristics

1

Algorithme pour calculer la distance entre les puissances

Étant donné le coprime , pouvez-vous calculer rapidementa,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Ici x,yx,yx, y sont des entiers. Évidemment, prendre x=y=0x=y=0x = y = 0 donne une réponse sans intérêt; en général, à quel point ces pouvoirs peuvent-ils se rapprocher? De plus, comment calculer rapidement la …

9 ds.algorithms randomized-algorithms nt.number-theory comp-number-theory

5

Les réseaux de neurones peuvent-ils être utilisés pour concevoir des algorithmes?

Après les succès de plus en plus récents des réseaux de neurones dans les jeux de société, on sent que le prochain objectif que nous nous sommes fixé pourrait être quelque chose de plus utile que de battre les humains dans Starcraft. Plus précisément, je me demandais si Les réseaux …

9 cc.complexity-theory ds.algorithms machine-learning ne.neural-evol

1

Correspondance de motifs avec indifférence: plusieurs motifs

Le papier SODA de 2 pages de Kalai fournit un algorithme simple et efficace pour la correspondance de motifs avec les soucis (jokers qui correspondent à un caractère). En substance, c'est aussi simple que la convolution. Mais que se passe-t-il si nous recherchons plusieurs modèles sans souci? Peut-on encore le …

9 ds.algorithms reference-request string-matching

1

Comment la bague intérieure est-elle choisie dans l'algorithme Schönhage – Strassen?

J'ai essayé d'implémenter l'algorithme de multiplication de Schönhage – Strassen, mais j'ai rencontré une pierre d'achoppement à l'étape récursive. J'ai une valeur avec n bits et je veux calculer . Je pensais à l'origine que l'idée était de choisir un tel que , diviser en morceaux chacun avec bits, appliquer …

9 ds.algorithms

2

De grands écarts entre la RAM et la complexité de la machine Turing

Si nous considérons uniquement les problèmes dans P, y a-t-il de grands écarts entre l'algorithme de RAM de mots connu le plus rapide et l'algorithme de machine de Turing le plus rapide connu pour des problèmes particuliers? Je suis particulièrement intéressé s'il existe de grandes lacunes pour les problèmes naturels …

9 cc.complexity-theory ds.algorithms

Questions marquées «ds.algorithms»