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 5 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 5 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 2 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
13 years 10 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 7 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