Colloquium – Eric Culver (University of Colorado, Denver)


Event Details

  • Date: Thursday, Feb 17th 2022 4:00pm
  • Venue: 203 TMCB
  • Categories:
  • Topic: Computational Methods Applied to Graph Coloring Problems
  • Speaker: Eric Culver

Title: Computational Methods Applied to Graph Coloring Problems

Abstract: The discharging method is a common technique applied to coloring problems on planar graphs. We discuss the main ideas of the discharging method and apply it to the square choosability number of planar graphs. A generalization of the usual vertex coloring, the square choosability number is the least size of lists of colors needed to be assigned to the vertices of a graph so that, no matter what colors are in the lists, every vertex can be colored with a color from its list and every two vertices at distance at most two from each other receive different colors. A key component of our approach is the use of computers to handle the complexity of parts of the proof.

Date: Thursday, February 17 2022

Time: 4:00 PM

Room: 203 TMCB