文件大小：479 kB 14页
关于仿射可达性问题
作者
-
部分： 体积： 第45届计算机科学数学基础国际研讨会（MFCS 2020）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学数学基础（MFCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2020-08-18
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论
关键词
计数器 矩阵半群 可达性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
P.C.Bell、M.Hirvensalo和I.Potapov。 2次矩阵的死亡率为NP-hard。 《MFCS会议录》，第148-159页，2012年。 
-
P.C.Bell、M.Hirvensalo和I.Potapov。 SL⁄（ℤ）中矩阵半群的恒等式问题是NP-完全的。 《SODA会议录》，第187-206页，2017年。
-
A.M.Ben-Amram公司。 整数上迭代分段仿射函数的死亡率：可判定性和复杂性。 可计算性，4（1）：19-562015。
-
迈克尔·布隆丁和米哈伊尔·拉斯金。 具有状态的仿射向量加法系统可达性的复杂性。 在第35届ACM/IEEE计算机科学逻辑年度研讨会论文集上，LICS’20，第224–236页，2020年，美国纽约。 计算机协会。 网址： https://doi.org/10.1145/3373718.3394741 . -
I.Borosh和L.B.Treybig。 线性丢番图方程正积分解的界。 美国数学学会学报，55:299-3041976。
-
O.Bournez和M.Branicky。 低维矩阵的死亡率问题。 计算系统理论，35（4）：433-4482002。
-
O.Bournez、O.Kurgansky和I.Potapov。 一维分段仿射映射的可达性问题。 国际计算机科学基础杂志，29（4）：529-5492018。
-
C.Choffrut和J.Karhumäki。 整数矩阵的一些决策问题。 RAIRO：理论信息学与应用，39（1）：125-1312005。
-
V.Chonev、J.Ouaknine和J.Worrell。 轨道问题的复杂性。 美国医学会杂志，63（3）：23:1-23:182016。
-
W.Czerwinn ski、S.Lasota、R.Lazić、J.Leroux和F.Mazowiecki。 Petri网的可达性问题不是基本的。 《STOC会议录》，2019年第24-33页。
-
约翰·费恩利和马金·尤金斯基。 双时钟时间自动机中的可达性是PSPACE完成的。 信息与计算，243:26-362015。
-
A.Finkel、S.Goller和C.Haase。 具有多项式更新的寄存器机器中的可达性。 《MFCS会议录》，第409-420页，2013年。
-
M.R.Garey和D.S.Johnson。 计算机与不可纠正性：NP-完备性理论指南。 W.H.Freeman&Co.，美国纽约州纽约市，1979年。
-
Y.Gurevich和P.Schupp。 模块组的成员问题。 SIAM计算机杂志，37（2）：425-4592007。
-
C.Haase和S.Halfon。 带状态的整数向量加法系统。 在可及性问题中，第112-124页，2014年。
-
R.Kannan和R.J.Lipton。 轨道问题是可以决定的。 在STOC会议记录中，第252-2611980页。
-
O.Kurgansky、I.Potapov和F.Sancho Caparrini。 低维迭代映射中的可达性问题。 国际计算机科学基础杂志，19（4）：935-9512008。
-
M.L.明斯基。 图灵机器理论中Post的“标签”问题和其他主题的递归不可解性。 《数学年鉴》，74（3）：437-4551961。
-
T.尼利。 二进制标签系统中的不确定性和五对单词的Post对应问题。 《STACS会议记录》，第649-661页，2015年。
-
R.Niskanen。 多项式迭代的可达性问题是PSPACE-完全的。 《RP会议记录》，第132-143页，2017年。
-
C.Nuccio和E.Rodaro。 2times2整数矩阵的死亡问题。 在SOFSEM会议记录中，第400-405页。 施普林格，2008年。
-
J.Ouaknine和J.Worrell。 线性递归序列的决策问题。 在可及性问题中，2012年第21-28页。
-
M.S.帕特森。 3×3矩阵的不可解性。 应用数学研究，49（1）：105-1071970。
-
I.Potapov和P.Semukhin。 SL中的向量可达性问题（2，ℤ）。《MFCS学报》，LIPIcs第58卷，第84:1-84:14页，2016年。
-
I.Potapov和P.Semukhin。 2乘2整数矩阵的隶属度问题的可判定性。 SODA会议记录，第170-186页，2017年。
-
J.Reichert。 带计数器的可达性游戏：判定性和算法。 博士论文，ENS Cachan，2015年。
-
A.Schrijver。 线性和整数规划理论。 John Wiley&Sons，1986年。
-
J.von zur Gatheren和M.Sieveking。 线性整数等式和不等式解的界。 美国数学学会会刊，72:155-1581978。