題目一：The Non-deterministic Constraint Logic on Digraphs and Its Applications in Computational Complexity

内容簡介：This talk will be divided into two parts. In the first part, we will review some results on the computational complexity of combinatorial puzzles. In the second part, we will introduce the the Non-deterministic Constraint Logic (Ncl). Ncl is a decision problem defined on a special type of directed graphs. The Ncl problem is PSPACE-complete, and it can be used to determine the computational complexity of several combinatorial puzzles.

報告人：中山大學數學學院  楊超  副研究員

報告人簡介：博士，副研究員。2007年在中國科學技術大學獲得博士學位。2009年至2010年在美國德克薩斯州立大學訪問研究一年。研究方向是組合圖論、理論計算機科學。主持過國家自然科學基金天元專項基金項目和青年科學基金項目。

時間：2017年11月16日（周四）下午14：00始

題目二：譜半徑排序的統一方法和統一極圖

内容簡介：1981年, 圖譜專家D.M. Cvetkovic 在[D.M. Cvetkovic,  Algebra Methods in Graph Theory, Amsterdam, 1981, 47-67]中指出了圖譜理論中進一步研究的十二個方向,其中之一就是依圖的譜對圖進行分類和排序.此後，各圖類依圖譜, 特别是依譜半徑或(無符号)拉普拉斯譜半徑的排序問題被大量研究. 在此報告中，我們将介紹在譜半徑排序問題中的一些統一方法和統一極圖的研究結果。

報告人：華南農業大學數學系  劉木夥  副教授

報告人簡介：副教授，碩士研究生導師，美國《數學評論》評論員，中國運籌學會圖論組合分會青年理事，主要從事圖的劃分和代數圖論等方面的研究，在《中國科學》《數學學報》《The Electronic Journal of Combinatorics》《Discrete Mathematics》《Linear Algebra and its Applications》《Discrete Applied Mathematics》等國内外數學學術刊物上發表或接受科研論文70多篇，其中60餘篇發表或接受在SCI刊源期刊上。第一作者編寫的《圖譜的極值理論》獲廣東省優秀科技專著出版基金會資助出版。曾先後主持國家自然科學青年基金、廣東省高校優秀青年創新人才培養計劃和廣東省高等學校優秀青年教師培養計劃等項目，于2013年獲博士研究生國家獎學金，2014年入選廣東省高等學校“千百十人才培養工程”第八批校級培養對象，2015年入選廣東省高等學校優秀青年教師培養對象。

時間：2017年11月16日（周四）下午15：30始

地點：南海樓224室

熱烈歡迎廣大師生參加!

太阳集团1088vip/網絡空間安全學院

2017年11月13日