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 branching methods. In this talk, we will introduce the general framework of this technique on graph modification problems. Also, to show the strengths and instructions for application of this technique , we will mention some new results about it. At last, some insights of this method in parameterized algorithm designing will be provided.

,