Source author record

Ei Ando

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

2works
3topics
1close collaborators

Published work

2 publications

preprint2022arXiv

The Distribution Function of the Longest Path Length in Constant Treewidth DAGs with Random Edge Length

This paper is about the length XMAXX_{\rm MAX} of the longest path in directed acyclic graph (DAG) G=(V,E)G=(V,E) with random edge lengths, where ∣V∣=n|V|=n and ∣E∣=m|E|=m. When the edge lengths are mutually independent and uniformly distributed, the problem of computing the distribution function Pr⁡[XMAX≤x]\Pr[X_{\rm MAX}\le x] is known to be #\#P-hard even in case GG is a directed path. In this case, Pr⁡[XMAX≤x]\Pr[X_{\rm MAX}\le x] is equal to the volume of the knapsack polytope, an mm-dimensional unit hypercube truncated by a halfspace. In this paper, we show that there is a deterministic fully polynomial time approximation scheme (FPTAS) for computing Pr⁡[XMAX≤x]\Pr[X_{\rm MAX}\le x] in case the treewidth of GG is at most a constant kk. The running time of our algorithm is O(k2n(16(k+1)mn2ε)4k2+6k+2)O(k^2 n(\frac{16(k+1)mn^2}ε)^{4k^2+6k+2}) to achieve a multiplicative approximation ratio 1+ε1+ε. Before our FPTAS, we present a fundamental formula that represents Pr⁡[XMAX≤x]\Pr[X_{\rm MAX}\le x] by at most n−1n-1 repetitions of definite integrals. Moreover, in case the edge lengths follow the mutually independent standard exponential distribution, we show a ((4k+2)mn)O(k)((4k+2)mn)^{O(k)} time exact algorithm. For random edge lengths satisfying certain conditions, we also show that computing Pr⁡[XMAX≤x]\Pr[X_{\rm MAX}\le x] is fixed parameter tractable if we choose treewidth kk, the additive error ε′ε', and xx as the parameters.

preprint2016arXiv

An FPTAS for the Volume of a V{\cal V}-polytope ---It is Hard to Compute The Volume of The Intersection of Two Cross-polytopes

Given an nn-dimensional convex body by a membership oracle in general, it is known that any polynomial-time deterministic algorithm cannot approximate its volume within ratio (n/log⁡n)n(n/\log n)^n. There is a substantial progress on randomized approximation such as Markov chain Monte Carlo for a high-dimensional volume, and for many #P-hard problems, while some deterministic approximation algorithms are recently developed only for a few #P-hard problems. Motivated by a deterministic approximation of the volume of a V{\cal V}-polytope, that is a polytope with few vertices and (possibly) exponentially many facets, this paper investigates the volume of a "knapsack dual polytope," which is known to be #P-hard due to Khachiyan (1989). We reduce an approximate volume of a knapsack dual polytope to that of the intersection of two cross-polytopes, and give FPTASs for those volume computations. Interestingly, the volume of the intersection of two cross-polytopes (i.e., L1L_1-balls) is #P-hard, unlike the cases of L∞L_{\infty}-balls or L2L_2-balls.

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.