{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,20]]，“日期-时间”：“2024-09-20T16:06:02Z”，“时间戳”：1726848362826}，“引用-计数”：36，“出版商”：“爱思唯尔BV”，“许可证”：[{“开始”：“日期-零件”：[[2014,1,1]]，”“日期-时刻”：“2014-01T00:00:00 0Z”，“时间戳”：1388534400000}，“内容-版本”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2018,1,1]]，“date-time”：“2018-01-01T00:00:00Z”，“timestamp”：1514764800000}，“content-version”：“vor”，“delay-in-days”：1461，“URL“https:\/\/www.elseviewer.com/open-access\/userlicense\/1.0\/“}]，“出资人”：[{“DOI”：“10.13039\/5010000923”，“name”：“澳大利亚研究委员会”，“doi-asserted-by”：“crossref”，“id”：[{“id”:“10.13039\/501100000923”，“id-type”：“doi”，“asserted-by”：：“cross-ref”}]}]，“content-domain”：{“domain”:[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“符号计算杂志”]，”published-print“：{”date-parts“：[[2014,1]]}，“内政部”：“10.1016\/j.jsc.2013.09.003”，“type”：“journal-article”，“created”：{“date-parts”：[[2013,9,27]]，“date-time”：“2013-09-27T17:46:17Z”，“timestamp”：1380303977000}，“page”：：“94-112”，“update-policy”：“special_numberg”：“C”，“title”：[“实用图同构，II”]，“前缀”：“10.1016”，“卷”：“60”，“作者”：[{“给定”：“Brendan D.”，“家族”：“McKay”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“Adolfo”，“家庭”：“Piperno”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“78”，“引用”：[}“首页”：“86”，“年份”：“1974”，“series-time”tle“：“计算机算法的设计与分析”，“author”：“Aho”，“key”：“10.1016\/j.jsc.2013.09.003_br0010”}，{“key“：”10.1016//j.jsc.2013.09.003_br0020“，“首页”：“737”，“article-title”：“将有限无向图还原为规范形式的算法”，“volume”：”14“author:”Arlazarov“，”year“：”1974“，”journal-title“：“\u017d.Vy\u010disl.Mat.Mat.Fiz.”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0030”，“series-title”：“第24届计算机科学基础年会论文集”，“首页”：“162”，“article-title”：《计算复杂性与有限简单群的分类》，“author”：“Babai”，“year”：“1983”}、{“key”：“10.1016\/j.jsc.2013.09.003_br0050”，“doi-asserted-by”：“crossref”，“first page”：“631”，“doi”：“10.106\/0196-6774（90）90013-5”，“article-title”：“部分k树上图同构和色指数的多项式算法”，“volume”：”11“，”author“：”Bodlaender“，”year“：”1990“，”journal-title“：”j.algorithms“}，{”key“10.1016”jsc.2013.09.003_br0060“，“doi-asserted-by”：“crossref”，“first page”：“363”，“doi”：“10.1016\/S0747-7171（85 y“：”交叉参考“，“首页”：“203”，“DOI”：“10.1137\/021015”，“article-title”：“树、区间图和平面图的线性时间自同构算法”，“卷”：“10”，“作者”：“科尔伯恩”，“年份”：“1981”，“期刊标题”：“SIAM J.Compute.”}，{“key”：“101016\/J.jsc.2013.09.003_br0090”，“DOI-asserted-by”：“crossref”，”首页“：”51“，“DOI:”10.1145 \/321556.321562“，“article-title”：“图同构的有效算法”，“volume”：“17”，“author”：“Corneil”，“year”：“1970”，“journal-title“：”J.ACM“}，{“key”：”10.1016\/J.jsc.2013.09.003_br0100“，”series-title“：“第41届设计自动化会议论文集”，“首页”：“530”，”article-title“”：“在CNF对称性检测中利用结构”，“作者”：“Darga”，“year”：“2004”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0110”，“series-title”：“第四十五届设计自动化会议论文集”，“首页”：“149”，“article-title”：《利用对称稀疏性快速发现对称性》，“author”：“Darga”，“年份”：“2008”}、{“密钥”：“1016\/j.jsc.2013.09.003_br0120”，“series-title“：“第十二届ACM计算理论研讨会论文集”，“第一页”：“236”，“文章标题”：“确定固定亏格图同构的多项式时间算法”，“作者”：“Filotti”，“年份”：“1980”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0130”，“series-title”：“第三届IAPR TC-15模式识别中基于图形表示研讨会论文集”，“首页”：“188”，“文章标题”：“图同构五种算法的性能比较”，“作者”：“Foggia”，“年份”：“2001”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0140”，“doi-asserted-by”：“crossref”，《首页》：“690”，“doi”：“10.1145\/116825.116852”，“article-title”：“只产生有效性的证据，或者NP中的所有语言都有零知识证明系统”，“volume”：“38”，“author”：“Goldreich”，“year”：“1991”，“journal-title“：”J.ACM“}，{“key”：”10.1016\/J.jsc.2013.09.003_br0150“，”series-title“：“第25届IEEE计算机科学逻辑年会论文集”，“第一页”：“179”，“文章标题”：“带排除子项的图的定点可定义性和多项式时间”，“作者”：“Grohe”，《年份》：“2010”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0160”，“series-title”：“第23届ACM\u2013SIAM离散算法年会论文集”，“首页”：“188”，“文章标题”：“图同构问题的结构和逻辑方法”，“作者”：“Grohe”，《年份》：“2012”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0170”，“series-title”：“第九届算法工程与实验研讨会和第四届分析算法与组合数学研讨会论文集”，“首页”：“135”，“文章标题”：“为大型和稀疏图设计一个有效的规范标记工具”，“作者”：“Junttila”，“年份”：“2007”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0180”，“series-title”：“第一届国际ICST算法理论与实践会议论文集”，“首页”：“151”，“article-title”：“冲突传播和组件递归用于规范标记”，“author”：“Junttila”，“year”：“2011”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0190”，“series-title”：“第40届ACM计算理论年会论文集”，“第一页”：“471”，“文章标题”：“线性时间中的图和地图同构和所有多面体嵌入”：“10.1016\/j.jsc.2013.09.03_br0200”｝，｛“key”：“10.1016\/j.jsc.2013.09.03_br0210”，“系列标题”：“计算和构造设计理论”，“第一页”：“135”，“文章标题”：“关于同构程序的编写”，“作者”：“Kocay”，“年份”：“1996”｝，｛“key”：“10.1016\/j.jsc.2013.09.03_br0220”，“第一页”：“545”，“文章标题”：“基于分区的置换群算法，I：理论与算法”，“卷”：“43”，“作者”：“Leon”，“年份”：“1990”，“期刊标题”：“J.Symb.Comput.”}，{“key”：“10.1016\/J.jsc.2013.09.003_br0230”，“series-title”：“第八届国际实验算法研讨会论文集”，“首页”：“221”，“article-title”：“图同构测试的快速算法”，“author”：“L\u00f3pez-Presa”，“year”：“2009”}，{“author:”L\u200f3pez-Presa“，”key“：”10.1016\/j.jsc.2013.09.003_br0240“}，“key”：“10.1016\/j.jsco.2013.09.03_br02050”，“doi-asserted-by”：“crossref”，“first page”：”42“，“doi”：“101016\/0022-0000（82）90009-5“，”文章标题“：“有界价图的同构可以在多项式时间内进行测试”，“卷”：“25”，“作者”：“Luks”，“年”：“1982”，“日记标题”：“J.Compute.Syst.Sci.”}，{“键”：“10.1016\/J.jsc.2013.09.003_br0260”，“首页”：“65”，“文章标题”：《有序子集上的回溯编程和同构拒绝》，“卷“：”：“5”，“作家”：“McKay”，“年份”：“1978”，“journal-title”：“Ars Comb.”}，{“key”：“10.1016\/j.jsc.2013.09.003_br0270”，“series-title”：”组合数学“，”首页“：”223“，”文章标题“：”计算图的自同构和规范标号“，”卷“：”686“，”作者“：”McKay“，”年份“：”1978“}，”key“：”10.1016//j.jsc.2013.09.003_br0280“，”第一页“：“45”，“文章标题”：“实用图形同构”，“volume”：“30”，“author”：“McKay”，“year”：“1980”，“journal-title”：“Congr.Numer.”}，{“author:”McKay“，”key“：”10.1016\/j.jsc.2013.09.003_br0290“}，“year:”2012“，”series-title“：”nauty and Traces User\u02bcs Guide（Version 2.5）9.003_br0300“}，{”键“：“10.1016\/j.jsc.2013.09.003_br0310”，“series-title”：“第十二届ACM计算理论研讨会论文集”，“首页”：“225”，“文章-标题”：“有界亏格图的同构测试”，“作者”：“Miller”，“年份”：“1980”}，{“key”：“10.116\/j.jsc.2013.09.003_br0320”：“10.1016\/j.jcss.2010.06.002”，“article-title”：“图形嵌入算法中的错误”，“volume”：“77”，“author”：“Myrvold”，“year”：“2011”，“journal-title“：”j.Compute.Syst.Sci.“}，{“year“：”1969“，”series-title“：“图形的编码过程”，“author“：”Parris“，”key“：”10.1016\/j.jsc.2013.09.003_br0330“}o“，”键“：“10.1016\/j.jsc.2013.09.003_br0340”}，{“issue”：“3”，“key”：“10.106\/j.jsc.2013.09.003_br0350”，“首页”：“147”，“article-title”：“与收缩无关的图类的同构问题”，“volume”：”174“，”author“：”Ponomarenko“，“year”：“1988”，“journal-title“：”Zap.Nauchn.Sem.Leningrad.Otdel.Mat.Inst●●●●。斯特克洛夫。（LOMI）“}，{“key”：“10.1016\/j.jsc.2013.09.003_br0360”，“doi-asserted-by”：“crossref”，“首页”：“339”，“doi”：“101002\/jgt.3190010410”，“article-title”：“图形同构疾病”，“卷”：“1”，“作者”：“阅读”，“年份”：“1977”，“期刊标题”：“j.图论”}，}“年份”:“2003”，“series-title”：utation Group Algorithms”，“author”：“Seress”，“key”：“10.1016\/j.jsc.2013.09.003_br0370“}，{“author”：“Stoichev”，“key”：“10.1016//j.jsc2013.09.003_br0380”}]，“container-title”：[“符号计算杂志”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S07477113001193？httpAccept=text\/xml”，“content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S07477113001193？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2018,10,12]，“date-time”：”2018-10-12T12:54:50Z“，“timestamp”：1539348899 0000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S07477113001193”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014,1]]}，”references-count“：36，”alternative-id“：[”S074717113001193“]，”URL“：”http://\/dx.doi.org\/101016\/j.jsc.2013.09.09 03“，”关系“：{}，”ISSN“：[”0747-7171“]，”ISSN-type“：[{”类型“：”打印“，”value“：”0747-7171“｝]，“subject”：[]，“published”：{“date parts”：[[2014,1]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“本文由”}维护，{“value”：“实用图同构，II”，“name”：“articlelitle”，“label”：“文章标题”}，{“value”：“符号计算期刊”，“name”：“journaltitle”，“label”：“期刊标题”}，{value“：”https:\/\/doi.org\/10.1016\/j.jsc.2013.09.003“，”name“：”articlelink“，”label“：”CrossRef doi link to publisher maintained version“}，”{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，{“value”：“Copyright\u00a9 2013 Elsevier B.V.保留所有权利。”，“名称”：“Copyright”，“标签”：“版权所有”}]}}