COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > The algorithmic strength of planar graph colouring theorems
The algorithmic strength of planar graph colouring theoremsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. SASW09 - International conference on computability, complexity and randomness We discuss the $k$-colour theorem for planar graphs, in the context of reverse mathematics as well as the uniform reducibility between the different parameterized versions of the $k$-colour theorem. We show that there is a proper hierarchy of principles corresponding to different parameters and restrictions on the graph. This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCambridge Area Sequencing Informatics Meeting VIII (2016) FERSA Guest Lectures Isotope Coffee: Geochemistry and Petrology Seminars Department of Earth SciencesOther talksStatistics Clinic Easter 2022 IV Cortical (beta) dynamics of movement control Conditional Image Generation with Score-Based Diffusion Models Statistics Clinic Easter 2022 III Mordell 2022 - 100 years of elliptic curves COVID-19 Testing Protocols at School |