Informatique théorique

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

4
Les tests peuvent-ils montrer l'absence de bogues?
n(n+1)(n+1)(n + 1) points sont nécessaires pour déterminer de façon unique un polynôme de degré ; par exemple, deux points dans un plan déterminent exactement une ligne.nnn Combien de points sont nécessaires pour déterminer de manière unique une fonction calculable , étant donné la longueur d'un programme qui calcule dans …
4
Réduction directe SAT à 3-SAT
Ici, l'objectif est de réduire un problème SAT arbitraire à 3-SAT en temps polynomial en utilisant le moins de clauses et de variables. Ma question est motivée par la curiosité. Moins formellement, j'aimerais savoir: "Quelle est la réduction" la plus naturelle "du SAT au 3-SAT?" Maintenant, la réduction que j'ai …
4
Quel est l'intérêt de la conversion
Je pense que je ne le comprends pas, mais -conversion me semble être une -conversion qui ne fait rien, un cas particulier de -conversion où le résultat n'est que le terme dans l'abstraction lambda car il n'y a rien à faire, une sorte de conversion inutile.β β βηη\etaββ\betaββ\betaββ\beta Alors peut-être …
2
Résoudre un labyrinthe de nombres
Mon fils de 8 ans s'est ennuyé à créer des labyrinthes conventionnels et a commencé à créer des variantes qui ressemblent à ceci: L'idée est de partir de x et d'atteindre o via les règles normales. De plus, vous pouvez "sauter" de tout entier à tout autre entier , mais …
1
Quel est le statut de la logique floue pour TCS en 2011?
Je passe en revue le Handbook of Nature-Inspired and Innovative Computing pour SIGACT News. C'est une lecture très intéressante. Chaque chapitre, cependant, a la saveur, "C'est mon domaine de recherche, et bon sang c'est génial!" Donc, une partie de ce que j'essaie de faire est de séparer le battage médiatique …
3
Classification des calculs lambda typés / non typés
Quelqu'un peut-il expliquer brièvement (si c'est possible!) Ou me renvoyer à une référence, résumant les différences entre le calcul lambda non typé et les calculs lambda typés plus courants? Je recherche en particulier des énoncés de leur puissance expressive, des équivalences avec des systèmes logiques / arithmétiques ou des méthodes …
6
Quels modèles de calcul peuvent être exprimés par des grammaires?
Il s'agit d'une reformulation des programmes de grammaires Are? précédent demandé par Vag et avec de nombreuses suggestions des commentateurs. De quelle manière une grammaire peut-elle être considérée comme spécifiant un modèle de calcul? Si, par exemple, nous prenons une grammaire simple sans contexte telle que G ::= '1' -> …
5
Pourquoi P = NP n'implique-t-il pas P = AP (c'est-à-dire P = PSPACE)?
Il est bien connu que si P=NPP=NP\mathbf{P}=\mathbf{NP} puis la hiérarchie polynomiale effondre et P=PHP=PH\mathbf{P}=\mathbf{PH} . Cela peut facilement être compris par induction en utilisant des machines Oracle. La question est - pourquoi ne pouvons-nous pas poursuivre le processus inductif au-delà d'un niveau constant d'alternances et prouver P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (alias AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} )? …
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.