Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.


1
LOGLOG = NLOGLOG?
Définissez LOGLOG comme la classe de langues qui peut être calculée dans l'espace O (loglog n) par une machine de Turing déterministe (avec un accès bidirectionnel à l'entrée). De même, définissez NLOGLOG comme la classe de langues qui peut être calculée dans l'espace O (log log n) par une machine …

14
Livre sur la probabilité
Alors que j'ai réussi quelques cours sur la théorie des probabilités, tant au lycée qu'à l'université, j'ai du mal à lire les articles TCS en matière de probabilité. Il semble que les auteurs des articles du TCS connaissent très bien la probabilité. Ils fonctionnent comme par magie avec des formules …



2
Multiplication de matrice quantique?
Il ne semble pas que cela soit connu - mais y a-t-il des limites inférieures intéressantes sur la complexité de la multiplication matricielle dans le modèle informatique quantique? Avons-nous l'intuition que nous pouvons battre la complexité de l'algorithme Coppersmith-Winograd en utilisant des ordinateurs quantiques?

2
Méthode polynomiale pour les résultats de complexité
Les méthodes polynomiales , par exemple Nullstellensatz combinatoire et le théorème de Chevalley-Warning sont des outils puissants en combinatoire additive. En représentant un problème avec des polynômes appropriés, ils peuvent garantir l'existence d'une solution ou le nombre de solutions aux polynômes. Ils ont été utilisés pour résoudre des problèmes tels …




5
Ecologie et évolution à travers la lentille algorithmique
L'étude de l'écologie et de l'évolution devient de plus en plus mathématique, mais la plupart des outils théoriques semblent provenir de la physique. Cependant, dans de nombreux cas, les problèmes ont un caractère très discret (voir par exemple SLBS00 ) et pourraient bénéficier d'une perspective informatique . Pourtant, je ne …

10
Algorithmes probabilistes (randomisés) avant l'apparition de l'informatique «moderne»
Edit: J'ai choisi la réponse avec le score le plus élevé avant le 06 décembre 2012. C'est une question douce. Le concept d'algorithmes (déterministes) remonte à la Colombie-Britannique. Qu'en est-il des algorithmes probabilistes? Dans cette entrée wiki , l'algorithme de Rabin pour le problème de paire la plus proche en …


6
Classes bien connues de formules booléennes qui nécessitent des preuves de résolution exponentiellement longues
Vous pouvez souvent trouver des méthodes de plan de coupe, de propagation variable, de branchement et de limite, d'apprentissage de clause, de retour en arrière intelligent ou même d'heuristique humaine tissée à la main dans les solveurs SAT. Pourtant, pendant des décennies, les meilleurs solveurs SAT se sont largement appuyés …

1
Qui a d'abord proposé d'utiliser l' algorithme de Monte Carlo
Je suis sûr que tout le monde connaît l' expérience de Buffon sur l'aiguille au XVIIIe siècle, qui est l'un des premiers algorithmes probabilistes à calculer .ππ\pi L'implémentation de l'algorithme dans les ordinateurs nécessite généralement l'utilisation de , ou d'une fonction trigonométrique, qui, même si elles sont implémentées sous forme …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.