Demo Data from EDBT 2026 / reviewers in the wild / expert
Kotaro Nakagawa
dblp:126/5950
· DBLP profile ↗
3ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Automated reasoning and model checking · 54% Computational complexity · 46% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity
space complexity |
0.4 | 2 | 2018 | O~(n^{1/3})-Space Algorithm for the Grid Graph Reachability Problem · SoCG 2018 An O(n½+∑)-Space and Polynomial-Time Algorithm for Directed Planar Reachability · CCC 2013 |
Automated reasoning and model checking
reachability |
0.3 | 1 | 2018 | O~(n^{1/3})-Space Algorithm for the Grid Graph Reachability Problem · SoCG 2018 |
Automated reasoning and model checking › reachability
digraph reachability |
0.2 | 1 | 2013 | An O(n½+∑)-Space and Polynomial-Time Algorithm for Directed Planar Reachability · CCC 2013 |
Computational complexity
time-space tradeoffs |
0.0 | 1 | 2013 | An O(n½+∑)-Space and Polynomial-Time Algorithm for Directed Planar Reachability · CCC 2013 |
Methods — techniques the papers use, named apart from their topics
space-efficient algorithms · 0.3space-bounded computation · 0.2polynomial-time algorithm · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | O~(n^{1/3})-Space Algorithm for the Grid Graph Reachability ProblemabstractThe directed graph reachability problem takes as input an $n$-vertex directed graph $G=(V,E)$, and two distinguished vertices $s$ and $t$. The problem is to determine whether there exists a path from $s$ to $t$ in $G$. This is a canonical complete problem for class NL. Asano et al. proposed an $\tilde{O}(\sqrt{n})$ space and polynomial time algorithm for the directed grid and planar graph reachability problem. The main result of this paper is to show that the directed graph reachability problem restricted to grid graphs can be solved in polynomial time using only $\tilde{O}(n^{1/3})$ space. Ryo Ashida, Kotaro Nakagawa |
SoCG | 2 |
| 2014 | Õ(√n)-Space and Polynomial-Time Algorithm for Planar Directed Graph Reachability
Tetsuo Asano, David G. Kirkpatrick, Kotaro Nakagawa, Osamu Watanabe 0001 |
MFCS (2) | 3 |
| 2013 | An O(n½+∑)-Space and Polynomial-Time Algorithm for Directed Planar ReachabilityabstractWe show that the reach ability problem over {\em directed planar graphs} can be solved simultaneously in polynomial time and approximately $O(\sqrt{n})$ space. In contrast, the best space bound known for the reach ability problem on general directed graphs with polynomial running time is $O(n/2^{\sqrt{\log n}})$. Tatsuya Imai, Kotaro Nakagawa, Aduri Pavan, N. V. Vinodchandran, Osamu Watanabe 0001 |
CCC | 2 |