講座主題：Iterated Clique Reduction in Vertex Weighted Coloring for Large Sparse Graphs
專家姓名：蘇開樂
工作單位：澳大利亞格里菲斯大學
講座時間：2024年12月27日16:00-18:00
講座地點：科技館6205
主辦單位：煙臺大學計算機與控制工程學院
內容摘要：
We propose a reduction algorithm based on maximal clique enumeration. More specifically our algorithm utilizes a certain proportion of maximal cliques and obtains lower bounds in order to perform reductions. It alternates between clique sampling and graph reductions and consists of three successive procedures: promising clique reductions, better bound reductions and post reductions. Experimental results show that our algorithm returns considerably smaller subgraphs for numerous large benchmark graphs, compared to the most recent method named RedLS. Also, we evaluate individual impacts and some practical properties of our algorithm. Furthermore, we have a theorem which indicates that the reduction effects of our algorithm are equivalent to that of a counterpart which enumerates all maximal cliques in the whole graph if the run time is sufficiently long.
主講人介紹：
蘇開樂，博士，現任澳大利亞格里菲斯大學教授，清華大學邏輯研究中心兼職教授，南京信息工程大學人工智能學院名譽院長。主要研究領域：人工智能邏輯與算法。曾任中山大學（1999-2007）北京大學（2007-2014）教授博導。2005 年入選教育部“新世 紀人才支持計劃”，2007 年獲ping得了國家自然科學基金“杰出青年基 金”項目, 2013 年入選國家“百千萬”人才工程國家級人選，獲“國家有突出 貢獻中青年專家”稱號，享受國務 院特殊津貼。獲得 AiML 2002 (法國圖盧茲)最佳論文獎，SAT Challenge 2012: Best Sequential Solver (Random Track)獎, 共發表了 30多篇中國計算學會(CCF)推薦 A 類論文， 包括頂級會議 AAAI (15 篇)，IJCAI (10 篇),頂級期刊 Artificial Intelligence, Information and Computation，IEEE Trans. on Computers, 和 IEEE Trans. on Software Engineering 等。目前社會兼職：國家一級學報《軟件學報》《計算機研究與發展》編委，《IEEE Transactions on Cybernetics》副主編，國家外國專家局重點引智項目（包括外專千人計劃）評審專家。
