×
伊迪丝·赫玛斯潘德拉;Hemaspandra，A巷。;Radziszowski，Stanisław P。;拉胡尔·特里帕西

复杂性导致图形重建。 （英语） Zbl 1117.05078号

离散应用程序。数学。 155，编号2，103-118（2007）.
本文主要从空间和时间复杂性的角度来研究重构问题，特别是图同构问题的相对复杂性和合法甲板问题的变体。作者将这些变体扩展到删除（c\geq1）顶点或边的情况，以及仅给出完整（所谓）甲板的子甲板的情况。例如，如果LED表示确定给定的一组图形是否是某个图形的合法边组的问题，则\（k\text｛-发光二极管｝_ c\)表示删除了（c）边并且只给出了全组中的（k）子图的变体。给出了各种结果，例如，图同构问题是多项式时间同构于\（k\text{-发光二极管}_c\).
在论文的最后部分，作者考虑了重建数。这基本上是一个问题，即确定重构一个图所需的甲板子图的数量。加强的结果R.M.布赖恩特[J.Comb.理论11，139–141（1971；Zbl 0196.27402号)]他们表明，对于所有的（k\geq2）和（n\geq1），在（2^{k-1}+1）n+k）顶点上存在一个（k）端点删除子图的部分集合，其中至少有（2^n）个图在它们的集合中拥有所有这些子图。
本文强烈推荐给从计算角度对图形重建感兴趣的任何人。
审核人：约瑟夫·劳里（姆西达）

引用于三文件

MSC公司：

05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等）
65年第68季度 算法和问题复杂性分析

关键词：

合法甲板;图同构;重建数

引文：

Zbl 0196.27402号
PDF格式BibTeX公司 XML格式引用
\textit{E.Hemaspandra}等人，《离散应用》。数学。155，No.2，103--118（2007；Zbl 1117.05078）
全文： 内政部

参考文献：

