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 条
  • [31] The Myth - an Isomorphic Symbol
    Codarcea, Oana
    PROCEEDINGS OF THE EUROPEAN INTEGRATION: BETWEEN TRADITION AND MODERNITY, VOL 5, 2013, 5 : 227 - 237
  • [32] Isomorphic scheduling problems
    Stanisław Gawiejnowicz
    Alexander Kononov
    Annals of Operations Research, 2014, 213 : 131 - 145
  • [33] The isomorphic development of insurance
    Lai, Kuei-Kuei
    Weng, Calvin S.
    PICMET '07: PORTLAND INTERNATIONAL CENTER FOR MANAGEMENT OF ENGINEERING AND TECHNOLOGY, VOLS 1-6, PROCEEDINGS: MANAGEMENT OF CONVERGING TECHNOLOGIES, 2007, : 1564 - 1570
  • [34] Isomorphic substitutions in apatite
    McConnell, D
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES DE L URSS, 1939, 22 : 87 - 88
  • [35] ISOMORPHIC ORE EXTENSIONS
    ARMENDARIZ, EP
    KOO, HK
    PARK, JK
    COMMUNICATIONS IN ALGEBRA, 1987, 15 (12) : 2633 - 2652
  • [36] COCRYSTALLIZATION OF ISOMORPHIC SUBSTANCES
    SHADMANYAZDI, F
    PETERSEN, EE
    CHEMICAL ENGINEERING SCIENCE, 1974, 29 (01) : 191 - 195
  • [37] ISOMORPHIC MULTIPLIER ALGEBRAS
    PIGNO, L
    MONATSHEFTE FUR MATHEMATIK, 1974, 78 (05): : 424 - 426
  • [38] ISOMORPHIC PHENOMENON IN MORPHEA
    TOSTI, A
    MANUZZI, P
    BARDAZZI, F
    DERMATOLOGICA, 1988, 177 (03): : 192 - 192
  • [39] ISOMORPHIC KOSZUL COMPLEXES
    KIRBY, D
    MATHEMATIKA, 1973, 20 (39) : 53 - 57
  • [40] ISOMORPHIC POLYNOMIAL RINGS
    COLEMAN, DB
    ENOCHS, EE
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 27 (02) : 247 - +
12345