English
Related papers

Related papers: Truthful Mechanism Design for Multidimensional Cov…

200 papers

Coverage path planning is a fundamental challenge in robotics, with diverse applications in aerial surveillance, manufacturing, cleaning, inspection, agriculture, and more. The main objective is to devise a trajectory for an agent that…

Robotics · Computer Science 2023-11-01 Dominik Michael Krupke

We propose a truthful-in-expectation, $(1-1/e)$-approximation mechanism for a strategic variant of the generalized assignment problem (GAP). In GAP, a set of items has to be optimally assigned to a set of bins without exceeding the capacity…

Computer Science and Game Theory · Computer Science 2016-08-17 Salman Fadaei , Martin Bichler

In this work, we provide the first practical evaluation of the structural rounding framework for approximation algorithms. Structural rounding works by first editing to a well-structured class, efficiently solving the edited instance, and…

Data Structures and Algorithms · Computer Science 2019-11-04 Brian Lavallee , Hayley Russell , Blair D. Sullivan , Andrew van der Poel

This paper presents a fast and simple new 2-approximation algorithm for minimum weighted vertex cover. The unweighted version of this algorithm is equivalent to a well-known greedy maximal independent set algorithm. We prove that this…

Data Structures and Algorithms · Computer Science 2022-09-13 Nate Veldt

Finding a minimum vertex cover in a network is a fundamental NP-complete graph problem. One way to deal with its computational hardness, is to trade the qualitative performance of an algorithm (allowing non-optimal outputs) for an improved…

Data Structures and Algorithms · Computer Science 2023-12-14 Thomas Bläsius , Tobias Friedrich , Maximilian Katzmann

We present algorithms for the Max-Cover and Max-Unique-Cover problems in the data stream model. The input to both problems are $m$ subsets of a universe of size $n$ and a value $k\in [m]$. In Max-Cover, the problem is to find a collection…

Data Structures and Algorithms · Computer Science 2021-02-18 Andrew McGregor , David Tench , Hoa T. Vu

We study truthful mechanisms for welfare maximization in online bipartite matching. In our (multi-parameter) setting, every buyer is associated with a (possibly private) desired set of items, and has a private value for being assigned an…

Computer Science and Game Theory · Computer Science 2024-02-20 Michal Feldman , Federico Fusco , Stefano Leonardi , Simon Mauras , Rebecca Reiffenhäuser

A major achievement of mechanism design theory is a general method for the construction of truthful mechanisms called VCG (Vickrey, Clarke, Groves). When applying this method to complex problems such as combinatorial auctions, a difficulty…

Computer Science and Game Theory · Computer Science 2011-10-04 N. Nisan , A. Ronen

We study approximation algorithms for the following geometric version of the maximum coverage problem: Let $\mathcal{P}$ be a set of $n$ weighted points in the plane. Let $D$ represent a planar object, such as a rectangle, or a disk. We…

Computational Geometry · Computer Science 2017-12-08 Kai Jin , Jian Li , Haitao Wang , Bowei Zhang , Ningye Zhang

We investigate approximation algorithms for several fundamental optimization problems on geometric packing. The geometric objects considered are very generic, namely $d$-dimensional convex fat objects. Our main contribution is a versatile…

Computational Geometry · Computer Science 2025-01-03 Vítor Gomes Chagas , Elisa Dell'Arriva , Flávio Keidi Miyazawa

We initiate the study of a novel problem in mechanism design without money, which we term Truthful Interval Covering (TIC). An instance of TIC consists of a set of agents each associated with an individual interval on a line, and the…

Computer Science and Game Theory · Computer Science 2024-01-19 Argyrios Deligkas , Aris Filos-Ratsikas , Alexandros A. Voudouris

This paper studies randomized approximation algorithm for a variant of the set cover problem called minimum submodular cost partial multi-cover (SCPMC), in which each element $e$ has a covering requirement $r_e$ and a profit $p_e$, and the…

Data Structures and Algorithms · Computer Science 2017-02-02 Yishuo Shi , Zhao Zhang , Ding-Zhu Du

We introduce the batched set cover problem, which is a generalization of the online set cover problem. In this problem, the elements of the ground set that need to be covered arrive in batches. Our main technical contribution is a tight…

Data Structures and Algorithms · Computer Science 2018-11-28 Juan C. Martínez Mori , Samitha Samaranayake

We efficiently solve the optimal multi-dimensional mechanism design problem for independent bidders with arbitrary demand constraints when either the number of bidders is a constant or the number of items is a constant. In the first…

Computer Science and Game Theory · Computer Science 2011-12-20 Constantinos Daskalakis , S. Matthew Weinberg

We consider truthful combinatorial auctions with items $M = [m]$ for sale to $n$ bidders, where each bidder $i$ has a private monotone valuation $v_i : 2^M \to R_+$. Among truthful mechanisms, maximal-in-range (MIR) mechanisms achieve the…

Computer Science and Game Theory · Computer Science 2024-04-02 Frederick V. Qiu , S. Matthew Weinberg

Mechanism design is addressed in the context of fair allocations of indivisible goods with monetary compensation. Motivated by a real-world social choice problem, mechanisms with verification are considered in a setting where (i) agents'…

Computer Science and Game Theory · Computer Science 2012-09-18 Gianluigi Greco , Francesco Scarcello

Mixed packing and covering problems are problems that can be formulated as linear programs using only non-negative coefficients. Examples include multicommodity network flow, the Held-Karp lower bound on TSP, fractional relaxations of set…

Data Structures and Algorithms · Computer Science 2016-01-19 Neal E. Young

Minimum sum vertex cover of an $n$-vertex graph $G$ is a bijection $\phi : V(G) \to [n]$ that minimizes the cost $\sum_{\{u,v\} \in E(G)} \min \{\phi(u), \phi(v) \}$. Finding a minimum sum vertex cover of a graph (the MSVC problem) is…

Data Structures and Algorithms · Computer Science 2024-01-11 Shubhada Aute , Fahad Panolan

This paper considers a scenario within the field of mechanism design without money where a mechanism designer is interested in selecting items with maximum total value under a knapsack constraint. The items, however, are controlled by…

Computer Science and Game Theory · Computer Science 2024-10-10 Javier Cembrano , Max Klimm , Martin Knaack

We study the problem of automated mechanism design with partial verification, where each type can (mis)report only a restricted set of types (rather than any other type), induced by the principal's limited verification power. We prove…

Computer Science and Game Theory · Computer Science 2021-04-13 Hanrui Zhang , Yu Cheng , Vincent Conitzer