Given an instance of a geometric set cover problem on a set of points X and a set of objects R, the dual is a geometric hitting set problem on a set of points P and a set of objects Q, where there exists a one-to-one mapping from each xj ∈ X to a dual object Qj ∈ Q and for each Ri ∈ R to a dual point in pi ∈ P , so that a dual point pi is contained in a dual object Qj if and only if the corresp...

We describe a polynomial time O(k log log OPTk(P ))approximation algorithm for the k-guarding problem of finding a minimum number, OPTk(P ), of vertex guards of an n-vertex simple polygon P so that for every point p ∈ P , the number of guards that see p is at least the minimum of k and the number of vertices that see p. Our approach finds O ( k ε log log 1 ε ) size (k, ε)-nets for instances of ...

We study the parameterized complexity of the classical Edge Hamiltonian Path problem and give several fixed-parameter tractability results. First, we settle an open question of Demaine et al. by showing that Edge Hamiltonian Path is FPT parameterized by vertex cover, and that it also admits a cubic kernel. We then show fixed-parameter tractability even for a generalization of the problem to arb...

Note that vertex cover is a special case of set cover where U is the set of all edges and each vertex v is a subset in S which contains all edges incident to v. In this case, each element is in exactly two subsets in S. We present a greedy approximation algorithm for Set Cover. This is probably the most natural greedy algorithm for this problem. The idea is, at each iteration pick a set where t...

Mechanism design for distributed systems is fundamentally concerned with aligning individual incentives with social welfare to avoid socially inefficient outcomes that can arise from agents acting autonomously. One simple and natural approach is to centrally broadcast non-binding advice intended to guide the system to a socially near-optimal state while still harnessing the incentives of indivi...

Hitting Set of Bundles generalizes the ordinary Hitting Set problem in the way that prescribed bundles of elements rather than single elements have to be put in a hitting set. The goal is to minimize the total number of distinct elements in the solution. First we prove that Hitting Set of Bundles, with the number of hyperedges and the solution size as parameter, is W [1]-complete. This contrast...

The cover of a transport, social, or communication network is computationally complex problem. To deal with it, this paper introduces special class simple games in which the set minimal winning coalitions coincides least covers. A distinctive feature such game that it has weighted form, weights and quota are sets rather than real numbers. This termed set-weighted games. real-life large number c...

We investigate utilizing the integer programming (IP) technique of reduced cost fixing to improve maximum satisfiability (MaxSAT) solving. In particular, we show how reduced cost fixing can be used within the implicit hitting set approach (IHS) for solving MaxSAT. Solvers based on IHS have proved to be quite effective for MaxSAT, especially on problems with a variety of clause weights. The uniq...