Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Keigo Oka

dblp:132/8951 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Mathematical optimization › discrete optimization
binary integer programming
0.212014
Linear-Time FPT Algorithms via Network Flow · SODA 2014
Computational complexity › parameterized complexity
fixed-parameter tractability
0.212014
Linear-Time FPT Algorithms via Network Flow · SODA 2014
Mathematical optimization
integer programming
0.212014
Linear-Time FPT Algorithms via Network Flow · SODA 2014
Computational complexity
parameterized complexity
0.212014
Linear-Time FPT Algorithms via Network Flow · SODA 2014
Graph algorithms and graph theory
vertex cover
0.112014
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
YearPublicationVenuePosition
2014 Linear-Time FPT Algorithms via Network Flow
abstract
In 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
SODA2