ar X iv : 1 10 2 . 54 71 v 1 [ cs . C C ] 2 7 Fe b 20 11 An Implicit Cover Problem in Wild Population Study ∗

نویسندگان

  • Mary V. Ashley
  • Tanya Y. Berger-Wolf
  • Wanpracha Chaovalitwongse
  • Bhaskar DasGupta
  • Ashfaq Khokhar
  • Saad Sheikh
چکیده

In an implicit combinatorial optimization problem, the constraints are not enumerated explicitly but rather stated implicitly through equations, other constraints or auxiliary algorithms. An important subclass of such problems is the implicit set cover (or, equivalently, hitting set) problem in which the sets are not given explicitly but rather defined implicitly For example, the well-known minimum feedback arc set problem is such a problem. In this paper, we consider such a cover problem that arises in the study of wild populations in biology in which the sets are defined implicitly via the Mendelian constraints and prove approximability results

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

ثبت نام

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

منابع مشابه

ar X iv : 0 71 0 . 35 19 v 1 [ cs . C C ] 1 8 O ct 2 00 7 P - matrix recognition is co - NP - complete

This is a summary of the proof by G.E. Coxson [1] that P-matrix recognition is co-NP-complete. The result follows by a reduction from the MAX CUT problem using results of S. Poljak and J. Rohn [5].

متن کامل

ar X iv : 1 71 0 . 05 14 0 v 1 [ cs . C C ] 1 4 O ct 2 01 7 On complexity of multidistance graph recognition in R 1 Mikhail Tikhomirov

Let A be a set of positive numbers. A graph G is called an Aembeddable graph in R if the vertices of G can be positioned in R so that the distance between endpoints of any edge is an element of A. We consider the computational problem of recognizing A-embeddable graphs in R1 and classify all finite sets A by complexity of this problem in several natural variations.

متن کامل

ar X iv : c s / 05 02 09 1 v 1 [ cs . C R ] 2 4 Fe b 20 05 An Audit Logic for Accountability ∗

We describe and implement a policy language. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the specification of conditions and obligations, and also the possibility to refine policies. In our framework, the compliance with usage policies is not actively enforced. However, agents are accountable for their actions, and m...

متن کامل

ar X iv : p hy si cs / 0 50 30 27 v 2 8 Fe b 20 07 Why does the Standard GARCH ( 1 , 1 ) model work well ?

G. R. Jafari,1, 2, ∗ A. Bahraminasab,3, 4, † and P. Norouzzadeh5, ‡ Department of Physics, Shahid Beheshti University, Evin, Tehran 19839, Iran Department of Nano-Science, IPM, P. O. Box 19395-5531, Tehran, Iran Department of Physics, Lancaster University, Lancaster LA1 4YB, United Kingdom The Abdus Salam International Center for Theoretical Physics (ICTP) Strada Costiera 11, I-34100 Trieste, I...

متن کامل

ar X iv : g r - qc / 0 60 20 71 v 1 1 9 Fe b 20 06 Tidal Dynamics in Kerr Spacetime

The motion of free nearby test particles relative to a stable equatorial circular geodesic orbit about a Kerr source is investigated. It is shown that the nonlinear generalized Jacobi equation can be transformed in this case to an autonomous form. Tidal dynamics beyond the critical speed c/ √ 2 is studied. We show, in particular, that a free test particle vertically launched from the circular o...

متن کامل

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


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

عنوان ژورنال:

دوره   شماره 

صفحات  -

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