Source author record

Ringi Kim

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

9works
1topics
4close collaborators

Published work

9 publications

preprint2020arXiv

Decomposing planar graphs into graphs with degree restrictions

Given a graph GG, a decomposition of GG is a partition of its edges. A graph is (d,h)(d, h)-decomposable if its edge set can be partitioned into a dd-degenerate graph and a graph with maximum degree at most hh. For d≤4d \le 4, we are interested in the minimum integer hdh_d such that every planar graph is (d,hd)(d,h_d)-decomposable. It was known that h3≤4h_3 \le 4, h2≤8h_2\le 8, and h1=∞h_1 = \infty. This paper proves that h4=1,h3=2h_4=1, h_3=2, and 4≤h2≤64 \le h_2 \le 6.

preprint2020arXiv

The strong clique number of graphs with forbidden cycles

Given a graph GG, the strong clique number of GG, denoted ωS(G)ω_S(G), is the maximum size of a set SS of edges such that every pair of edges in SS has distance at most 22 in the line graph of GG. As a relaxation of the renowned Erdős--Nešetřil conjecture regarding the strong chromatic index, Faudree et al. suggested investigating the strong clique number, and conjectured a quadratic upper bound in terms of the maximum degree. Recently, Cames van Batenburg, Kang, and Pirot conjectured a linear upper bound in terms of the maximum degree for graphs without even cycles. Namely, if GG is a C2kC_{2k}-free graph, then ωS(G)≤(2k−1)Δ(G)−(2k−12)ω_S(G)\leq (2k-1)Δ(G)-{2k-1\choose 2}, and if GG is a C2kC_{2k}-free bipartite graph, then ωS(G)≤kΔ(G)−(k−1)ω_S(G)\leq kΔ(G)-(k-1). We prove the second conjecture in a stronger form, by showing that forbidding all odd cycles is not necessary. To be precise, we show that a {C5,C2k}\{C_5, C_{2k}\}-free graph GG with Δ(G)≥1Δ(G)\ge 1 satisfies ωS(G)≤kΔ(G)−(k−1)ω_S(G)\leq kΔ(G)-(k-1), when either k≥4k\geq 4 or k∈{2,3}k\in \{2,3\} and GG is also C3C_3-free. Regarding the first conjecture, we prove an upper bound that is off by the constant term. Namely, for k≥3k\geq 3, we prove that a C2kC_{2k}-free graph GG with Δ(G)≥1Δ(G)\ge 1 satisfies ωS(G)≤(2k−1)Δ(G)+(2k−1)2ω_S(G)\leq (2k-1)Δ(G)+(2k-1)^2. This improves some results of Cames van Batenburg, Kang, and Pirot.

preprint2016arXiv

Chromatic index determined by fractional chromatic index

Given a graph GG possibly with multiple edges but no loops, denote by ΔΔ the {\it maximum degree}, μμ the {\it multiplicity}, χ′χ' the {\it chromatic index} and χf′χ_f' the {\it fractional chromatic index} of GG, respectively. It is known that Δ≤χf′≤χ′≤Δ+μΔ\le χ_f' \le χ' \le Δ+ μ, where the upper bound is a classic result of Vizing. While deciding the exact value of χ′χ' is a classic NP-complete problem, the computing of χf′χ_f' is in polynomial time. In fact, it is shown that if χf′>Δχ_f' > Δ then χf′=max⁡∣E(H)∣⌊∣V(H)∣/2⌋χ_f'= \max \frac{|E(H)|}{\lfloor |V(H)|/2\rfloor}, where the maximality is over all induced subgraphs HH of GG. Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) conjectured that χ′=⌈χf′⌉χ'=\lceilχ_f'\rceil if χ′≥Δ+2χ'\ge Δ+2, which is commonly referred as Goldberg's conjecture. In this paper, we show that if χ′>Δ+Δ/23χ' >Δ+\sqrt[3]{Δ/2} then χ′=⌈χf′⌉χ'=\lceilχ_f'\rceil. The previous best known result is for graphs with χ′>Δ+Δ/2χ'> Δ+\sqrt{Δ/2} obtained by Scheide, and by Chen, Yu and Zang, independently. It has been shown that Goldberg's conjecture is equivalent to the following conjecture of Jakobsen: {\it For any positive integer mm with m≥3m\ge 3, every graph GG with χ′>mm−1Δ+m−3m−1χ'>\frac{m}{m-1}Δ+\frac{m-3}{m-1} satisfies χ′=⌈χf′⌉χ'=\lceilχ_f'\rceil.} Jakobsen's conjecture has been verified for mm up to 15 by various researchers in the last four decades. We show that it is true for m≤23m\le 23. Moreover, we show that Goldberg's conjecture holds for graphs GG with Δ≤23Δ\leq 23 or ∣V(G)∣≤23|V(G)|\leq 23.

