Questions marquées «time-hierarchy»

3
Justification de log f dans le théorème de la hiérarchie DTIME
Si nous regardons le théorème de la hiérarchie DTIME, nous avons un journal en raison de la surcharge dans la simulation d'une machine de Turing déterministe par une machine universelle: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Nous n'avons pas ce genre de frais généraux pour NTIME de DSPACE. Une justification de base …

2
Hiérarchie pour BPP vs dérandomisation
En une phrase: l'existence d'une hiérarchie pour impliquerait-elle des résultats de dérandomisation?BPTIMEBPTIME\mathsf{BPTIME} Une question connexe mais plus vague est: l'existence d'une hiérarchie pour implique-t-elle des limites inférieures difficiles? La résolution de ce problème heurte-t-elle une barrière connue dans la théorie de la complexité?BPTIMEBPTIME\mathsf{BPTIME} Ma motivation pour cette question est de …



1
Hiérarchies temporelles dans DSPACE (O (s (n)))
Le théorème de la hiérarchie temporelle stipule que les machines de turing peuvent résoudre plus de problèmes si elles ont (assez) plus de temps. Tient-il d'une manière ou d'une autre si l'espace est limité asymptotiquement? Comment liéDTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) au DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} pousse assez vite? Je m'intéresse particulièrement au …


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.