《理论计算机科学》第838卷
第838卷，2020年10月
新风树 , 张楠（Nan Zhang） , 王晓兵 , 梁昭 :
命题投影时序逻辑的有效决策过程。 1-16 洪乐 
, 白公正 :
局部搜索是无次优图中反馈顶点集的一种PTAS。 17-24 梁昭 , 王晓兵 , 新风树 , 张楠（Nan Zhang） :
统一时序逻辑的完善证明系统。 25-44 马特·博纳米 , 马克·海因里希 , 伊藤武弘 , 小林育助 , Haruka Mizuta公司 , 莫里茨·穆伦塔勒 , 铃木章 , Kunihiro Wasa公司 :
Kempe下颜色的直径发生变化。 45-57 徐一成 , 徐大川 , 张勇（音） , 邹娟（Juan Zou） :
M（M） 第页 UFLP：中的通用设施位置问题 第页 -度量空间的次幂。 58-67 克里希纳莫西·迪内什 , 贾亚拉尔·萨尔马 :
灵敏度、仿射变换和量子通信复杂性。 68-80 Kai Jin公司 :
关于二部Kneser图的1-因子分解。 81-93 伊凡·布利兹涅茨 , 丹尼尔·萨古诺夫 :
快乐着色问题的下界。 94-110 闫瑞东（Ruidong Yan） , 杜洪伟 , 李毅 , 陈文平 , 王永才 , 朱玉清 , 李德英 :
社交网络中不同种子集约束下目标用户的激活概率最大化。 111-125 Girish Raguvir J公司 , 马纳斯·乔蒂·卡西奥（Manas Jyoti Kashyop） , N.S.纳拉亚纳斯瓦米 :
用于区间着色的动态数据结构。 126-142 孙晓明 , 袁孙 , 夏志宇（Zhiyu Xia） , 张佳林 :
网格和树上的单轮多层离散Voronoi游戏。 143-159 刘鹏程 , 赵章 , 黄晓慧 :
最小连接权的近似算法- k个 -子图覆盖。 160-167 费尔南达·库托 , 路易斯·菲利佩·库尼亚 :
生成树中最小化最大距离的硬度和效率。 168-179 陈旭进 , 胡晓东 , 王晨浩 , 吴晓英 :
随机调度器负载平衡游戏中纳什均衡的效率。 180-194 香玉高 , 李建忠 , 洞井庙 , 刘贤民 :
认识到大数据计算的可处理性。 195-207 Mirza Galib Anwarul Husain Baig公司 , Deepanjan Kesh公司 :
改进了存储五个元素的两个查询自适应比特探测方案的边界。 208-230 桂晨高 , 李宁 , 兴丰亭 , 徐一成 , 张勇（音） , 邹一飞 :
部分指派问题的近似算法。 231-237 浅弘裕一（Yuichi Asahiro） , 杰斯珀·詹森 , 林国辉 , 宫野英二 , 小野弘太郎 , 北岛达通 :
重复有界最长公共子序列问题的精确算法。 238-249
