题目：保护个体隐私的分布式约束传播算法
报告人：李三江教授，悉尼科技大学。
时间：2018-3-30.16:00-17:30
地点：长安校区图书馆西附楼小报告厅

摘要：

弧相容 (arc-consistency)算法是最重要的一种约束传播算法，能够对约束搜索空间进行有效剪枝。随着移动通讯、云存储等技术的快速发展和社交网络的迅速普及和深化，许许多多实际问题（例如会议安排、排课）都可以建模为分布式约束满足问题进行求解。分布式约束推理技术能得到广泛应用的一个前提是个体隐私能得到有效保护。在本工作中， 我们提出一个能有效保护个体隐私的分布式弧相容算法。此外，对比现有算法，我们的算法具有更小的时间和空间复杂度，并且可以推广到任意k元的约束网络上。

个人简介：

李三江，男，1975年2月生于陕西渭南。2001年获四川大学基础数学博士学位，师从刘应明院士、罗懋康教授。现为澳大利亚悉尼科技大学教授。主要研究方向为空间推理和人工智能理论。自2001年以来他与合作者系统深入地研究了空间推理的定性方法，并在空间关系建模和空间约束求解等方面取得重要成果。这些成果主要发表在人工智能领域重要国际刊物和顶级国际会议，其中包括Artificial Intelligence Journal 多篇。2004年获德国洪堡基金会资助到德国弗赖堡大学访问18个月（任洪堡学者），2006年获首届微软青年教授奖，2008年获中创软件人才奖，2009年获 澳大利亚ARC Future Fellow奖，2010年获悉尼科技大学 ECR Research Excellence Award。