2013年第40届ICALP:拉脱维亚里加——第一部分
费多·弗明 , Rusins Freivalds公司 , 玛尔塔·奎亚特科夫斯卡 , 大卫·佩莱 :
自动化、语言与编程——第40届国际学术讨论会,2013年ICALP,拉脱维亚里加,2013年7月8日至12日,会议记录,第一部分。 计算机科学课堂讲稿 7965, 施普林格 2013 ,十亿 978-3-642-39205-4
轨道A-算法、复杂性和游戏
阿米尔·阿布德 , 凯文·莱维 :
精确权子图和k和猜想。 1-12 S.阿南德 , 卡尔·布林曼 , 托比亚斯·弗里德里希 , 纳文·加格 , 阿米特·库玛尔 :
最小化相关和非相关机器上的最大(加权)流时间。 13-24 亚历山大·安多尼 , Huy L.Nguyín , 尤里·波利安斯基 , 吴一宏 :
力矩线性草图的严格下限。 25-32 马丁·奥米勒 , 马丁·迪兹费尔宾格 :
双数据透视快速排序的最佳分区-(扩展抽象)。 33-44 Per Austin公司 , 佩特里·卡斯基 , 米科·科维斯托 , Jussi Määttä :
子集和的时空权衡:一种改进的最坏情况算法。 45-56 大卫·艾维斯 , 汉斯·拉杰·蒂瓦里 :
关于组合多面体的可拓复杂性。 57-68 马克西姆·巴本科 , 安德鲁·戈德堡 , 阿努帕姆·古普塔 , 维斯瓦纳特·纳加拉扬 :
集线器标签优化算法。 69-80 穆罕默德·侯赛因·巴泰尼 , 穆罕默德·塔吉·哈贾加伊 , 瓦希德·利亚加特 :
改进的(预算)节点加权Steiner问题近似算法。 81-92 莱因哈德·鲍尔 , 托比亚斯·哥伦布 , 伊格纳兹·拉特 , 多萝西娅·瓦格纳 :
收缩层次结构中的搜索空间大小。 93-104 Aleksandrs Belovs公司 , 安德鲁·柴尔德(Andrew M.Childs) , 斯泰西·杰弗里 , 罗宾·科塔里 , 弗雷德里克·马格尼兹(Frédéric Magniez) :
时间效率高的Quantum Walks实现3种不同。 105-122 阿纳布·巴塔查里亚 , 吉田裕一 :
可测试布尔CSP的代数特征。 123-134 马金·比恩科夫斯基 , 雅罗斯瓦夫·拜尔卡 , 马雷克·克罗巴克 , 尼尔·B·多布斯 , 托马斯·诺维基 , 马克西姆·斯维里登科 , Grzegorz Swirszcz公司 , 尼尔·E·杨 :
具有截止期的联合补货问题的近似算法。 135-147 菲利普·比尔 , 约翰内斯·菲舍尔 , Inge Li Gørtz公司 , 茨维·科佩洛维茨 , 本杰明·萨克 , 哈尔特·威德尔·维尔德(Hjalte Wedel Vildhöj) :
小空间中稀疏后缀树的构造。 148-159 菲利普·比尔 , 英格·李·高兹 , 加德·兰道 , 奥伦·魏曼 :
带顶树的树压缩。 160-171 马库斯·巴泽尔 :
非交换性使行列式变得困难。 172-183 托马斯·布莱修斯 , 伊格纳兹·拉特 , 多萝西娅·瓦格纳 :
具有凸折弯成本的最优正交图绘制。 184-195 汉斯·博德兰德 , 马雷克·赛根 , 斯特凡·克拉奇 , 杰斯珀·内德洛夫 :
树宽参数化连通性问题的确定性单指数时间算法。 196-207 塞西莉亚·博勒 , Cheilaris泛球虫 , 罗尔夫·克莱恩 , Chih-Hung Liu先生 , 埃文西娅·帕帕佐普洛 , Maksym Zavershynskyi公司 :
关于高阶抽象Voronoi图的复杂性。 208-219 恩德雷·博罗斯 , 哈立德·埃尔巴西尼 , 弗拉基米尔·古尔维奇 , Kazuhisa Makino公司 :
具有完全信息和少量随机位置的平均收益随机博弈的伪多项式算法。 220-231 马克·布拉弗曼 , 阿努普·拉奥 , 欧姆里·温斯坦 , 埃米尔·耶胡达约夫 :
通过Round-Preserving Compression直接生产。 232-243 弗拉基米尔·布拉弗曼 , 拉斐尔·奥斯特罗夫斯基 , 丹·维伦奇克 :
在流模型中计算三角形有多难? 244-254 卡尔·布林曼 , 本杰明·多尔 , 阿德里安·诺依曼 , 雅库布·斯利亚坎 :
具有改进的最坏情况保证的在线检查点。 255-266 卡尔·布林曼 , 托比亚斯·弗里德里希 :
几何随机变量和随机图的精确高效生成。 267-278 托比亚斯·布伦施 , 海科·罗格林 :
用阴影顶点算法在多面体上寻找短路径。 279-290 简·布拉内克 , 米查尔·库克(Michal Kouck) , 迈克尔·E·萨克斯 :
关于多项式多标签的随机在线标签。 291-302 马克·布恩 , 贾斯汀·泰勒 :
近似度和Markov-Bernstein不等式的对偶下限。 303-314 T.-H.Hubert Chan , 李明飞 , 李宁 , 谢·所罗门 :
新的双扳手:更好更简单。 315-327 钱德拉·切库里 , 盖斯莱恩海军 , F.布鲁斯·谢泼德 :
图的k-和中的最大边不相交路径。 328-339 约瑟夫·切里扬 , 高志翰 , 康斯坦蒂诺斯·乔治奥 , 萨希尔·辛拉 :
Sherali-Adams层次中非对称TSP的积分比。 340-351 柯蒂卡潘雷达 :
计算尺寸k的匹配是W[1]-困难的。 352-363 马雷克·赛根 , 马金·皮利普祖克 :
有界平均度图中的快速指数时间算法。 364-375 安妮迪亚·德 , 伊利亚斯·迪亚科尼科拉斯 , 洛科·A·塞韦迪奥 :
一个稳健的钦钦不等式,以及傅里叶分析和高维几何中计算最佳常数的算法。 376-387 埃里克·D·德曼 , 约翰·伊阿科诺 , 斯特凡·兰格曼 , 奥祖尔奥兹坎 :
组合二进制搜索树。 388-399 埃里克·D·德曼 , 马修·帕蒂兹 , 特伦特·罗杰斯 , 罗伯特·施韦勒 , 斯科特·萨默斯 , 达米安·伍兹 :
双手瓷砖装配模型并不是本质上通用的。 400-412 爱尔兰第纳尔 , 埃拉扎尔·戈登伯格 :
列表解码体制下布尔超立方体中的聚类。 413-424 冉端 , 库尔特·梅尔霍恩 :
线性箭头-离散市场的组合多项式算法。 425-436 Yuval Filmus公司 , 马西莫·劳里亚 , 姆拉登·米克萨 , 雅各布·诺德斯特伦 , 马克·维尼亚尔斯 :
对多项式微积分的理解:新的分离和下限(扩展抽象)。 437-448 迪米特里斯·福塔基斯 , 克里斯托斯·萨莫斯 :
设施选址博弈的决定机制的力量。 449-460 安娜·C·吉尔伯特 , 洪庆恩(Hung Q.Ngo) , 伊利·波拉特 , 中庭Rudra , 马丁·施特劳斯 :
ℓ 2/⁄2-低风险森林稀疏恢复。 461-472 克里斯蒂安·格拉(Christian Glaßer) , Dung T.Nguyen先生 , 克里斯蒂安·赖特维(Christian Reitwießner) , 艾伦·L·塞尔曼 , 马克西米利安·维特克 :
对数空间和多项式时间约简的完备集的自约性。 473-484 彼得·戈洛维奇 , 皮纳尔·赫格内斯 , 迪特尔·克拉奇 , Yngve村民 :
枚举所有最小边支配集的增量多项式时间算法。 485-496 丹尼尔·格里尔 :
确定任意有限姿态游戏的胜利者是PSPACE-Complete。 497-503 罗伯托·格罗西 , 拉杰夫·拉曼 , 斯里尼瓦萨·拉奥·萨蒂 , 罗萨诺·文丘里尼 :
随机访问的动态压缩字符串。 504-515 Heng Guo(恒国) , 泰森·威廉姆斯 :
具有复数权重的平面布尔#CSP的复杂性。 516-527 汤姆·古尔 , 然·拉茨 :
Arthur-Merlin流媒体复杂性。 528-539 布雷特·海门威 , 拉斐尔·奥斯特罗夫斯基 , 玛丽·伍特斯 :
扩展器代码的本地可纠正性。 540-551 贺睦廷 , 帕维尔·雷科夫 :
广播设置的复杂性。 552-563 Piotr Indyk公司 , 伊利亚·拉森什坦 :
基于模型的RIP-1矩阵。 564-575 尤瓦尔·伊斯海 , 埃亚尔·库什利维茨 , 辛莉(Xin Li) , 拉斐尔·奥斯特罗夫斯基 , 马诺伊·普拉巴卡兰 , 阿米特·萨哈伊 , 大卫·扎克曼 :
鲁棒伪随机生成器。 576-588 克劳斯·詹森 , Kim-Manuel Klein先生 :
一种用于多项式迁移在线装箱的鲁棒AFPTAS。 589-600 Telikepalli Kavitha公司 , Nithin M.Varma公司 :
小拉伸两用扳手。 601-612 金永中(Eun Jung Kim) , 亚历山大·兰格 , 克里斯托夫·保罗 , 费利克斯·雷德尔 , 彼得·罗斯马尼思 , Ignasi Sau公司 , Somnath Sikdar公司 :
线性核和通过凸出分解的单指数算法。 613-624 弗拉基米尔·科尔莫戈罗夫 :
有限值CSP的线性规划能力:一个构造性特征。 625-636 克里斯蒂安·康拉德 , 阿迪·罗森 :
流媒体和双向通信中的近似半匹配。 637-649 格雷戈里·库切洛夫 , 雅科夫·奈克里奇 :
固定大小字母表的完全分级实时索引。 650-660 姆里纳尔·库马尔 , 高拉夫·马赫什瓦里 , 贾亚拉尔·萨尔马 :
通过MaxRank计算电路下限。 661-672 迈克尔·兰皮斯 :
简单图的模型检查下限。 673-683 马西莫·劳里亚 , 帕维尔·普德拉克 , Vojtech罗德尔 , 尼尔·萨彭 :
证明图是拉姆齐的复杂性。 684-695 尼科斯·莱昂纳多斯 :
递归多数随机决策树复杂性的改进下界。 696-708 勒特·列维 , 达娜·罗恩 :
带排除次项的图的拟多项式时间划分Oracle。 709-720 达尼尔·马克思 , 拉斯洛·A·韦格 :
最小成本边缘连接增强的固定参数算法。 721-732 克莱尔·马修 , 杭州 :
通过远程Oracle进行图形重建。 733-744 妮可·梅高 , 何塞·凡尔赛 :
变速机器调度的双重技术。 745-756 加布里埃尔·莫鲁兹 , 安德烈·内格埃斯库 :
强竞争随机寻呼算法的改进空间边界。 757-768 玛辛·穆查 , 马克西姆·斯维里登科 :
无等待Flowshop调度与非对称旅行推销员问题一样困难。 769-779 瑞安·奥唐纳 , 李阳潭 :
傅里叶熵影响猜想的合成定理。 780-791 马克西姆·斯维里登科 , 贾斯汀·沃德 :
最大集装箱问题的大邻域局部搜索。 792-803 汉内斯·厄普曼 :
三元素Min-Sol和保守Min-Cost-Hom的复杂性。 804-815 纱线维纳 :
无限重复交替移动游戏的复杂性。 816-827 奥伦·魏曼 , 拉斐尔·尤斯特 :
近线性时间内平面图直径的近似。 828-839 卡尔·威默 , 吉田裕一 :
测试线性变函数同构。 840-850