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.

3
Généralisations de la méthode de Brzozowski de dérivation des expressions régulières aux grammaires?
La méthode de dérivation de Brzozowski est une très jolie technique pour construire des automates déterministes à partir d'expressions régulières d'une manière bien algébrique. J'ai élaboré de jolies généralisations de cette technique pour gérer des classes de grammaires plus importantes, mais les algorithmes sont assez simples pour qu'il semble tout …
1
Puzzle de bâtons de coupe
Problème: on nous donne un ensemble de bâtons ayant tous des longueurs entières. La somme totale de leurs longueurs est n (n + 1) / 2. Pouvons-nous les casser pour obtenir des bâtons de taille en temps polynomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Étonnamment, la seule référence que …
1
Un espace topologique lié à la SAT: est-il compact?
Le problème de satisfaction est, bien sûr, un problème fondamental en CS théorique. Je jouais avec une version du problème avec une infinité de variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuration de base. Soit XXX un ensemble de variables non vide et éventuellement infini . Un littéral est soit une variable x ∈ …
5
Pourquoi les économistes devraient se soucier de la complexité informatique
Lorsqu'on essaie de convaincre les économistes de la pertinence de la théorie de la complexité dans la presse écrite, existe-t-il une référence standard à citer? Je connais le billet de blog de Noam Nisan , l'enquête de Tim Roughgarden et le chapitre 11 de l'essai de Scott Aaronson . Ces …
3
Algorithmes constructivement efficaces sans correction et preuve d'efficacité efficaces
Je recherche des exemples naturels d' algorithmes efficaces (ie en temps polynomial) st leur exactitude et leur efficacité peuvent être prouvées de manière constructive (par exemple en ou ), maisPR APRUNEPRAHUNEHUNEHA aucune preuve utilisant uniquement des concepts efficaces n'est connue (c'est-à-dire que nous ne savons pas prouver leur exactitude et …
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.