Source author record

O-joung Kwon

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

21works
4topics
4close collaborators

Published work

21 publications

preprint2025arXiv

A unified Erdős-Pósa theorem for cycles in graphs labelled by multiple abelian groups

In 1965, Erdős and Pósa proved that there is an (approximate) duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. Such a duality does not hold for odd cycles, and Dejter and Neumann-Lara asked in 1988 to find all pairs (ℓ,z){(\ell, z)} of integers where such a duality holds for the family of cycles of length ℓ\ell modulo zz. We characterise all such pairs, and we further generalise this characterisation to cycles in graphs labelled with a bounded number of abelian groups, whose values avoid a bounded number of elements of each group. This unifies almost all known types of cycles that admit such a duality, and it also provides new results. Moreover, we characterise the obstructions to such a duality in this setting, and thereby obtain an analogous characterisation for cycles in graphs embeddable on a fixed compact orientable surface.

preprint2022arXiv

Unified almost linear kernels for generalized covering and packing problems on nowhere dense classes

Let F\mathcal{F} be a family of graphs, and let p,rp,r be nonnegative integers. The \textsc{(p,r,F)(p,r,\mathcal{F})-Covering} problem asks whether for a graph GG and an integer kk, there exists a set DD of at most kk vertices in GG such that Gp∖NGr[D]G^p\setminus N_G^r[D] has no induced subgraph isomorphic to a graph in F\mathcal{F}, where GpG^p is the pp-th power of GG. The \textsc{(p,r,F)(p,r,\mathcal{F})-Packing} problem asks whether for a graph GG and an integer kk, GpG^p has kk induced subgraphs H1,…,HkH_1,\ldots,H_k such that each HiH_i is isomorphic to a graph in F\mathcal{F}, and for distinct i,j∈{1,…,k}i,j\in \{1, \ldots, k\}, the distance between V(Hi)V(H_i) and V(Hj)V(H_j) in GG is larger than rr. We show that for every fixed nonnegative integers p,rp,r and every fixed nonempty finite family F\mathcal{F} of connected graphs, the \textsc{(p,r,F)(p,r,\mathcal{F})-Covering} problem with p≤2r+1p\leq2r+1 and the \textsc{(p,r,F)(p,r,\mathcal{F})-Packing} problem with p≤2⌊r/2⌋+1p\leq2\lfloor r/2\rfloor+1 admit almost linear kernels on every nowhere dense class of graphs, and admit linear kernels on every class of graphs with bounded expansion, parameterized by the solution size kk. We obtain the same kernels for their annotated variants. As corollaries, we prove that \textsc{Distance-rr Vertex Cover}, \textsc{Distance-rr Matching}, \textsc{F\mathcal{F}-Free Vertex Deletion}, and \textsc{Induced-F\mathcal{F}-Packing} for any fixed finite family F\mathcal{F} of connected graphs admit almost linear kernels on every nowhere dense class of graphs and linear kernels on every class of graphs with bounded expansion. Our results extend the results for \textsc{Distance-rr Dominating Set} by Drange et al. (STACS 2016) and Eickmeyer et al. (ICALP 2017), and the result for \textsc{Distance-rr Independent Set} by Pilipczuk and Siebertz (EJC 2021).

preprint2021arXiv

A system of disjoint representatives of line segments with given kk directions

We prove that for all positive integers nn and kk, there exists an integer N=N(n,k)N = N(n,k) satisfying the following. If UU is a set of kk direction vectors in the plane and JU\mathcal{J}_U is the set of all line segments in direction uu for some u∈Uu\in U, then for every NN families F1,…,FN\mathcal{F}_1, \ldots, \mathcal{F}_N, each consisting of nn mutually disjoint segments in JU\mathcal{J}_U, there is a set {A1,…,An}\{A_1, \ldots, A_n\} of nn disjoint segments in ⋃1≤i≤NFi\bigcup_{1\leq i\leq N}\mathcal{F}_i and distinct integers p1,…,pn∈{1,…,N}p_1, \ldots, p_n\in \{1, \ldots, N\} satisfying that Aj∈FpjA_j\in \mathcal{F}_{p_j} for all j∈{1,…,n}j\in \{1, \ldots, n\}. We generalize this property for underlying lines on fixed kk directions to kk families of simple curves with certain conditions.

preprint2021arXiv

