Informatique théorique

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

1
Quelle est la complexité de ce jeu de division immobilière?
Alice et Bob divisent la succession de leur oncle Charlie décédé (une collection finie d'articles discrets) selon ses souhaits. Tout d'abord, A choisit un élément, puis B, puis A, etc.XXX Alice et Bob ont chacun des fonctions utilitaires additives , de sorte que si Alice se retrouve avec l'ensemble , …
2
Forcer un comportement honnête
Comment pouvez-vous forcer une partie à être honnête (obéir aux règles du protocole)? J'ai vu certains mécanismes tels que les engagements, les preuves, etc., mais ils ne semblent tout simplement pas résoudre tout le problème. Il me semble que la structure de la conception du protocole et de tels mécanismes …
1
Complexité de la recherche de la composition à base d'une matrice * symétrique *
Il s'agit d'une version spécialisée d'une question précédente: Complexité de la recherche de la composition par matrice d'une matrice . Pour les matrices symétriques NxN, il est connu que le temps O (N ^ 3) suffit pour calculer la décomposition propre. La question est: pouvons-nous atteindre une complexité sub-cubique? Merci.
2
La complexité des hamiltoniens à lois régionales
J'ai récemment pensé à "importer" une question liée à la physique dans Quantum CS: La notion de phénomène de loi d'aire dans les systèmes hamiltoniens représente généralement un hamiltonien local sur un réseau, dont l'état fondamental présente une propriété dans laquelle l'intrication de toute région fermée est proportionnelle à la …
1
Existe-t-il une relation entre la théorie de la complexité informatique et la théorie des systèmes complexes?
La théorie de la complexité informatique classe les problèmes en fonction de leur difficulté inhérente. La théorie des systèmes complexes aborde les systèmes qui présentent des comportements qui ne découlent évidemment pas des propriétés des différentes parties du système. Les exemples incluent les systèmes chaotiques, les systèmes adaptatifs complexes ou …
8
Existe-t-il un autre algorithme dont le temps d'exécution le plus défavorable est exponentiel, alors qu'il fonctionne très bien en pratique autre que l'algorithme Simplex?
Nous appelons généralement un algorithme «bon algorithme» si son temps d'exécution est polynomial dans le pire des cas. Mais dans certains cas (par exemple l'algorithme Simplex), même si le pire des cas de l'algorithme est exponentiel, cela pourrait très bien fonctionner dans la pratique. Existe-t-il des exemples (déterministes) de cette …
1
propriétés de fermeture de IP (2pfa) et AM (2pfa)
IP (2pfa) et AM (2pfa) sont les classes de langues reconnues avec erreur bornée par les versions de pièces privées et publiques, respectivement, des systèmes de preuve interactifs avec des vérificateurs qui sont des automates finis probabilistes avec une tête d'entrée bidirectionnelle. Des propriétés de fermeture de ces classes sont-elles …
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.