{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,28]]，“日期时间”：“2024-02-28T14:44:17Z”，“时间戳”：1709131457052}，“参考计数”：41，“出版商”：“计算机协会（ACM）”，“问题”：“2”，“资助者”：[{“名称”：“ERC”，“奖项”：[“AVS-ISS（648701）“]}，{”name“：”DFG“，”award“：[“389792660”]}，{“name”：“EPSRC Fellowship”，“award”：[“EP\/N008197\/1”]}.，{（name）：“European Union\u2019s Horizon 2020 research and innovation programme”，“adward”：[”837327“]}]，“content-domain”：{“domain”:[”dl.acm.org“]，“crossmark-restriction”：true}，“short-container-title”：[）acm Trans.Compute.Logic“]，”published-print“：{“日期部分”：[[2022,4,30]]}，“摘要”：“\线性循环的终止分析在计算机科学的几个领域中起着关键作用，包括程序验证和抽象解释。对于线性循环的最简单变体，终止问题已经涉及到数论中的深开放问题，例如线性递归序列的Skolem可判定性和正问题，或者离散时间线性动力系统的等价可达性问题。在本文中，我们介绍了o-最小不变量<\/jats:italic>\n，其范围比以前考虑的任何不变量都要广，并研究了此类不变量的存在性和算法合成的可判定性，例如具有一大类中止条件的线性循环的非终止证书。我们建立了两个主要的可判定性结果，其中一个是以Schanuel \u2019猜想为条件的超越数论。\n<\/jats:p>“，”DOI“：”10.1145\/3501299“，”type“：”journal-article“，”created“：{”date-parts“：[2022,1,14]]，”date-time“：”2022-01-14T12:02:07Z“，”timestamp“：1642161727000}，”page“：“1-20”，“update-policy”：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”：”Crossref“，”is-referenced-by-count“：2，“标题”：[“离散时间动力系统的O-最小不变量“]，”前缀“：”10.1145“，”卷“：”23“，”作者“：[{”给定“：”Shaull“，”家族“：”Almagor“，”sequence“：”first“，”affiliation“：[}”name“：”Technion，Haifa，Israel计算机科学部“}]}，{”given“：”Dmitry“，”family“：”Chistikov“，”sequence“:”additional“，”从属“：[[{“name”：“”英国考文垂华威大学离散数学及其应用中心和计算机科学系sequence“：”additional“，”affiliation“：[{”name“：”United Kingdom，Oxford University，Computer Science“}]}]，”member“：”320“，”published-on-line“：{”date-parts“：[2022,1,14]]}，”reference“：[}”issue“：”3“，”key“：”e_1_3_2_2“，”first page:“19”，”article-title“：”对数形式和群变种“，”volume“：“442”，“author”：“Baker Alan”，“年份”：“1993年”，“非结构化”：“Alan Baker和Gisbert W\u00fcstholz。1993.对数形式和群变体。《Journal f\u00fcr die reine und Angewandte Mathematik》442，3（1993），19\u201362.“，“Journal-title”：“Journal f \u00fcr die rene und Ange wandte Mathematik”}，{“key”：“e_1_3_2_3_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/2629488”}、{“key”：679“}，{”键“：”e_1_3_2_5_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/11817963_34“}，{“key”：“e_1_3_2_6_2”，“doi-assert-by”：“publisher”，“doi”：“10.1137\/S0097539794276853”}，“key“：”e_1_ 3_2_7_2“，”volume-title“：”Diophantine近似简介“，”author“：”Cassels John W.S.“，”year“1965”，“unstructured”：“John W.S.Cassels.1965”。丢番图近似导论。剑桥大学出版社。“}，{”key“：”e_1_3_2_8_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2488608.2488728“}“key”：“e_1_ 3_2_9_2”，“doi-assert-by”：“publisher”，“doi”：“10.5555\/2722129.2722193”}，“{”密钥“：”d_3_2_10_2“，key“：”e_1_3_2_11_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-45069-6_39“}，{“key”：“e_1_3_2_12_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-30579-8_1“}，{“key”：“e_1_ 3_2_13_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/512760.512770”}，”{“密钥”：“e_1_3_2_14_2”，”doi-asserted-by“：“publister”，”doi:“10.1017\/CBO9780511525919”}、{“key”：e_1_3_2_15_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-030-32304-2_9“}，{“key“：”e_1_3_2_16_2“，”首页“：”29:1\u201329:13“，”卷标“：”第34届计算机科学理论方面研讨会论文集“，”作者“：”Fijalkow Nathana\u00ebl“，”年份“：”2017“，”非结构化“：”Nathana\f00ebl Fijalkow，Pierre Ohlmann，Jo\f00ebl-Ouaknine，Amaury Pouly，and James Worrell。2017.kannan-lipton轨道问题的半代数不变量综合。第34届计算机科学理论方面研讨会论文集。29:1\u201329:13.“}，{”key“：”e_1_3_2_17_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007 \/s00224-019-09913-3“}”，{“key”：“e_1_ 3_2_18_2”，“volume-title”：“第32届计算机科学理论方面国际研讨会论文集”，“author”：“Galby Esther”，“year”：“2015”，“unstructured”：“”Esther Galby、Jo \u00ebl Ouaknine和James Worrell。2015年，关于低维矩阵供电。第32届计算机科学理论方面国际研讨会论文集。“}，{”key“：”e_1_3_2_19_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1328897.1328459“}”，{“key”：“e_1_ 3_2_20_2”，“首页”：“118:1\u2013118:13”，“volume-title”：“第46届国际自动化、语言和编程学术讨论会论文集”，“author”：“Hosseini Mehran”，“年份”：“2019”，“非结构化”：“梅赫兰·侯赛尼（Mehran Hosseini）、乔·埃布尔·瓦克宁（Jo \u00ebl Ouaknine）和詹姆斯·沃雷尔（James Worrell）。2019.终止整数上的线性循环。在《第46届自动机、语言和程序设计国际学术讨论会论文集》中，118:1\u2013118:13.“}，{“key”：“e_1_3_2_21_2”，“doi断言者”：“publisher”，“doi”：“10.1145\/800141.804673”}，{“key”：“e_1_3_2_22_2”，“doi断言者”：“publisher”，“doi”：“10.1145\/35066469.3496”}，{“key”：“e_1_3_2_23_2”，“doi断言者”：“publisher”，“doi”：”10.1145\/3158142“}，{“key”：“e_1_3_2_24_2”，“首页”：“441”，“volume-title”：“克里塞利亚会议录。关于乔治·克里塞尔及其周围”，“author”：“麦金太尔·安格斯”，“year”：“1996”，“unstructured”：“安格斯·麦金太尔和亚历克斯·J·威尔基。1996。关于实指数场的可判定性。《克里塞利亚会议录》。关于乔治·克雷泽尔（Georg Kreisel），皮埃尔吉奥·奥迪弗雷迪（Piergiorgio Odifreddi）（编辑），A K Peters，441\u2013467。“1984年”非结构化“：”M.Mignotte、T.Shorey和R.Tijdeman。代数递归序列项之间的距离。Journal f\u00fcr Die Reine und Angewandte Mathematik 1984，349（1984），63\u201376.“，“Journal-title”：“Journal f \u00fc Die Reine und Ange wandte mathematak”}，{“key”：“e_1_3_2_27_2”，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/2722129.2722194”}、{“密钥”：“e_1_3_28_2”、“doi-sserted-by“publishers”，“doi”：”10.1007\/978-3-662-43951-7_27“}，{“键”：”e_1_3_2_29_2“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/2634074.2634101“}，{“key”：”e_1_ 3_2_30_2“，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3662-43951-7_28”}，”{“key”：“e_1_a_2_31_2”，“doi-asserted-by”：“e_1_3_2_32_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0747-7171（10）80003-3”}，{key“：”e_1_3_2_33_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-27864-1_21“}，{“key”：“e_1_ 3_2_34_2”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/j.jsc.2007.01.002”}，}“keys”：“e_1_35_2”，”doi-asserted-by“”：”publister“，”doi“：“10.1145\/982964028”}，{“key”：“e_1_3_2_36_2”，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/2621980”}，{”key“：”e_1_3_2_37_2“，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/1538776”}，{“key”：“e_1_ 3_2_38_2”，“article-title”：“初等代数和几何的决策方法”，“author”：“Tarski Alfred”，“year”：“1951”，“unstructured”：“Alfred Tarski.1951”。初等代数和几何的一种判定方法。兰德公司。“，”journal-title“：”RAND Corporation“}，{”key“：”e_1_3_2_39_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/9788-3-540-27813-9_6“}”，{“issue”：“2”，“key”：“e_1_ 3_2_40_2”，“首页”：“609”，“article-title”：“线性递归序列中出现零的问题（俄语）”，“volume”：”38“，”author“：”Vereshchagin N.K.“，”年份“：”1985“，”非结构化“：”N.K.Vereshchagin。1985.线性递归序列中零的出现问题（俄语）。Matematicheskie Zametki 38，2（1985），609\u2013615.“，“journal-title”：“Matematiccheskie Zometki”}，{“key”：“e_1_3_2_41_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/S0894-0347-96-00216-0”}、{“密钥”：“e_1_3_2_42_2”、“doi-sserted-by“：”publisher“，”doi“：”10.1016\/j.jsc.2010.06.006“}]，”container-title“：[“ACM计算逻辑事务”]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3501299“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1]]，”date-time“：“2023-01-01T22:34:34:38Z”，“timestamp”：1672612478000}，“score”：1，“资源”：{“主资源”：}“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3501299“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2022,1,14]]}，“引用计数”：41，“日志发布”：{“发布”：“2”，“发布-打印”：{-“日期部分”：[2022.4,30]]}}\/dx.doi.org\/10.1145\/3501299“，”关系“：{}，”ISSN“：[”1529-3785“，”1557-945X“]，”issn-type“：[{”value“：“1529-3785”，“type”：“print”}，{”value“：“1557-945X”，“type”：“electronic”}]，“subject”：[]，“published”：{”date-parts“：[2022,1,14]]}，“assertion”：[{“value”：”2020-06-01“，”order“：0，”name“：”received“，”label“：”received“，{“value”：“2021-11-01”，“order”：1，“name”：“accepted”，“label“：”Accepted“，”group“：{”name“：”publication_history“，”label“:”publication history“}}，{”value“：”2022-01-14“，”order“：2，“name”：“published”，“label”：“published”，“group”：{