Reporter: Xiao Mingyu
Reporting location:Tencent Conference560-900-361
bet365 live casino and sports betting time:2022Year10month26Wednesday afternoon4:00
bet365 live casino and sports betting title:Solving hard problems with theoretical guarantee
bet365 live casino and sports betting Introduction:
Combinatorial optimization plays an important role in real life. However, many optimization problems are NP hard, that is to say, there is no polynomial-time algorithm for them under reasonable assumptions. In practice, we have designed fast heuristic algorithms and exact algorithms for many of these problems, and they have a very good performance on tested benchmark instances. On the other hand, theoretical algorithms, may not be so practical, solve the problems with theoretical guarantees of running-time bound and solution quality, etc. In this talk, I will discuss the differences between theoretical and practical algorithms, and take the maximum independent set problem as an example to introduce exact algorithms with theoretical running-time bounds.
About the speaker：
Xiao Mingyu，Professor of School of Computer bet365 live casino and sports betting, University of Electronic bet365 live casino and sports betting and Technology of China，Vice Dean。2002Obtained a bachelor's degree from Central South bet365 live casino and sports betting in 2008,2008Received PhD from the Chinese bet365 live casino and sports betting of Hong Kong。Mainly engaged in algorithm analysis and design、Combination optimization、Graph Theory、Research on mechanism design and game theory，atbet365 live casino and sports betting and Computation、 JCSS、 Algorithmica、 ACM/IEEE Trans.、 IJCAI、 AAAI、 WWW、 INCOFOMetc. algorithm、Discrete Mathematics、More than papers published in top journals and conferences in the field of artificial intelligence100articles, written English monograph1Department, hosted (completed) National Natural bet365 live casino and sports betting Foundation of China project5item。is a well-known scholar at home and abroad on parametric algorithms and precise algorithms。
