Informatique théorique

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

2
Peut-on trier sans permutations?
Il est bien connu que le tri des permutations par transposition est dans , car le nombre minimum de transpositions nécessaires pour trier est exactement . Cette notion de "nombre d'inversion" trouve également des applications en combinatoire algébrique, par exemple elle permet de doter d'une structure de réseau, appelée permutoèdre …
12 sorting 
1
La dureté APX n'implique aucun QPTAS?
Donc, une recherche rapide sur le Web m'a amené à croire que "APXHardness implique qu'aucun QPTAS n'existe pour un problème à moins que [une certaine classe de complexité] ne soit incluse dans une [autre classe de complexité]" et c'est bien connu aussi! Il semble que tout le monde le sait, …
1
comme oracle
Est-ce que NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}maintenez? Clairement NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mais il me semble que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} est "déterministe" ce qui me fait croire que c'est vrai. Existe-t-il une preuve simple (ou peut-être juste par définition)?
3
Quand utiliser le lemme de Johnson-Lindenstrauss sur SVD?
Le lemme de Johnson-Lindenstrauss permet de représenter des points dans un espace de grande dimension en points de dimension inférieure. Lors de la recherche d'espaces de dimension inférieure de meilleur ajustement, une technique standard consiste à trouver la décomposition des valeurs singulières, puis à prendre le sous-espace généré par les …
1
Catégories algébriquement compactes
J'ai lu l'article de Freyd «Catégories algébriquement complètes» dans le célèbre Como90 et j'ai deux questions sur la notion de compacité algébrique qu'il a définie dans cet article. (Si vous n'êtes pas familier avec la définition, la voici: une catégorie est appelée algébriquement compacte si chaque endofuncteur a une algèbre …
1
Est-ce une condition équivalente pour les posets algébriques?
La définition de "poset algébrique" dans les réseaux continus et les domaines , définition I-4.2, dit que, pour tout ,x∈Lx∈Lx \in L l'ensemble doit être un ensemble dirigé, etA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) . Ici LLL est un poset, K(L)K(L)K(L) est l'ensemble …
3
Sélectionner en union de tableaux triés: déjà connu?
Je recherche des références bibliographiques pour l'algorithme / problème suivant: je l'ai nommé "BiSelect" ou "t-ary Select" ou "Select in Union of Sorted Arrays", mais je suppose qu'il a été introduit auparavant sous un autre nom? Problème Considérez le problème suivant: Étant donné tableaux triés disjoints A 1 , …
1
Théorie décidable de la croissance asymptotique
Quelles sont les limites connues de la décidabilité de la comparaison du taux de croissance des fonctions de ? Je pense ici à la décidabilité de questions comme "Est-ce que ?" ou "Est-ce que ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg⁡(x+2)⌋x^x \sim 2^{\lfloor x \lg (x+2) \rfloor}2lg∗x∈O(lglgx)2lg∗⁡x∈O(lg⁡lg⁡x)2^{\lg^* x} \in O(\lg \lg x) Si nous …
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.