Seonghyuk Im (임성혁), A proof of the Elliott-Rödl conjecture on hypertrees in Steiner triple systems
Room B332 IBS (기초과학연구원)A linear
A linear
Official website (with the abstract) https://www.ibs.re.kr/ecopro/online-workshop-developments-in-combinatorics/ Invited Speakers Nov. 28 Monday Jie Han, Beijing Institute of Technology 15:30 Seoul, 14:30 Beijing, 06:30 UK, 07:30 EU Joonkyung Lee (이준경), Hanyang University …
Finding the smallest integer
The disjoint paths logic, FOL+DP, is an extension of First Order Logic (FOL) with the extra atomic predicate
Fix
Various types of independent sets have been studied for decades. As an example, the minimum number of maximal independent sets in a connected graph of given order is easy to …
The Graphic Travelling Salesman Problem is the problem of finding a spanning closed walk (a TSP walk) of minimum length in a given connected graph. The special case of the …
I will first introduce the notion of recognisability of languages of terms and then its extensions to sets of relational structures. In a second step, I will discuss relations with …
We introduce the notion of delineation. A graph class
Distributed certification, whether it be proof-labeling schemes, locally checkable proofs, etc., deals with the issue of certifying the legality of a distributed system with respect to a given boolean predicate. A certificate …