3,270 research outputs found
An efficient deterministic parallel algorithm for two processors precedence constraint scheduling
AbstractWe present here a new deterministic parallel algorithm for the two-processor scheduling problem. The algorithm uses only O(n3) processors and takes O(log2n) time on a CREW PRAM. In order to prove the above bounds we show how to compute in NC the lexicographically first matching for a special kind of convex bipartite graphs
Parallel algorithms for two processors precedence constraint scheduling
The final publication is available at link.springer.comPeer ReviewedPostprint (author's final draft
The Matching Problem in General Graphs is in Quasi-NC
We show that the perfect matching problem in general graphs is in Quasi-NC.
That is, we give a deterministic parallel algorithm which runs in
time on processors. The result is obtained by a
derandomization of the Isolation Lemma for perfect matchings, which was
introduced in the classic paper by Mulmuley, Vazirani and Vazirani [1987] to
obtain a Randomized NC algorithm.
Our proof extends the framework of Fenner, Gurjar and Thierauf [2016], who
proved the analogous result in the special case of bipartite graphs. Compared
to that setting, several new ingredients are needed due to the significantly
more complex structure of perfect matchings in general graphs. In particular,
our proof heavily relies on the laminar structure of the faces of the perfect
matching polytope.Comment: Accepted to FOCS 2017 (58th Annual IEEE Symposium on Foundations of
Computer Science
Faster Algorithms for Semi-Matching Problems
We consider the problem of finding \textit{semi-matching} in bipartite graphs
which is also extensively studied under various names in the scheduling
literature. We give faster algorithms for both weighted and unweighted case.
For the weighted case, we give an -time algorithm, where is
the number of vertices and is the number of edges, by exploiting the
geometric structure of the problem. This improves the classical
algorithms by Horn [Operations Research 1973] and Bruno, Coffman and Sethi
[Communications of the ACM 1974].
For the unweighted case, the bound could be improved even further. We give a
simple divide-and-conquer algorithm which runs in time,
improving two previous -time algorithms by Abraham [MSc thesis,
University of Glasgow 2003] and Harvey, Ladner, Lov\'asz and Tamir [WADS 2003
and Journal of Algorithms 2006]. We also extend this algorithm to solve the
\textit{Balance Edge Cover} problem in time, improving the
previous -time algorithm by Harada, Ono, Sadakane and Yamashita [ISAAC
2008].Comment: ICALP 201
- …