Very sparse leaf languages

Lance Fortnow; Mitsunori Ogihara

doi:10.1007/11821069_33

Very sparse leaf languages

Lance Fortnow, Mitsunori Ogihara

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Unger studied the balanced leaf languages defined via polylogarithmically sparse leaf pattern sets. Unger shows that NP-complete sets are not polynomial-time many-one reducible to such balanced leaf language unless the polynomial hierarchy collapses to Θ₂^p and that Σ₂^p-complete sets are not polynomial-time bounded-truth-table reducible (respectively, polynomial-time Turing reducible) to any such balanced leaf language unless the polynomial hierarchy collapses to Δ₂^p (respectively, Σ₄^p). This paper studies the complexity of the class of such balanced leaf languages, which will be denoted by VSLL. In particular, the following tight upper and lower bounds of VSLL are shown: 1. coNP ⊆ VSLL ⊆ coNP/poly (the former inclusion is already shown by Unger). 2. coNP/1 ⊈ VSLL unless PH = Θ₂^p. 3. For all constant c > 0, VSLL ⊈ coNP/n^c. 4. P/(log log(n) + O(1)) ⊆ VSLL. 5. For all h(n) = log log(n) +ω(1), P/h ⊈ VSLL.

Original language	English (US)
Title of host publication	Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings
Publisher	Springer Verlag
Pages	375-386
Number of pages	12
ISBN (Print)	3540377913, 9783540377917
DOIs	https://doi.org/10.1007/11821069_33
State	Published - 2006
Event	31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006 - Stara Lesna, Slovakia Duration: Aug 28 2006 → Sep 1 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4162 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006
Country	Slovakia
City	Stara Lesna
Period	8/28/06 → 9/1/06

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/11821069_33

Fingerprint Dive into the research topics of 'Very sparse leaf languages'. Together they form a unique fingerprint.

Cite this

Fortnow, L., & Ogihara, M. (2006). Very sparse leaf languages. In Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings (pp. 375-386). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4162 LNCS). Springer Verlag. https://doi.org/10.1007/11821069_33

Very sparse leaf languages. / Fortnow, Lance; Ogihara, Mitsunori.

Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings. Springer Verlag, 2006. p. 375-386 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4162 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fortnow, L & Ogihara, M 2006, Very sparse leaf languages. in Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4162 LNCS, Springer Verlag, pp. 375-386, 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006, Stara Lesna, Slovakia, 8/28/06. https://doi.org/10.1007/11821069_33

@inproceedings{bd74d68c0cdf45ccbebe8ea90f5a5fef,

title = "Very sparse leaf languages",

abstract = "Unger studied the balanced leaf languages defined via polylogarithmically sparse leaf pattern sets. Unger shows that NP-complete sets are not polynomial-time many-one reducible to such balanced leaf language unless the polynomial hierarchy collapses to Θ2p and that Σ2p-complete sets are not polynomial-time bounded-truth-table reducible (respectively, polynomial-time Turing reducible) to any such balanced leaf language unless the polynomial hierarchy collapses to Δ2p (respectively, Σ4p). This paper studies the complexity of the class of such balanced leaf languages, which will be denoted by VSLL. In particular, the following tight upper and lower bounds of VSLL are shown: 1. coNP ⊆ VSLL ⊆ coNP/poly (the former inclusion is already shown by Unger). 2. coNP/1 ⊈ VSLL unless PH = Θ2p. 3. For all constant c > 0, VSLL ⊈ coNP/nc. 4. P/(log log(n) + O(1)) ⊆ VSLL. 5. For all h(n) = log log(n) +ω(1), P/h ⊈ VSLL.",

author = "Lance Fortnow and Mitsunori Ogihara",

note = "Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006 ; Conference date: 28-08-2006 Through 01-09-2006",

year = "2006",

doi = "10.1007/11821069_33",

language = "English (US)",

isbn = "3540377913",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "375--386",

booktitle = "Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings",

}

TY - GEN

T1 - Very sparse leaf languages

AU - Fortnow, Lance

AU - Ogihara, Mitsunori

PY - 2006

Y1 - 2006

N2 - Unger studied the balanced leaf languages defined via polylogarithmically sparse leaf pattern sets. Unger shows that NP-complete sets are not polynomial-time many-one reducible to such balanced leaf language unless the polynomial hierarchy collapses to Θ2p and that Σ2p-complete sets are not polynomial-time bounded-truth-table reducible (respectively, polynomial-time Turing reducible) to any such balanced leaf language unless the polynomial hierarchy collapses to Δ2p (respectively, Σ4p). This paper studies the complexity of the class of such balanced leaf languages, which will be denoted by VSLL. In particular, the following tight upper and lower bounds of VSLL are shown: 1. coNP ⊆ VSLL ⊆ coNP/poly (the former inclusion is already shown by Unger). 2. coNP/1 ⊈ VSLL unless PH = Θ2p. 3. For all constant c > 0, VSLL ⊈ coNP/nc. 4. P/(log log(n) + O(1)) ⊆ VSLL. 5. For all h(n) = log log(n) +ω(1), P/h ⊈ VSLL.

AB - Unger studied the balanced leaf languages defined via polylogarithmically sparse leaf pattern sets. Unger shows that NP-complete sets are not polynomial-time many-one reducible to such balanced leaf language unless the polynomial hierarchy collapses to Θ2p and that Σ2p-complete sets are not polynomial-time bounded-truth-table reducible (respectively, polynomial-time Turing reducible) to any such balanced leaf language unless the polynomial hierarchy collapses to Δ2p (respectively, Σ4p). This paper studies the complexity of the class of such balanced leaf languages, which will be denoted by VSLL. In particular, the following tight upper and lower bounds of VSLL are shown: 1. coNP ⊆ VSLL ⊆ coNP/poly (the former inclusion is already shown by Unger). 2. coNP/1 ⊈ VSLL unless PH = Θ2p. 3. For all constant c > 0, VSLL ⊈ coNP/nc. 4. P/(log log(n) + O(1)) ⊆ VSLL. 5. For all h(n) = log log(n) +ω(1), P/h ⊈ VSLL.

UR - http://www.scopus.com/inward/record.url?scp=33750045990&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33750045990&partnerID=8YFLogxK

U2 - 10.1007/11821069_33

DO - 10.1007/11821069_33

M3 - Conference contribution

AN - SCOPUS:33750045990

SN - 3540377913

SN - 9783540377917

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 375

EP - 386

BT - Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings

PB - Springer Verlag

T2 - 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006

Y2 - 28 August 2006 through 1 September 2006

ER -