Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

9
Algorithmes puissants trop complexes à implémenter
Quels sont les algorithmes d’utilité légitime tout simplement trop complexes à mettre en œuvre? Soyons clairs: je ne cherche pas d’algorithmes comme l’algorithme actuel de multiplication de matrice optimale asymptotique (Coppersmith-Winograd), qu’il est raisonnable de mettre en œuvre mais dont la constante est inutile en pratique. Je recherche des algorithmes …
7
Quels théorèmes intéressants dans TCS s'appuient sur l'axiome du choix? (Ou bien, l'axiome de la détermination?)
Les mathématiciens s’inquiètent parfois de l’axiome du choix (AC) et de l’axiome de la détermination (AD). Axiom of Choice : Compte tenu de toute collection des ensembles non vides, il y a une fonction qui, étant donné un ensemble dans , retourne un membre de . f S C SCC{\cal …
7
Les problèmes complets
À l' heure actuelle, la résolution soit une problème -complete ou un P S P A C E problème -complete est impossible dans le cas général pour les grandes entrées. Cependant, les deux peuvent être résolus en temps exponentiel et en espace polynomial.NPNPNPPSPUn cEPSPACEPSPACE Puisque nous ne pouvons pas construire …
11
Fausses croyances communes en informatique théorique
EDIT AU 10/12/08: Je vais essayer de modifier la question pour que plus de personnes puissent partager leurs opinions. Nous avons besoin de vos contributions! Ce billet est inspiré de celui de MO: Exemples de fausses croyances courantes en mathématiques . Les grandes listes génèrent parfois un nombre considérable de …
3
Comment arbitrer un papier?
Mis à jour ci-dessous Nous connaissons tous l'importance cruciale de l'examen par les pairs. C’est la principale forme de contrôle de la qualité et de retour d’information sur la recherche. Cependant, pour un chercheur débutant (comme moi), cela peut parfois être un système / processus déroutant. En conséquence, plusieurs traités …
30
Des petits pas pour de meilleures conférences sur le SDC?
Souvent, lorsque nous participons aux conférences du SDC, nous remarquons quelques petits détails dont nous souhaitons que les organisateurs de la conférence se soient occupés. Et lorsque nous organisons des conférences, nous l’avons déjà oublié. D'où la question: quelles petites mesures pourrions-nous facilement prendre pour améliorer les conférences du SDC …
14
Applications de la topologie à l'informatique
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. Existe-t-il des documents ou des notes décrivant la chronologie …
17
Applications du TCS aux mathématiques classiques?
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 type de résultats que …
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.