A unified half-integral Erdős-Pósa theorem for cycles in graphs labelled by multiple abelian groups

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. Such a duality does not hold if we restrict to odd cycles. However, in 1999, Reed proved an analogue for odd cycles by relaxing packing to half-integral packing. We prove a far-reaching generalisation of the theorem of Reed; if the edges of a graph are labelled by finitely many abelian groups, then there is a duality between the maximum size of a half-integral packing of cycles whose values avoid a fixed finite set for each abelian group and the minimum size of a vertex set hitting all such cycles. A multitude of natural properties of cycles can be encoded in this setting, for example cycles of length at least ℓ\ell, cycles of length pp modulo qq, cycles intersecting a prescribed set of vertices at least tt times, and cycles contained in given Z2\mathbb{Z}_2-homology classes in a graph embedded on a fixed surface. Our main result allows us to prove a duality theorem for cycles satisfying a fixed set of finitely many such properties.

preprint2020arXiv

Close relatives of Feedback Vertex Set without single-exponential algorithms parameterized by treewidth

The Cut & Count technique and the rank-based approach have lead to single-exponential FPT algorithms parameterized by treewidth, that is, running in time 2O(tw)nO(1)2^{O(tw)}n^{O(1)}, for Feedback Vertex Set and connected versions of the classical graph problems (such as Vertex Cover and Dominating Set). We show that Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Restricted Edge-Subset Feedback Edge Set, Node Multiway Cut, and Multiway Cut are unlikely to have such running times. More precisely, we match algorithms running in time 2O(twlog⁡tw)nO(1)2^{O(tw \log tw)}n^{O(1)} with tight lower bounds under the Exponential-Time Hypothesis (ETH), ruling out 2o(twlog⁡tw)nO(1)2^{o(tw \log tw)}n^{O(1)}, where nn is the number of vertices and twtw is the treewidth of the input graph. Our algorithms extend to the weighted case, while our lower bounds also hold for the larger parameter pathwidth and do not require weights. We also show that, in contrast to Odd Cycle Transversal, there is no 2o(twlog⁡tw)nO(1)2^{o(tw \log tw)}n^{O(1)}-time algorithm for Even Cycle Transversal under the ETH.

preprint2020arXiv

Erdős-Pósa property of chordless cycles and its applications

A chordless cycle, or equivalently a hole, in a graph GG is an induced subgraph of GG which is a cycle of length at least 44. We prove that the Erdős-Pósa property holds for chordless cycles, which resolves the major open question concerning the Erdős-Pósa property. Our proof for chordless cycles is constructive: in polynomial time, one can find either k+1k+1 vertex-disjoint chordless cycles, or c1k2log⁡k+c2c_1k^2 \log k+c_2 vertices hitting every chordless cycle for some constants c1c_1 and c2c_2. It immediately implies an approximation algorithm of factor O(optlog⁡opt)\mathcal{O}(\sf{opt}\log {\sf opt}) for Chordal Vertex Deletion. We complement our main result by showing that chordless cycles of length at least ℓ\ell for any fixed ℓ≥5\ell\ge 5 do not have the Erdős-Pósa property.

preprint2020arXiv

Graphs of bounded depth-22 rank-brittleness

We characterize classes of graphs closed under taking vertex-minors and having no PnP_n and no disjoint union of nn copies of the 11-subdivision of K1,nK_{1,n} for some nn. Our characterization is described in terms of a tree of radius 22 whose leaves are labelled by the vertices of a graph GG, and the width is measured by the maximum possible cut-rank of a partition of V(G)V(G) induced by splitting an internal node of the tree to make two components. The minimum width possible is called the depth-22 rank-brittleness of GG. We prove that for all nn, every graph with sufficiently large depth-22 rank-brittleness contains PnP_n or disjoint union of nn copies of the 11-subdivision of K1,nK_{1,n} as a vertex-minor.

preprint2020arXiv

Graphs without two vertex-disjoint SS-cycles

Lovász (1965) characterized graphs without two vertex-disjoint cycles, which implies that such graphs have at most three vertices hitting all cycles. In this paper, we ask whether such a small hitting set exists for SS-cycles, when a graph has no two vertex-disjoint SS-cycles. For a graph GG and a vertex set SS of GG, an SS-cycle is a cycle containing a vertex of SS. We provide an example GG on 2121 vertices where GG has no two vertex-disjoint SS-cycles, but three vertices are not sufficient to hit all SS-cycles. On the other hand, we show that four vertices are enough to hit all SS-cycles whenever a graph has no two vertex-disjoint SS-cycles.

