计算系统理论，第64卷
第64卷第1期，2020年1月
费多·弗明 
, 弗拉基米尔·波多尔斯基 :
CSR 2018 TOCS特刊。 1-2 亚历山大·科扎钦斯基 :
从深度三个公式中识别读出函数。 3-16 劳伦特·布尔托 , 丹尼·赫尔梅林 , 杜珊·诺普 , 安东尼·拉巴雷 , Stéphane Vialette酒店 :
聪明的购物者问题。 17-34 伊曼纽尔·詹德尔 , 艾蒂安·穆托 , 帕斯卡·瓦尼尔 :
多维子移位的斜率。 35-61 贾克里什南·马达提尔 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
生成树上最大割的固定参数可牵引算法和多项式核。 62-100 分析师拉胡尔贾殷 , 哈特穆特·克劳克 , 斯里吉塔·昆都 , 特洛·李 , 米克洛斯·桑塔 , 斯瓦加托三亚 , Jevgenijs维罗夫斯 :
随机查询复杂性的二次紧密关系。 101-119 索伦·海宁 , 克劳斯·詹森 , 马林·劳 , 拉尔斯·施马杰 :
并行任务调度和条带打包的复杂性和不近似性结果。 120-140 阿德里亚·加斯科恩 , 马库斯·洛伊 , 塞巴斯蒂安·马内斯 , 卡尔·菲利普·雷赫 , 库尔特·西伯 :
未排序树的基于语法的压缩。 141-176 Funda Ergün基金会 , 埃琳娜·格里戈雷斯库 , 埃尔凡·萨德基·阿泽尔 , 萨姆森·周 :
使用通配符的数据流中的周期性。 177-197
第64卷第2期，2020年2月
奥尔加·库亚特尼科娃 , 胡安·维拉 :
两个无关自私机器上真实调度的新边界。 199-226 克里斯托弗·特拉夫斯·卡罗 , Josu Doncel公司 , 奥利维尔·布伦 :
具有齐次知识的最优路径发现问题。 227-250 费多·弗明 , 彼得·戈洛维奇 , 迪米特里奥斯·M·蒂利科斯 :
关于一阶逻辑性质图形修改的参数化复杂性。 251-271 拉加文德兰·戈帕拉克里什南 , 迪米特里奥斯·卡努拉斯 , 纳加·纳雷什·卡鲁图里 , C.潘都·兰根 , 拉杰莫汉·拉贾拉曼 , 拉维·桑德兰 :
如果可以的话缓存我：网络中的容量自私复制游戏。 272-310 莫德凯·沙洛姆 , 普鲁登斯·W·H·王 , Shmuel Zaks公司 :
Flex-Grid全光网络中的利润最大化。 311-326 张玉白 , 赵章 , 一朔石 , 李显岳 :
在线三路径顶点覆盖算法。 327-338 迪米特里斯·福塔基斯 , 迪米特里斯·卡利梅里斯 , 塔纳西·利亚斯 :
改进风险规避玩家的自私路线。 339-370
第64卷第3期，2020年4月
罗尔夫·尼德迈尔 , 布里吉特·瓦莱 :
计算机科学理论专题（2018）前言。 371-373 马克斯·班纳赫 , 直到Tantau :
用AC计算命中集核 0 -电路。 374-399 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF展开的下界技术。 400-421 戴维德·比洛 , 帕斯卡·伦兹纳 :
网络创作游戏的树猜想。 422-443 马可·布莱桑 , 伊诺克·佩塞里科 , 卢卡·普雷托 :
时间可逆马尔可夫链平稳分布的逼近。 444-466 帕特里克·加迪 , 帕特里夏·鲍耶 , 尼古拉斯·马基 :
战略逻辑中的依赖性。 467-507 芭芭拉·盖斯曼 , 斯特凡诺·莱奇 , Chih-Hung Liu先生 , 保罗·佩纳 :
次二次时间内具有持续误差的最优错位。 508-521 Masashi Kiyomi先生 , 小野博孝 , 尤塔·奥塔奇 , 帕斯卡·施韦策 , Jun Tarui先生 :
最长增加子序列的空间效率算法。 522-541 阿尤什·拉贾塞卡兰 , 杰弗里·沙利特 , 施敏夫 :
通过自动机理论的加法数论。 542-567
第64卷第4期，2020年5月
利亚·爱泼斯坦 , 托马斯·埃尔勒巴赫 :
近似和在线算法专题。 569-570 利亚·爱泼斯坦 , 托马斯·厄尔巴赫 :
更正：近似和在线算法专题。 571 尤西·阿扎尔 , 雅各布·法纳尼 :
具有延迟的确定性最小成本匹配。 572-592 阿伦·博罗丁 , 琼·博亚尔 , 金·拉森 , 丹尼斯·潘克拉托夫 :
优先级算法的通知复杂性。 593-625 雅罗斯瓦夫·拜尔卡 , 马特乌斯·勒万多夫斯基 , Joachim Spoerhase公司 :
平面图上节点加权k-MST的逼近。 626-644 张敏君 , 多里特·霍奇鲍姆 , 奎科·斯潘 , 马克·维列尼茨基 :
具有身份证到达的最大在线完美二部匹配的最优竞争算法。 645-661 芭芭拉·盖斯曼 :
持续比较错误下最长增加的子序列。 662-680
第64卷第5期，2020年7月
Dibyayan Chakraborty公司 , 马修·弗朗西斯 :
关于矩形相交图的刺数。 681-734 汉斯·拉杰·蒂瓦里 :
形式语言的扩展复杂性。 735-753 迪米特里斯·福塔基斯 , 伊安妮斯·米利斯 , 帕帕迪戈诺普洛斯（Orestis Papadigenopoulos） , 瓦西里斯·瓦萨洛斯 , 乔治·佐伊斯 :
在相同和不相关的处理器上调度MapReduce作业。 754-782 尼科拉斯·阿尔瓦雷斯 , 奥利维尔纸箱 :
关于有限型移位的正规性。 783-798 比特·博利格 , 马蒂亚斯·巴特库斯 :
结构化（确定性）DNNF的局限性。 799-825 本尼·基梅尔菲尔德 :
2018年数据库理论国际会议专刊。 826-827 诺法尔·卡梅利 , 马库斯·科尔 :
具有函数依赖的连接查询的枚举复杂性。 828-860 安托万·阿马里利 , 弗洛伦特·卡佩利 , 米卡·莫内 , 皮埃尔·塞内拉特 :
连接知识编译类和宽度参数。 861-914 安托万·阿马里利 , 弗洛伦特·卡佩利 , 米卡·莫内 , 皮埃尔·塞内拉特 :
更正：连接知识编译类和宽度参数。 915 巴勃罗·巴塞洛 , 米盖尔·罗梅罗 , 托马斯·泽姆 :
连接查询静态近似的更一般理论。 916-964 巴斯·凯茨曼 , 奥斯·阿尔巴古蒂 , Paraschos Koutris公司 :
数据日志的分发策略。 965-998
第64卷第6期，2020年8月
T.-H.Hubert Chan , 陈飞（音译） , 李宁 :
面对不稳定、贪婪和理想主义，优化网络讨价还价游戏的社会福利。 999-1027 拉斐洛·卡罗西 , Gianpiero摩纳哥 :
广义图k着色对策。 1028-1041 伊尔卡·特尔梅 :
周期性方向的可计数索菲克位移。 1042-1066 帕拉维·贾因 , 劳奎恩·卡内什 , 普拉纳本德·米斯拉 :
图上覆盖问题的无冲突版本：经典和参数化。 1067-1093 费德里科·科洛 , 吉安罗伦佐·达安吉洛 , 瓦汉·姆克尔奇扬 :
关于最大连通度改进问题的固定参数牵引性。 1094-1109 雅各布·卡森 , 道格拉斯·森泽 , 杰弗里·伦梅尔 :
自动等价和嵌套等价结构的有效分类。 1110-1139 德米特里·加文斯基 , 帕维尔·普德拉克 :
Santha-Vazirani源、确定性冷凝器和强力提取器。 1140-1154
第64卷第7期，2020年10月
纳迪娅·皮桑蒂 , 查尔斯·科尔伯恩 , 罗伯托·格罗西 :
社论：国际组合算法研讨会特刊（IWOCA 2019）。 1155-1157 马蒂亚斯·本特 , 罗曼·哈格 , 克里斯蒂安·霍弗 , 高谷智宏 , 安德烈·尼切特林 :
最小功率非对称连接的参数化复杂性。 1158-1182 朱霍·劳里 , 克里斯托杜洛斯·米蒂略 :
受限图类秋季着色的复杂性。 1183-1196 弗洛里安·斯托伯 , Armin Weiß :
关于合并插入的平均情况。 1197-1224 迈克尔·A·海宁 , 阿蒂·潘迪 , 维卡什·特里帕西 :
图中半配对支配的复杂性和算法。 1225-1241 佐拉·多诺万 , K.Subramani公司 , 瓦汉·V·姆克钦 :
分析选定VLSI模型中的聚类和分区问题。 1242-1272 渡边捷一 , 中岛由通 , Inenaga俊辅 , 希德奥·班奈 , 武田正彦 :
Run-Length编码字符串上最短唯一回文子串问题的快速算法。 1273-1291 Yeganeh Bahoo公司 , 普罗森吉特·博斯 , 斯蒂芬·杜洛彻 , 托马斯·谢尔默 :
计算多边形中点的k可见性区域。 1292-1306 阿里特拉·巴尼克 , 阿什温·雅各布 , 维贾伊·库马尔·帕利瓦尔 , 文卡特斯·拉曼 :
（n-k）列表着色的固定参数牵引性。 1307-1316
第64卷第8期，2020年11月
李少华 , 马金·皮利普祖克 :
一种改进的独立反馈顶点集FPT算法。 1317-1330 大卫·巴里纳 :
基于Collatz函数的乘法算法。 1331-1337 埃文格洛斯·马卡基斯 , 阿波斯托洛斯·恩托科斯 , Orestis Telelis公司 :
有预算的组合买家的无嫉妒收入近似值。 1338-1361 金一彩 , Pinyan路 , 明吉霞 :
霍兰特的二分法 ∗ 布尔域上的问题。 1362-1391 长尾Atsuki , 濑户县 , 村上俊一 :
句法读k次分支程序的可满足性算法。 1392-1407
