Supposons que nous ayons une fonction telle que et est une distribution, c'est-à-dire .f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}∀x∈Zn2f(x)∈{12n,22n,…,2n2n},∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n}...
Soit un graphe. Soitêtre un entier. Soit le nombre de sous-graphes induits par les arêtes de ayant sommets et un nombre impair d'arêtes. Soit le nombre de sous-graphes induits par les arêtes de ayant sommets et un nombre pair d'arêtes. Soit . Le problème ODD EVEN DELTA consiste à calculer , étant...
Pour autant que je sache, une fonction Haskell avec des contraintes de classes de type est compilée en interne en une fonction avec des arguments supplémentaires qui reçoivent des dictionnaires avec les implémentations nécessaires de chaque classe de type particulière. Existe-t-il d'autres...
Les foncteurs construits à partir de produits finis et de sommes ont l'ordinal de fermeture ωω\omega , bien détaillé dans ce manuscrit de François Metayer. dire que nous pouvons atteindre le type inductif n a t : = μ X. 1 + Xnat:=μX.1+Xnat := \mu X. 1 + X en itérant le foncteur 1 + X1+X1 + X , qui...
Le livre d'Arora et Barak contient des notes de chapitre sur PCP Nous notons que la stratégie générale de Dinur rappelle quelque peu la construction en zig-zag des graphiques d'extension et l'algorithme déterministe de l'espace de journalisation de Reingold pour la connectivité non dirigée décrit...
kkk points distincts sont choisis au hasard dans une grille . (Évidemment et est un nombre constant donné.) Un graphique pondéré complet est construit à partir de ces points de telle sorte que le poids de l'arête entre le sommet et le sommet est égal à la distance Manhattan de deux sommets sur la...
Supposons qu'Alice ait une distribution sur un domaine fini (mais peut-être très grand), de telle sorte que l'entropie (Shannon) de soit délimitée par une constante arbitrairement petite . Alice tire une valeur de , puis demande à Bob (qui connaît ) de deviner
J'ai commencé à m'intéresser à l'optimisation mathématique assez récemment et je l'adore. Il semble que beaucoup de problèmes d'optimisation peuvent être facilement exprimés et résolus sous forme de programmes linéaires (par exemple, flux de réseau, couverture de bord / sommet, vendeur itinérant,...
J'essaie de comprendre le document sur les systèmes de preuve p-optimaux et la logique pour PTIME . Il y a une notion appelée systèmes de preuve dans le papier et je ne comprends pas l'intution: ... Nous identifions des problèmes avec des sous-ensembles de Q dans Σ ∗ .Σ={0,1}Σ={0,1}\Sigma =...
Si vous avez deux fonctions implémentant un algorithme de tri différent, est-il alors possible de déduire par code source qu'elles ont toutes les deux les mêmes propriétés externes? Cela signifie qu'ils auront tous les deux une séquence non triée possible comme entrée et une séquence triée comme...
Pour mieux comprendre un article, j'essaie d'obtenir une brève compréhension de la logique des points les moins fixes. Il y a quelques points où je suis coincé. Si est un graphique etG = ( V, E)G=(V,E)G = (V,E) Φ ( P) = { ( a , b ) ∣ G ⊨ E( a , b ) ∨ P( a , b ) ∨ ∃ z( E( a , z) ∧ P( z, b ) )...
Supposons que nous ne connaissions pas le résultat de Joe B. Wells de 1994 selon lequel la typabilité et la vérification de type sont indécidables dans le système F (AKA ). Dans les calculs Lambda avec types de Barendregt (1992), j'ai trouvé une preuve due à Malecki 1989 que la vérification de type...
Il est bien connu que la complexité de la requête quantique d'erreur bornée de la fonction est Θ ( √O R ( x1, x2, … , Xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Maintenantla question est que si nous voulonsnotre algorithme quantique pour réussir à chaque entrée avecprobabilité1-εplutôt que...
Intrigué par la question intéressante de Chris Pressey sur les fonctions élémentaires-récursives , j'explorais davantage et je n'arrivais pas à trouver une réponse à cette question sur le web. Les fonctions récursives élémentaires correspondent bien à la hiérarchie exponentielle, .DTIME ( 2n) ∪...
Voici l'arrière-plan de cette question. Des amis et moi jouions à un jeu où tout le monde devait offrir un cadeau à une autre personne. Afin de déterminer qui doit offrir un cadeau à qui, nous décidons de tirer au sort. Mais le problème est que quelqu'un pourrait finir par se donner des cadeaux, ce...
Ce qui suit me semble être une définition naturelle et je me demande si cela a été étudié quelque part Considérons un ensemble de langues. Alors K ⊂ { 0 , 1 } ω est appelé " information X- vérifiable" quand il y a L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...
J'ai rencontré ce problème d'appariement pour lequel je ne suis pas en mesure d'écrire un algorithme de temps polynomial. Soit graphiques pondérés complets avec les ensembles de sommets et , respectivement, où . Soit également et les fonctions de pondération sur les bords de et , respectivement.P V...
il est bien connu que le modal -calculusμμ\mu est l'une des logiques temporelles les plus expressives pour exprimer les propriétés des arbres / graphiques, et que CTL * est strictement moins expressif que le -calculus.μμ\mu Ici, je voudrais demander un exemple de formule -calculus, aussi simple que...
Chaque langage indécidable reconnaissable par Turing a-t-il un sous-ensemble NP-complet? La question pourrait être considérée comme une version plus forte du fait que chaque langue infinie reconnaissable par Turing a un sous-ensemble décidable
Dans l'article d'Adi Shamir [1] de 1979, il montre que l'affacturage peut se faire en un nombre polynomial d' étapes arithmétiques . Ce fait a été réaffirmé et a donc été porté à mon attention dans le récent article de Borwein et Hobart [2] dans le contexte des programmes en ligne droite (SLP)....