-
Automatic structures: Open questions
Speaker: Bakhadyr Khoussainov (Professor in University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) 21:20-22:20 (Time in Auckland) April 8, 2022 (Friday) Venue: B1-518B, Research Building 4 Abstract: This talk will give an introduction to the theory of automatic structures, a cutting-edge research topic in logic in computer science and computation. […]
-
Listing Maximal k-Plexes in Large Real-World Graphs
Speaker: Zhengren Wang (Undergraduate student in University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) 21:20-22:20 (Time in Auckland) April 1, 2022 (Friday) Venue: B1-518B, Research Building 4 Abstract: This talk is a report of our paper Listing Maximal k-Plexes in Large Real-World Graphs on WWW’2022. K-plexes often serve as a […]
-
Automated Generation of Branching Rules
Speaker: Kangyi Tian (Undergraduate student in University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) 21:20-22:20 (Time in Auckland) March 25, 2022 (Friday) Venue: B1-518B, Research Building 4 Abstract: This talk is about Automated Generation of Branching Rules, which helps avoid tedious case distinctions in the design of parameterized algorithms using […]
-
Combinatorial games on networks
Speaker: Zihui Liang (Ph.D. student in University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) 21:20-22:20 (Time in Auckland) March 18, 2022 (Friday) Venue: B1-518B, Research Building 4 Abstract: We introduce new combinatorial games played on graphs that we call network-control games. These games model the influence of competing two parties […]
-
Facility location with entrance fees
Speaker: Mengfan Ma (Ph.D. student in University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) 21:20-22:20 (Time in Auckland) March 11, 2022 (Friday) Venue: B1-518B, Research Building 4 Abstract: In mechanism design, the facility location game is an extensively studied problem. In the classical model, the cost of each agent is […]
-
Minimum violation vertex maps and their applications to cut problems
Speaker: Chao Xu (Assistant Professor in University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) 21:20-22:20 (Time in Auckland) March 4, 2022 (Friday) Venue: B1-518B, Research Building 4 Abstract: The minimum violation problem asks for a vertex map from a digraph to a pattern digraph that minimizes violation, the total weight […]
-
Reachability and Büchi games
Speaker: Yu Cong (undergraduate student in University of Electronic Science and Technology of China) Time: 10:00-11:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) January 7, 2022 (Friday) Venue: B1-518B, Research Building 4 Abstract: Reachability and Buchi games are 2-player games on directed finite graphs. In this presentation, I will briefly introduce these two games and […]
-
Brief introduction on fair allocations of divisible and indivisible goods
Speaker: Haoyun Jiang and Siyuan Du (undergraduate student in University of Electronic Science and Technology of China) Time: 10:00-11:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) December 17, 2021 (Friday) Venue: B1-518B, Research Building 4 Abstract: The problem of fair allocations of goods can be divided into two sub-problems, goods are divisible and goods are […]
-
Some New Directions in Online Structure Theory
Speaker: Rod Downey(professor in Victoria University of Wellington) Time: 10:00-11:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) December 10, 2021 (Friday) Venue: B1-518B, Research Building 4 Abstract: I will report on some recent research giving a general framework for algorithmics on online structures. Currently there are many algorithms and no theoretical basis for this area. […]
-
Multilinear extension of k-submodular functions
Speaker: Baoxiang Wang(assistant professor in the Chinese University of Hong Kong) Time: 10:00-11:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) December 3, 2021 (Friday) Venue: B1-518B, Research Building 4 Abstract: A -submodular function is a pairwise monotone function that given disjoint subsets outputs a value that is submodular in every orthant. In this paper, we […]