Informatique théorique

2

Aperçu de haut niveau de la méthode d'approximations de Razborov

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 cela?

9 cc.complexity-theory circuit-complexity

5

Les réseaux de neurones peuvent-ils être utilisés pour concevoir des algorithmes?

Après les succès de plus en plus récents des réseaux de neurones dans les jeux de société, on sent que le prochain objectif que nous nous sommes fixé pourrait être quelque chose de plus utile que de battre les humains dans Starcraft. Plus précisément, je me demandais si Les réseaux …

9 cc.complexity-theory ds.algorithms machine-learning ne.neural-evol

1

Existe-t-il des modèles de calcul basés sur les protéines?

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 ?

9 reference-request machine-models

1

Adhésion monoïde de transition pour les DFA

É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 w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m et fw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m} où∘∘\circ désigne la composition …

9 automata-theory regular-language monoid

2

Tout nombre transcendantal calculable qui est calculable en temps P mais pas

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 )O(n)O(n)

9 cc.complexity-theory comp-number-theory

2

Y a-t-il un problème informatique qui est en temps quasi polynomial mais qui n'est (peut-être) pas en

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 précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Il est facile de voir que n'importe quelle machine de …

9 cc.complexity-theory complexity-classes

1

Complexité de vérifier si deux mots ont un entrelacement dans une langue

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 …

9 cc.complexity-theory reference-request regular-language

1

Lemme de normalisation de Noether pour les champs finis

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 caractéristique zéro).Δ[det,m]Δ[det,m]\Delta[\text{det},m]CC\mathbb{C} Le second fournit …

9 gct

2

Complexité du calcul élément lexicographiquement minimal d'orbite

É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 …

9 permutations gr.group-theory complexity

1

Dérandomisation uniforme des classes de complexité des circuits

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 à 2CC\mathcal{C}BP- …

9 circuit-complexity randomized-algorithms derandomization

2

Nombre de DFA minimaux de taille au plus

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 …

9 cc.complexity-theory automata-theory nondeterminism dfa

1

Automates reconnaissant pour un code fini

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 ? …

9 automata-theory

3

Classe de langues reconnaissables par les MT à bande unique à 3 états

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 arbitraires (finis) (c'est-à-dire que l'alphabet de bande n'est pas …

9 automata-theory turing-machines cellular-automata

1

Memcomputing résout-il vraiment un problème NP-complet?

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 interaction (memprocessors pour faire court) pour stocker …

9 np-complete open-problem

1

Elementary Affine Logic peut-il être utilisé comme système de type principal d'un langage de programmation pratique?

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 car j'explore …

9 type-theory