Abstract:We introduce a class of resource games where resources and preferences are specified with the language of a resource-sensitive logic. The agents are endowed with a bag of resources and try to achieve a resource objective. For each agent, an action consists in making available a part of their endowed resources. All the resources made available can be used towards the agents' objectives. We study three decision problems, the first of which is deciding whether an action profile is a Nash equilibrium: when all the agents have chosen an action, it is a Nash Equilibrium if no agent has an incentive to change their action unilaterally. When dealing with resources, interesting questions arise as to whether some equilibria can be eliminated or constructed by a central authority by redistributing the available resources among the agents. In our economies, division of property in divorce law exemplifies how a central authority can redistribute the resources of individuals and why they would desire to do so. We thus study two related decision problems: (i) rational elimination: given an action profile's outcome, can the endowed resources be redistributed so that it is not the outcome of a Nash equilibrium? (ii) Rational construction: given an action profile's outcome, can the endowed resources be redistributed so that it is the outcome of a Nash equilibrium? Among other results, we prove that all three problems are PSPACE-complete when the resources are described in the very expressive language of the propositional multiplicative and additive linear logic. We also identify a new modest fragment of linear logic that we call MULT, suitable to represent multisets and reason about the inclusion and equality of bags of resources. We show that when the resources are described in MULT, the problem of deciding whether a profile is a Nash equilibrium is in PTIME.

Multi-type Resource Allocation with Partial Preferences

Multi Resource Allocation with Partial Preferences.

Probabilistic Serial Mechanism for Multi-Type Resource Allocation

Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation.

Sequential Mechanisms for Multi-type Resource Allocation

Resource Allocation Among Agents with MDP-Induced Preferences

Dominant Resource Fairness with Meta-Types

Strategic aspects of the probabilistic serial rule for the allocation of goods

Sequential Fair Resource Allocation under a Markov Decision Process Framework

First-Choice Maximality Meets Ex-ante and Ex-post Fairness

Fair Resource Allocation in Weakly Coupled Markov Decision Processes

Multiresource Allocation: Fairness-Efficiency Tradeoffs in a Unifying Framework.

Simultaneously Satisfying MXS and EFL

Fair and Efficient Allocations with Limited Demands

A three-stage solution approach with a repeated-negotiation mechanism for the decentralized resource-constrained multi-project scheduling problem

Online Resource Sharing via Dynamic Max-Min Fairness: Efficiency, Robustness and Non-Stationarity

Multistage Robust Average Randomized Spectral Risk Optimization

A Pseudo-Market Approach to Allocation with Priorities

Efficient Resource Allocation with Fairness Constraints in Restless Multi-Armed Bandits

Individual Resource Games and Resource Redistributions

Fair and Efficient Multi-Resource Allocation for Cloud Computing