Source author record

Naoki Katoh

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

ResearcherUnclaimed source record

Data Structures and Algorithms Computational Geometry Discrete Mathematics math.CO math.MG math.OC

Catalog footprint

Research overview

10works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

On Computing a Center Persistence Diagram

Throughout this paper, a persistence diagram ${\cal P}$ is composed of a set $P$ of planar points (each corresponding to a topological feature) above the line $Y=X$ , as well as the line $Y=X$ itself, i.e., ${\cal P}=P\cup\{(x,y)|y=x\}$ . Given a set of persistence diagrams ${\cal P}_1,...,{\cal P}_m$ , for the data reduction purpose, one way to summarize their topological features is to compute the {\em center} ${\cal C}$ of them first under the bottleneck distance. We consider two discrete versions and one continuous version. For technical reasons, we first focus on the case when $|P_i|$ 's are all the same (i.e., all have the same size $n$ ), and the problem is to compute a center point set $C$ under the bottleneck matching distance. We show, by a non-trivial reduction from the Planar 3D-Matching problem, that this problem is NP-hard even when $m=3$ diagrams are given. This implies that the general center problem for persistence diagrams under the bottleneck distance, when $P_i$ 's possibly have different sizes, is also NP-hard when $m\geq 3$ . On the positive side, we show that this problem is polynomially solvable when $m=2$ and admits a factor-2 approximation for $m\geq 3$ . These positive results hold for any $L_p$ metric when $P_i$ 's are point sets of the same size, and also hold for the case when $P_i$ 's have different sizes in the $L_\infty$ metric (i.e., for the Center Persistence Diagram problem). This is the best possible in polynomial time for the Center Persistence Diagram under the bottleneck distance unless P = NP. All these results hold for both of the discrete versions as well as the continuous version; in fact, the NP-hardness and approximation results also hold under the Wasserstein distance for the continuous version.

preprint2016arXiv

Geometric k-Center Problems with Centers Constrained to Two Lines

We consider the $k$ -center problem in which the centers are constrained to lie on two lines. Given a set of $n$ weighted points in the plane, we want to locate up to $k$ centers on two parallel lines. We present an $O(n\log^2 n)$ time algorithm, which minimizes the weighted distance from any point to a center. We then consider the unweighted case, where the centers are constrained to be on two perpendicular lines. Our algorithms run in $O(n\log^2 n)$ time also in this case.

preprint2016arXiv

Improved Algorithms for Computing $k$ -Sink on Dynamic Path Networks

We present a novel approach to finding the $k$ -sink on dynamic path networks with general edge capacities. Our first algorithm runs in $O(n \log n + k^2 \log^4 n)$ time, where $n$ is the number of vertices on the given path, and our second algorithm runs in $O(n \log^3 n)$ time. Together, they improve upon the previously most efficient $O(kn \log^2 n)$ time algorithm due to Arumugam et al. for all values of $k$ . In the case where all the edges have the same capacity, we again present two algorithms that run in $O(n + k^2 \log^2n)$ time and $O(n \log n)$ time, respectively, and they together improve upon the previously best $O(kn)$ time algorithm due to Higashikawa et al. for all values of $k$ .

preprint2016arXiv

Optimal Evacuation Flows on Dynamic Paths with General Edge Capacities

A Dynamic Graph Network is a graph in which each edge has an associated travel time and a capacity (width) that limits the number of items that can travel in parallel along that edge. Each vertex in this dynamic graph network begins with the number of items that must be evacuated into designated sink vertices. A $k$ -sink evacuation protocol finds the location of $k$ sinks and associated evacuation movement protocol that allows evacuating all the items to a sink in minimum time. The associated evacuation movement must impose a confluent flow, i.e, all items passing through a particular vertex exit that vertex using the same edge. In this paper we address the $k$ -sink evacuation problem on a dynamic path network. We provide solutions that run in $O(n \log n)$ time for $k=1$ and $O(k n \log^2 n)$ for $k >1$ and work for arbitrary edge capacities.

