Lorsque nous considérons un algorithme d'approximation pour un problème de minimisation, l'écart d'intégralité d'une formulation IP pour ce problème donne une limite inférieure d'un rapport d'approximation pour certaines classes d'algorithmes (comme l'arrondi ou l'algorithme primal-dual). En fait,...
Supposons que nous ayons polynômes p1,...,pmp1,...,pmp_1,...,p_m de degré au plus , , de sorte que le nombre total de coefficients non nuls est (c'est-à-dire que les polynômes sont rares). Je suis intéressé par un algorithme efficace pour calculer le polynôme:nnnn>mn>mn>mnnn...
Je pense qu'un théorème de hiérarchie des tailles pour la complexité des circuits peut être une percée majeure dans le domaine. Est-ce une approche intéressante de la séparation des classes? La motivation de la question est que nous devons dire il existe une fonction qui ne peut pas être calculée...
Existe-t-il un moyen de prouver le théorème suivant dans Coq? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. EDIT : Une tentative de donner une brève explication de "ce qu'est la pertinence non pertinente" (corrigez-moi quelqu'un si je me trompe ou je me trompe) L'idée de base...
J'ai beaucoup de cuboïdes dans l'espace 3D, chacun a un point de départ à (x, y, z) et a une taille de (Lx, Ly, Lz). Je me demande comment trouver un plus grand cube dans cet espace 3D qui est contenu dans l'union des cuboïdes. Existe-t-il un algorithme efficace pour cela? Par exemple, si j'ai les...
Il est bien connu que si P=NPP=NP\mathbf{P}=\mathbf{NP} puis la hiérarchie polynomiale effondre et P=PHP=PH\mathbf{P}=\mathbf{PH} . Cela peut facilement être compris par induction en utilisant des machines Oracle. La question est - pourquoi ne pouvons-nous pas poursuivre le processus inductif...
Quelqu'un peut-il expliquer brièvement (si c'est possible!) Ou me renvoyer à une référence, résumant les différences entre le calcul lambda non typé et les calculs lambda typés plus courants? Je recherche en particulier des énoncés de leur puissance expressive, des équivalences avec des systèmes...
Je passe en revue le Handbook of Nature-Inspired and Innovative Computing pour SIGACT News. C'est une lecture très intéressante. Chaque chapitre, cependant, a la saveur, "C'est mon domaine de recherche, et bon sang c'est génial!" Donc, une partie de ce que j'essaie de faire est de séparer le...
En 1979, Freivalds a montré que la vérification des produits matriciels sur n'importe quel champ peut être effectuée en temps randomisé . Plus formellement, étant donné trois matrices A, B et C, avec des entrées d'un champ F, le problème de vérifier si AB = C a un algorithme de temps randomisé .O (...
Mon fils de 8 ans s'est ennuyé à créer des labyrinthes conventionnels et a commencé à créer des variantes qui ressemblent à ceci: L'idée est de partir de x et d'atteindre o via les règles normales. De plus, vous pouvez "sauter" de tout entier à tout autre entier , mais vous devez payerdollars pour...
Il s'agit d'une reformulation des programmes de grammaires Are? précédent demandé par Vag et avec de nombreuses suggestions des commentateurs. De quelle manière une grammaire peut-elle être considérée comme spécifiant un modèle de calcul? Si, par exemple, nous prenons une grammaire simple sans...
Cela peut être considéré comme une question stupide. Je ne suis pas majeur en informatique (et je ne suis pas encore majeur en mathématiques non plus), alors veuillez m'excuser si vous pensez que les questions suivantes présentent des hypothèses erronées majeures. Bien qu'il soit prévu...
Une approche récente de la création d'une monnaie en ligne décentralisée, appelée Bitcoin , a suscité un certain intérêt. L'objectif est d'avoir un moyen de transférer des devises sans autorité centrale et sans double dépense ou contrefaçon. Leur approche consiste à faire en sorte que tous les...
Ici, l'objectif est de réduire un problème SAT arbitraire à 3-SAT en temps polynomial en utilisant le moins de clauses et de variables. Ma question est motivée par la curiosité. Moins formellement, j'aimerais savoir: "Quelle est la réduction" la plus naturelle "du SAT au 3-SAT?" Maintenant, la...
n(n+1)(n+1)(n + 1) points sont nécessaires pour déterminer de façon unique un polynôme de degré ; par exemple, deux points dans un plan déterminent exactement une ligne.nnn Combien de points sont nécessaires pour déterminer de manière unique une fonction calculable , étant donné la longueur d'un...
Travailler directement avec la complexité du temps ou les limites inférieures du circuit est effrayant. Par conséquent, nous développons des outils tels que la complexité des requêtes (ou la complexité de l'arbre de décision) pour comprendre les limites inférieures. Étant donné que chaque requête...
Par curiosité, si le calcul classique concerne les matrices de permutation et l'informatique quantique concerne les matrices unitaires (dont les matrices de permutation sont un sous-groupe), y aura-t-il un paradigme de calcul au-delà des matrices
EDIT (22 août 2011): Je simplifie encore la question et je mets à contribution la question. Peut-être que cette question plus simple aura une réponse facile. Je vais également biffer toutes les parties de la question initiale qui ne sont plus pertinentes. (Merci à Stasys Jukna et Ryan O'Donnell...
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...
Quelle est la complexité (sur la RAM entière standard) du calcul de la transformée de Fourier discrète standard d'un vecteur de nombres entiers?nnn L' algorithme classique pour les transformées de Fourier rapides , attribué de manière inappropriée [1] à Cooley et Tukey, est généralement décrit...