preprint2020arXiv

Well-partitioned chordal graphs: obstruction set and disjoint paths

We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star structure, the leaves of which are of size one. Well-partitioned chordal graphs are a generalization of this concept in the following two ways. First, the cliques in the partition can be arranged in a tree structure, and second, each clique is of arbitrary size. We provide a characterization of well-partitioned chordal graphs by forbidden induced subgraphs, and give a polynomial-time algorithm that given any graph, either finds an obstruction, or outputs a partition of its vertex set that asserts that the graph is well-partitioned chordal. We demonstrate the algorithmic use of this graph class by showing that two variants of the problem of finding pairwise disjoint paths between k given pairs of vertices is in FPT parameterized by k on well-partitioned chordal graphs, while on chordal graphs, these problems are only known to be in XP. From the other end, we observe that there are problems that are polynomial-time solvable on split graphs, but become NP-complete on well-partitioned chordal graphs.

preprint2016arXiv

A polynomial kernel for Block Graph Deletion

In the Block Graph Deletion problem, we are given a graph GG on nn vertices and a positive integer kk, and the objective is to check whether it is possible to delete at most kk vertices from GG to make it a block graph, i.e., a graph in which each block is a clique. In this paper, we obtain a kernel with O(k6)\mathcal{O}(k^{6}) vertices for the Block Graph Deletion problem. This is a first step to investigate polynomial kernels for deletion problems into non-trivial classes of graphs of bounded rank-width, but unbounded tree-width. Our result also implies that Chordal Vertex Deletion admits a polynomial-size kernel on diamond-free graphs. For the kernelization and its analysis, we introduce the notion of `complete degree' of a vertex. We believe that the underlying idea can be potentially applied to other problems. We also prove that the Block Graph Deletion problem can be solved in time 10k⋅nO(1)10^{k}\cdot n^{\mathcal{O}(1)}.

preprint2016arXiv

An FPT algorithm and a polynomial kernel for Linear Rankwidth-1 Vertex Deletion

Linear rankwidth is a linearized variant of rankwidth, introduced by Oum and Seymour [Approximating clique-width and branch-width. J. Combin. Theory Ser. B, 96(4):514--528, 2006]. Motivated from recent development on graph modification problems regarding classes of graphs of bounded treewidth or pathwidth, we study the Linear Rankwidth-1 Vertex Deletion problem (shortly, LRW1-Vertex Deletion). In the LRW1-Vertex Deletion problem, given an nn-vertex graph GG and a positive integer kk, we want to decide whether there is a set of at most kk vertices whose removal turns GG into a graph of linear rankwidth at most 11 and find such a vertex set if one exists. While the meta-theorem of Courcelle, Makowsky, and Rotics implies that LRW1-Vertex Deletion can be solved in time f(k)⋅n3f(k)\cdot n^3 for some function ff, it is not clear whether this problem allows a running time with a modest exponential function. We first establish that LRW1-Vertex Deletion can be solved in time 8k⋅nO(1)8^k\cdot n^{\mathcal{O}(1)}. The major obstacle to this end is how to handle a long induced cycle as an obstruction. To fix this issue, we define necklace graphs and investigate their structural properties. Later, we reduce the polynomial factor by refining the trivial branching step based on a cliquewidth expression of a graph, and obtain an algorithm that runs in time 2O(k)⋅n42^{\mathcal{O}(k)}\cdot n^4. We also prove that the running time cannot be improved to 2o(k)⋅nO(1)2^{o(k)}\cdot n^{\mathcal{O}(1)} under the Exponential Time Hypothesis assumption. Lastly, we show that the LRW1-Vertex Deletion problem admits a polynomial kernel.

preprint2016arXiv

Neighborhood complexity and kernelization for nowhere dense classes of graphs

We prove that whenever GG is a graph from a nowhere dense graph class C\mathcal{C}, and AA is a subset of vertices of GG, then the number of subsets of AA that are realized as intersections of AA with rr-neighborhoods of vertices of GG is at most f(r,ε)⋅∣A∣1+εf(r,ε)\cdot |A|^{1+ε}, where rr is any positive integer, εε is any positive real, and ff is a function that depends only on the class C\mathcal{C}. This yields a characterization of nowhere dense classes of graphs in terms of neighborhood complexity, which answers a question posed by Reidl et al. As an algorithmic application of the above result, we show that for every fixed rr, the parameterized Distance-rr Dominating Set problem admits an almost linear kernel on any nowhere dense graph class. This proves a conjecture posed by Drange et al., and shows that the limit of parameterized tractability of Distance-rr Dominating Set on subgraph-closed graph classes lies exactly on the boundary between nowhere denseness and somewhere denseness.

preprint2016arXiv

Packing and Covering Immersion Models of Planar subcubic Graphs

A graph HH is an immersion of a graph GG if HH can be obtained by some sugraph GG after lifting incident edges. We prove that there is a polynomial function f:N×N→Nf:\Bbb{N}\times\Bbb{N}\rightarrow\Bbb{N}, such that if HH is a connected planar subcubic graph on h>0h>0 edges, GG is a graph, and kk is a non-negative integer, then either GG contains kk vertex/edge-disjoint subgraphs, each containing HH as an immersion, or GG contains a set FF of f(k,h)f(k,h) vertices/edges such that G∖FG\setminus F does not contain HH as an immersion.

preprint2016arXiv

Parameterized vertex deletion problems for hereditary graph classes with a block property

For a class of graphs P\mathcal{P}, the Bounded P\mathcal{P}-Block Vertex Deletion problem asks, given a graph GG on nn vertices and positive integers kk and dd, whether there is a set SS of at most kk vertices such that each block of G−SG-S has at most dd vertices and is in P\mathcal{P}. We show that when P\mathcal{P} satisfies a natural hereditary property and is recognizable in polynomial time, Bounded P\mathcal{P}-Block Vertex Deletion can be solved in time 2O(klog⁡d)nO(1)2^{O(k \log d)}n^{O(1)}. When P\mathcal{P} contains all split graphs, we show that this running time is essentially optimal unless the Exponential Time Hypothesis fails. On the other hand, if P\mathcal{P} consists of only complete graphs, or only cycle graphs and K2K_2, then Bounded P\mathcal{P}-Block Vertex Deletion admits a cknO(1)c^{k}n^{O(1)}-time algorithm for some constant cc independent of dd. We also show that Bounded P\mathcal{P}-Block Vertex Deletion admits a kernel with O(k2d7)O(k^2 d^7) vertices.

preprint2015arXiv

Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm

Linear rank-width is a linearized variation of rank-width, and it is deeply related to matroid path-width. In this paper, we show that the linear rank-width of every nn-vertex distance-hereditary graph, equivalently a graph of rank-width at most 11, can be computed in time O(n2⋅log⁡2n)\mathcal{O}(n^2\cdot \log_2 n), and a linear layout witnessing the linear rank-width can be computed with the same time complexity. As a corollary, we show that the path-width of every nn-element matroid of branch-width at most 22 can be computed in time O(n2⋅log⁡2n)\mathcal{O}(n^2\cdot \log_2 n), provided that the matroid is given by an independent set oracle. To establish this result, we present a characterization of the linear rank-width of distance-hereditary graphs in terms of their canonical split decompositions. This characterization is similar to the known characterization of the path-width of forests given by Ellis, Sudborough, and Turner [The vertex separation and search number of a graph. Inf. Comput., 113(1):50--79, 1994]. However, different from forests, it is non-trivial to relate substructures of the canonical split decomposition of a graph with some substructures of the given graph. We introduce a notion of `limbs' of canonical split decompositions, which correspond to certain vertex-minors of the original graph, for the right characterization.

