Informatique théorique

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

1
Généraliser la FFT
La nature diviser pour mieux régner de la FFT peut-elle être généralisée à d'autres transformations (Transformation z, gazouillis, etc.) automatiquement? Existe-t-il un algorithme qui prend une description de la transformation (je ne sais pas quelles informations seraient nécessaires) et peut produire une fonction similaire à la FFT?
3
Une preuve plus intuitive du théorème de zone?
Le théorème de zone dit que si nous poignardons un arrangement de n lignes avec une autre ligne, la complexité totale de sa zone , l'ensemble de toutes les faces 0, 1 et 2 adjacentes, est O (n). La constante réelle est quelque chose comme 6n au moins comme indiqué …
5
Quelles sont les bonnes références pour comprendre l'apprentissage en ligne?
Plus précisément, je demande des ressources pour en savoir plus sur les systèmes d'apprentissage automatique qui peuvent mettre à jour leurs réseaux de croyances respectifs (ou équivalent) pendant le fonctionnement. J'en ai même rencontré quelques-uns, même si je n'ai pas réussi à les mettre en signet. Comme vous pouvez l'imaginer, …
1
Candidats naturels pour NP-E et E-NP
On sait depuis le début des années 70 que NPNP{\bf NP} et E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) ne sont pas égaux (carEE{\bf E} n'est pas fermé par des réductions de plusieurs un en temps polynomial, en revanche à NPNP{\bf NP} ). Pour autant que je sache, cependant, il est toujours possible de savoir …
1
Quelle est la «question» à laquelle la théorie du langage de programmation essaie de répondre?
Je m'intéresse à divers sujets comme la logique combinatoire, le calcul lambda, la programmation fonctionnelle depuis un certain temps et je les étudie. Cependant, contrairement à la «Théorie du calcul» qui s'efforce de répondre à la question de la «calculabilité», c'est-à-dire des choses qui peuvent / ne peuvent pas être …
1
La complexité de Kolmogorov des tables de vérité du problème d'arrêt est-elle connue de manière asymptotique?
Soit HA L TnHALTnHALT_n la chaîne de longueur 2n2n2^n correspondant à la table de vérité du problème d'arrêt pour les entrées de longueur nnn . Si la séquence des complexités de Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) était O ( 1 )O(1)O(1) , alors l'une des chaînes de conseil serait utilisée …
1
Quelle est la relation conjecturée entre les langues P (PTime) et de type 1 (contextuelles)?
P⊆ CSLP⊆CSLP\subseteq CSLP⊈ CSLP⊈CSLP\not\subseteq CSL PPP est l'ensemble de tous les langages décidables en temps polynomial sur une machine de Turing déterministe, et CSLCSLCSL est la classe des langages contextuels, connue pour être équivalente à , les langages décidés par des automates linéaires.NSPA CE( O ( n ) )NSPACE(O(n))NSPACE(O(n)) Pour …
1
Pourquoi le relâchement complémentaire est-il important?
Le relâchement complémentaire (CS) est couramment enseigné lorsque l'on parle de dualité. Il établit une belle relation entre la primale et la double contrainte / variables d'un point de vue mathématique. Les deux principales raisons d'appliquer CS (comme enseigné dans les cours d'études supérieures et les manuels): Pour vérifier l'optimalité …
1
Minimisation DFA multilingue
Je suis intéressé par une légère généralisation de DFA. Comme d'habitude, nous avons un ensemble d'états , un alphabet fini , une action définie sur par et l'état initial ; mais au lieu de l'ensemble habituelle terminal, nous prenons une famille de sous - ensembles de . Un DFA multilingue …
2
Fonctions non constructibles et résultats anormaux
Dans le livre Arora-Barak, dans la définition des fonctions constructibles dans le temps, il est dit que l'utilisation de fonctions qui ne sont pas constructibles dans le temps peut conduire à des "résultats anormaux". Quelqu'un at-il un exemple d'un tel "résultat anormal"? J'ai entendu en particulier qu'il pourrait exister des …
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.