Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

2
Séparation des listes de mots
Il existe un problème ouvert dans les langages formels connu sous le nom de problème de séparation; qui est brièvement indiqué comme étant donné deux chaînes distinctes de longueur , la taille d'un DFA est nécessaire pour les "séparer", ce qui signifie accepter une chaîne mais rejeter l'autre.nnn Voici quelques …
1
Peut-on construire une permutation indépendante k-sage sur [n] en utilisant uniquement le temps et l'espace constants?
Soit k > 0k>0k>0 une constante fixe. Etant donné un entier nnn , nous voulons construire une permutation σ∈ Snσ∈Sn\sigma \in S_n telle que: La construction utilise un temps et un espace constants (c'est-à-dire que le prétraitement prend un temps et un espace constants). Nous pouvons utiliser la randomisation. Étant …
1
Les équations différentielles peuvent-elles être classées dans leurs propres classes de complexité?
Les problèmes ont été, dans leur ensemble, classés, grâce à la complexité informatique. Mais, dans les équations différentielles, est-il possible de classer les équations différentielles en fonction de leur structure de calcul? Par exemple, si une équation non homogène du premier ordre est relativement difficile à résoudre qu'une équation homogène …
1
La référence au fait que (0 = 1) implique faux nécessite un univers en MLTT
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 dépendant pour obtenir un type simple …
3
Représentation graphique des restrictions théoriques aux preuves dans la théorie de la complexité des preuves
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 NPNP≠coNPNP\neq coNP Un …
3
Y a-t-il un CCC connu fermé dans le cadre d'une opération de domaine de puissance probabiliste?
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 symétrique.λλ\lambda Motivation Les catégories fermées cartésiennes fournissent une sémantique aux -calculi d' ordre …
1
Quels sont les principaux enjeux de recherche dans les transactions distribuées?
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 appelée partitionnement) et la réplication de données . …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.