Donggyu Kim (김동규), A stronger version of Tutte’s wheel theorem for vertex-minors
Room B232 IBS (기초과학연구원)Tutte (1961) proved that every simple
10 events found.
Seminars and Colloquiums
Sang-il Oum (엄상일), Obstructions for matroids of path-width at most k and graphs of linear rank-width at most k
Room B232 IBS (기초과학연구원)Every minor-closed class of matroids of bounded branch-width can be characterized by a minimal list of excluded minors, but unlike graphs, this list could be infinite in general. However, for each fixed finite field
Kevin Hendrey, A unified Erdős-Pósa theorem for cycles in graphs labelled by multiple abelian groups (revisited)
Room B232 IBS (기초과학연구원)This talk follows on from the recent talk of Pascal Gollin in this seminar series, but will aim to be accessible for newcomers. Erdős and Pósa proved in 1965 that there is a duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. By …
Fedor Fomin, Long cycles in graphs: Extremal Combinatorics meets Parameterized Algorithms
Zoom ID: 869 4632 6610 (ibsdimag)We examine algorithmic extensions of two classic results of extremal combinatorics. First, the theorem of Dirac from 1952 asserts that a 2-connected graph G with the minimum vertex degree d>1, is either Hamiltonian or contains a cycle of length at least 2d. Second, the theorem of Erdős-Gallai from 1959, states that a 2-connected graph G …
Tuan Anh Do, Rank- and tree-width of supercritical random graphs
Room B232 IBS (기초과학연구원)It is known that the rank- and tree-width of the random graph
Jaehoon Kim (김재훈), Ramsey numbers of cycles versus general graphs
Room B232 IBS (기초과학연구원)The Ramsey number
Ben Lund, Thresholds for incidence properties in finite vector spaces
Room B232 IBS (기초과학연구원)Suppose that
Jean-Florent Raymond, Long induced paths in minor-closed graph classes and beyond
Zoom ID: 869 4632 6610 (ibsdimag)In 1982 Galvin, Rival, and Sands proved that in
Younjin Kim (김연진), On the extremal problems related to Szemerédi’s theorem
Room B232 IBS (기초과학연구원)In 1975, Szemerédi proved that for every real number
Jakub Gajarský, Model Checking on Interpretations of Classes of Bounded Local Clique-Width
Zoom ID: 869 4632 6610 (ibsdimag)The first-order model checking problem for finite graphs asks, given a graph G and a first-order sentence