Isomorphic Implication

被引：0
|
作者：
Michael Bauland
Edith Hemaspaandra
机构：
[1] Universität Hannover,Theoretische Informatik
[2] Rochester Institute of Technology,Department of Computer Science
来源：
Theory of Computing Systems | 2009年 / 44卷
关键词：
Computational complexity; Propositional logic; Constraints; Isomorphism problem; Logic in computer science;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We study the isomorphic implication problem for Boolean constraints. We show that this is a natural analog of the subgraph isomorphism problem. We prove that, depending on the set of constraints, this problem is in P, or is NP-complete, or is NP-hard, coNP-hard, and in P‖NP. We show how to extend the NP-hardness and coNP-hardness to P‖NP-hardness for some cases, and conjecture that this can be done in all cases.
引用
收藏
页码：117 / 139
页数：22
相关论文
共 50 条
  • [1] Isomorphic Implication
    Bauland, Michael
    Hemaspaandra, Edith
    THEORY OF COMPUTING SYSTEMS, 2009, 44 (01) : 117 - 139
  • [2] Isomorphic implication
    Bauland, M
    Hemaspaandra, E
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005, PROCEEDINGS, 2005, 3618 : 119 - 130
  • [3] WEAKLY ISOMORPHIC TRANSFORMATIONS THAT ARE NOT ISOMORPHIC
    LEMANCZYK, M
    PROBABILITY THEORY AND RELATED FIELDS, 1988, 78 (04) : 491 - 507
  • [4] Isomorphic cohomology yields isomorphic homology
    Marek Golasiński
    Daciberg Lima Gonçalves
    manuscripta mathematica, 1997, 92 : 65 - 75
  • [5] Isomorphic cohomology yields isomorphic homology
    Golasinski, M
    Goncalves, DL
    MANUSCRIPTA MATHEMATICA, 1997, 92 (01) : 65 - 75
  • [6] Isomorphic Graphs Based On Isomorphic Groups
    Pathuri, Sivakumar
    Kumari, N. Naga Maruthi
    11TH NATIONAL CONFERENCE ON MATHEMATICAL TECHNIQUES AND APPLICATIONS, 2019, 2112
  • [7] ISOMORPHIC SPECTRUM AND ISOMORPHIC LENGTH OF A BANACH SPACE
    Fotiy, O.
    Ostrovskii, M.
    Popov, M.
    CARPATHIAN MATHEMATICAL PUBLICATIONS, 2020, 12 (01) : 88 - 93
  • [8] ABELIAN AND HAMILTONIAN GROUPS WITH ISOMORPHIC BURNSIDE RINGS ARE ISOMORPHIC
    RAGGICARDENAS, A
    VALLEJO, E
    ARCHIV DER MATHEMATIK, 1992, 58 (02) : 121 - 125
  • [9] ISOMORPHIC RINGS
    PERIC, V
    AMERICAN MATHEMATICAL MONTHLY, 1964, 71 (03): : 330 - &
  • [10] Isomorphic subgraphs
    Bachl, S
    GRAPH DRAWING, 1999, 1731 : 286 - 296
12345