Partial multicovering and the d-consecutive ones property

نویسندگان

  • Dror Rawitz
  • Shimon Shahar
چکیده

A d-interval is the union of d disjoint intervals on the real line. In the d-interval stabbing problem (d-is) we are given a set of d-intervals and a set of points, each d-interval I has a stabbing requirement r(I) and each point has a weight, and the goal is to find a minimum weight multiset of points that stabs each d-interval I at least r(I) times. In practice there is a trade-off between fulfilling requirements and cost, and therefore it is interesting to study problems in which one is required to fulfill only a subset of the requirements. In this paper we study variants of dis in which a feasible solution is a multiset of points that may satisfy only a subset of the stabbing requirements. In partial d-is we are given an integer t, and the sum of requirements satisfied by the computed solution must be at least t. In prize collecting d-is each d-interval has a penalty that must be paid for every unit of unsatisfied requirement. We also consider a maximization version of prize collecting d-is in which each d-interval has a prize that is gained for every time, up to r(I), it is stabbed. Our study is motivated by several resource allocation and geometric facility location problems. We present a ( ρ )-approximation algorithm for prize collecting d-is, where ρ = minI r(I), and an O(d)-approximation algorithm for partial d-is. We obtain the latter result by designing a general framework for approximating partial multicovering problems that extends the framework for approximating partial covering problems from [21]. We also show that maximum prize collecting d-is is at least as hard to approximate as maximum independent set, even for d = 2, and present a d-approximation algorithm for maximum prize collecting d-dimensional rectangle stabbing.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Variants of the Consecutive-Ones Property Motivated by the Reconstruction of Ancestral Species

The polynomial-time decidable Consecutive-Ones Property (C1P) of binary matrices, formally introduced in 1965 by Fulkerson and Gross [52], has since found applications in many areas. In this thesis, we propose and study several variants of this property that are motivated by the reconstruction of ancestral species. We first propose the Gapped C1P, or the (k,δ )-Consecutive-Ones Property ((k,δ )...

متن کامل

Multicovering Bounds from Relative Covering Radii

The multicovering radii of a code are recently introduced natural generalizations of the covering radius measuring the smallest radius of balls around codewords that cover all m-tuples of vectors. In this paper we prove a new identity relating the multicovering radii of a code to a relativized notion of ordinary covering radius. This identity is used to prove new bounds on the multicovering rad...

متن کامل

Characterization of weak fixed point property for new class of set-valued nonexpansive mappings

In this paper, we introduce a new class of set-valued mappings which is called MD-type mappings. This class of mappings is a set-valued case of a class of the D-type mappings. The class of D-type mappings is a generalization of nonexpansive mappings that recently introduced by Kaewkhao and Sokhuma. The class of MD-type mappings includes upper semi-continuous Suzuki type mappings, upper semi-con...

متن کامل

A Test for the Consecutive Ones Property on Noisy Data

A (0,1)-matrix satisfies the consecutive ones property (COP) for the rows if there exists a column permutation such that the ones in each row of the resulting matrix are consecutive. The consecutive ones test is useful for DNA sequence assembly, for example, in the STS content mapping of YAC library, and in the Bactig assembly based on STS as well as EST

متن کامل

A Simple Test for the Consecutive Ones Property

A (0,1)-matrix satisfies the consecutive ones property if there exists a column permutation such that the ones in each row of the resulting matrix are consecutive. Booth and Lueker [1976] designed a linear time testing algorithm for this property based on a data structure called "PQ-trees". This procedure is quite complicated and the linear time amortized analysis is also rather involved. We de...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Discrete Optimization

دوره 8  شماره 

صفحات  -

تاریخ انتشار 2011