Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Herausgeber/-innen | Volker Diekert, Michel Habib |
| Herausgeber (Verlag) | Springer Verlag |
| Seiten | 164-175 |
| Seitenumfang | 12 |
| ISBN (Print) | 9783540212362 |
| Publikationsstatus | Veröffentlicht - 2004 |
Publikationsreihe
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Band | 2996 |
| ISSN (Print) | 0302-9743 |
| ISSN (elektronisch) | 1611-3349 |
Abstract
We consider the Boolean constraint isomorphism problem, that is, the problem of determining whether two sets of Boolean constraint applications can be made equivalent by renaming the variables. We show that depending on the set of allowed constraints, the problem is either coNP-hard and GI-hard, equivalent to graph isomorphism, or polynomial-time solvable. This establishes a complete classification of the complexity of the problem, and moreover, it identifies exactly all those cases in which Boolean constraint isomorphism is polynomial-time manyone equivalent to graph isomorphism, the best-known and best-examined isomorphism problem in theoretical computer science.
ASJC Scopus Sachgebiete
- Mathematik (insg.)
- Theoretische Informatik
- Informatik (insg.)
- Allgemeine Computerwissenschaft
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hrsg. / Volker Diekert; Michel Habib. Springer Verlag, 2004. S. 164-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2996).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review
}
TY - CHAP
T1 - The complexity of Boolean constraint isomorphism
AU - Böhler, Elmar
AU - Hemaspaandra, Edith
AU - Reith, Steffen
AU - Vollmer, Heribert
PY - 2004
Y1 - 2004
N2 - We consider the Boolean constraint isomorphism problem, that is, the problem of determining whether two sets of Boolean constraint applications can be made equivalent by renaming the variables. We show that depending on the set of allowed constraints, the problem is either coNP-hard and GI-hard, equivalent to graph isomorphism, or polynomial-time solvable. This establishes a complete classification of the complexity of the problem, and moreover, it identifies exactly all those cases in which Boolean constraint isomorphism is polynomial-time manyone equivalent to graph isomorphism, the best-known and best-examined isomorphism problem in theoretical computer science.
AB - We consider the Boolean constraint isomorphism problem, that is, the problem of determining whether two sets of Boolean constraint applications can be made equivalent by renaming the variables. We show that depending on the set of allowed constraints, the problem is either coNP-hard and GI-hard, equivalent to graph isomorphism, or polynomial-time solvable. This establishes a complete classification of the complexity of the problem, and moreover, it identifies exactly all those cases in which Boolean constraint isomorphism is polynomial-time manyone equivalent to graph isomorphism, the best-known and best-examined isomorphism problem in theoretical computer science.
KW - cs.CC
KW - cs.LO
KW - F.1.3;F.4.1
UR - http://www.scopus.com/inward/record.url?scp=35048820484&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-24749-4_15
DO - 10.1007/978-3-540-24749-4_15
M3 - Contribution to book/anthology
AN - SCOPUS:35048820484
SN - 9783540212362
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 164
EP - 175
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
A2 - Diekert, Volker
A2 - Habib, Michel
PB - Springer Verlag
ER -