Informatique théorique

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

1
Existe-t-il un ensemble de portes unitaires finies qui peut réaliser exactement tous les QFT d'ordre ?
J'examine des idées sur les algorithmes quantiques exacts. En particulier, je considère les limitations probables de , qui se compose de langages exactement décidables par des familles de circuits quantiques uniformes en temps polytemporaire sur un ensemble arbitraire de portes finies.E Q PEQP\mathsf{EQP} La transformée de Fourier quantique (QFT), donnée …
2
Complexité en ligne droite des monômes
Soit kkk un champ. Comme d'habitude, pour un f∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}] nous définissons L(f)L(f)L(f) comme la complexité linéaire de fff sur kkk . Soit FFF l'ensemble des monômes de fff , à savoir les monômes qui apparaissent en fff avec un coefficient non nul. Est-il vrai que ∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in F:L(m)\le …
2
Comment juger que la définition de la complexité de calcul des réels est naturelle ou appropriée?
Comme nous le savons, la définition de la complexité de calcul de l'algorithme est presque sans controverse, mais la définition de la complexité de calcul des réels ou des modèles de calcul sur les réels n'est pas dans un tel cas. Nous connaissons le modèle et le modèle de Blum …
1
Calcul lambda simplement tapé et logique d'ordre supérieur
Quelle est la relation entre le calcul lambda simplement typé et la logique d'ordre supérieur? Sous Curry-Howard, il semble que le calcul lambda simplement typé correspond à la logique propositionnelle. Comment est-il lié à une logique d'ordre supérieur? Selon ce tutoriel de Geuvers: http://typessummerschool07.cs.unibo.it/courses/geuvers-1.pdf la langue de HOL semble être …
1
Implémentation d'arbres de partition?
Des arborescences de partition ont-elles déjà été implémentées? Ici, je parle des arbres de partition de la géométrie de calcul. Les premières versions (presque) optimales étaient dues à Matousek et à d'autres, et plus récemment à Timothy Chan: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Cela me semble fou que ceux-ci n'aient jamais été implémentés, mais …
4
Problèmes polynomiaux dans les classes de graphes définis par des sous-graphes cycliques induits interdits
Crossposted de MO . Soit une classe de graphes définie par un nombre fini de sous-graphes induits interdits, tous cycliques (contenant au moins un cycle).CCC Existe-t-il des problèmes de graphes NP-difficiles qui peuvent être résolus en temps polynomial pour autre que Clique et Clique cover?CCC Si je me souviens bien, …
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.