Eun Jung Kim
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Eun Jung Kim has a total of 12 co-authors. Here are the top co-authors by number of shared publications:
- Gregory Gutin
Department of Computer Science School of Math- ematical Sciences and LPMC Royal Holloway University of London Nankai University
11 shared publications - Anders Yeo
Department of Mathematics and Computer Science Department of Mathematics University of Southern Denmark University of Johannesburg
6 shared publications - Stefan Szeider
TU Wien
3 shared publications - Igor Razgon
Department of Computer Science University College Cork Ireland
2 shared publications - Fedor V. Fomin
Department of Informatics, University of Bergen
1 shared publication - Jean Daligault
Université Montpellier II
1 shared publication
Latest Publications
- 1 March 2011
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 77 (2) , 422-429
A probabilistic approach to problems parameterized above or below tight bounds
- 1 March 2011
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 77 (2) , 422-429
A probabilistic approach to problems parameterized above or below tight bounds
- 17 July 2010
- Published by Springer Nature in Algorithmica
- Vol. 61 (3) , 638-655
Solving MAX-r-SAT Above a Tight Lower Bound
- 17 July 2010
- Published by Springer Nature in Algorithmica
- Vol. 61 (3) , 638-655
Solving MAX-r-SAT Above a Tight Lower Bound
- 6 May 2010
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 76 (8) , 872-878
Betweenness parameterized above tight lower bound
- 6 May 2010
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 76 (8) , 872-878
Betweenness parameterized above tight lower bound
- 2 April 2010
- Published by Springer Nature in Theory of Computing Systems
- Vol. 48 (2) , 402-410
Vertex Cover Problem Parameterized Above and Below Tight Bounds
- 2 April 2010
- Published by Springer Nature in Theory of Computing Systems
- Vol. 48 (2) , 402-410
Vertex Cover Problem Parameterized Above and Below Tight Bounds
- 28 February 2010
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 158 (4) , 319-330
The complexity of the minimum cost homomorphism problem for semicomplete digraphs with possible loops
- 28 February 2010
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 158 (4) , 319-330
The complexity of the minimum cost homomorphism problem for semicomplete digraphs with possible loops
- 25 January 2010
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 76 (7) , 650-662
Algorithm for finding k-vertex out-trees and its application to k-internal out-branching problem
- 25 January 2010
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 76 (7) , 650-662
Algorithm for finding k-vertex out-trees and its application to k-internal out-branching problem
- Open Access
A Probabilistic Approach to Problems Parameterized Above or Below Tight Bounds
We introduce a new approach for establishing fixed-parameter tractability of problems parameterized above tight lower bounds. To illustrate the approach we consider three problems of this type of unknown complexity that were introduced by Mahajan, Raman and Sikdar (J. Comput. Syst. Sci. 75, 2009). We show that a generalization of one of the problems and non-trivial special cases of the other two are fixed-parameter tractable.
Open AccessA Probabilistic Approach to Problems Parameterized Above or Below Tight Bounds
We introduce a new approach for establishing fixed-parameter tractability of problems parameterized above tight lower bounds. To illustrate the approach we consider three problems of this type of unknown complexity that were introduced by Mahajan, Raman and Sikdar (J. Comput. Syst. Sci. 75, 2009). We show that a generalization of one of the problems and non-trivial special cases of the other two are fixed-parameter tractable.
- Open Access
FPT Algorithms and Kernels for the Directed $k$-Leaf Problem
A subgraph $T$ of a digraph $D$ is an {\em out-branching} if $T$ is an oriented spanning tree with only one vertex of in-degree zero (called the {\em root}). The vertices of $T$ of out-degree zero are {\em leaves}. In the {\sc Directed $k$-Leaf} Problem, we are given a digraph $D$ and an integral parameter $k$, and we are to decide whether $D$ has an out-branching with at least $k$ leaves. Recently, Kneis et al. (2008) obtained an algorithm for the problem of running time $4^{k}\cdot n^{O(1)}$. We describe a new algorithm for the problem of running time $3.72^{k}\cdot n^{O(1)}$. In {\sc Rooted Directed $k$-Leaf} Problem, apart from $D$ and $k$, we are given a vertex $r$ of $D$ and we are to decide whether $D$ has an out-branching rooted at $r$ with at least $k$ leaves. Very recently, Fernau et al. (2008) found an $O(k^3)$-size kernel for {\sc Rooted Directed $k$-Leaf}. In this paper, we obtain an $O(k)$ kernel for {\sc Rooted Directed $k$-Leaf} restricted to acyclic digraphs.Open AccessFPT Algorithms and Kernels for the Directed $k$-Leaf Problem
A subgraph $T$ of a digraph $D$ is an {\em out-branching} if $T$ is an oriented spanning tree with only one vertex of in-degree zero (called the {\em root}). The vertices of $T$ of out-degree zero are {\em leaves}. In the {\sc Directed $k$-Leaf} Problem, we are given a digraph $D$ and an integral parameter $k$, and we are to decide whether $D$ has an out-branching with at least $k$ leaves. Recently, Kneis et al. (2008) obtained an algorithm for the problem of running time $4^{k}\cdot n^{O(1)}$. We describe a new algorithm for the problem of running time $3.72^{k}\cdot n^{O(1)}$. In {\sc Rooted Directed $k$-Leaf} Problem, apart from $D$ and $k$, we are given a vertex $r$ of $D$ and we are to decide whether $D$ has an out-branching rooted at $r$ with at least $k$ leaves. Very recently, Fernau et al. (2008) found an $O(k^3)$-size kernel for {\sc Rooted Directed $k$-Leaf}. In this paper, we obtain an $O(k)$ kernel for {\sc Rooted Directed $k$-Leaf} restricted to acyclic digraphs. - Open Access
- 2 April 2009
- Published by Elsevier in Theoretical Computer Science
- Vol. 410 (45) , 4571-4579
Minimum leaf out-branching and related problems
- 2 April 2009
- Published by Elsevier in Theoretical Computer Science
- Vol. 410 (45) , 4571-4579
Open AccessMinimum leaf out-branching and related problems
- Open Access
Minimum Leaf Out-branching and Related Problems
Given a digraph $D$, the Minimum Leaf Out-Branching problem (MinLOB) is the problem of finding in $D$ an out-branching with the minimum possible number of leaves, i.e., vertices of out-degree 0. We prove that MinLOB is polynomial-time solvable for acyclic digraphs. In general, MinLOB is NP-hard and we consider three parameterizations of MinLOB. We prove that two of them are NP-complete for every value of the parameter, but the third one is fixed-parameter tractable (FPT). The FPT parametrization is as follows: given a digraph $D$ of order $n$ and a positive integral parameter $k$, check whether $D$ contains an out-branching with at most $n-k$ leaves (and find such an out-branching if it exists). We find a problem kernel of order $O(k^2)$ and construct an algorithm of running time $O(2^{O(k\log k)}+n^6),$ which is an `additive' FPT algorithm. We also consider transformations from two related problems, the minimum path covering and the maximum internal out-tree problems into MinLOB, which imply that some parameterizations of the two problems are FPT as well.Open AccessMinimum Leaf Out-branching and Related Problems
Given a digraph $D$, the Minimum Leaf Out-Branching problem (MinLOB) is the problem of finding in $D$ an out-branching with the minimum possible number of leaves, i.e., vertices of out-degree 0. We prove that MinLOB is polynomial-time solvable for acyclic digraphs. In general, MinLOB is NP-hard and we consider three parameterizations of MinLOB. We prove that two of them are NP-complete for every value of the parameter, but the third one is fixed-parameter tractable (FPT). The FPT parametrization is as follows: given a digraph $D$ of order $n$ and a positive integral parameter $k$, check whether $D$ contains an out-branching with at most $n-k$ leaves (and find such an out-branching if it exists). We find a problem kernel of order $O(k^2)$ and construct an algorithm of running time $O(2^{O(k\log k)}+n^6),$ which is an `additive' FPT algorithm. We also consider transformations from two related problems, the minimum path covering and the maximum internal out-tree problems into MinLOB, which imply that some parameterizations of the two problems are FPT as well.