기초과학연구원 이산수학그룹
I will introduce Kazhdan-Lusztig polynomials of matroids and survey combinatorial and geometric theories built around them. The focus will be on the conjecture of Gedeon, Proudfoot, and Young that all …
Integer Linear Programming (ILP) is among the most successful and general paradigms for solving computationally intractable optimization problems in computer science. ILP is NP-complete, and until recently we have lacked a systematic study …
Graph compression or sparsification is a basic information-theoretic and computational question. A major open problem in this research area is whether $(1+\epsilon)$-approximate cut-preserving vertex sparsifiers with size close to the number …
Let $X$ be a real random variable; a typical anti-concentration inequality asserts that (under certain assumptions) if an interval $I$ has small length, then $\mathbb{P}(X\in I)$ is small, regardless the …
In 2007, Chepoi, Estellon, and Vaxès conjectured that there exists a universal constant $c>0$ such that the following holds for every positive integers $r$ and $k$, and every planar graph …
In the early 1980s, Beck proved that, if P is a set of n points in the real plane, and no more than g points of P lie on any …
Maximum induced matching width, also known as mim-width, is a width parameter for graphs introduced by Vatshelle in 2012. This parameter can be defined over branch decompositions of a graph …
I give a quick survey on stability and NIP(Non-Independen Property). We first review basic facts on the first order logic and give some historical remarks on classification theory in model theory. …
I give a quick survey on stability and NIP(Non-Independen Property). We first review basic facts on the first order logic and give some historical remarks on classification theory in model theory. …
I give a quick survey on stability and NIP(Non-Independen Property). We first review basic facts on the first order logic and give some historical remarks on classification theory in model theory. …