preprint2014arXiv

An Upper Bound on the Size of Obstructions for Bounded Linear Rank-Width

We provide a doubly exponential upper bound in pp on the size of forbidden pivot-minors for symmetric or skew-symmetric matrices over a fixed finite field F\mathbb{F} of linear rank-width at most pp. As a corollary, we obtain a doubly exponential upper bound in pp on the size of forbidden vertex-minors for graphs of linear rank-width at most pp. This solves an open question raised by Jeong, Kwon, and Oum [Excluded vertex-minors for graphs of linear rank-width at most kk. European J. Combin., 41:242--257, 2014]. We also give a doubly exponential upper bound in pp on the size of forbidden minors for matroids representable over a fixed finite field of path-width at most pp. Our basic tool is the pseudo-minor order used by Lagergren [Upper Bounds on the Size of Obstructions and Interwines, Journal of Combinatorial Theory Series B, 73:7--40, 1998] to bound the size of forbidden graph minors for bounded path-width. To adapt this notion into linear rank-width, it is necessary to well define partial pieces of graphs and merging operations that fit to pivot-minors. Using the algebraic operations introduced by Courcelle and Kanté, and then extended to (skew-)symmetric matrices by Kanté and Rao, we define boundaried ss-labelled graphs and prove similar structure theorems for pivot-minor and linear rank-width.