preprint2015arXiv

Minimax Regret 1-Median Problem in Dynamic Path Networks

This paper considers the minimax regret 1-median problem in dynamic path networks. In our model, we are given a dynamic path network consisting of an undirected path with positive edge lengths, uniform positive edge capacity, and nonnegative vertex supplies. Here, each vertex supply is unknown but only an interval of supply is known. A particular assignment of supply to each vertex is called a scenario. Given a scenario s and a sink location x in a dynamic path network, let us consider the evacuation time to x of a unit supply given on a vertex by s. The cost of x under s is defined as the sum of evacuation times to x for all supplies given by s, and the median under s is defined as a sink location which minimizes this cost. The regret for x under s is defined as the cost of x under s minus the cost of the median under s. Then, the problem is to find a sink location such that the maximum regret for all possible scenarios is minimized. We propose an O(n^3) time algorithm for the minimax regret 1-median problem in dynamic path networks with uniform capacity, where n is the number of vertices in the network.

preprint2015arXiv

Polynomial-time approximability of the k-Sink Location problem

A dynamic network ${\cal N} = (G,c,τ,S)$ where $G=(V,E)$ is a graph, integers $τ(e)$ and $c(e)$ represent, for each edge $e\in E$ , the time required to traverse edge $e$ and its nonnegative capacity, and the set $S\subseteq V$ is a set of sources. In the $k$ -{\sc Sink Location} problem, one is given as input a dynamic network ${\cal N}$ where every source $u\in S$ is given a nonnegative supply value $σ(u)$ . The task is then to find a set of sinks $X = \{x_1,\ldots,x_k\}$ in $G$ that minimizes the routing time of all supply to $X$ . Note that, in the case where $G$ is an undirected graph, the optimal position of the sinks in $X$ needs not be at vertices, and can be located along edges. Hoppe and Tardos showed that, given an instance of $k$ -{\sc Sink Location} and a set of $k$ vertices $X\subseteq V$ , one can find an optimal routing scheme of all the supply in $G$ to $X$ in polynomial time, in the case where graph $G$ is directed. Note that when $G$ is directed, this suffices to obtain polynomial-time solvability of the $k$ -{\sc Sink Location} problem, since any optimal position will be located at vertices of $G$ . However, the computational complexity of the $k$ -{\sc Sink Location} problem on general undirected graphs is still open. In this paper, we show that the $k$ -{\sc Sink Location} problem admits a fully polynomial-time approximation scheme (FPTAS) for every fixed $k$ , and that the problem is $W[1]$ -hard when parameterized by $k$ .

preprint2015arXiv

Straight-line Drawability of a Planar Graph Plus an Edge

We investigate straight-line drawings of topological graphs that consist of a planar graph plus one edge, also called almost-planar graphs. We present a characterization of such graphs that admit a straight-line drawing. The characterization enables a linear-time testing algorithm to determine whether an almost-planar graph admits a straight-line drawing, and a linear-time drawing algorithm that constructs such a drawing, if it exists. We also show that some almost-planar graphs require exponential area for a straight-line drawing.

preprint2014arXiv

Extended Formulations for Sparsity Matroids

We show the existence of a polynomial-size extended formulation for the base polytope of a $(k,\ell)$ -sparsity matroid. For an undirected graph $G=(V,E)$ , the size of the formulation is $O(|V||E|)$ when $k \geq \ell$ and $O(|V|^2 |E|)$ when $k \leq \ell$ . To this end, we employ the technique developed by Faenza et al. recently that uses a randomized communication protocol.

preprint2014arXiv

Improved Algorithms for Multiple Sink Location Problems in Dynamic Path Networks

