Informatique théorique

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

1
Techniques de preuve pour montrer que la vérification du type dépendant est décidable
Je suis dans une situation où je dois montrer que la vérification de typage est décidable pour un calcul typé de manière dépendante sur lequel je travaille. Jusqu'à présent, j'ai pu prouver que le système est en train de normaliser fortement, et donc que l'égalité définitionnelle est décidable. Dans de …
1
Simulation classique rapide d'algorithmes quantiques
Existe-t-il des exemples de cas où la simulation classique d'un algorithme quantique pour un problème surpasse le meilleur algorithme classique précédemment connu pour ce problème? "Surperformances" ne signifie pas nécessairement une classe de complexité différente, il pourrait simplement s'agir d'une meilleure mise à l'échelle. Cette question s'inspire du cas de …
1
Ce jeu EXPSPACE est-il complet?
Que soit une machine déterministe polynomial qui peut poser des questions à un oracle A . Initialement, A est vide mais cela peut être modifié après un jeu qui sera décrit ci-dessous. Soit x une chaîne.MMMUNEUNEAUNEUNEAXXx Considérez le jeu Alice et Bob suivant. Initialement, Alice et Bob ont respectivement et …
1
L'équilibre dans un jeu d'arrêt
Considérez le jeu à 2 joueurs suivant: La nature choisit au hasard un programme Chaque joueur joue un nombre en [0, infini] inclus en réponse au mouvement de la nature Prenez le minimum de numéros de joueurs et exécutez le programme pour (jusqu'à) autant d'étapes (sauf si les deux joueurs …
1
Tri avec une moyenne de
Existe-t-il un algorithme de tri basé sur la comparaison qui utilise une moyenne de lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) comparaisons? L'existence d'un algorithme de comparaison pire des cas lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n)est un problème ouvert, mais le cas moyen suffit pour un algorithme randomisé avec des comparaisons attendues lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n)pour chaque entrée . La signification de lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) est …
1
Trouver un argmax approximatif en utilisant uniquement des requêtes max approximatives
Considérez le problème suivant. Il existe valeurs inconnues . La tâche consiste à rechercher l'index du plus grand en utilisant uniquement les requêtes du formulaire suivant. Une requête est spécifiée par un ensemble et la réponse correspondante est . L'objectif est d'utiliser le moins de requêtes possible.v 1 , ⋯ …
1
Ce polytope «d'emballage de sous-groupe» est-il intégral?
Soit un groupe abélien fini, et soit P le polytope dans R Γ défini comme étant les points x satisfaisant les inégalités suivantes:ΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} où signifie que G est un …
2
Complexité de l'homogénéisation d'une chaîne
Motivation : lors du développement d'outils de gestion des versions de données, nous avons fini par chercher des algorithmes pour «différencier» deux ensembles d'entiers, en proposant une séquence de transformations qui amènent un ensemble d'entiers à l'autre. Nous avons pu réduire ce problème au problème très naturel suivant qui semble …
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.