Reductions to sets of low information content

V. Arvind, Y. Han, L. Hemachandra, J. Köbler, A. Lozano, M. Mundhenk, Mitsunori Ogihara, U. Schöning, R. Silvestri, T. Thierauf

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

In this paper we study the complexity of sets that reduce to sparse sets (and tally sets), and the complexity of the simplest sparse sets to which such sets reduce. We show even with respect to very flexible reductions that NP cannot have sparse hard sets unless P = NP; an immediate consequence of our results is: If any NP-complete set conjunctively reduces to a sparse set, then P = NP. We also show that any set A that reduces to some sparse set (via various types of reductions) in fact reduces by the same type of reduction to a sparse set that is simple relative to A. We give a complete characterization of the sets of low instance complexity in terms of reductions to tally sets; it follows that if P ≠ NP, then no set of low instance complexity can be complete for NP with respect to disjunctive reductions or conjunctive reductions.

Original languageEnglish (US)
Title of host publicationAutomata, Languages and Programming - 19th International Colloquium, Proceedings
EditorsWerner Kuich
PublisherSpringer Verlag
Pages162-173
Number of pages12
ISBN (Print)9783540557197
DOIs
StatePublished - Jan 1 1992
Externally publishedYes
Event19th International Colloquium on Automata, Languages, and Programming, ICALP 1992 - Wien, Austria
Duration: Jul 13 1992Jul 17 1992

Publication series

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

Other

Other19th International Colloquium on Automata, Languages, and Programming, ICALP 1992
CountryAustria
CityWien
Period7/13/927/17/92

Fingerprint

Information Content
Tally
NP-complete problem

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Arvind, V., Han, Y., Hemachandra, L., Köbler, J., Lozano, A., Mundhenk, M., ... Thierauf, T. (1992). Reductions to sets of low information content. In W. Kuich (Ed.), Automata, Languages and Programming - 19th International Colloquium, Proceedings (pp. 162-173). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 623 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-55719-9_72

Reductions to sets of low information content. / Arvind, V.; Han, Y.; Hemachandra, L.; Köbler, J.; Lozano, A.; Mundhenk, M.; Ogihara, Mitsunori; Schöning, U.; Silvestri, R.; Thierauf, T.

Automata, Languages and Programming - 19th International Colloquium, Proceedings. ed. / Werner Kuich. Springer Verlag, 1992. p. 162-173 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 623 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Arvind, V, Han, Y, Hemachandra, L, Köbler, J, Lozano, A, Mundhenk, M, Ogihara, M, Schöning, U, Silvestri, R & Thierauf, T 1992, Reductions to sets of low information content. in W Kuich (ed.), Automata, Languages and Programming - 19th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 623 LNCS, Springer Verlag, pp. 162-173, 19th International Colloquium on Automata, Languages, and Programming, ICALP 1992, Wien, Austria, 7/13/92. https://doi.org/10.1007/3-540-55719-9_72
Arvind V, Han Y, Hemachandra L, Köbler J, Lozano A, Mundhenk M et al. Reductions to sets of low information content. In Kuich W, editor, Automata, Languages and Programming - 19th International Colloquium, Proceedings. Springer Verlag. 1992. p. 162-173. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-55719-9_72
Arvind, V. ; Han, Y. ; Hemachandra, L. ; Köbler, J. ; Lozano, A. ; Mundhenk, M. ; Ogihara, Mitsunori ; Schöning, U. ; Silvestri, R. ; Thierauf, T. / Reductions to sets of low information content. Automata, Languages and Programming - 19th International Colloquium, Proceedings. editor / Werner Kuich. Springer Verlag, 1992. pp. 162-173 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{64ab5bbe291f4672accf85c95226caf4,
title = "Reductions to sets of low information content",
abstract = "In this paper we study the complexity of sets that reduce to sparse sets (and tally sets), and the complexity of the simplest sparse sets to which such sets reduce. We show even with respect to very flexible reductions that NP cannot have sparse hard sets unless P = NP; an immediate consequence of our results is: If any NP-complete set conjunctively reduces to a sparse set, then P = NP. We also show that any set A that reduces to some sparse set (via various types of reductions) in fact reduces by the same type of reduction to a sparse set that is simple relative to A. We give a complete characterization of the sets of low instance complexity in terms of reductions to tally sets; it follows that if P ≠ NP, then no set of low instance complexity can be complete for NP with respect to disjunctive reductions or conjunctive reductions.",
author = "V. Arvind and Y. Han and L. Hemachandra and J. K{\"o}bler and A. Lozano and M. Mundhenk and Mitsunori Ogihara and U. Sch{\"o}ning and R. Silvestri and T. Thierauf",
year = "1992",
month = "1",
day = "1",
doi = "10.1007/3-540-55719-9_72",
language = "English (US)",
isbn = "9783540557197",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "162--173",
editor = "Werner Kuich",
booktitle = "Automata, Languages and Programming - 19th International Colloquium, Proceedings",
address = "Germany",

}

TY - GEN

T1 - Reductions to sets of low information content

AU - Arvind, V.

AU - Han, Y.

AU - Hemachandra, L.

AU - Köbler, J.

AU - Lozano, A.

AU - Mundhenk, M.

AU - Ogihara, Mitsunori

AU - Schöning, U.

AU - Silvestri, R.

AU - Thierauf, T.

PY - 1992/1/1

Y1 - 1992/1/1

N2 - In this paper we study the complexity of sets that reduce to sparse sets (and tally sets), and the complexity of the simplest sparse sets to which such sets reduce. We show even with respect to very flexible reductions that NP cannot have sparse hard sets unless P = NP; an immediate consequence of our results is: If any NP-complete set conjunctively reduces to a sparse set, then P = NP. We also show that any set A that reduces to some sparse set (via various types of reductions) in fact reduces by the same type of reduction to a sparse set that is simple relative to A. We give a complete characterization of the sets of low instance complexity in terms of reductions to tally sets; it follows that if P ≠ NP, then no set of low instance complexity can be complete for NP with respect to disjunctive reductions or conjunctive reductions.

AB - In this paper we study the complexity of sets that reduce to sparse sets (and tally sets), and the complexity of the simplest sparse sets to which such sets reduce. We show even with respect to very flexible reductions that NP cannot have sparse hard sets unless P = NP; an immediate consequence of our results is: If any NP-complete set conjunctively reduces to a sparse set, then P = NP. We also show that any set A that reduces to some sparse set (via various types of reductions) in fact reduces by the same type of reduction to a sparse set that is simple relative to A. We give a complete characterization of the sets of low instance complexity in terms of reductions to tally sets; it follows that if P ≠ NP, then no set of low instance complexity can be complete for NP with respect to disjunctive reductions or conjunctive reductions.

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

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

U2 - 10.1007/3-540-55719-9_72

DO - 10.1007/3-540-55719-9_72

M3 - Conference contribution

AN - SCOPUS:84976776860

SN - 9783540557197

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

SP - 162

EP - 173

BT - Automata, Languages and Programming - 19th International Colloquium, Proceedings

A2 - Kuich, Werner

PB - Springer Verlag

ER -