Sciweavers

19 search results - page 1 / 4
» Algorithms for Game Metrics (Full Version)
Sort
View
CORR
2008
Springer
82views Education» more  CORR 2008»
13 years 9 months ago
Algorithms for Game Metrics (Full Version)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majum...
STOC
2004
ACM
122views Algorithms» more  STOC 2004»
14 years 9 months ago
Estimating the weight of metric minimum spanning trees in sublinear-time
In this paper we present a sublinear time (1+ )-approximation randomized algorithm to estimate the weight of the minimum spanning tree of an n-point metric space. The running time...
Artur Czumaj, Christian Sohler
WINE
2010
Springer
149views Economy» more  WINE 2010»
13 years 7 months ago
Winner-Imposing Strategyproof Mechanisms for Multiple Facility Location Games
We study Facility Location games, where a number of facilities are placed in a metric space based on locations reported by strategic agents. A mechanism maps the agents' locat...
Dimitris Fotakis, Christos Tzamos
ICALP
2004
Springer
14 years 2 months ago
Linear and Branching Metrics for Quantitative Transition Systems
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
Luca de Alfaro, Marco Faella, Mariëlle Stoeli...
STOC
2012
ACM
193views Algorithms» more  STOC 2012»
11 years 11 months ago
A new point of NP-hardness for unique games
d abstract; full version begins on page 13) Ryan O’Donnell∗ John Wright† November 2, 2011 We show that distinguishing 1 2 -satisfiable Unique-Games instances from (3 8 + )-...
Ryan O'Donnell, John Wright