Informatique théorique

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

6
En quoi les algorithmes de recherche de chemins à la fine pointe de la technologie pour changer les graphes (D *, D * -Lite, LPA *, etc.) diffèrent-ils?
De nombreux algorithmes de recherche de trajectoire ont été développés ces dernières années. Ils permettent de calculer la meilleure trajectoire en réponse aux changements de graphes beaucoup plus rapidement que A * - en quoi consistent-ils et en quoi diffèrent-ils? S'agit-il de situations différentes ou certaines obsolètes? Ce sont ceux …
15
Un problème simple dont la décidabilité est inconnue
Je me prépare pour une conférence destinée aux étudiants en mathématiques de premier cycle et, dans ce cadre, j’envisage de discuter du concept de décidabilité. Je veux donner un exemple d'un problème que nous ne savons pas actuellement décisif ou indécidable. Il existe de nombreux problèmes de ce type, mais …
5
Liste des conférences et des ateliers du SDC
J'aimerais demander de l'aide pour compiler une liste du plus grand nombre possible de conférences et d'ateliers liés au SDC. Ma principale motivation est de planifier la couverture possible de plusieurs théories par le blog - trouver des correspondants assistant à ces événements qui seraient disposés à écrire des entrées …
30
Documents drôles liés au TCS, etc.?
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 la complexité) …
2
La réduction de l'algorithme de Shor a-t-elle été découverte à l'origine par Shor?
C’est une "question historique" plus qu’une question de recherche, mais la réduction classique à la recherche d’ordres dans l’algorithme de factorisation de Shor a-t-elle été découverte à l’origine par Peter Shor, ou était-elle connue auparavant? Existe-t-il un document décrivant la réduction antérieure à Shor, ou s'agit-il simplement d'un "résultat folklorique"? …
14
Quel type d'arrière-plan mathématique est nécessaire pour la théorie de la complexité?
Je suis actuellement un étudiant de premier cycle, obligé d'obtenir un diplôme cette année. Après avoir obtenu mon diplôme, j’envisage d’obtenir un master / doctorat en sciences de la technologie. J'ai commencé à me demander quels domaines des mathématiques sont considérés comme utiles pour le SDC, en particulier la théorie …
7
À quoi ressemblerait un programme quantique très simple?
À la lumière de l'annonce de la première puce au monde à photonique quantique programmable , je me demandais quel serait le logiciel d'un ordinateur utilisant l'intrication quantique. L’un des premiers programmes que j’ai écrit était quelque chose comme: for i = 1 to 10 print i next i Quelqu'un …
20
Des exemples de mathématiques «non liées» jouant un rôle fondamental dans le SDC?
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 découvert, c'est clairement la "bonne …
5
Techniques d'inversion de l'ordre des quantificateurs
Il est bien connu qu'en général, l'ordre des quantificateurs universels et existentiels ne peut être inversé. En d' autres termes, pour une logique formule générale ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) , (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) D'autre part, nous savons que le côté droit est plus restrictif 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.