Sciweavers

5624 search results - page 6 / 1125
» On Conditional Covering Problem
Sort
View
63
Voted
JGT
2008
88views more  JGT 2008»
14 years 11 months ago
On minimum sets of 1-factors covering a complete multipartite graph
We determine necessary and sufficient conditions for a complete multipartite graph to admit a set of 1-factors whose union is the whole graph and, when these conditions are satisf...
David Cariolaro, Hung-Lin Fu
SIAMCOMP
1998
137views more  SIAMCOMP 1998»
14 years 11 months ago
Primal-Dual RNC Approximation Algorithms for Set Cover and Covering Integer Programs
We build on the classical greedy sequential set cover algorithm, in the spirit of the primal-dual schema, to obtain simple parallel approximation algorithms for the set cover probl...
Sridhar Rajagopalan, Vijay V. Vazirani
BIRTHDAY
2009
Springer
15 years 6 months ago
Covering a Tree by a Forest
Consider a tree T and a forest F. The paper discusses the following new problems: The Forest vertex-cover problem (FVC): cover the vertices of T by a minimum number of copies of tr...
Fanica Gavril, Alon Itai
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 3 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
SPAA
2010
ACM
15 years 4 months ago
Fast distributed approximation algorithms for vertex cover and set cover in anonymous networks
We present a distributed algorithm that finds a maximal edge packing in O(∆ + log∗ W) synchronous communication rounds in a weighted graph, independent of the number of nodes...
Matti Åstrand, Jukka Suomela