preprint2014arXiv

Characterizing width two for variants of treewidth

In this paper, we consider the notion of \emph{special treewidth}, recently introduced by Courcelle\cite{Courcelle2012}. In a special tree decomposition, for each vertex vv in a given graph, the bags containing vv form a rooted path. We show that the class of graphs of special treewidth at most two is closed under taking minors, and give the complete list of the six minor obstructions. As an intermediate result, we prove that every connected graph of special treewidth at most two can be constructed by arranging blocks of special treewidth at most two in a specific tree-like fashion. Inspired from the notion of special treewidth, we introduce three natural variants of treewidth, namely \emph{spaghetti treewidth}, \emph{strongly chordal treewidth} and \emph{directed spaghetti treewidth}. All these parameters lie between pathwidth and treewidth, and we provide common structural properties on these parameters. For each parameter, we prove that the class of graphs having the parameter at most two is minor closed, and we characterize those classes in terms of a \emph{tree of cycles} with additional conditions. Finally, we show that for each k≥3k\geq 3, the class of graphs with special treewidth, spaghetti treewidth, directed spaghetti treewidth, or strongly chordal treewidth, respectively at most kk, is not closed under taking minors.

preprint2014arXiv

Excluded vertex-minors for graphs of linear rank-width at most k

Linear rank-width is a graph width parameter, which is a variation of rank-width by restricting its tree to a caterpillar. As a corollary of known theorems, for each kk, there is a finite obstruction set Ok\mathcal{O}_k of graphs such that a graph GG has linear rank-width at most kk if and only if no vertex-minor of GG is isomorphic to a graph in Ok\mathcal{O}_k. However, no attempts have been made to bound the number of graphs in Ok\mathcal{O}_k for k≥2k\ge 2. We show that for each kk, there are at least 2Ω(3k)2^{Ω(3^k)} pairwise locally non-equivalent graphs in Ok\mathcal{O}_k, and therefore the number of graphs in Ok\mathcal{O}_k is at least double exponential. To prove this theorem, it is necessary to characterize when two graphs in Ok\mathcal O_k are locally equivalent. A graph is a block graph if all of its blocks are complete graphs. We prove that if two block graphs without simplicial vertices of degree at least 22 are locally equivalent, then they are isomorphic. This not only is useful for our theorem but also implies a theorem of Bouchet [Transforming trees by successive local complementations, J. Graph Theory 12 (1988), no. 2, 195-207] stating that if two trees are locally equivalent, then they are isomorphic.

preprint2014arXiv

Tree-depth and Vertex-minors

In a recent paper, Kwon and Oum claim that every graph of bounded rank-width is a pivot-minor of a graph of bounded tree-width (while the converse has been known true already before). We study the analogous questions for "depth" parameters of graphs, namely for the tree-depth and related new shrub-depth. We show that shrub-depth is monotone under taking vertex-minors, and that every graph class of bounded shrub-depth can be obtained via vertex-minors of graphs of bounded tree-depth. We also consider the same questions for bipartite graphs and pivot-minors.

preprint2014arXiv

Unavoidable vertex-minors in large prime graphs

A graph is prime (with respect to the split decomposition) if its vertex set does not admit a partition (A,B) (called a split) with |A|, |B| >= 2 such that the set of edges joining A and B induces a complete bipartite graph. We prove that for each n, there exists N such that every prime graph on at least N vertices contains a vertex-minor isomorphic to either a cycle of length n or a graph consisting of two disjoint cliques of size n joined by a matching.

preprint2012arXiv

Graphs of Small Rank-width are Pivot-minors of Graphs of Small Tree-width

We prove that every graph of rank-width kk is a pivot-minor of a graph of tree-width at most 2k2k. We also prove that graphs of rank-width at most 1, equivalently distance-hereditary graphs, are exactly vertex-minors of trees, and graphs of linear rank-width at most 1 are precisely vertex-minors of paths. In addition, we show that bipartite graphs of rank-width at most 1 are exactly pivot-minors of trees and bipartite graphs of linear rank-width at most 1 are precisely pivot-minors of paths.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.