Il est bien connu que pour l'apprentissage PAC classique, des exemples de sont nécessaires afin d'obtenir une limite d'erreur de ε whp, où d est la dimension VC de la classe de concept.Ω ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Est-il connu que des exemples de sont nécessaires dans le cas...
Je suis curieux de savoir si quelqu'un pourrait recommander du matériel supplémentaire pour acquérir une compréhension plus approfondie de l'article: " Quelques résultats et problèmes sur les inégalités quantiques de type Bell - Tsirelson ". Plus précisément, quelque chose qui pourrait élaborer un...
Dans l' article portant le même titre que celui de cette question, les auteurs décrivent comment construire une opération CAS multi-mots linéarisable non bloquante en utilisant uniquement un CAS en un seul mot. Ils introduisent d'abord l'opération de double comparaison-échange simple - RDCSS, comme...
Une formule CNF monotone avec m termes sur n variables ( X1, … , Xnx1,…,xnx_1,\ldots,x_n ) est une formule de la forme , où chaque est un OU d'un sous-ensemble du les variables et vont de à .C i x 1 , … , x n i 1 mF( x1, … , Xn) = ⋀ CjeF(X1,…,Xn)=⋀Cjef(x_1,\ldots,x_n) = \bigwedge C_iCjeCjeC_iX1, …...
Je lis l'excellent document d'enquête de Watrous sur papier sur la théorie de la complexité quantique. Il y déclare qu'il serait surprenant qu'un problème complet de l'AMQ se révèle avoir une promesse vide de sens (c'est-à-dire être une langue). Pourquoi cela est-il ainsi? Cela a-t-il à voir avec...
Existe-t-il une structure de données de mots-RAM de w bits avec O (1) temps par opération pour le problème suivant?: Maintenir un ensemble d'entiers non négatifs de w bits qui prend en charge les opérations add (x): ajoutez x à l'ensemble remove (x): supprime x de l'ensemble fingerprint ():...
En gros, l'appariement des modèles de permutation traite des problèmes du type suivant: Étant donné les permutations dans et dans , avec , contient-il une sous- séquence de longueur dont les éléments sont ordonnés selon ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm≤nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Par exemple,...
Voici une question "piste B" s'il y en a jamais eu. Résumé: la première chose à laquelle je pense lorsque j'essaie de donner une sémantique à des programmes non déterministes se traduit par une sémantique où je ne peux pas prouver les choses sur les boucles qui ne terminent que la non-déterminisme....
Quelqu'un peut-il m'indiquer la référence pour la non-définissabilité du module de continuité fonctionnelle en PCF? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer a écrit un très bon article de blog explorant certains des problèmes...
Ma question porte sur l'équivalence de la sécurité des différentes fonctions unidirectionnelles candidates qui peuvent être construites en fonction de la dureté de l'affacturage. En supposant que le problème de FACTEUR: [Étant donné pour des nombres premiers aléatoires P , Q < 2 n , trouver P ,...
Étant donné un graphique mixte avec les arêtes et les arcs , trouvez une correspondance dans qui minimise le nombre d'arcs dans , où est obtenu à partir de en contractant les sommets correspondants et en supprimant arcs parallèles.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG (La...
Je veux commencer à apprendre le codage réseau: http://en.wikipedia.org/wiki/Network_coding Connaissez-vous une bonne enquête (par exemple à partir des enquêtes et des tutoriels IEEE) sur les sujets ci-dessus. J'ai trouvé des cours universitaires sur google mais j'aimerais avoir des recommandations...
Existe-t-il des postes pour les étudiants récemment diplômés du baccalauréat ou de la maîtrise avec un dossier de recherche à travailler en tant que chercheur avant de s'engager dans leur doctorat? TCS a une culture de postes post-doctoraux pour les récents diplômés de doctorat pour faire de la...
Disons que nous avons un polyèdre sous forme standard: Ax=bx≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Existe-t-il des méthodes connues pour trouver un hyperplan qui divise le polyèdre de manière à ce que le...
Katz et Lindell mentionnent dans leur livre que le LFSR a été horrible comme base pour les générateurs pseudo-aléatoires, et préconisent qu'ils ne soient plus utilisés (enfin, ils recommandent également aux gens d'utiliser des chiffrements par blocs au lieu de chiffrements par flux). Mais je vois...
Supposons que soit un langage booléen, de chaînes finies sur . Soit le nombre de chaînes de de longueur . Pour une fonction des entiers positifs aux nombres réels positifs, a une densité supérieure si L n ≤ 2 n d ( n ) pour tout n suffisamment grand
Une langue est dans la classe D P ssi il y a deux langues L 1 ∈ N P et L 2 ∈ c o N P telles que L = L 1 ∩ L 2LLLD PDPDPL 1 ∈ NPL1∈NPL1 \in NPL 2 ∈ c o NPL2∈coNPL2 \in coNPL = L 1 ∩ L 2L=L1∩L2L = L1 \cap L2 A canonique problème -complete est SAT-UNSAT: étant donné deux expressions 3-CNF, F et G ,...
Je suis confronté à un dilemme plutôt difficile: - J'avais terminé M.Tech en CS 2 ans en arrière, complétant ma thèse dans le domaine des tests VLSI. Bien que j'aimais mon travail, je ne souhaite pas y retourner pour poursuivre mon doctorat en cela - je souhaitais vivement poursuivre un cours...
Je recherche le texte intégral du résultat de la clique Moon and Moser 1965 On Cliques in Graphs (il existe des graphes avec un certain nombre de cliques maximales exponentielles en ). Le mur de paiement de mon université n'a pas accès au journal en question. (En fait, l' aperçu fournit les...
J'ai souvent entendu dire que vous ne pouvez pas écrire un programme pour détecter les bogues dans un navigateur Web, un traitement de texte ou un système d'exploitation, à cause du théorème de Rice: toute propriété sémantique pour un langage complet de Turing est indécidable. Cependant, je ne sais...