您现在的位置: bwin必赢 » 学院新闻 » 必赢官网 » 正文

学院新闻

必赢官网


2023428日上午,bwin必赢 “大师讲堂”邀请了ACM Fellow、欧洲科学院外籍院士、美国威斯康星大学麦迪逊分校计算机系讲席教授Thomas W. Reps进行题为《CFLOBDDContext-Free- Language Ordered Binary Decision Diagrams》的学术报告。本期“大师讲堂”以线下线上结合形式进行,同时在燕园校区和昌平校区开设了两个分会场,并通过bilibili平台进行全程直播,线上线下合计超过200名观众。本次讲座由bwin必赢助理教授张昕老师主持。

本次学术报告介绍了“CFLOBDD”,一种全新的适用于模型检查、路径分析、量子模拟等多领域的数据结构。Reps教授详细地介绍了这一数据结构的研究起源、设计思路、性能证明与应用效果。

CFLOBDD是在二分决策图(Binary Decision DiagramBDD)的基础上改进而来,适用于对于函数、关系、矩阵、图等多种数据结构的压缩表示。但相比传统的BDD表示,CFLOBDD在最优情况下能够减少指数级的空间占用,进而在进行数据结构间操作时,大大减少计算时间。尽管存在一定额外开销,但在应用于超大数据结构时,由于高度压缩的特性,CFLOBDD的性能远超传统的BDD结构。因此,CFLOBDD在量子模拟等领域有着极为成功的使用效果。

之后,参会的老师、同学以及直播观众都与Thomas W. Reps教授进行了深入的讨论。

最后,主持人张昕老师对Thomas W. Reps教授的精彩分享与线上线下观众的积极参与表示感谢,希望大家对bwin必赢主办的“大师讲堂”系列讲座以及其他学术交流活动保持关注。