{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,26]]，“日期-时间”：“2024-06-26T14:35:23Z”，“时间戳”：1719412523106}，“参考-计数”：21，“出版商”：“Springer Science and Business Media LLC”，“问题”：“4”，“许可证”：[{“开始”：{:“日期-零件”：[2018,10,16]]，”日期-时间我”：“2018-10-16T00:00:00Z”，“timestamp”：1539648000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“funder”：[{“name”：“JSPS KAKENHI”，“award”：[“JP26330021”]}]，”content-domain“：{“domain”：[”link.springer.com“]，”crossmark-restriction“：false}，”short-container-title“：[”J Comb Optim“]，“published-print“：{“date-parts”：[[2019,5]]}，“DOI”：“10.1007\/s10878-018-0353-z”，“type”：“journal-article”，“created”：{“date-parts”：[[2018,10,16]]，“date-time”：“2018-10-16T06:18:43Z”，“timestamp”：1539670723000}，“page”：”1283-1311“，”update-policy“：”http://\/dx.doi.org\/10.10007\/springer_crossmark_policy“标题”：[“树宽的正实例驱动动态编程”]，“前缀”：“10.1007”，“卷”：“37”，“作者”：[{“ORCID”：“http://\/ORCID.org\/0000-0001-7566-8505”，“authenticated-ORCID”：false，“给定”：“Hisao”，“family”：“Tamaki”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2018,10,16]]}，“引用”：[{“键”：“353_CR1”，“doi-asserted-by”：“publisher”，《first page》：“277”，“doi”：“10.1137\/0608024”，“volume”：“8”，“author”：“S Arnborg”，”year“：“1987”，“unstructured”：“Arnborgs S，Corneil DG，Proskurowski A（1987）k树中嵌入查找的复杂性。SIAM J Algebr Discrete Methods 8:277\u2013284”，”journal-title“：”SIAM J albr Discreated Methods“}，{”key“：“353_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Berg J，\u00a0J\u00e4rvisalo M（2014）基于SAT的树宽计算方法：评估。In：IEEE第26届人工智能工具国际会议论文集，pp 328\u2013335”，“doi”：“10.1109\/ICTAI.2014.57”}，{“issue”：“6”，“key”：“353CR3”，“doi-asserted-by”：“publisher”，“first page”：“1305”，“DOI”：“10.1137\/S0097539793251219”，“volume”：”25“，“author”：“HL Bodlaender”，”year“：”1996“，”unstructured“：”Bodlaender HL（1996）求小树宽树分解的线性时间算法。SIAM J Compute 25（6）：1305\u20131317“，”journal-title“：”SIAM J compute“}，{“issue”：“3”，“key”：R4“，”DOI-asserted-by“：“publisher”，“first-page”：“337”，“DOI”：“10.1016\/j.disc.2005.12.017”，“volume”：“306”，“author”：“HL-Bodlaender”，“year”：“2006”，“unstructured”：“Bodlaender HL，Koster AMCA（2006）树宽安全分隔符。离散数学306（3）：337\u2013350”，“journal-title”：“离散数学”}，{“issue”：“3”，“key”：”353_CR5“，”DOI由“：”publisher“，”首页“：”255“，“DOI”：“10.1093\/comjnl\/bxm037”，“volume”：“51”，“author”：“HL Bodlaender”，“year”：“2008”，“unstructured”：“Bodlaender HL，Koster AMCA（2008）有界树宽图的组合优化。计算J 51（3）：255\u2013269”，“journal-title”：“计算J”}，{“issue”：“1”，“key”：”353_CR6“，”DOI-asserted-by“：”publisher“，”首页“：”12“，”DOI“：“10.1145\/2390176.2390188”，“volume”：“9”，“author”：“HL Bodlaender”，“year”：“2012”，“unstructured”：“Bodlaender HL，Fomin FV，Koster AM，Kratsch D，Thilikos DM（2012）关于树宽的精确算法。ACM Trans algorithms 9（1：“5”，“doi”：“10.7155\/jgaa.00117”，“volume”：“10”，“author”：“HL Bodlaender”，“year”：“2006”，“unstructured”：“Bodlaender HL，Wolle T，Koster AMCA（2006）收缩和树宽下限。J Graph Algorithms Appl 10（1）：5\u201349”，“journal-title”：“J Graph algorithmies Appl”}，{“issue”：“1”，“key”：”353_CR8“，”doi-asserted-by“：”publisher“，“first page”：“212”，“doi”：“10.1137\/S0097539799359683”，“volume”：“31”，“author”：“V Bouchitt\u00e9”，“year”：“2001”，“unstructured”：“Bouchitt \u00e 9 V，Todinca I（2001）Treewidth and minimum fill-in:grouping the minimum separators.SIAM J Compute 31（1）：212\u2013232”，“journal-title”：“SIAM J compute”}，{“key”：”353_CR9“，”doi-asserted-by“：”publisher“，“first page”：“17”，“doi”：“10.1016\/S0304-3975（01）00007-X”，“volume”：“276”，“author”：“V Bouchitt\u00e9”，“year”：“2002”，“unstructured”：“Bouchit\u00e9V，Todinca I（2002）列出图的所有潜在最大团。Theor Compute Sci 276:17\u201332”，“journal-title”：“Theor Computer Sci”}，{“key”：”353_CR10“，”unstructure“：“Dell H，Husfeldt T，Jansen B M，Kaski P，Komusiewicz C，Rosamond F A（2017）第一个参数化算法和计算实验挑战。In:LIPIcs-Leibniz international Processions In Information 63，”}，{“issue”：“3”，“key”：“353_CR11”，“doi-asserted-by”：“publisher”，“first page”：”1058“，“doi”：“10.1137\/050643350”，“volume”：《38》，“author”：“FV Fomin”，“year”：“2008”，“unstructured”：“Fomin FV，Kratsch D，Todinca I，Villanger Y（2008）树宽和最小填充的精确算法。SIAM J Compute 38（3）：1058\u20131079”，“journal-title”：“SIAM J compute”}，{“issue”：“3”，“key”：“353_CR12”，“doi-asserted-by”：“publisher”，“first page”：”289“，“doi”：“10.1007”536-z“，”卷“：”32“，”作者“：“F Fomin”，“year”：“2012”，“unstructured”：“Fomin F，Villanger Y（2012）树宽计算与极值组合学。组合数学32（3）：289\u2013308”，“日记标题”：“组合数学”}，{“key”：“353_CR13”，“非结构化”：“Github repository:\n https:\\/Github.com\/TCS-Meiji\/PACE2017-TrackA”}：“Gogate V，Dechter R（2004）树宽的完整算法。摘自：第20届人工智能不确定性会议论文集，AUAI出版社，”}，{“key”：“353_CR15”，“series-title”：“离散数学和理论计算机科学中的级数”，“volume-title”：“团、着色和可满足性：第二个DIMACS实施挑战”，“年份”：“1996年”，“非结构化”：“Johnson DS，Trick MA（eds）（1996）团、着色与可满足性（Cliques，coloring，and satisfiability:second DIMACS implementation challenge，vol 26）。离散数学和理论计算机科学系列。美国数学学会，普罗维登斯“}，{“key”：“353_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Musliu N（2008）树分解的迭代启发式算法。In：Cotta C，van Hemert J（eds）《组合优化进化计算的最新进展》。计算智能研究，第153卷。施普林格，柏林，海德堡“，“DOI”：“10.1007\/978-3-540-70807-0_9”}，{“key”：“353_CR17”，“unstructured”：“PACE（2017）.website:\n https:\/\/pacechallenge.wordpress.com\/”}作者“：”n Robertson“，”年份“：”1986“，”非结构化“：”Robertson N，Seymour PD（1986）《未成年人图形》。二、。树宽度的算法方面。J Algorithms 7:309\u2013322“，“journal-title”：“J Algorthms”}，{“issue”：“2”，“key”：“353_CR19”，“doi-asserted-by”：“publisher”，“first-page”：“325”，“doi”：“10.1016\/J.jctb.2004.08.001”，“volume”：《92》，“author”：“N Robertson”，“year”：“2004”，“unstructured”：“Robertson N，Seymour PD（2004）Graph minarys.XX.Wagner\u2019s猜想。梳理论系列B 92（2）：325\u2013357“，”journal-title“：”J Comb Theory Ser B“}，{”key“：”353_CR20“，”doi-asserted-by“：”crossref“，”unstructured“：”Samer M，Veith H（2009）《将树宽编码为SAT》。摘自：《满意度测试理论与应用国际会议论文集》，第45\u201350页“，”doi“：”10.1007\/978-3642-02777-2_6“}”，{“key”：“353_CR2”，“”doi由“：”crossref“，”非结构化“：”Savnik I（2013）为快速子集和超集查询提供索引数据结构。摘自：《可用性、可靠性和安全性国际会议论文集》，第134\u2013148页，“，”DOI“：”10.1007\/978-3642-40511-2_10“}]，”container-title“：[”组合优化杂志“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“http://link.springer.com\/content\/pdf\/10007\/s10878-018-0353-z.pdf“，”content-type“：”application\/pdf”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}，｛“URL”：“http:\/\/link.springer.com\/article\/10.1007\/s10878-018-0353-z\/fulltext.html”，“内容类型”：“text\/html”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}，｛“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/s1088-018-0353-z.pdf”，“content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,10,15]]，”date-time“：“2019-10-15T23:05:36Z”，”timestamp“：1571180736000}，”score“：1，”resource“：{“primary”：{“URL”：“http://link.sprimary.com\/10007\/s10878-018-0353-z”}}，“副标题“：[]，”短标题“：[[]，”已发布“：{”date-parts“：[[2018,10,16]]}，”references-count“：21，”journal-issue“：{”issue“：”4“，”published-print“：{”date-part“：[2019,5]]}}，“alternative-id”：[“353”]，“URL”：“http://\/dx.doi.org\/10.10007\/s10878-018-0353-z”，“relation”：{}，《国际标准期刊》：[“1382-6905”，“1573-2886”]，”iss n型“：[{”值“：”1382-6905“，”类型“：”打印“}，{”价值“：”1573-2886“，”型号“：”电子“}]，“subject“：[]，”published“：{”date-parts“：[[2018,10,16]]}，”assertion“：[{”value“：”2018年10月16日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ArticleHistory”，“label”：“文章历史”}}]}