La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.
Depuis le livre de Chris Okasaki paru en 1998 "Des structures de données purement fonctionnelles", je n'ai pas vu apparaître trop de nouvelles structures de données passionnantes et purement fonctionnelles; Je peux n'en nommer que quelques-uns: IntMap (également inventé par Okasaki en 1998, mais...
[ Chronologie ] Cette question a le même esprit: quels journaux doivent être lus par tout le monde et quelles vidéos doivent être visionnées par tout le monde . Il demande des livres remarquables dans différents domaines de l'informatique théorique. Les livres peuvent être orientés vers les...
Il y a eu plusieurs questions avec le même schéma que celui-ci: Quels papiers tout le monde devrait lire Quels livres tout le monde devrait lire Quels sont les récents ouvrages du SDC dont les projets sont disponibles en ligne quelles vidéos tout le monde devrait regarder J'étais réticent à en...
L'informatique théorique a fourni quelques exemples du "prix de l'abstraction". Les deux plus importants concernent l'élimination et le tri gaussiens. À savoir: On sait que l'élimination gaussienne est optimale pour, par exemple, calculer le déterminant si vous limitez les opérations à des lignes...
Après le post Ce que les livres doivent être lus par tous , j'ai remarqué qu'il existe des livres récents dont les brouillons sont disponibles en ligne. Par exemple, l' entrée Algorithmes d'approximation de l'article ci-dessus cite un livre de 2011 (à paraître) intitulé La conception d'algorithmes...
Quel est le travail publié le plus drôle sur le TCS que vous connaissez? S'il vous plaît inclure uniquement ceux qui sont destinés à être drôle. Les œuvres explicitement conçues pour être intelligemment humoristiques (plutôt que, par exemple, un recueil publié de petites blagues sur la théorie de...
Veuillez énumérer des exemples dans lesquels un théorème mathématique qui n’était normalement pas considéré comme applicable en informatique a été utilisé pour la première fois pour prouver un résultat en informatique. Les meilleurs exemples sont ceux où le lien n'était pas évident, mais une fois...
En réponse à une question précédente , j'ai mentionné la croyance commune mais fausse selon laquelle l' élimination «gaussienne» se fait dans le temps O(n3)O(n3)O(n^3) . Bien qu'il soit évident que l'algorithme utilise des opérations arithmétiques O(n3)O(n3)O(n^3) , une mise en œuvre négligente...
Je suis un praticien en logiciel et j'écris une étude sur les structures algébriques à des fins de recherche personnelle et j'essaie de produire des exemples d'utilisation de ces structures en informatique théorique (et, dans une moindre mesure, dans d'autres sous-domaines de l'informatique). ....
Je connais pas mal de résultats qui utilisent le théorème PCP (principalement dans l'approximation d'algorithmes), mais je n'ai jamais trouvé d'explication claire du théorème PCP (c'est-à-dire que ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Quels sont...
J'aimerais écrire un sondage sur les applications de la topologie en informatique. Je compte couvrir l’histoire des idées topologiques en informatique et souligner quelques développements récents. Il serait extrêmement utile que quiconque puisse donner son avis sur l’une des questions ci-dessous....
En TCS, nous utilisons souvent des résultats et des idées puissants issus des mathématiques classiques (algèbre, topologie, analyse, géométrie, etc.). Quels sont quelques exemples de quand il est allé dans le sens inverse? Voici quelques exemples que je connaisse (et aussi pour donner une idée du...
Dans la complexité descriptive , Immerman a Corollaire 7.23. Les conditions suivantes sont équivalentes: 1. P = NP. 2. Structures sur finies et ordonnées, FO (LFP) = SO. Cela peut être considéré comme "amplifiant" P = NP en une déclaration équivalente sur (probablement) des classes de complexité...
Pour (rechercher les versions) des problèmes NP- complets, la vérification d'une solution est clairement plus facile que de la trouver, car la vérification peut être effectuée en temps polynomial, tandis que la recherche d'un témoin prend (probablement) une durée exponentielle. En P , cependant, la...
Le théorème de Ladner stipule que si P ≠ NP, il existe une infinie hiérarchie de classes de complexité contenant strictement P et strictement contenu dans NP. La preuve utilise l'intégralité de la SAT sous plusieurs réductions de NP. La hiérarchie contient des classes de complexité construites...
Je crois comprendre que le modèle de Turing est devenu le "standard" dans la description du calcul. Je voudrais savoir pourquoi. Si le modèle TM est devenu plus largement utilisé que d’autres modèles théoriquement équivalents (à ma connaissance), comme le μ-récursion de Kleene ou le calcul lambda...
J'écris actuellement une enquête sur les théorèmes de hiérarchie sur le TCS. En recherchant des articles apparentés, j'ai remarqué que la hiérarchie était un concept fondamental non seulement dans les domaines du SDC et des mathématiques, mais également dans de nombreuses sciences, allant de la...
En 1937, Turing décrit une machine de Turing. Depuis lors, de nombreux modèles de calcul ont été décrits dans le but de trouver un modèle ressemblant à un vrai ordinateur, mais suffisamment simple pour concevoir et analyser des algorithmes. En conséquence, nous avons une douzaine d'algorithmes...
Ceci est un post-cross de math.stackexchange. Soit FACT représentent le problème de factorisation d'entiers: étant donné trouver des nombres premiers p i ∈ N , et les entiers e i ∈ N , de telle sorte que n = Π k i = 0 p e i i .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in...
Je cherche une réponse définitive à la question de savoir si la génération de nombres "réellement aléatoires" est calculable par Turing. Je ne sais pas comment formuler cela avec précision. Cette question de StackExchange sur les "algorithmes efficaces pour la génération de nombres aléatoires" est...