Source author record

Jinha Kim

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

ResearcherUnclaimed source record

math.CO Data Structures and Algorithms Databases Discrete Mathematics math.AT

Catalog footprint

Research overview

8works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The homotopy type of the independence complex of graphs with no induced cycles of length divisible by $3$

We prove Engström's conjecture that the independence complex of graphs with no induced cycle of length divisible by $3$ is either contractible or homotopy equivalent to a sphere. Our result strengthens a result by Zhang and Wu, verifying a conjecture of Kalai and Meshulam which states that the total Betti number of the independence complex of such a graph is at most $1$ . A weaker conjecture was proved earlier by Chudnovsky, Scott, Seymour, and Spirkl, who showed that in such a graph, the number of independent sets of even size minus the number of independent sets of odd size has values $0$ , $1$ , or $-1$ .

preprint2022arXiv

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

Let $\mathcal{F}$ be a family of graphs, and let $p,r$ be nonnegative integers. The \textsc{ $(p,r,\mathcal{F})$ -Covering} problem asks whether for a graph $G$ and an integer $k$ , there exists a set $D$ of at most $k$ vertices in $G$ such that $G^p\setminus N_G^r[D]$ has no induced subgraph isomorphic to a graph in $\mathcal{F}$ , where $G^p$ is the $p$ -th power of $G$ . The \textsc{ $(p,r,\mathcal{F})$ -Packing} problem asks whether for a graph $G$ and an integer $k$ , $G^p$ has $k$ induced subgraphs $H_1,\ldots,H_k$ such that each $H_i$ is isomorphic to a graph in $\mathcal{F}$ , and for distinct $i,j\in \{1, \ldots, k\}$ , the distance between $V(H_i)$ and $V(H_j)$ in $G$ is larger than $r$ . We show that for every fixed nonnegative integers $p,r$ and every fixed nonempty finite family $\mathcal{F}$ of connected graphs, the \textsc{ $(p,r,\mathcal{F})$ -Covering} problem with $p\leq2r+1$ and the \textsc{ $(p,r,\mathcal{F})$ -Packing} problem with $p\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 $k$ . We obtain the same kernels for their annotated variants. As corollaries, we prove that \textsc{Distance- $r$ Vertex Cover}, \textsc{Distance- $r$ Matching}, \textsc{ $\mathcal{F}$ -Free Vertex Deletion}, and \textsc{Induced- $\mathcal{F}$ -Packing} for any fixed finite family $\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- $r$ Dominating Set} by Drange et al. (STACS 2016) and Eickmeyer et al. (ICALP 2017), and the result for \textsc{Distance- $r$ Independent Set} by Pilipczuk and Siebertz (EJC 2021).

preprint2021arXiv

A system of disjoint representatives of line segments with given $k$ directions

We prove that for all positive integers $n$ and $k$ , there exists an integer $N = N(n,k)$ satisfying the following. If $U$ is a set of $k$ direction vectors in the plane and $\mathcal{J}_U$ is the set of all line segments in direction $u$ for some $u\in U$ , then for every $N$ families $\mathcal{F}_1, \ldots, \mathcal{F}_N$ , each consisting of $n$ mutually disjoint segments in $\mathcal{J}_U$ , there is a set $\{A_1, \ldots, A_n\}$ of $n$ disjoint segments in $\bigcup_{1\leq i\leq N}\mathcal{F}_i$ and distinct integers $p_1, \ldots, p_n\in \{1, \ldots, N\}$ satisfying that $A_j\in \mathcal{F}_{p_j}$ for all $j\in \{1, \ldots, n\}$ . We generalize this property for underlying lines on fixed $k$ directions to $k$ families of simple curves with certain conditions.

preprint2021arXiv

Badges and rainbow matchings

Drisko proved that $2n-1$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n$ . For general graphs it is conjectured that $2n$ matchings suffice for this purpose (and that $2n-1$ matchings suffice when $n$ is even). The known graphs showing sharpness of this conjecture for $n$ even are called badges. We improve the previously best known bound from $3n-2$ to $3n-3$ , using a new line of proof that involves analysis of the appearance of badges. We also prove a "cooperative" generalization: for $t>0$ and $n \geq 3$ , any $3n-4+t$ sets of edges, the union of every $t$ of which contains a matching of size $n$ , have a rainbow matching of size $n$ .

preprint2021arXiv

Domination numbers and noncover complexes of hypergraphs

Let $\mathcal{H}$ be a hypergraph on a finite set $V$ . A {\em cover} of $\mathcal{H}$ is a set of vertices that meets all edges of $\mathcal{H}$ . If $W$ is not a cover of $\mathcal{H}$ , then $W$ is said to be a {\em noncover} of $\mathcal{H}$ . The {\em noncover complex} of $\mathcal{H}$ is the abstract simplicial complex whose faces are the noncovers of $\mathcal{H}$ . In this paper, we study homological properties of noncover complexes of hypergraphs. In particular, we obtain an upper bound on their Leray numbers. The bound is in terms of hypergraph domination numbers. Also, our proof idea is applied to compute the homotopy type of the noncover complexes of certain uniform hypergraphs, called {\em tight paths} and {\em tight cycles}. This extends to hypergraphs known results on graphs.