This paper considers the k-sink location problem in dynamic path networks. In our model, a dynamic path network consists of an undirected path with positive edge lengths, uniform edge capacity, and positive vertex supplies. Here, each vertex supply corresponds to a set of evacuees. Then, the problem requires to find the optimal location of $k$ sinks in a given path so that each evacuee is sent to one of k sinks. Let x denote a k-sink location. Under the optimal evacuation for a given x, there exists a (k-1)-dimensional vector d, called (k-1)-divider, such that each component represents the boundary dividing all evacuees between adjacent two sinks into two groups, i.e., all supplies in one group evacuate to the left sink and all supplies in the other group evacuate to the right sink. Therefore, the goal is to find x and d which minimize the maximum cost or the total cost, which are denoted by the minimax problem and the minisum problem, respectively. We study the k-sink location problem in dynamic path networks with continuous model, and prove that the minimax problem can be solved in O(kn) time and the minisum problem can be solved in O(n^2 min{k, 2^{sqrt{log k log log n}}}) time, where n is the number of vertices in the given network. Note that these improve the previous results by [6].

preprint2011arXiv

Rooted-tree Decompositions with Matroid Constraints and the Infinitesimal Rigidity of Frameworks with Boundaries

As an extension of a classical tree-partition problem, we consider decompositions of graphs into edge-disjoint (rooted-)trees with an additional matroid constraint. Specifically, suppose we are given a graph $G=(V,E)$ , a multiset $R=\{r1,..., r_t\}$ of vertices in $V$ , and a matroid ${\cal M}$ on $R$ . We prove a necessary and sufficient condition for $G$ to be decomposed into $t$ edge-disjoint subgraphs $G_1=(V_1,T_1),..., G_t=(V_t,T_t)$ such that (i) for each $i$ , $G_i$ is a tree with $r_i\in V_i$ , and (ii) for each $v\in V$ , the multiset $\{r_i\in R\mid v\in V_i\}$ is a base of ${\cal M}$ . If ${\cal M}$ is a free matroid, this is a decomposition into $t$ edge-disjoint spanning trees; thus, our result is a proper extension of Nash-Williams' tree-partition theorem. Such a matroid constraint is motivated by combinatorial rigidity theory. As a direct application of our decomposition theorem, we present characterizations of the infinitesimal rigidity of frameworks with non-generic "boundary", which extend classical Laman's theorem for generic 2-rigidity of bar-joint frameworks and Tay's theorem for generic $d$ -rigidity of body-bar frameworks.

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.

Naoki Katoh

Research overview

Is this your work?

10 publications

On Computing a Center Persistence Diagram

Geometric k-Center Problems with Centers Constrained to Two Lines

Improved Algorithms for Computing $k$ -Sink on Dynamic Path Networks

Optimal Evacuation Flows on Dynamic Paths with General Edge Capacities

Minimax Regret 1-Median Problem in Dynamic Path Networks

Polynomial-time approximability of the k-Sink Location problem

Straight-line Drawability of a Planar Graph Plus an Edge

Extended Formulations for Sparsity Matroids

Improved Algorithms for Multiple Sink Location Problems in Dynamic Path Networks

Rooted-tree Decompositions with Matroid Constraints and the Infinitesimal Rigidity of Frameworks with Boundaries

See the researcher in context

Building this map preview

Naoki Katoh

Research overview

Is this your work?

10 publications

On Computing a Center Persistence Diagram

Geometric k-Center Problems with Centers Constrained to Two Lines

Improved Algorithms for Computing kkk-Sink on Dynamic Path Networks

Optimal Evacuation Flows on Dynamic Paths with General Edge Capacities

Minimax Regret 1-Median Problem in Dynamic Path Networks

Polynomial-time approximability of the k-Sink Location problem

Straight-line Drawability of a Planar Graph Plus an Edge

Extended Formulations for Sparsity Matroids

Improved Algorithms for Multiple Sink Location Problems in Dynamic Path Networks

Rooted-tree Decompositions with Matroid Constraints and the Infinitesimal Rigidity of Frameworks with Boundaries

See the researcher in context

Building this map preview

Improved Algorithms for Computing $k$ -Sink on Dynamic Path Networks