北京大学计算机科学李丰,北京大学
首届国际理论计算机联合大会(International Joint Conference on Theoretical Computer Science,IJTCS)于2020年8月17日-21日在线上举行,主题为“理论计算机科学领域的最新进展与焦点问题”,由北京大学与中国工业与应用数学学会(CSIAM)、中国计算机学会(CCF)、国际计算机学会中国委员会(ACM China Council)联合主办,北京大学前沿计算研究中心承办。
8月17日,美国威斯康星麦迪逊大学的蔡进一教授带来了题为《计数问题复杂性分类的最新成果》的主题报告。报告由北京大学前沿计算研究中心讲席教授邓小铁主持。
首先,蔡老师从图的 H-Coloring(图同态)模型出发,定义了其上的 partition function 与对应的计数问题。这一模型在一些不同领域有重要作用,例如,它能够表示 Ising 模型、hardcore 模型、WR 模型等,而这些模型上的 partition function 是理论物理与理论计算机科学中经常探讨的问题。对于同态矩阵在不同的定义域上(二元,整数,实数,复数等), 报告分别介绍了对应的计数问题的复杂性二分类定理,也就是说,一个问题实例要么是多项式可解的,要么是 #P-Hard 的,并且二分的条件是多项式时间可计算的。上述二分类定理对于限制最大度数的图也是存在的,相关结果将于 FOCS 2020 发表。
接下来,蔡老师引入了表示能力强于图同态的模型,即约束可满足计数模型(#CSP),以及表示能力更强的模型,即 Valiant 全息模型(Holant)。在这些计数模型上,他给出了相关的二分类定理。蔡老师特别介绍了最近的一项工作,即在二元定义域、实数值域的约束条件下 Holant 的二分类定理,展示了该项工作与 Bell 态与量子计算的潜在关系。相关工作将于 FOCS 2020 发表。
蔡老师着重讨论了与平面图相关的计数问题,以及神奇的 FKT 算法。计数平面图上的完美匹配,可以由 FKT 算法在多项式时间内求解,然而将“平面图”换成一般图,或将“完美匹配”换成匹配,或两个都替换,得到的另外三个问题都是 #P-Hard 的。而 Valiant 提出的 matchgate 与全息算法,拓展了 FKT 算法的应用范围。例如,在最大度数为3的无向平面图上,计数给边定向的方案数目,使得图中没有源点或汇点,这一问题可以由全息变换求解。
在此基础上,蔡老师介绍了在某些定义域与值域下的平面图 Holant 的二分类定理,以及二元定义域上的平面图 #CSP 三分类定理(即,1. 多项式可解的,2. #P-Hard、但是对平面图是多项式可解的,3. 对平面图也是#P-Hard的),并且第2类问题均可以全息归约到 FKT。
为了让听众感受到相关技术是如何应用的,蔡老师展示了其中的一个证明。最后,蔡老师提出了一些开放性问题,回答了有关近似计数的提问,表达了他对相关领域未来的期待。
北京大学计算机科学李丰,北京大学相关推荐
- 北京大学计算机科学李丰,中文智能问答系统作业解析-北京大学计算机科学技术研究所.PDF...
中文智能问答系统作业解析-北京大学计算机科学技术研究所 中文智能问答系统作业解析 互联网数据挖掘 北京大学计算机研究所 语言计算与互联网挖掘研究室 封闭测试结果排序 队伍 封闭测试 开放测试 1200 ...
- 北京大学计算机科学实验班,北京大学信息科学技术学院2018年拟接收推荐-北京大学研究生院.pdf...
北京大学信息科学技术学院2018年拟接收推荐免试研究生公示名单 招生类型 拟录取专业 姓名 推荐学校 本科专业 备注 金万琳 北京大学 电子信息科学与技术 郝蒙 内蒙古大学 应用物理学 杨沁 北京科技 ...
- 北京大学研究生计算机考试科目,北京大学计算机科学与技术(智能科学与技术)研究生考试科目和考研参考书目...
微信搜索公众号"考研派之家",关注[考研派之家]微信公众号,在考研派之家微信号输入[北京大学考研分数线.北京大学报录比.北京大学考研群.北京大学学姐微信.北京大学考研真题.北京大学 ...
- 北大计算机科学与技术教材,北京大学计算机科学与技术参考书目
2017考研奋进群:517560474 907计算机学科专业基础综合(包括数据结构.计算机组成原理.操作系统和计算机网络四部分)参考书目: 1.<数据结构与算法>,张铭.王腾蛟.赵海燕,高 ...
- 46 理论计算机科学基础-北京大学
P10 课程介绍05:46 P21-1 预备知识07:43 P31-2 确定型有穷自动机例子11:23 P41-3 确定型有穷自动机的形式化定义17:51 P51-4 设计确定型有穷自动机05:57 ...
- 简述计算机科学的核心内容,北京大学-计算机科学与技术(2018秋)作业及复习
59.(第十章)外排序是指在排序前后,数据在外存上,排序时数据调入内存进行的排序方法. 60.(第十章)在选择排序.冒泡排序.归并排序中, 归并排序是空间复杂度最大的. 三.简答和程序题(共10题,每 ...
- 北京大学计算机社团,北京大学爱心社团
北大爱心社,于1993年11月23日由十七位扫雪的学生发起成立,十二年来不断发展壮大,作为北大十佳社团及品牌社团,在校内外具有极大知名度和影响力. 爱心社社员众多,现有社员近一千人,遍布北大各个院系及 ...
- 北京大学计算机视觉导师,北京大学信息科学技术学院林宙辰研究生导师介绍
考研交流群296795122 自1999年国家下放博士生导师审批权以来,北京大学博导遴选制度经历了从教授中遴选博导(1999年)-破格遴选副教授博导(2003年)-"不固定资格制" ...
- Advanced Science|北京大学第一医院肾脏内科杨莉团队与白凡研究组揭示急性肾损伤中始动和放大炎症巨噬细胞新亚群...
点击上方"Kidney First"即可关注 急性肾损伤(Acute Kidney Injury,AKI)是临床常见的急危重症,住院患者中发生率约为10%,病死率约为25% [1] ...
- 软件人才从这里飞翔——访北京大学软件学院院长陈钟博士
还是春寒料峭的季节,一年一度的研究生招生工作正在紧张进行中.从北京大学软件学院传出消息:虽然今年招生人数较多,但生源仍然非常充足.现在软件学院软件工程硕士研究生的报考人数已经是北京大学最集中报考的几个 ...
最新文章
- 专家点评Nature Plants | 中科院微生物所郭惠珊研究组揭示土传病原菌逃避寄主免疫的新机制...
- substr()函数——mysql:截取字符串子串
- linux 创建临时文件目录 mktemp 命令 简介
- spark2.2读写操作hive和mysql数据库
- MongoDB 入门篇
- 年轻人买菜只愿意走670米,每日优鲜、叮咚买菜等生鲜电商们依然“难送达”
- NYOJ 6 喷水装置(一) 贪心算法 之 区间覆盖问题
- php json传输被过滤,php-the_content过滤器,用于将自定义字段添加到JSON响应
- SQL必知必会-检索数据
- HBase 中文文档0.97
- Hadoop系列之InputFormat,OutputFormat用法
- 每日总结 - Android TextView文字底部或者中间 加横线
- 荣耀手机wifi信号如何连接服务器,荣耀路由器怎么设置方法_荣耀路由器用手机怎么设置-WIFI之家...
- OpenStack HA
- 购物网站首页设计(HTML CSS JS layui )
- vim 方向键和backspace乱码
- mybatis一对多关系多表查询去重,不定条件查询,duplicated column id
- 13、用 k8s 管理机密信息Secret、查看 Secret、volume 方式使用 Secret、环境变量方式使用 Secret、用 ConfigMap 管理配置
- 介孔二氧化硅纳米球 Mesoporous silica nanosphere 的介孔二氧化硅纳米球
- windows 远程连接