12.TAMC 2015:新加坡
分析师拉胡尔贾殷 , 桑杰·贾恩 , 弗兰克·斯蒂芬 :
计算模型的理论与应用——第十二届年会,TAMC 2015,新加坡,2015年5月18日至20日,会议记录。 计算机科学课堂讲稿 9076, 施普林格 2015 ,国际标准图书编号 978-3-319-17141-8
受邀论文
亚历山德拉·什拉彭托克 :
关于ℚ和数域子环的希尔伯特第十问题(扩展抽象)。 3-9 兰斯·福特诺 :
非确定性分离。 10-17 米克洛斯·桑塔 :
量子和随机查询复杂性(扩展摘要)。 18-19
递归理论与数理逻辑
道格拉斯·森泽 , 克里斯托弗·波特 :
算法随机函数和有效容量。 23-37 纳丁·洛塞特 :
C.E.集的有界图灵度中的联接保持失效。 38-49 卡斯帕斯·巴洛迪斯 , 贾尼斯·艾瑞兹 , Rusins Freivalds公司 :
结构化频率算法。 50-61 马西耶·本德考斯基(Maciej Bendkowski) , 卡塔兹娜·格里吉尔 , 马雷克·扎昂克 :
组合逻辑的渐近性质。 62-72
计算复杂性与布尔函数
宁鼎 :
P具有固定多项式尺寸电路的假设的一些新结果。 75-86 Mitsunori Ogihara公司 , Kei Uchizawa先生 :
同步布尔有限动力系统的计算复杂性研究。 87-98 拉加夫·库尔卡尼 , 乔有明 , 孙晓明 :
布尔决策树中奇偶查询的威力。 99-109 西田拓彦 , Yu-ichi Hayashi先生 , 高崎水木 , Hideaki Sone公司 :
任何布尔函数的基于卡片的协议。 110-121 安德里斯·安拜尼斯 , Jevgenijs维罗夫斯 :
小灵敏度集的大小:Simon引理的推广。 122-133
图论
新河 , 大禹河 :
星形正交图。 137-149 安东尼·博纳托 , 马克·洛泽 , 迪特尔·米采 , 泽维尔·佩雷斯-吉梅内斯 , 巴维尔·普拉特 :
在线社交网络的控制数与随机几何图。 150-163 大禹河 , 新河 :
确定几乎二分图的线性时间算法。 164-176 南斯·列斐伏尔 :
具有指定度的稀疏随机图的一阶邻接性。 177-188 万斌儿子 , 佩曼·阿夫沙尼 :
不相交球中最小相交球的流算法。 189-199 劳伦特·布尔托 , 文森特·弗洛斯 , 尼姆罗德·塔尔蒙 :
图类上的多人扩散游戏。 200-211 伊藤武弘 , 小野弘太郎 , Yota Otachi公司 :
图中团的重新配置。 212-223 劳伦特·布尔托 , 斯特凡·法菲尼 , 文森特·弗洛斯 , 罗尔夫·尼德迈尔 , 尼姆罗德·塔尔蒙 :
查找效应器的复杂性。 224-235 徐大伟 , 山山隆 , 白川俊弘 , 柳海友原 :
30区三个不一致盒子的共同开发。 236-247 陈旭进 , 胡晓东 , 王长军 :
寻找连通稠密k-子图。 248-259 塞普·哈顿 , 尼姆罗德·塔尔蒙 :
图压缩度匿名化的复杂性。 260-271 Mingyu Xiao先生 , 黄檀 :
一种改进的最大诱导匹配精确算法。 272-283 亚历山大·塔龙 , 扬·克拉托奇维尔 :
混合单位区间图层次的完成。 284-296 尼基尔·巴拉吉 , 萨米尔·达塔 :
有界树宽和空间效率线性代数。 297-308
量子计算
赵慧伟 , 张胜宇(Shengyu Zhang) :
量子游戏玩家可以毫无争议地获得优势。 311-323 斯特凡诺·法奇尼 , 西蒙·佩德里克斯 :
幺正置换问题的量子电路。 324-331
并行性与统计
阿拉什·法赞 , 亚历杭德罗·洛佩斯·奥尔蒂斯 , 帕特里克·K·尼克尔森 , 亚历杭德罗·塞林格 :
超宽单词模型中的算法。 335-346 阿里吉特·比什努 , 萨米尔·德赛 , 阿里吉特·戈什 , 马扬克·戈斯瓦米 , 苏巴巴拉塔·保罗 :
使用间隙比的度量空间中点样本的一致性。 347-358 Ankush Das公司 , 桑卡拉·纳拉亚南·克里希纳 , 拉克希米·马纳萨 , 阿什图什·特里维迪 , 多米尼克·沃伊特扎克 :
随机博弈中的纯纳什均衡。 359-371
学习、自动机和概率模型
武昌丁 , 林思东浩 , 越村阮 , Duy M.H.Nguyen先生 , Binh T.Nguyen先生 :
从非ID数据中学习:一对多类插件分类器的快速速度。 375-387 乔伊·埃雷蒙迪 , 奥斯卡·H·伊巴拉 , 伊恩·麦克奎伦 :
自动机确定性族的删除运算。 388-399 Reema Patel公司 , 凯文·帕特尔 , 迪伦·R·帕特尔 :
显式PRISMSym:PRISM中显式模型的对称约简技术。 400-412
参数化复杂性
亨宁·费尔努 , 亚历杭德罗·洛佩斯·奥尔蒂斯 , 杰西姆·罗梅罗 :
允许重叠的装箱问题的核化算法。 415-427 罗伯特·加尼安 , 马丁·克罗内格 , 安德烈亚斯·普芬德勒 , 亚历山德鲁·波帕 :
异步边界最小化的参数化复杂性。 428-440 帕维尔·德沃夏克 , 杜珊·诺普 :
长度限制切割和多重切割的参数化复杂性。 441-452 金永林 , Sheung-Hung-Poon村 :
符号支配的算法和硬度。 453-464
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)