Obiettivo In this proposal we plan to extend mathematical foundations of algorithms for various variants of the minimum cut problem within theoretical computer science.Recent advances in understanding the structure of small cuts and tractability of cut problems resulted in a mature algorithmic toolbox for undirected graphs under the paradigm of parameterized complexity. In this position, we now aim at a full understanding of the tractability of cut problems in the more challenging case of directed graphs, and see opportunities to apply the aforementioned successful structural approach to advance on major open problems in other paradigms in theoretical computer science.The specific goals of the project are grouped in the following three themes.Directed graphs. Chart the parameterized complexity of graph separation problems in directed graphs and provide a fixed-parameter tractability toolbox, equally deep as the one in undirected graphs. Provide tractability foundations for routing problems in directed graphs, such as the disjoint paths problem with symmetric demands.Planar graphs. Resolve main open problems with respect to network design and graph separation problems in planar graphs under the following three paradigms: parameterized complexity, approximation schemes, and cut/flow/distance sparsifiers. Recently discovered connections uncover significant potential in synergy between these three algorithmic approaches.Tree decompositions. Show improved tractability of graph isomorphism testing in sparse graph classes. Combine the algorithmic toolbox of parameterized complexity with the theory of minimal triangulations to advance our knowledge in structural graph theory, both pure (focused on the Erdos-Hajnal conjecture) and algorithmic (focused on the tractability of Maximum Independent Set and 3-Coloring). Campo scientifico natural sciencescomputer and information sciencescomputational sciencenatural sciencesmathematicspure mathematicsdiscrete mathematicsgraph theory Parole chiave theoretical computer science fixed parameter tractability parameterized complexity structural graph theory cut and flows in graphs directed graphs planar graphs graph decompositions Programma(i) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Argomento(i) ERC-2016-STG - ERC Starting Grant Invito a presentare proposte ERC-2016-STG Vedi altri progetti per questo bando Meccanismo di finanziamento ERC-STG - Starting Grant Istituzione ospitante UNIWERSYTET WARSZAWSKI Contribution nette de l'UE € 1 228 250,00 Indirizzo KRAKOWSKIE PRZEDMIESCIE 26/28 00-927 WARSZAWA Polonia Mostra sulla mappa Regione Makroregion województwo mazowieckie Warszawski stołeczny Miasto Warszawa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 1 228 250,00 Beneficiari (1) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto UNIWERSYTET WARSZAWSKI Polonia Contribution nette de l'UE € 1 228 250,00 Indirizzo KRAKOWSKIE PRZEDMIESCIE 26/28 00-927 WARSZAWA Mostra sulla mappa Regione Makroregion województwo mazowieckie Warszawski stołeczny Miasto Warszawa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 1 228 250,00