preprint2020arXiv

A sharp Ore-type condition for a connected graph with no induced star to have a Hamiltonian path

We say a graph $G$ has a Hamiltonian path if it has a path containing all vertices of $G$ . For a graph $G$ , let $σ_2(G)$ denote the minimum degree sum of two nonadjacent vertices of $G$ ; restrictions on $σ_2(G)$ are known as Ore-type conditions. Given an integer $t\geq 5$ , we prove that if a connected graph $G$ on $n$ vertices satisfies $σ_2(G)>{t-3\over t-2}n$ , then $G$ has either a Hamiltonian path or an induced subgraph isomorphic to $K_{1, t}$ . Moreover, we characterize all $n$ -vertex graphs $G$ where $σ_2(G)={t-3\over t-2}n$ and $G$ has neither a Hamiltonian path nor an induced subgraph isomorphic to $K_{1, t}$ . This is an analogue of a recent result by Momège, who investigated the case when $t=4$ .

preprint2018arXiv

On difference graphs and the local dimension of posets

The dimension of a partially-ordered set (poset), introduced by Dushnik and Miller (1941), has been studied extensively in the literature. Recently, Ueckerdt (2016) proposed a variation called local dimension which makes use of partial linear extensions. While local dimension is bounded above by dimension, they can be arbitrarily far apart as the dimension of the standard example is $n$ while its local dimension is only $3$ . Hiraguchi (1955) proved that the maximum dimension of a poset of order $n$ is $n/2$ . However, we find a very different result for local dimension, proving a bound of $Θ(n/\log n)$ . This follows from connections with covering graphs using difference graphs which are bipartite graphs whose vertices in a single class have nested neighborhoods. We also prove that the local dimension of the $n$ -dimensional Boolean lattice is $Ω(n/\log n)$ and make progress toward resolving a version of the removable pair conjecture for local dimension.

preprint2015arXiv

Taming Subgraph Isomorphism for RDF Query Processing

RDF data are used to model knowledge in various areas such as life sciences, Semantic Web, bioinformatics, and social graphs. The size of real RDF data reaches billions of triples. This calls for a framework for efficiently processing RDF data. The core function of processing RDF data is subgraph pattern matching. There have been two completely different directions for supporting efficient subgraph pattern matching. One direction is to develop specialized RDF query processing engines exploiting the properties of RDF data for the last decade, while the other direction is to develop efficient subgraph isomorphism algorithms for general, labeled graphs for over 30 years. Although both directions have a similar goal (i.e., finding subgraphs in data graphs for a given query graph), they have been independently researched without clear reason. We argue that a subgraph isomorphism algorithm can be easily modified to handle the graph homomorphism, which is the RDF pattern matching semantics, by just removing the injectivity constraint. In this paper, based on the state-of-the-art subgraph isomorphism algorithm, we propose an in-memory solution, TurboHOM++, which is tamed for the RDF processing, and we compare it with the representative RDF processing engines for several RDF benchmarks in a server machine where billions of triples can be loaded in memory. In order to speed up TurboHOM++, we also provide a simple yet effective transformation and a series of optimization techniques. Extensive experiments using several RDF benchmarks show that TurboHOM++ consistently and significantly outperforms the representative RDF engines. Specifically, TurboHOM++ outperforms its competitors by up to five orders of magnitude.

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.

Jinha Kim

Research overview

Is this your work?

8 publications

The homotopy type of the independence complex of graphs with no induced cycles of length divisible by $3$

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

A system of disjoint representatives of line segments with given $k$ directions

Badges and rainbow matchings

Domination numbers and noncover complexes of hypergraphs

A sharp Ore-type condition for a connected graph with no induced star to have a Hamiltonian path

On difference graphs and the local dimension of posets

Taming Subgraph Isomorphism for RDF Query Processing

See the researcher in context

Building this map preview

Jinha Kim

Research overview

Is this your work?

8 publications

The homotopy type of the independence complex of graphs with no induced cycles of length divisible by 333

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

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

Badges and rainbow matchings

Domination numbers and noncover complexes of hypergraphs

A sharp Ore-type condition for a connected graph with no induced star to have a Hamiltonian path

On difference graphs and the local dimension of posets

Taming Subgraph Isomorphism for RDF Query Processing

See the researcher in context

Building this map preview

The homotopy type of the independence complex of graphs with no induced cycles of length divisible by $3$

A system of disjoint representatives of line segments with given $k$ directions