Demo Data from VLDB 2026 / reviewers in the wild / expert
Keigo Oka
dblp:132/8951
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2014
0009-0007-8119-9267ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 1
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
1 paper |
Computational complexity · 46% Mathematical optimization · 46% Graph algorithms and graph theory · 7% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Mathematical optimization › discrete optimization
binary integer programming |
0.2 | 1 | 2014 | Linear-Time FPT Algorithms via Network Flow · SODA 2014 |
Computational complexity › parameterized complexity
fixed-parameter tractability |
0.2 | 1 | 2014 | Linear-Time FPT Algorithms via Network Flow · SODA 2014 |
Mathematical optimization
integer programming |
0.2 | 1 | 2014 | Linear-Time FPT Algorithms via Network Flow · SODA 2014 |
Computational complexity
parameterized complexity |
0.2 | 1 | 2014 | Linear-Time FPT Algorithms via Network Flow · SODA 2014 |
Graph algorithms and graph theory
vertex cover |
0.1 | 1 | 2014 | Linear-Time FPT Algorithms via Network Flow · SODA 2014 |
Methods — techniques the papers use, named apart from their topics
network flow · 0.2linear programming · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | Linear-Time FPT Algorithms via Network FlowabstractIn the area of parameterized complexity, to cope with NP-Hard problems, we introduce a parameter k besides the input size n, and we aim to design algorithms (called FPT algorithms) that run in O(f(k)nd) time for some function f(k) and constant d. Though FPT algorithms have been successfully designed for many problems, typically they are not sufficiently fast because of huge f(k) and d. In this paper, we give FPT algorithms with small f(k) and d for many important problems including Odd Cycle Transversal and Almost 2-SAT. More specifically, we can choose f(k) as a single exponential (4k) and d as one, that is, linear in the input size. To the best of our knowledge, our algorithms achieve linear time complexity for the first time for these problems. To obtain our algorithms for these problems, we consider a large class of integer programs, called BIP2. Then we show that, in linear time, we can reduce BIP2 to Vertex Cover Above LP preserving the parameter k, and we can compute an optimal LP solution for Vertex Cover Above LP using network flow. Then, we perform an exaustive search by fixing half-integral values in the optimal LP solution for Vertex Cover Above LP. A bottleneck here is that we need to recompute an LP optimal solution after branching. To address this issue, we exploit network flow to update the optimal LP solution in linear time. Yoichi Iwata, Keigo Oka, Yuichi Yoshida |
SODA | 2 |