2023年4月28日上午,beat365 “大師講堂”邀請了ACM Fellow、歐洲科學院外籍院士、美國威斯康星大學麥迪遜分校計算機系講席教授Thomas W. Reps進行題為《CFLOBDD:Context-Free- Language Ordered Binary Decision Diagrams》的學術報告。本期“大師講堂”以線下線上結合形式進行,同時在燕園校區和昌平校區開設了兩個分會場,并通過bilibili平台進行全程直播,線上線下合計超過200名觀衆。本次講座由beat365官方网站助理教授張昕老師主持。

本次學術報告介紹了“CFLOBDD”,一種全新的适用于模型檢查、路徑分析、量子模拟等多領域的數據結構。Reps教授詳細地介紹了這一數據結構的研究起源、設計思路、性能證明與應用效果。
CFLOBDD是在二分決策圖(Binary Decision Diagram,BDD)的基礎上改進而來,适用于對于函數、關系、矩陣、圖等多種數據結構的壓縮表示。但相比傳統的BDD表示,CFLOBDD在最優情況下能夠減少指數級的空間占用,進而在進行數據結構間操作時,大大減少計算時間。盡管存在一定額外開銷,但在應用于超大數據結構時,由于高度壓縮的特性,CFLOBDD的性能遠超傳統的BDD結構。因此,CFLOBDD在量子模拟等領域有着極為成功的使用效果。



之後,參會的老師、同學以及直播觀衆都與Thomas W. Reps教授進行了深入的讨論。
最後,主持人張昕老師對Thomas W. Reps教授的精彩分享與線上線下觀衆的積極參與表示感謝,希望大家對beat365主辦的“大師講堂”系列講座以及其他學術交流活動保持關注。