Informatique théorique

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

2
Une fonction booléenne qui n'est pas constante sur des sous-espaces affines de dimension suffisamment grande
Je suis intéressé par une fonction booléenne explicite avec la propriété suivante: si est constant sur un sous-espace affine de , alors la dimension de ce sous-espace est .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Il n'est pas difficile de montrer qu'une fonction symétrique ne satisfait pas cette propriété en considérant un …
1
Puzzle de bâtons de coupe
Problème: on nous donne un ensemble de bâtons ayant tous des longueurs entières. La somme totale de leurs longueurs est n (n + 1) / 2. Pouvons-nous les casser pour obtenir des bâtons de taille en temps polynomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Étonnamment, la seule référence que …
2
Limites inférieures de la complexité gaussienne
Définissez la complexité gaussienne d'une matrice comme le nombre minimal d'opérations élémentaires de ligne et de colonne nécessaires pour amener la matrice sous une forme triangulaire supérieure. Il s'agit d'une quantité comprise entre 0 et n 2 (via élémination gaussienne). La notion prend tout son sens dans n'importe quel domaine.n×nn×nn …
3
Modèles de calcul strictement entre classique et quantique en termes de complexité de requête
Il est bien connu que les ordinateurs quantiques sont strictement plus puissants que leurs homologues classiques en termes de complexité des requêtes . Existe-t-il d'autres modèles (naturels ou artificiels) qui se situent strictement entre le quantique et le classique en termes de complexité des requêtes? La séparation peut être activée …
1
Un espace topologique lié à la SAT: est-il compact?
Le problème de satisfaction est, bien sûr, un problème fondamental en CS théorique. Je jouais avec une version du problème avec une infinité de variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuration de base. Soit XXX un ensemble de variables non vide et éventuellement infini . Un littéral est soit une variable x ∈ …
2
Algorithmes pour l'empaquetage des ensembles
Il semble y avoir beaucoup de travail, pour certains problèmes NP-Hard, sur le développement d'algorithmes exacts à temps exponentiel rapide (c'est-à-dire, les résultats de la forme: L'algorithme A résout le problème en temps O (c ^ n), avec c petit). Il semble y avoir beaucoup de travail dans ce sens …
1
L'agrégateur de blog TOC est hors ligne
Je m'excuse si c'est hors sujet. Il semble que le nom de domaine ait expiré. J'espère que certains membres de la communauté ici (je n'en suis pas un) peuvent savoir qui était l'administrateur / propriétaire de ce site. C'était une ressource très utile.
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.