Loading Events

← Back to Events

Dillon Mayhew


Victoria University of Wellington, New Zealand
https://www.wgtn.ac.nz/sms/about/staff/dillon-mayhew

January 2020

:

Dillon Mayhew, Courcelle’s Theorem for hypergraphs

Speaker

Dillon Mayhew
Victoria University of Wellington, New Zealand
https://www.wgtn.ac.nz/sms/about/staff/dillon-mayhew
January 28 Tuesday @ 4:30 PM - 5:30 PM
Room B232, IBS (기초과학연구원)

Courcelle's Theorem is an influential meta-theorem published in 1990. It tells us that a property of graph can be tested in polynomial time, as long as the property can expressed in the monadic second-order logic of graphs, and as long as the input is restricted to a class of graphs with bounded tree-width. There are …

Find out more »
+ Export Events