La logique affine élémentaire est un système de types qui capture la classe de termes λ qui peuvent être réduits en temps élémentaire. De plus, les termes typables EAL peuvent être réduits en utilisant le fragment abstrait de l'algorithme de Lamping, ce qui est particulièrement intéressant pour moi...
Le papier SODA de 2 pages de Kalai fournit un algorithme simple et efficace pour la correspondance de motifs avec les soucis (jokers qui correspondent à un caractère). En substance, c'est aussi simple que la convolution. Mais que se passe-t-il si nous recherchons plusieurs modèles sans souci?...
Soit une langue, et définissons par ssi . Je recherche une référence pour:L ⊆ A∗L⊆A∗L \subseteq A^*f L ( x , y ) = 1 x ⋅ y ∈ LFL: A∗× A∗→ { 0 , 1 }fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}FL( x , y) = 1fL(x,y)=1f_L(x, y) = 1x ⋅ y∈ Lx⋅y∈Lx\cdot y \in L Proposition. est régulier si la...
Nous avons un problème et nous avons trouvé un algorithme qui semble être 2-nexptime. Je voudrais trouver des problèmes connus de 2-nexptime-complete afin de trouver une borne inférieure. J'ai trouvé dans la littérature principalement deux de ces problèmes: si PCP comme solution de taille...
Je suis tombé sur un article publié dans Science "Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states" , qui fait des affirmations assez étonnantes. Memcomputing est un nouveau paradigme de calcul non-Turing qui utilise des cellules de mémoire en...
Soit un alphabet de taille 2 , et considérons des DFA minimaux dont la taille est limitée par au plus m . Soit f ( m ) le nombre de différents DFA minimaux.ΣΣ\Sigma222mmmF( m )f(m)f(m) Peut-on trouver une formule sous forme fermée pour ?F( m )f(m)f(m) Considérant que pour la fonction de transition...
Ma question concerne les théorèmes 4.1 et 4.2 dans "Théorie de la complexité géométrique V" . Le premier théorème indique qu'il existe un algorithme EXPSPACE pour construire hsop pour (voir les définitions dans l'article) sur C (en fait sur un champ arbitrairement fermé algébriquement de...
Étant donné des générateurs puissants pour un groupe agissant sur des chaînes de bits de longueur et un élément , combien est-il difficile de calculer l'élément lexicographiquement minimal de , le orbite de en ?( G ≤ Sn, ∗ )(g≤Sn,∗)(G \leq S_n, *)nnns ∈ { 0 , 1 }ns∈{0,1}ns \in \{0, 1\}^nG ....
Que soit une classe de complexité et BP- C la contrepartie aléatoire de C défini de la même manière que BPP est défini par rapport à P . Plus formellement, nous fournissons polynomialement de nombreux bits aléatoires et nous acceptons une entrée si la probabilité d'accepter est supérieure à...
Pour une langue fixe sur un alphabet A , considérons le problème suivant, que j'appelle L -INTERLEAVING :LLLAAALLL Entrée: deux mots u,v∈A∗u,v∈A∗u, v \in A^* Rendement: s'il existe un entrelacement de et v , qui est en L .uuuvvvLLL Ici, un entrelacement de deux mots et v est un mot w qui peut être...
Soit un alphabet fini. Un code sur est un sous - ensemble de de telle sorte que chaque mot dans peut être unique représenté sous la forme d' une concaténation de mots . Un code est fini siest fini. Que sait-on des automates (minimaux) reconnaissant pour un code fini ? Existe-t-il une...
Étant donné un DFA complet A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F) , nous pouvons définir une collection de fonctions fafaf_a pour chacune a∈Γa∈Γa\in \Gamma et avec fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q , fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a) . On peut généraliser cette notion à un mot...
Le temps quasi-polynomial, ou QP pour faire court, est une classe de complexité sur la machine de Turing déterministe. Voici la définition précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Alors que βP est une classe de complexité de non-déterminisme limité. Voici la définition...
Y at - il un nombre transcendantal calculable connu tel que son ième chiffre est calculable en temps polynomial, mais pas dans O ( n ) ?nnnO ( n
Existe-t-il un cadre / formalisme qui définit des modèles de calcul basés sur des protéines autres que le modèle d'ADN d'Adleman ou ce travail de Cherry et Qian
Depuis un certain temps, je suis curieux de voir les machines de Turing avec exactement une bande et exactement 3 états (à savoir l'état de démarrage , l'état d'acceptation et l'état de rejetq0q0q_0qacceptqacceptq_{accept}qrejectqrejectq_{reject} ). Notez que j'autorise les alphabets de bande...
Quelle est la méthode d'approximation de Razborov? Quelqu'un peut-il donner un aperçu de haut niveau et l'intuition derrière
Je cherche une liste de problèmes d'optimisation NP-hard, où il y a une recherche active en heuristique pratique pour les résoudre et il y a des repères communs, que les gens essaient de battre. Exemples: reconstruction d'arbres phylogénétiques (heuristique par exemple ici ) Vendeur itinérant (pas...
On me donne un graphique avec une largeur d' arbre k et un degré arbitraire, et je voudrais trouver un sous-graphique H de G (pas nécessairement un sous-graphique induit) tel que H ait un degré constant et sa largeur d'arbre soit aussi élevée que possible. Formellement, mon problème est le suivant:...
Les solveurs SMT tels que Z3 ou Boolector utilisent un ensemble complexe d'heuristiques pour résoudre les problèmes. Cependant, cela rend également très difficile la prévision des performances d'un tel solveur pour un problème donné. Ma question est donc: Question Existe-t-il un moyen de comprendre...