40.2015年MFCS:意大利米兰
朱塞佩·F·意大利 , 乔瓦尼·皮奇奇尼 , 唐纳德·桑内拉 :
2015年计算机科学数学基础第40届国际研讨会,2015年8月24日至28日,意大利米兰,MFCS 2015,论文集,第二部分。 计算机科学课堂讲稿 9235, 施普林格 2015 ,国际标准图书编号 978-3-662-48053-3 菲达·阿贝德 , Ioannis Caragiannis公司 , 亚历山大·沃杜利斯 :
近最优非对称二元矩阵划分。 1-13 埃里克·阿伦德 , 安娜·加尔 , 伊恩·默茨 :
双VP类。 14-25 维克拉曼·阿文德 , 约翰内斯·科布勒 , 高拉夫藤 , 奥列格·维尔比茨基 :
关于同构检验的Tinhofer线性规划方法。 26-37 维克拉曼·阿文德 , 高拉夫·拉坦 , Pushkar S.Joglekar先生 :
关于非交换多项式因式分解的复杂性。 38-49 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
实数PCP定理的代数证明。 50-61 马克西姆·巴本科 , 安德鲁·戈德堡 , 哈伊姆·卡普兰 , 鲁斯兰·萨文琴科 , 马蒂亚斯·韦勒 :
关于中心标签的复杂性(扩展摘要)。 62-74 尼尔·巴塞洛 , 彼得·克林 , 迈克尔·纽金特 , 柯克·普鲁斯 , 米歇尔·斯奎萨托 :
关于速度缩放的复杂性。 75-89 尼尔·巴塞洛 , 迈克尔·纽金特 , 柯克·普鲁斯 , 米歇尔·斯奎萨托 :
几乎所有函数都需要指数能量。 90-101 苏伦德·巴斯瓦纳 , 基尔蒂·乔达里 :
关于有向图中的动态DFS树。 102-114 雷米·贝尔蒙特 , 费多尔·V·福明 , 彼得·戈洛维奇 , M.S.Ramanujan先生 :
有界宽度图的度量维数。 115-126 拉尔夫·波特什 , 德米特里·加文斯基 , 哈特穆特·克劳克 :
平等,重新审视。 127-138 安德烈亚斯·布兰德斯特 , 康拉德·K·达布罗夫斯基 , 黄慎伟(Shenwei Huang) , 丹尼尔·保卢斯马 :
无H弦图的Clique-Width的界。 139-150 弗拉基米尔·布拉弗曼 , 刘枣兴 , 特贾斯瓦姆·辛格 , N.V.Vinodchandran公司 , 林福阳(Lin F.Yang) :
使用图分解理论求解CLIQUE-GAP问题的新边界。 151-162 亚历克斯·布雷达里奥尔·格里洛 , Iordanis Kerenidis公司 , 杰米·西科拉 :
具有子集状态见证人的QMA。 163-174 安德烈·布拉托夫 , Evgeny S.Skvortsov公司 :
人工卫星本地搜索的阶段转换。 175-186 咖啡馆Caferov , 巴里斯·卡亚 , 瑞安·奥唐纳 , A.C.杰姆说 :
使用PMF查询估计熵的最佳界。 187-198 亚当·凯斯 , 杰克·H·卢茨 :
互维和随机序列。 199-210 林晨(Lin Chen) , 妮可·梅戈 , 罗曼·里奇克 , 利恩·斯托吉 , 何塞·凡尔赛 :
成本-产品调度的优化算法和PTAS。 211-222 陈瑞文 :
有限基上布尔公式的可满足性算法和下限。 223-234 达尼亚尔·丘姆巴洛夫 , 安德烈·罗马申科 :
组合Slepian-Wolf问题的随机多项式时间协议。 235-247 安德烈亚斯·科尔德·兰德威尔 , 帕斯卡·伦兹纳 :
网络创作游戏:思考全球-行动本地。 248-260 克劳德·克雷珀 , 拉扎·阿里·卡兹米 :
弱随机自约简公钥密码系统的不经意传输。 261-273 乔瓦尼·迪·克雷塞佐 , 布莱恩·科恩 , 乔纳森·基尔希 :
加密数据块上的高效计算。 274-286 迈克尔·埃切伊德 , 斯特凡·克拉奇 , 马蒂亚斯·姆尼奇 , 海科·罗格林 :
加权问题的多项式核。 287-298 斯特凡·法菲尼 , 斯特凡·克拉奇 :
(太阳)花的捷径:对数空间或线性时间中的核。 299-310 费拉奥利迪奥达托 , 卡明·文特尔 :
渐近Well-Behave势对策的亚稳定性(扩展抽象)。 311-323 埃尔维·福尼尔 , 努坦·利马耶 , 米娜·马哈扬 , 斯里坎斯·斯里尼瓦桑 :
初等对称多项式的移位偏导数复杂性。 324-335 雅库布·加亚尔斯克 , 迈克尔·兰皮斯 , Kazuhisa Makino公司 , 瓦利亚·米特苏 , 塞巴斯蒂安·奥德尼亚克 :
对等游戏的参数化算法。 336-347 罗伯特·加尼安 , 金永中(Eun Jung Kim) , 斯特凡·塞德尔 :
树木切割宽度的算法应用。 348-360 伊格纳西奥·加西亚·马尔科 , 帕斯卡·科伊兰 , 塞巴斯蒂安·塔维纳斯 :
算术电路的对数凹性和下界。 361-371 托本·哈格鲁普 :
简单的多重精度除数和字-RAM常量。 372-383 迈克尔·哈恩 , 安德烈亚斯·克雷布斯 , 克劳斯·约恩·兰格 , 迈克尔·路德维希 :
可视反语言与NC结构 1 . 384-394 塔蒂亚娜·罗米娜·哈廷格 , 马修·约翰逊 , 马丁·米兰奇 , 丹尼尔·保卢斯马 :
自行车横道的连接价格。 395-406 霍吾道 , 琳达·克莱斯特 , 蒂尔曼·米尔佐夫 :
直线排列中长对偶路径的上下限。 407-419 苏内·雅各布森 :
数字对额头游戏。 420-431 德米特里·科索洛波夫 :
更快的轻量级Lempel-Ziv解析。 432-444 丹尼尔·科尼格 , 马库斯·洛伊 :
大功率倾斜电路的并行身份测试及其应用。 445-458 德巴斯·曼达尔 , 阿杜里·帕凡 , N.V.Vinodchandran公司 :
关于随机磁带的多址概率空间有界机器。 459-471 安德鲁·麦格雷戈 , 大卫·腾奇 , 索菲亚·沃洛特尼科娃 , Hoa T.Vu公司 :
动态图流中最稠密的子图。 472-482 萨阿德·姆奈姆 , 萨曼·法哈特 :
重新审视线下拼车问题。 483-492 桑德罗·蒙塔纳里 , 保罗·彭纳 :
平面图中简单路径的长度抽样。 493-504 莫里茨·穆伦塔勒 :
度约束子图重新配置在P中。 505-516 格瓦尔盖斯·菲利普 , 阿什图什·雷 , Saket Saurabh公司 :
广义伪森林删除:算法和统一核。 517-528 莫娜·拉恩 , 吉多·施费尔 :
多元矩阵协调对策中的有效均衡。 529-541 马库斯·施密德 :
查找输入字符串和解决方案字符串之间长度差异较小的一致字符串。 542-554 亨宁·施诺尔 , 奥利弗·沃兹科夫斯基 :
主动链接攻击。 555-566 Martijn van Ee公司 , 雷内·西特斯 :
关于主问题的复杂性。 567-576 吴晓伟 , 张晨子 :
计算有向图中所有低s-t边连通性的有效算法。 577-588 梅拉夫·泽哈维 :
通过顶点覆盖参数化的最大最小顶点覆盖。 589-600 权祖 , 张妙妙 , 余斌(Bin Yu) :
凸二分图中的快速动态权匹配。 601-612