[Club2] Einladung: Formalising Matching Theory: Characterisations of Perfect... - Mi 22. Jun. 2022 15:50 - 16:10 (MESZ) (club2 at in.tum.de)

[piller at in.tum.de]

Sie wurden zum folgenden Termin eingeladen.

Titel: Formalising Matching Theory: Characterisations of Perfect Matchings
Speaker: Ralitsa Dordjonova

Abstract: The aim of this project is to investigate the existing proofs  
about matchings written in Isabelle/HOL and to broaden the scope of them.  
Particularly, the goal is to formalize the notion of perfect matchings and  
to connect them to other existing structures. In the book of Korte and  
Vygel Combinatorial Optimization are presented several characterizations of  
perfect matchings in an undirected graphs for both bipartite graphs and for  
more general graphs. Using it we determine the following goals:

- Tutte’s theorem, which shows the connection between the number of odd  
connected components in a graph and the existence of perfect matchings in  
it,

- the Tutte-Berge Formula [Ber58], which connects the number of perfect  
matchings to the number of odd connected components in a given graph, and

- the Tutte matrix for graphs and the theorem stating that the determinant  
of this matrix is identically zero if and on if the graph has a perfect  
matching.
Wann: Mi 22. Jun. 2022 15:50 – 16:10 Mitteleuropäische Zeit - Berlin
Wo: Seminarraum 00.09.038
Kalender: club2 at in.tum.de
Wer
     * piller at in.tum.de- Veranstalter
     * club2 at in.tum.de
     * brandtf at in.tum.de
     * liedtke at ma.tum.de
     * mitja.krebs at tum.de
     * r.dardjonova at gmail.com
     * madlener at in.tum.de
     * sextl at in.tum.de
     * rimpapa at in.tum.de

Termininformationen:  
https://calendar.google.com/calendar/event?action=VIEW&eid=MjdvbHA3cnZyMTFrYTM0aThrNWhpcDRudmogY2x1YjJAaW4udHVtLmRl&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTQxNzc1ZjRlMWMxMmQ2Y2M1ZDUwMGViYjY2MGUwMjM4NzhiNWE3M2M&ctz=Europe%2FBerlin&hl=de&es=0

Einladung von Google Kalender: https://calendar.google.com/calendar/

Sie erhalten diese E-Mail unter club2 at in.tum.de, da Sie ein Gast bei diesem  
Termin sind.

Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem  
Termin zu erhalten. Sie können auch unter  
https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre  
Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.

Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an  
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem  
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere  
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220620/54f24b0c/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 3355 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220620/54f24b0c/attachment-0001.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 3415 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220620/54f24b0c/attachment-0001.bin>