preprint2016arXiv

Cycles with two blocks in kk-chromatic digraphs

Let kk and ℓ\ell be positive integers. A cycle with two blocks c(k,ℓ)c(k,\ell) is an oriented cycle which consists of two internally (vertex) disjoint directed paths of lengths at least kk and ℓ\ell, respectively, from a vertex to another one. A problem of Addario-Berry, Havet and Thomassé (2007) asked if, given positive integers kk and ℓ\ell such that k+ℓ≥4k+\ell\ge 4, any strongly connected digraph DD containing no c(k,ℓ)c(k,\ell) has chromatic number at most k+ℓ−1k+\ell-1. In this paper, we show that such digraph DD has chromatic number at most O((k+ℓ)2)O((k+\ell)^2), improving the previous upper bound O((k+ℓ)4)O((k+\ell)^4) obtained by Cohen, Havet, Lochet and Nisse (2016). In fact, we are able to find a digraph which shows that the answer to the above problem is no. We also show that if in addition DD is Hamiltonian, then its underlying simple graph is (k+ℓ−1)(k+\ell-1)-degenerate and thus the chromatic number of DD is at most k+ℓk+\ell, which is tight.

preprint2016arXiv

Tree-chromatic number is not equal to path-chromatic number

For a graph GG and a tree-decomposition (T,B)(T, \mathcal{B}) of GG, the chromatic number of (T,B)(T, \mathcal{B}) is the maximum of χ(G[B])χ(G[B]), taken over all bags B∈BB \in \mathcal{B}. The tree-chromatic number of GG is the minimum chromatic number of all tree-decompositions (T,B)(T, \mathcal{B}) of GG. The path-chromatic number of GG is defined analogously. In this paper, we introduce an operation that always increases the path-chromatic number of a graph. As an easy corollary of our construction, we obtain an infinite family of graphs whose path-chromatic number and tree-chromatic number are different. This settles a question of Seymour. Our results also imply that the path-chromatic numbers of the Mycielski graphs are unbounded.

preprint2015arXiv

Unavoidable induced subgraphs in large graphs with no homogeneous sets

A homogeneous set of an nn-vertex graph is a set XX of vertices (2≤∣X∣≤n−12\le |X|\le n-1) such that every vertex not in XX is either complete or anticomplete to XX. A graph is called prime if it has no homogeneous set. A chain of length tt is a sequence of t+1t+1 vertices such that for every vertex in the sequence except the first one, its immediate predecessor is its unique neighbor or its unique non-neighbor among all of its predecessors. We prove that for all nn, there exists NN such that every prime graph with at least NN vertices contains one of the following graphs or their complements as an induced subgraph: (1) the graph obtained from K1,nK_{1,n} by subdividing every edge once, (2) the line graph of K2,nK_{2,n}, (3) the line graph of the graph in (1), (4) the half-graph of height nn, (5) a prime graph induced by a chain of length nn, (6) two particular graphs obtained from the half-graph of height nn by making one side a clique and adding one vertex.

preprint2014arXiv

Disjoint dijoins

A dijoin in a digraph is a set of edges meeting every directed cut. D. R. Woodall conjectured in 1976 that if G is a digraph, and every directed cut of G has at least k edges, then there are k pairwise disjoint dijoins. This remains open, but a capacitated version is known to be false. In particular, A. Schrijver gave a digraph G and a subset S of its edge-set, such that every directed cut contains at least two edges in S, and yet there do not exist two disjoint dijoins included in S. In Schrijver's example, G is planar, and the subdigraph formed by the edges in S consists of three disjoint paths. We conjecture that when k = 2, the disconnectedness of S is crucial: more precisely, that if G is a digraph, and S is a subset of the edges of G that forms a connected subdigraph (as an undirected graph), and every directed cut of G contains at least two edges in S, then we can partition S into two dijoins. We prove this in two special cases: when G is planar, and when the subdigraph formed by the edges in S is a subdivision of a caterpillar.

preprint2013arXiv

The Minimal Automorphism-Free Tree

A finite tree TT with ∣V(T)∣≥2|V(T)| \geq 2 is called {\it automorphism-free} if there is no non-trivial automorphism of TT. Let AFT\mathcal{AFT} be the poset with the element set of all finite automorphism-free trees (up to graph isomorphism) ordered by T1⪯T2T_1 \preceq T_2 if T1T_1 can be obtained from T2T_2 by successively deleting one leaf at a time in such a way that each intermediate tree is also automorphism-free. In this paper, we prove that AFT\mathcal{AFT} has a unique minimal element. This result gives an affirmative answer to the question asked by Rupinski.

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.