[1] Arvind，V。；Köbler，J.，《\（operatorname{ZPP}^{operatorname{NP}\）和其他复杂类的新低阶结果》，J.Compute。系统科学。，65, 2, 257-277 (2002) ·Zbl 1059.68043号
[2] Arvind，V。；Kurur，P.，SPP中的图同构，（第43届IEEE计算机科学基础研讨会论文集（2002），IEEE计算机社会出版社：IEEE计算机学会出版社，马里兰州银泉），743-750·Zbl 1110.68090号
[3] 伯曼，L。；Hartmanis，J.，《关于NP和其他完备集的同构和密度》，SIAM J.Compute。，6, 2, 305-322 (1977) ·Zbl 0356.68059号
[4] Bondy，J.，《关于可分图的Ulam猜想》，太平洋数学杂志。，31, 281-288 (1969) ·Zbl 0187.45603号
[5] J.Bondy，《图形重构器手册》，收录于：《组合数学调查》，伦敦数学学会讲义系列，第66卷，剑桥大学出版社，剑桥，1991年，第221-252页。；J.Bondy，《图形重构器手册》，载于：《组合数学调查》，伦敦数学学会讲义系列，第66卷，剑桥大学出版社，1991年，第221-252页·Zbl 0741.05052号
[6] 邦迪，J。；Hemminger，R.，《图形重建——一项调查》，J.图论，1227-268（1977）·兹伯利0375.05040
[7] Booth，K.，图、半群和有限自动机的同构检验是多项式等价问题，SIAM J.Comput。，7, 3, 273-279 (1978) ·Zbl 0381.68042号
[8] Bryant，R.，《关于图的重构的猜想》，J.Combin.Theory，11，139-141（1971）·Zbl 0196.27402号
[9] 卡里略，H。；Lipman，D.，《生物学中的多序列比对问题》，SIAM J.Appl。数学。，48, 1073-1082 (1988) ·Zbl 0652.92001号
[10] Goldreich，O。；米卡利，S。；Wigderson，A.，在NP语言中只产生有效性的证明或所有语言都有零知识证明系统，J.ACM，38，3，691-729（1991）·Zbl 0799.68101号
[11] S.Goldwasser，M.Sipser，《交互式证明系统中的私人硬币与公共硬币》，载于：S.Micali（编辑），《随机性与计算》，计算研究进展#5，JAI出版社，1989年，第73-90页。；S.Goldwasser，M.Sipser，《交互式证明系统中的私人硬币与公共硬币》，载于：S.Micali（编辑），《随机性与计算》，计算研究进展#5，JAI出版社，1989年，第73-90页。
[12] 韩，Y。；赫马斯潘德拉。；Thierauf，T.，阈值计算和密码安全，SIAM J.Compute。，26, 1, 59-78 (1997) ·Zbl 0868.68056号
[13] Harary，F.，《关于从子图集合重建图》（Fiedler，M.，《图的理论及其应用》（1964），捷克斯洛伐克科学院：捷克斯洛伐克布拉格科学院），47-52·Zbl 0161.43404号
[14] Harary，F.，《图论》（1971），Addison-Wesley：Addison-Whesley Reading，MA·Zbl 0797.05064号
[15] 哈拉里，F。；Palmer，E.，从最大子树重建树，Canad。数学杂志。，18, 803-810 (1966) ·Zbl 0141.21402号
[16] 哈拉里，F。；Plantholt，M.，《图形重建数》，《图论》，第9期，第451-454页（1985年）·Zbl 0664.05043号
[17] Hartmanis，J.，《关于完备集的对数同构》，Theoret。计算。科学。，7, 3, 273-286 (1978) ·Zbl 0387.68035号
[18] 赤藓属。；Ogihara，M.，《复杂性理论伴侣》（2002），《施普林格：施普林格柏林》·Zbl 0993.68042号
[19] Hemminger，R.，《关于重构图形》，Proc。阿默尔。数学。《社会学杂志》，第20期，第185-187页（1969年）·Zbl 0164.54104号
[20] J.Kadin，限制图灵可约性与多项式时间层次结构，博士论文，康奈尔大学，美国，1988。；J.Kadin，受限图灵可约性和多项式时间层次结构，博士论文，美国康奈尔大学，1988年·兹比尔0664.03031
[21] P.Kelly，《关于等距变换》，美国威斯康星大学博士论文，1942年。；P.Kelly，《关于等距变换》，博士论文，美国威斯康星大学，1942年。
[22] Kelly，P.，树的同余定理，太平洋数学杂志。，7, 961-968 (1957) ·Zbl 0078.37103号
[23] Köbler，J。；美国施宁。；Torán，J.，图同构问题：结构复杂性（1993），Birkhauser:Birkhauser-Basel·Zbl 0813.68103号
[24] Kratsch，D。；Hemaspandra，L.，关于图重建的复杂性，数学。系统理论，27，3，257-273（1994）·Zbl 0806.05051号
[25] Lauri，J.，Harary关于树重建猜想的证明，离散数学。，43, 79-90 (1983) ·Zbl 0495.05048号
[26] J.Lauri，R.Scapellato，《图形自同构与重构专题》，伦敦数学学会，剑桥大学出版社，剑桥，2003年。；J.Lauri，R.Scapellato，《图形自同构与重构专题》，伦敦数学学会，剑桥大学出版社，剑桥，2003年·Zbl 1038.05025号
[27] Lozano，A。；Torán，J.，关于图同构问题的非均匀复杂性，（复杂性理论会议第七结构会议论文集（1992），IEEE计算机社会出版社：IEEE计算机学会出版社，马里兰州银泉），118-129
[28] Mansfield，A.，合法甲板的计算复杂性与同构问题之间的关系，夸特。数学杂志。（牛津，系列2），33，345-347（1982）·Zbl 0503.68030号
[29] Manvel，B.，关于图的Kelly猜想的一些基本观察，离散数学。，8, 181-185 (1974) ·Zbl 0285.05124号
[30] Manvel，B.，《图形重建：进展与前景》，国会出版社。数字。，63, 177-187 (1988) ·兹伯利0671.05053
[31] Molina，R.，关于不连通图的烯丙基重构数的证明的修正，Ars Combin.，40，59-64（1995）·Zbl 0834.05041号
[32] Myrvold，W.，断开图的烯丙基重构数，Ars Combin，28，123-127（1989）·Zbl 0704.05036号
[33] Myrvold，W.，《具有五个或更多顶点的树的烯丙基重建数是三》，《图论》，14，149-166（1990）·Zbl 0704.05037号
[34] Nash Williams，C.，重建问题，（Beineke，L.；Wilson，R.，图论选题（1978），学术出版社：纽约学术出版社），205-236·兹比尔0433.05045
[35] Nídl，V.，子图的图形重建，离散数学。，235, 335-341 (2001) ·Zbl 0977.05091号
[36] Ranjan，D。；Rohatgi，P.，《关于稀疏集的随机约简》，（复杂性理论会议第七结构会议论文集（1992），IEEE计算机学会出版社：IEEE计算机协会出版社，马里兰州银泉出版社），239-242
[37] Schöning，U.，NP中的低层次和高层次，J.Compute。系统科学。，27, 14-28 (1983) ·Zbl 0515.68046号
[38] Schöning，U.，Graph同构处于低层次，J.Compute。系统科学。，37, 312-323 (1987) ·Zbl 0666.68048号
[39] Ulam，S.，《数学问题集》（1960），跨学科出版社：纽约跨学科出版社·Zbl 0086.2410号
[40] Whitney，H.，同余图和图的连通性，Amer。数学杂志。，54, 150-168 (1932)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。