-
Eliciting Truthful Reports with Partial Signals in Repeated Games
Authors:
Yutong Wu,
Ali Khodabakhsh,
Bo Li,
Evdokia Nikolova,
Emmanouil Pountourakis
Abstract:
We consider a repeated game where a player self-reports her usage of a service and is charged a payment accordingly by a center. The center observes a partial signal, representing part of the player's true consumption, which is generated from a publicly known distribution. The player can report any value that does not contradict the signal and the center issues a payment based on the reported info…
▽ More
We consider a repeated game where a player self-reports her usage of a service and is charged a payment accordingly by a center. The center observes a partial signal, representing part of the player's true consumption, which is generated from a publicly known distribution. The player can report any value that does not contradict the signal and the center issues a payment based on the reported information. Such problems find application in net metering billing in the electricity market, where a customer's actual consumption of the electricity network is masked and complete verification is impractical. When the underlying true value is relatively constant, we propose a penalty mechanism that elicits truthful self-reports. Namely, besides charging the player the reported value, the mechanism charges a penalty proportional to her inconsistent reports. We show how fear of the uncertainty in the future incentivizes the player to be truthful today. For Bernoulli distributions, we give the complete analysis and optimal strategies given any penalty. Since complete truthfulness is not possible for continuous distributions, we give approximate truthful results by a reduction from Bernoulli distributions. We also extend our mechanism to a multi-player cost sharing setting and give equilibrium results.
△ Less
Submitted 15 August, 2022; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Electrical Flows over Spanning Trees
Authors:
Swati Gupta,
Ali Khodabakhsh,
Hassan Mortagy,
Evdokia Nikolova
Abstract:
The network reconfiguration problem seeks to find a rooted tree $T$ such that the energy of the (unique) feasible electrical flow over $T$ is minimized. The tree requirement on the support of the flow is motivated by operational constraints in electricity distribution networks. The bulk of existing results on convex optimization over vertices of polytopes and on the structure of electrical flows d…
▽ More
The network reconfiguration problem seeks to find a rooted tree $T$ such that the energy of the (unique) feasible electrical flow over $T$ is minimized. The tree requirement on the support of the flow is motivated by operational constraints in electricity distribution networks. The bulk of existing results on convex optimization over vertices of polytopes and on the structure of electrical flows do not easily give guarantees for this problem, while many heuristic methods have been developed in the power systems community as early as 1989. Our main contribution is to give the first provable approximation guarantees for the network reconfiguration problem. We provide novel lower bounds and corresponding approximation factors for various settings ranging from $\min\{O(m-n), O(n)\}$ for general graphs, to $O(\sqrt{n})$ over grids with uniform resistances on edges, and $O(1)$ for grids with uniform edge resistances and demands. To obtain the result for general graphs, we propose a new method for (approximate) spectral graph sparsification, which may be of independent interest. Using insights from our theoretical results, we propose a general heuristic for the network reconfiguration problem that is orders of magnitude faster than existing methods in the literature, while obtaining comparable performance.
△ Less
Submitted 14 December, 2020; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Electric Vehicle Valet
Authors:
Ali Khodabakhsh,
Orestis Papadigenopoulos,
Jannik Matuschke,
Jimmy Horn,
Evdokia Nikolova,
Emmanouil Pountourakis
Abstract:
We propose a novel way to use Electric Vehicles (EVs) as dynamic mobile energy storage with the goal to support grid balancing during peak load times. EVs seeking parking in a busy/expensive inner city area, can get free parking with a valet company in exchange for being utilized for grid support. The valet company would have an agreement with the local utility company to receive varying rewards f…
▽ More
We propose a novel way to use Electric Vehicles (EVs) as dynamic mobile energy storage with the goal to support grid balancing during peak load times. EVs seeking parking in a busy/expensive inner city area, can get free parking with a valet company in exchange for being utilized for grid support. The valet company would have an agreement with the local utility company to receive varying rewards for discharging EVs at designated times and locations of need (say, where power lines are congested). Given vehicle availabilities, the valet company would compute an optimal schedule of which vehicle to utilize where and when so as to maximize rewards collected. Our contributions are a detailed description of this new concept along with supporting theory to bring it to fruition. On the theory side, we provide new hardness results, as well as efficient algorithms with provable performance guarantees that we also test empirically.
△ Less
Submitted 15 November, 2018;
originally announced November 2018.
-
Optimal Mechanism Design with Risk-loving Agents
Authors:
Evdokia Nikolova,
Emmanouil Pountourakis,
Ger Yang
Abstract:
One of the most celebrated results in mechanism design is Myerson's characterization of the revenue optimal auction for selling a single item. However, this result relies heavily on the assumption that buyers are indifferent to risk. In this paper we investigate the case where the buyers are risk-loving, i.e. they prefer gambling to being rewarded deterministically. We use the standard model for r…
▽ More
One of the most celebrated results in mechanism design is Myerson's characterization of the revenue optimal auction for selling a single item. However, this result relies heavily on the assumption that buyers are indifferent to risk. In this paper we investigate the case where the buyers are risk-loving, i.e. they prefer gambling to being rewarded deterministically. We use the standard model for risk from expected utility theory, where risk-loving behavior is represented by a convex utility function.
We focus our attention on the special case of exponential utility functions. We characterize the optimal auction and show that randomization can be used to extract more revenue than when buyers are risk-neutral. Most importantly, we show that the optimal auction is simple: the optimal revenue can be extracted using a randomized take-it-or-leave-it price for a single buyer and using a loser-pay auction, a variant of the all-pay auction, for multiple buyers. Finally, we show that these results no longer hold for convex utility functions beyond exponential.
△ Less
Submitted 5 October, 2018;
originally announced October 2018.
-
Wireless coverage prediction via parametric shortest paths
Authors:
David Applegate,
Aaron Archer,
David S. Johnson,
Evdokia Nikolova,
Mikkel Thorup,
Ger Yang
Abstract:
When deciding where to place access points in a wireless network, it is useful to model the signal propagation loss between a proposed antenna location and the areas it may cover. The indoor dominant path (IDP) model, introduced by Wölfle et al., is shown in the literature to have good validation and generalization error, is faster to compute than competing methods, and is used in commercial softw…
▽ More
When deciding where to place access points in a wireless network, it is useful to model the signal propagation loss between a proposed antenna location and the areas it may cover. The indoor dominant path (IDP) model, introduced by Wölfle et al., is shown in the literature to have good validation and generalization error, is faster to compute than competing methods, and is used in commercial software such as WinProp, iBwave Design, and CellTrace. Previously, the algorithms known for computing it involved a worst-case exponential-time tree search, with pruning heuristics to speed it up.
We prove that the IDP model can be reduced to a parametric shortest path computation on a graph derived from the walls in the floorplan. It therefore admits a quasipolynomial-time (i.e., $n^{O(\log n)}$) algorithm. We also give a practical approximation algorithm based on running a small constant number of shortest path computations. Its provable worst-case additive error (in dB) can be made arbitrarily small via appropriate choices of parameters, and is well below 1dB for reasonable choices. We evaluate our approximation algorithm empirically against the exact IDP model, and show that it consistently beats its theoretical worst-case bounds, solving the model exactly (i.e., no error) in the vast majority of cases.
△ Less
Submitted 16 May, 2018;
originally announced May 2018.
-
Reconciling Selfish Routing with Social Good
Authors:
Soumya Basu,
Ger Yang,
Thanasis Lianeas,
Evdokia Nikolova,
Yitao Chen
Abstract:
Selfish routing is a central problem in algorithmic game theory, with one of the principal applications being that of routing in road networks. Inspired by the emergence of routing technologies and autonomous driving, we revisit selfish routing and consider three possible outcomes of it: (i) $θ$-Positive Nash Equilibrium flow, where every path that has non-zero flow on all of its edges has cost no…
▽ More
Selfish routing is a central problem in algorithmic game theory, with one of the principal applications being that of routing in road networks. Inspired by the emergence of routing technologies and autonomous driving, we revisit selfish routing and consider three possible outcomes of it: (i) $θ$-Positive Nash Equilibrium flow, where every path that has non-zero flow on all of its edges has cost no greater than $θ$ times the cost of any other path, (ii) $θ$-Used Nash Equilibrium flow, where every used path that appears in the path flow decomposition has cost no greater than $θ$ times the cost of any other path, and (iii) $θ$-Envy Free flow, where every path that appears in the path flow decomposition has cost no greater than $θ$ times the cost of any other path in the path flow decomposition. We first examine the relations of these outcomes among each other and then measure their possible impact on the network's performance. Afterwards, we examine the computational complexity of finding such flows of minimum social cost and give a range for $θ$ for which this task is easy and a range for $θ$ for which this task is NP-hard. Finally, we propose deterministic strategies which, in a worst case approach, can be used by a central planner in order to provide good such flows, and further introduce a natural idea for randomly routing players after giving them specific guarantees about their costs in the randomized routing, as a tool for the central planner to implement a desired flow.
△ Less
Submitted 1 July, 2017;
originally announced July 2017.
-
When Does Diversity of User Preferences Improve Outcomes in Selfish Routing?
Authors:
Richard Cole,
Thanasis Lianeas,
Evdokia Nikolova
Abstract:
We seek to understand when heterogeneity in user preferences yields improved outcomes in terms of overall cost. That this might be hoped for is based on the common belief that diversity is advantageous in many settings. We investigate this in the context of routing. Our main result is a sharp characterization of the network settings in which diversity always helps, versus those in which it is some…
▽ More
We seek to understand when heterogeneity in user preferences yields improved outcomes in terms of overall cost. That this might be hoped for is based on the common belief that diversity is advantageous in many settings. We investigate this in the context of routing. Our main result is a sharp characterization of the network settings in which diversity always helps, versus those in which it is sometimes harmful. Specifically, we consider routing games, where diversity arises in the way that users trade-off two criteria (such as time and money, or, in the case of stochastic delays, expectation and variance of delay). Our main contributions are the following: 1) A participant-oriented measure of cost in the presence of user diversity, together with the identification of the natural benchmark: the same cost measure for an appropriately defined average of the diversity. 2) A full characterization of those network topologies for which diversity always helps, for all latency functions and demands. For single-commodity routings, these are series-parallel graphs, while for multi-commodity routings, they are the newly-defined "block-matching" networks. The latter comprise a suitable interweaving of multiple series-parallel graphs each connecting a distinct source-sink pair. While the result for the single-commodity case may seem intuitive in light of the well-known Braess paradox, the two problems are different: there are instances where diversity helps although the Braess paradox occurs, and vice-versa. But the main technical challenge is to establish the "only if" direction of the result for multi-commodity networks. This follows by constructing an instance where diversity hurts, and showing how to embed it in any network which is not block-matching, by carefully exploiting the way the simple source-sink paths of the commodities intersect in the "non-block-matching" portion of the network.
△ Less
Submitted 27 June, 2018; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Maximizing Non-Monotone DR-Submodular Functions with Cardinality Constraints
Authors:
Ali Khodabakhsh,
Evdokia Nikolova
Abstract:
We consider the problem of maximizing a non-monotone DR-submodular function subject to a cardinality constraint. Diminishing returns (DR) submodularity is a generalization of the diminishing returns property for functions defined over the integer lattice. This generalization can be used to solve many machine learning or combinatorial optimization problems such as optimal budget allocation, revenue…
▽ More
We consider the problem of maximizing a non-monotone DR-submodular function subject to a cardinality constraint. Diminishing returns (DR) submodularity is a generalization of the diminishing returns property for functions defined over the integer lattice. This generalization can be used to solve many machine learning or combinatorial optimization problems such as optimal budget allocation, revenue maximization, etc. In this work we propose the first polynomial-time approximation algorithms for non-monotone constrained maximization. We implement our algorithms for a revenue maximization problem with a real-world dataset to check their efficiency and performance.
△ Less
Submitted 3 September, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Approximation Algorithms for Route Planning with Nonlinear Objectives
Authors:
Ger Yang,
Evdokia Nikolova
Abstract:
We consider optimal route planning when the objective function is a general nonlinear and non-monotonic function. Such an objective models user behavior more accurately, for example, when a user is risk-averse, or the utility function needs to capture a penalty for early arrival. It is known that as nonlinearity arises, the problem becomes NP-hard and little is known about computing optimal soluti…
▽ More
We consider optimal route planning when the objective function is a general nonlinear and non-monotonic function. Such an objective models user behavior more accurately, for example, when a user is risk-averse, or the utility function needs to capture a penalty for early arrival. It is known that as nonlinearity arises, the problem becomes NP-hard and little is known about computing optimal solutions when in addition there is no monotonicity guarantee. We show that an approximately optimal non-simple path can be efficiently computed under some natural constraints. In particular, we provide a fully polynomial approximation scheme under hop constraints. Our approximation algorithm can extend to run in pseudo-polynomial time under a more general linear constraint that sometimes is useful. As a by-product, we show that our algorithm can be applied to the problem of finding a path that is most likely to be on time for a given deadline.
△ Less
Submitted 23 November, 2015;
originally announced November 2015.
-
Asymptotically tight bounds for inefficiency in risk-averse selfish routing
Authors:
Thanasis Lianeas,
Evdokia Nikolova,
Nicolas E. Stier-Moses
Abstract:
We consider a nonatomic selfish routing model with independent stochastic travel times, represented by mean and variance latency functions for each edge that depend on their flows. In an effort to decouple the effect of risk-averse player preferences from selfish behavior on the degradation of system performance, Nikolova and Stier- Moses [16] defined the concept of the price of risk aversion as t…
▽ More
We consider a nonatomic selfish routing model with independent stochastic travel times, represented by mean and variance latency functions for each edge that depend on their flows. In an effort to decouple the effect of risk-averse player preferences from selfish behavior on the degradation of system performance, Nikolova and Stier- Moses [16] defined the concept of the price of risk aversion as the worst-case ratio of the cost of an equilibrium with risk-averse players and that of an equilibrium with risk-neutral users. For risk-averse users who seek to minimize the mean plus variance of travel time on a path, they proved an upper bound on the price of risk aversion, which is independent of the latency functions, and grows linearly with the size of the graph and players' risk-aversion. In this follow-up paper, we provide a matching lower bound for graphs with number of vertices equal to powers of two, via the construction of a graph family inductively generated from the Braess graph. We also provide conceptually different bounds, which we call functional, that depend on the class of mean latency functions and provide characterizations that are independent of the network topology (first derived, in a more complicated way, by Meir and Parkes [10] in a different context with different techniques). We also supplement the upper bound with a new asymptotically-tight lower bound. Our third contribution is a tight bound on the price of risk aversion for a family of graphs that generalize series-parallel graphs which applies to users minimizing the mean plus standard deviation of a path, a much more complex model of risk-aversion due to the cost of a path being non-additive over edge costs. This is a refinement of previous results in [16] that characterized the price of risk-aversion for series-parallel graphs and for the Braess graph.
△ Less
Submitted 16 October, 2015; v1 submitted 7 October, 2015;
originally announced October 2015.
-
New Complexity Results and Algorithms for the Minimum Tollbooth Problem
Authors:
Soumya Basu,
Thanasis Lianeas,
Evdokia Nikolova
Abstract:
The inefficiency of the Wardrop equilibrium of nonatomic routing games can be eliminated by placing tolls on the edges of a network so that the socially optimal flow is induced as an equilibrium flow. A solution where the minimum number of edges are tolled may be preferable over others due to its ease of implementation in real networks. In this paper we consider the minimum tollbooth (MINTB) probl…
▽ More
The inefficiency of the Wardrop equilibrium of nonatomic routing games can be eliminated by placing tolls on the edges of a network so that the socially optimal flow is induced as an equilibrium flow. A solution where the minimum number of edges are tolled may be preferable over others due to its ease of implementation in real networks. In this paper we consider the minimum tollbooth (MINTB) problem, which seeks social optimum inducing tolls with minimum support. We prove for single commodity networks with linear latencies that the problem is NP-hard to approximate within a factor of $1.1377$ through a reduction from the minimum vertex cover problem. Insights from network design motivate us to formulate a new variation of the problem where, in addition to placing tolls, it is allowed to remove unused edges by the social optimum. We prove that this new problem remains NP-hard even for single commodity networks with linear latencies, using a reduction from the partition problem. On the positive side, we give the first exact polynomial solution to the MINTB problem in an important class of graphs---series-parallel graphs. Our algorithm solves MINTB by first tabulating the candidate solutions for subgraphs of the series-parallel network and then combining them optimally.
△ Less
Submitted 25 September, 2015; v1 submitted 24 September, 2015;
originally announced September 2015.
-
The Burden of Risk Aversion in Mean-Risk Selfish Routing
Authors:
E. Nikolova,
N. Stier-Moses
Abstract:
Considering congestion games with uncertain delays, we compute the inefficiency introduced in network routing by risk-averse agents. At equilibrium, agents may select paths that do not minimize the expected latency so as to obtain lower variability. A social planner, who is likely to be more risk neutral than agents because it operates at a longer time-scale, quantifies social cost with the total…
▽ More
Considering congestion games with uncertain delays, we compute the inefficiency introduced in network routing by risk-averse agents. At equilibrium, agents may select paths that do not minimize the expected latency so as to obtain lower variability. A social planner, who is likely to be more risk neutral than agents because it operates at a longer time-scale, quantifies social cost with the total expected delay along routes. From that perspective, agents may make suboptimal decisions that degrade long-term quality. We define the {\em price of risk aversion} (PRA) as the worst-case ratio of the social cost at a risk-averse Wardrop equilibrium to that where agents are risk-neutral. For networks with general delay functions and a single source-sink pair, we show that the PRA depends linearly on the agents' risk tolerance and on the degree of variability present in the network. In contrast to the {\em price of anarchy}, in general the PRA increases when the network gets larger but it does not depend on the shape of the delay functions. To get this result we rely on a combinatorial proof that employs alternating paths that are reminiscent of those used in max-flow algorithms. For {\em series-parallel} (SP) graphs, the PRA becomes independent of the network topology and its size. As a result of independent interest, we prove that for SP networks with deterministic delays, Wardrop equilibria {\em maximize} the shortest-path objective among all feasible flows.
△ Less
Submitted 4 November, 2014; v1 submitted 31 October, 2014;
originally announced November 2014.
-
A Truthful Mechanism for Offline Ad Slot Scheduling
Authors:
Jon Feldman,
S. Muthukrishnan,
Evdokia Nikolova,
Martin Pal
Abstract:
We consider the "Offline Ad Slot Scheduling" problem, where advertisers must be scheduled to "sponsored search" slots during a given period of time. Advertisers specify a budget constraint, as well as a maximum cost per click, and may not be assigned to more than one slot for a particular search.
We give a truthful mechanism under the utility model where bidders try to maximize their clicks, s…
▽ More
We consider the "Offline Ad Slot Scheduling" problem, where advertisers must be scheduled to "sponsored search" slots during a given period of time. Advertisers specify a budget constraint, as well as a maximum cost per click, and may not be assigned to more than one slot for a particular search.
We give a truthful mechanism under the utility model where bidders try to maximize their clicks, subject to their personal constraints. In addition, we show that the revenue-maximizing mechanism is not truthful, but has a Nash equilibrium whose outcome is identical to our mechanism. As far as we can tell, this is the first treatment of sponsored search that directly incorporates both multiple slots and budget constraints into an analysis of incentives.
Our mechanism employs a descending-price auction that maintains a solution to a certain machine scheduling problem whose job lengths depend on the price, and hence is variable over the auction. The price stops when the set of bidders that can afford that price pack exactly into a block of ad slots, at which point the mechanism allocates that block and continues on the remaining slots. To prove our result on the equilibrium of the revenue-maximizing mechanism, we first show that a greedy algorithm suffices to solve the revenue-maximizing linear program; we then use this insight to prove that bidders allocated in the same block of our mechanism have no incentive to deviate from bidding the fixed price of that block.
△ Less
Submitted 18 January, 2008;
originally announced January 2008.