Sciweavers

168 search results - page 8 / 34
» On Nontrivial Approximation of CSPs
Sort
View
IPL
2002
118views more  IPL 2002»
13 years 10 months ago
Lower bounds for approximate polygon decomposition and minimum gap
We consider the problem of decomposing polygons (with holes) into various types of simpler polygons. We focus on the problem of partitioning a rectilinear polygon, with holes, int...
Joachim Gudmundsson, Thore Husfeldt, Christos Levc...
WADS
2009
Springer
274views Algorithms» more  WADS 2009»
14 years 5 months ago
Approximating Transitive Reductions for Directed Networks
Abstract. We consider minimum equivalent digraph problem, its maximum optimization variant and some non-trivial extensions of these two types of problems motivated by biological an...
Piotr Berman, Bhaskar DasGupta, Marek Karpinski
APPROX
2008
Springer
94views Algorithms» more  APPROX 2008»
14 years 11 days ago
Improved Approximation Guarantees through Higher Levels of SDP Hierarchies
For every fixed 0, we give an algorithm that, given an n-vertex 3-uniform hypergraph containing an independent set of size n, finds an independent set of size n(2 ) . This improv...
Eden Chlamtac, Gyanit Singh
JNS
2007
85views more  JNS 2007»
13 years 10 months ago
Long-Time Accuracy for Approximate Slow Manifolds in a Finite-Dimensional Model of Balance
We study the slow singular limit for planar anharmonic oscillatory motion of a charged particle under the influence of a perpendicular magnetic field when the mass of the particl...
G. Gottwald, M. Oliver, N. Tecu
LICS
2012
IEEE
12 years 23 days ago
A Higher-Order Distributed Calculus with Name Creation
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
Adrien Piérard, Eijiro Sumii