Genericity and measure for exponential time
Recently, Lutz [14, 15] introduced a polynomial time bounded version of Lebesgue measure. He and others (see e.g. [11, 13-18, 20]) used this concept to investigate the quantitative structure of Exponential Time (E = DTIME(2lin)). Previously, Ambos-Spies et al. [2, 3] introduced polynomial time bound...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Dokumenttyp: | Article (Journal) |
| Sprache: | Englisch |
| Veröffentlicht: |
10 November 1996
|
| In: |
Theoretical computer science
Year: 1996, Jahrgang: 168, Heft: 1, Pages: 3-19 |
| ISSN: | 1879-2294 |
| DOI: | 10.1016/0304-3975(96)89424-2 |
| Online-Zugang: | Verlag, lizenzpflichtig, Volltext: https://doi.org/10.1016/0304-3975(96)89424-2 Verlag, lizenzpflichtig, Volltext: https://www.sciencedirect.com/science/article/pii/0304397596894242 
|
| Verfasserangaben: | Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan A. Terwijn |
| Zusammenfassung: | Recently, Lutz [14, 15] introduced a polynomial time bounded version of Lebesgue measure. He and others (see e.g. [11, 13-18, 20]) used this concept to investigate the quantitative structure of Exponential Time (E = DTIME(2lin)). Previously, Ambos-Spies et al. [2, 3] introduced polynomial time bounded genericity concepts and used them for the investigation of structural properties of NP (under appropriate assumptions) and E. Here we relate these concepts to each other. We show that, for any c ⩾ 1, the class of nc-generic sets has p-measure 1. This allows us to simplify and extend certain p-measure 1-results. To illustrate the power of generic sets we take the Small Span Theorem of Juedes and Lutz [11] as an example and prove a generalization for bounded query reductions. |
|---|---|
| Beschreibung: | Elektronische Reproduktion der Druck-Ausgabe 16. Februar 1999 Gesehen am 19.04.2023 |
| Beschreibung: | Online Resource |
| ISSN: | 1879-2294 |
| DOI: | 10.1016/0304-3975(96)89424-2 |