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.

5
Les raisons historiques de l’adoption de la machine de Turing en tant que modèle de calcul principal.
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 (je comprends). que …
12
Les bases de Gröbner dans TCS?
Est-ce que quelqu'un connaît des applications intéressantes des bases de Gröbner à l'informatique théorique? Les bases de Gröbner sont utilisées pour résoudre des équations polynomiales multivariées, un problème NP-difficile en général. Je me demandais si des cas spéciaux traitables étaient utilisés pour fournir des algorithmes / constructions / preuves efficaces …
1
Prérequis pour apprendre le GCT
Il semble que la théorie de la complexité géométrique nécessite une connaissance approfondie des mathématiques pures telles que la géométrie algébrique, la théorie de la représentation. Bien que je sois un étudiant en informatique et que je n’ai PAS de cours de mathématiques très abstraites et pures, ce programme m’intéresse. …
9
Références pour les techniques de preuve TCS
Existe-t-il des références (en ligne ou sous forme de livre) qui organisent et discutent des théorèmes du SDC par technique de démonstration? Garey et Johnson le font pour les différents types de constructions de widgets nécessaires pour les preuves de complétude NP (en particulier dans le chapitre 3 de leur …
5
Résultats en CS théorique indépendants de ZFC
Je vais poser une question assez vague, car la frontière entre l'informatique théorique et les mathématiques n'est pas toujours facile à distinguer. QUESTION: Connaissez -vous des résultats intéressants dans CS qui sont indépendants de ZFC (c'est-à-dire de la théorie des ensembles standard) ou qui ont été prouvés à l'origine dans …
7
Que savons-nous sur les programmes parfaitement corrects?
La complexité croissante des programmes informatiques et la position de plus en plus cruciale des ordinateurs dans notre société me laissent nous demander pourquoi nous n'utilisons toujours pas collectivement des langages de programmation dans lesquels vous devez prouver formellement que votre code fonctionne correctement. Je crois que le terme est …
1
Multiplier n polynômes de degré 1
Le problème est de calculer le polynôme . Supposons que tous les coefficients tiennent dans un mot machine, c’est-à-dire qu’ils puissent être manipulés dans le temps unitaire.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Vous pouvez faire fois en appliquant la FFT sous forme d’arbre. Pouvez-vous faire …
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.