Dans les rubriques avancées sur les types et les langages de programmation, il est mentionné, dans le chapitre sur les systèmes de types sous-structurels, qu'un calcul lambda affiné "soigneusement conçu" avec un combinateur de récursivité pour les listes ne peut taper que des termes qui ont un...
Je suis intéressé par le problème suivant. On nous donne en entrée une "permutation cible" , ainsi qu'une liste ordonnée d'indices . Ensuite, en commençant par la liste (c'est-à-dire la permutation d'identité), à chaque pas de temps nous l' dans avec le élément, avec probabilité indépendante . Soit...
Y a-t-il des problèmes qui ne peuvent être résolus en temps polynomial que si P! = NP, et autrement résolu en (disons) temps?O(2n)O(2n)O(2^n) Un exemple simple serait: si P! = NP, calculez un test de primalité pour un nombre aléatoire de n bits, sinon, évaluez une position aléatoire dans le pire...
En utilisant le modèle réel RAM / BSS, nous avons la classe NP , (où un BSS est le modèle Blum-Shub-Smale d'un ordinateur avec des opérations sur des réels). Nous avons des problèmes complets de NP _ {\ mathbb {R}} . Donc, la question est de savoir s'il existe un analogue de la conjecture de Berman...
Crossposted de MO . l'isomorphisme du graphique coloré (bord) est GI qui préserve les couleurs (des bords s'il est coloré). Il existe plusieurs réductions utilisant des transformations / gadgets de GI (bord) coloré en GI. Pour l'IG de couleur de bord, le plus simple est de remplacer le bord de...
Supposons que nous ayons une fonction booléenne de . Il est clair qu'un vrai polynôme multivarié p ( x ) tel que f ( x ) = p ( x ) sur x ∈ { 0 , 1 } n peut être multilinéaire. Quelles sont les classes intéressantes de fonctions booléennes pour lesquelles le degré minimal de p ( x )F: { 0 , 1 }n→ {...
J'essaie de trouver une distribution sur vecteurs aléatoires, disons , sur la sphère de l'unité dimensionnelle (où ) qui minimise soumis à la contrainte \ mathbb {E} [x_i ^ Tx_j] = 0 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j}...
Babai et Seress ont prouvé que, étant donné un sous-groupe et un groupe électrogène de , toute permutation dans peut être écrite comme un produit de générateurs et de leurs inverses de longueur . Cette borne est optimale puisque a un élément d'ordre . S G G e ( 1 + o ( 1 ) ) √G ≤ SnG≤SnG \leq...
Disons que je travaille dans la théorie des types d'homotopie et que mes seuls objets d'étude sont des catégories conventionnelles. Equivalences ici sont donnés par foncteurs et G : C ⟶ D qui fournissent des équivalences de catégories C ≃ D . Il existe des isomorphismes naturels α : n a t ( F G , 1...
Plus précisément ce que je veux dire par addition est, nous définissons pour être l'alphabet { 0 , 1 , 2 , . . . , i } . Compte tenu de langues régulières A et B sous un alphabet Σ i , regardez A × B .ΣjeΣi\Sigma_i{ 0 , 1 , 2 , . . . , i }{0,1,2,...,i}\{0, 1, 2, ..., i\}UNEAABBBΣjeΣi\Sigma_iA ×...
L' hypothèse de Riemann vieille de plus d'un siècle et demi a des implications profondes en mathématiques et un grand édifice de la théorie mathématique est maintenant prouvé conditionnellement sur elle et de nombreuses variantes. Je suis récemment tombé sur une référence à un résultat conditionnel...
Contexte: Le traitement des transactions est un sujet de recherche traditionnel en théorie des bases de données. De nos jours, les transactions distribuées sont popularisées par les systèmes de stockage distribué à grande échelle qui impliquent généralement la partition de données (également...
Ma question concerne les algorithmes quantiques pour les calculs QED (électrodynamique quantique) liés aux constantes de structure fine. De tels calculs (comme on m'a expliqué) revient à calculer des séries de type Taylor où α est la constante de structure fine (autour de 1/137) et c k est la...
Quelle est l'approche standard pour minimiser Büchi-Automata (ou aussi Müller-Automata)? Le transfert de la technique habituelle à partir de mots finis, c'est-à-dire la mise à égalité de deux états si les mots "en cours d'exécution" des états acceptés sont les mêmes, ne fonctionnera pas. Par...
Dans l'article de 1965 « Sur la complexité de calcul des algorithmes » de Hartmanis et Stearns, les auteurs supposent que si une machine de Turing en temps réel calcule le nombre réel dans, par exemple, la base 10, alors est soit un nombre rationnel soit un numéro transcendantal.rrrrrr Existe-t-il...
De manière équivalente, existe-t-il une sémantique dénotationnelle connue pour les langages de programmation fonctionnels d'ordre supérieur probabilistes? Plus précisément, existe-t-il un modèle de domaine de -calculus pur non typé étendu par une opération de choix binaire aléatoire...
La complexité de la preuve est l'un des domaines les plus élémentaires de la théorie de la complexité informatique. Un objectif ultime de ce domaine est de prouver , c'est-à-dire que tout prouveur ne peut pas fournir une preuve d'insatisfiabilité d'une formule d'entrée donnée. NP≠ c o...
C'est un fait assez bien connu que dériver une contradiction d'une inégalité (par exemple, ) dans la théorie de type Martin-Loef nécessite un univers.(0=1)→⊥(0=1)→⊥(0=1) \to \bot La preuve est également assez simple - en l'absence d'univers, nous pouvons effacer les dépendances de tout type...
Le problème d'isomorphisme des graphes est l'un des problèmes les plus anciens qui ont résisté à la classification en problèmes complets ou . Nous avons des preuves qu'il ne peut pas être complet. Premièrement, l'isomorphisme du graphe ne peut être complet en que si la hiérarchie polynomiale [1]...
Suite aux questions équivalentes concernant NP-Completeness (voir la question de poids et la question dirigée ), je me demandais comment les problèmes paramétrés sont affectés par ces attributs. Quels problèmes de graphes durs sont W [ 1 ] -Dur sur les graphes dirigés, mais les paramètres fixes...