第42届ICALP 2015:日本京都——第一部分
马格努斯·M·哈尔德森 , 岩岛和雄 , 小林直树 , 贝蒂娜·斯派克曼 :
自动化、语言与编程——第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日,会议记录,第一部分。 计算机科学课堂讲稿 9134, 施普林格 2015 ,国际标准图书编号 978-3-662-47671-0 什韦塔·阿格拉瓦尔 , 尤瓦尔·伊斯海 , 达克希塔·库拉纳 , 阿纳特·帕斯金·切尔尼亚夫斯基 :
统计随机编码:复杂性理论观点。 1-13 尼尔·艾隆 :
更严格的傅里叶变换下限。 14-25 苏珊娜·阿尔伯斯 , 达里奥·弗雷斯卡里亚 :
使用参考位置量化寻呼竞争力。 26-38 乔治奥斯·阿马纳蒂迪斯 , 埃文格洛斯·马卡基斯 , 阿夫申·尼扎德 , 阿明·萨贝里 :
计算最大份额分配的近似算法。 39-51 埃利奥特·安舍列维奇 , Koushik Kar公司 , 史莱亚斯·塞卡尔 :
大型市场中的无嫉妒定价:收入和福利的近似值。 52-64 鲍里斯·阿罗诺夫 , 马修·卡茨 :
通过代数工具在SINR图中定位批量点。 65-77 诺亚·阿维格多·埃尔格拉布利 , Sungjin Im公司 , 本杰明·莫斯利 , 尤瓦尔·拉巴尼 :
非均匀成本下再订购缓冲管理的随机竞争比。 78-90 尤西·阿扎尔 , 伊兰·鲁文·科恩 :
在黑暗中服侍时应做到不拘礼节。 91-102 保罗·比姆 , 文森特·刘 , Mihai Patrascu公司 :
找到有界空间的中位数(遗忘地)。 103-115 巴巴克·贝沙兹 , 扎卡里·弗里格斯塔德 , 穆罕默德·萨拉瓦蒂普尔 , 罗希特·西瓦库马尔 :
最小和k-聚类和平衡k-中值的近似算法。 116-128 贝晓辉 , 宁晨 , 张胜宇(Shengyu Zhang) :
求解约束未知的线性规划问题。 129-142 萨尔曼·贝吉 , 奥米德·埃特萨米 , 阿明·戈哈里 :
广义和分布式Santha-Vazirani源的确定性随机性提取。 143-154 克里斯托夫·贝尔霍尔茨 , 马丁·格罗 :
代数方法在图同构测试中的局限性。 155-166 亚伦·伯恩斯坦 , 克利夫·斯坦因 :
二部图中的完全动态匹配。 167-179 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
QBF分辨率演算的可行插值。 180-192 阿米·邦格尔 , 纳粹党徽Kopparty , 苏珊·萨奇德娃 :
约束满足问题的同时逼近。 193-205 萨扬·巴塔查里亚 , 莫妮卡·亨辛格 , 朱塞佩·F·意大利 :
基于原对偶方法的动态算法设计。 206-218 劳伦特·宾文努(Laurent Bienvenu) , 达米安·德斯方丹(Damien Desfontaines) , 亚历山大·沈 :
程序停止的百分比是多少? 219-230 安德烈亚斯·比约克隆德 , 霍尔格·戴尔 , 托尔·胡斯菲尔德 :
随机约束下集合系统的奇偶性及其在指数时间问题中的应用。 231-242 安德烈亚斯·比约克隆德 , 维克拉姆·卡马特 , 卢卡斯·科瓦利克 , 梅拉夫·泽哈维 :
发现树叶稀少的树木。 243-255 曼纽尔·博德斯基 , 巴纳比·马丁 , 安托万·莫特特 :
带后继整数上的约束满足问题。 256-267 马克·布恩 , 贾斯汀·泰勒 :
恒定深度电路的硬度放大和近似度。 268-280 本杰明·伯顿 , 克莱门特·玛丽亚 , 乔纳森·斯普雷尔 :
Turaev-Viro不变量的算法和复杂性。 281-293 克莱门特·卡农 :
大数据在增长 测试分布的单调性。 294-305 曹一新 :
单位间隔编辑是固定参数可牵引的。 306-317 钱德拉·切库里 , Shalmoli Gupta公司 , 肯特·库鲁德 :
子模块函数最大化的流算法。 318-330 阿隆尼·科恩 , 贾斯汀·霍姆格伦 :
多线性伪随机函数。 331-342 吉尔·科恩 , 伊戈尔·辛卡尔 :
亚对数熵的定零抽取器。 343-354 马修·库德隆 , 托马斯·维迪克 :
与大约通勤证明人的互动证明。 355-366 阿格内斯·切赫 , 黄建忠 , Telikepalli Kavitha公司 :
双面偏好和单面领带的流行搭配。 367-379 Radu Curticapean公司 :
块插值:严格指数时间计数复杂性的框架。 380-392 朱列克·齐佐维奇 , 莱斯泽克·盖西涅克 , 阿德里安·科索夫斯基 , 埃文格洛斯·克拉纳基斯 , 保罗·G·斯皮拉基斯 , 普尔泽米斯瓦夫·乌兹南斯基 :
离散Lotka-Volterra种群协议的收敛性和阈值性质。 393-405 Yann异议 , 马克斯·科利姆 , 伊丽莎白·Lübbecke :
在路径上调度双向流量。 406-418 迪安·多龙 , Amnon Ta-Shma公司 :
概率对数空间中无向图特征值的逼近问题。 419-431 兹德内克·德沃拉克 , 马丁·库佩克 :
在平面布尔CSP上。 432-443 托马斯·厄尔巴赫 , 贺明开 , 弗兰克·坎默 :
关于时间图形的探索。 444-455 安东尼奥·法奥尼奥 , 杰斯珀·布乌斯·尼尔森 , 丹尼尔·文丘里 :
当心硬币:完全泄漏-弹性签名,优雅退化。 456-468 安德烈亚斯·埃米尔·费尔德曼 , 伟盛丰 , 约钦·科内曼 , 伊恩·波斯特 :
低公路维图的A(1+ε)-嵌入有界树宽图。 469-480 费多尔·V·福明 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
图同态问题的下界。 481-493 费多·弗明 , 佩特里·卡斯基 , 丹尼尔·洛克斯塔诺夫 , 法哈德·帕诺兰 , Saket Saurabh公司 :
Steiner树的参数化单指数时间多项式空间算法。 494-505 莉拉字体 , 分析师拉胡尔贾殷 , Iordanis Kerenidis公司 , 苏菲·拉普兰特 , 马修·劳里埃 , 杰雷米·罗兰 :
相对差异并不能区分信息和通信的复杂性。 506-516 彼得·富拉 , 斯坦尼斯拉夫·齐夫尼 :
无限大小值约束语言的Galois连接。 517-528 安德烈亚斯·加拉尼斯 , 莱斯利·安·戈德堡 , 马克·杰拉姆 :
近似计算H颜色是#\mathrm BIS#BIS-Hard。 529-541 古力 :
估计频率矩的泰勒多项式估计器。 542-553 朱加尔·加格 , 鲁塔·梅塔 , 维杰·瓦齐拉尼 , 萨德拉·亚兹丹博德 :
多塑性(对称)纳什均衡决策版本的ETR-完备性。 554-566 谢尔盖·加斯佩斯 , 格雷戈里·索尔金 :
分离、测量和征服:最大2-CSP和计数支配集的更快多项式空间算法。 567-579 Pawel Gawrychowski先生 , 谢伊·莫泽斯 , 奥伦·魏曼 :
Monge矩阵中的子矩阵最大查询等价于前置搜索。 580-592 Pawel Gawrychowski先生 , 帕特里克·K·尼克尔森 :
范围Top-k k、Selection和Min-Max的最佳编码。 593-604 卢卡斯·乔治亚迪斯 , 朱塞佩·F·意大利 , 路易吉·劳拉 , 尼科斯·帕罗西迪斯 :
有向图中的2-顶点连通性。 605-616 塞瓦格·加里比安 , 杰米·西科拉 :
局部哈密顿量的基态连通性。 617-628 大执政官C.詹诺普鲁 , 巴特·M·P·詹森 , 丹尼尔·洛克斯塔诺夫 , Saket Saurabh公司 :
打击违禁未成年人的统一核化复杂性。 629-641 安德烈亚斯·哥贝尔 , 莱斯利·安·戈德伯格 , 大卫·理查德比 :
无平方图的计数同态,模2。 642-653 莱斯利·安·戈德伯格 , 罗布·吉塞尔 , 约翰·拉宾斯卡斯 :
近似计算局部最优结构。 654-665 密码学基础 , 汤姆·古尔 , 罗恩·罗斯布卢姆 :
上下文无关语言和只读分支程序的邻近性证明(扩展摘要)。 666-677 乌尔里克·格罗 , 约阿希姆·古德蒙松 , 克里斯蒂安·克诺尔 , 米歇尔·史密斯 , 费比安·斯特恩 :
直径最优扩充路径的快速算法。 678-688 托马斯·杜伊霍姆·汉森 , 哈伊姆·卡普兰 , 塔扬 , 乌里·兹威克 :
空心堆。 689-700 布雷特·海门威 , 玛丽·伍特斯 :
高速扩展器代码的线性时间列表恢复。 701-712 莫妮卡·亨辛格 , 塞巴斯蒂安·克林格 , 维罗妮卡·洛森鲍尔 :
在二次时间中求2-边和2-顶点强连接分量。 713-724 莫妮卡·亨辛格 , 塞巴斯蒂安·克林格 , 达农·纳农开 :
有向图上减少单源可达性的改进算法。 725-736 Sungjin Im公司 , 本杰明·莫斯利 :
通过背包覆盖不等式变量改进的加权重排序缓冲区。 737-748 哈米德·贾汉茹 , 埃里克·迈尔斯 , 伊曼纽尔中提琴 :
局部缩减。 749-760 杰德泽·卡涅夫斯基 , 特洛·李 , 罗纳德·沃尔夫 :
期望中的查询复杂性。 761-772 桑帕斯·坎南 , 克莱尔·马修 , 杭州 :
图形推理的近线性查询复杂性。 773-784 马雷克·卡宾斯基 , 安德烈·林加斯 , Dzmitry Sledneu公司 :
平面点集上无交叉结构数的基的QPTAS。 785-796 川端康成 , 小林由介(Yusuke Kobayashi) , 山口由太郎 :
禁止在带有两个标签的群标记图中查找路径。 797-809 尼拉杰·凯亚尔 , 帕斯卡·科伊兰 , 蒂莫西·佩卡特 , 钱丹·萨哈 :
低阶单变量幂和的下限。 810-821 Subhash Khot公司 , Rishi清酒 :
使用LP松弛近似CSP。 822-833 巴拉戈帕尔·科马拉斯 , 贾亚拉尔·萨尔马 , K.S.Sunil公司 :
有限有界姿态上的比较器电路。 834-845 马金·科齐克 , 乔安娜·奥奇里米亚克 :
值约束满足问题的代数性质。 846-858 马文·库内曼 , 博多·曼泰 :
理解2-Opt启发式的平滑近似比。 859-871 亚当·库皮斯 , 萨穆利·勒帕宁 , 莫纳尔多·马斯特罗利利 :
关于0/1 0/1激光器体系最难的问题公式。 872-885 杰里·李 , 约翰·皮贝利 :
用斐波那契堆中的随机性替换标记位。 886-897 李健 , 金一飞 :
加权单位圆盘覆盖问题的PTAS。 898-909 黄凌霄 , 李健 :
随机点上组合优化问题的期望值逼近。 910-921 丹尼尔·洛克斯塔诺夫 , Pranabendu米斯拉 , 法哈德·帕诺兰 , Saket Saurabh公司 :
线性拟阵的行列式截断。 922-934 丹尼尔·洛克斯塔诺夫 , M.S.Ramanujan先生 , Saket Saurabh公司 :
子集反馈顶点集的线性时间参数化算法。 935-946 约瑟夫·米切尔 , 瓦伦汀·波里什丘克(Valentin Polishchuk) , 米科·西西卡斯基 , 王海涛 :
三角矩形域中最小连接直线路径的优化算法。 947-959 马可·莫里纳罗 , 大卫·P·伍德拉夫 , 格里戈里·雅罗斯拉夫采夫 :
通过代码和噪声敏感性放大单向信息复杂性。 960-972 托比亚斯·莫凯 , 安德烈亚斯·维泽 :
存储分配问题的(2+\epsilon)(2+ϵ)-近似算法。 973-984 阿默尔·穆阿瓦德 , 西村直美 , 维纳亚克·巴沙克 , 文卡特斯·拉曼 :
布尔公式解空间中的最短重构路径。 985-996 阿米尔·纳耶里 , 阿纳斯塔西奥斯·西迪罗普洛斯 :
计算带孔多边形之间的Fréchet距离。 997-1009 阿列克桑达尔·尼科洛夫 :
一种改进的小型数据库专用机制。 1010-1021 莉拉·卡里 , 斯特芬·科佩基 , 皮埃尔·埃蒂安·穆尼尔 , 马修·帕蒂兹 , Shinnosuke Seki公司 :
二元图案瓷砖集合成是NP-hard。 1022-1034 斯瓦加托三亚 :
基于傅里叶稀疏性的布尔函数傅里叶维数的近最优上界。 1035-1045 马西耶·斯科尔斯基 , 亚历山大·戈洛夫涅夫 , Krzysztof Pietrzak先生 :
浓缩不可预测性。 1046-1057 约翰·塔珀 , 斯坦尼斯拉夫·齐夫尼 :
Sherali-Adams为有价值的顾客服务提供商提供放松。 1058-1069 王亚军 , 山姆·邱伟(Sam Chiu-wai Wong) :
双面在线二分匹配和顶点覆盖:击败贪婪算法。 1070-1081 欧姆里·温斯坦 , 大卫·P·伍德拉夫 :
与数据流应用程序不相交的同时通信。 1082-1093 华成余 :
布尔矩阵乘法的一种改进组合算法。 1094-1105