Following recent interest in the study of computer science problems in a game theoretic setting, we consider the well known bin packing problem where the items are controlled by selfish agents. Each agent is charged with a cost according to the fraction of the used bin space its item requires. That is, the cost of the bin is split among the agents, proportionally to their sizes. Thus, the selfish agents prefer their items to be packed in a bin that is as full as possible. The social goal is to minimize the number of the bins used. The social cost in this case is therefore the number of bins used in the packing. A pure Nash equilibrium is a packing where no agent can obtain a smaller cost by unilaterally moving his item to a different bin, while other items remain in their original positions. A Strong Nash equilibrium is a packing where there exists no subset of agents, all agents in which can profit from jointly moving their items to different bins. We say that all agents in a subset profit from moving their items to different bins if all of them have a strictly smaller cost as a result of moving, while the other items remain in their positions. We measure the quality of the equilibria using the standard measures PoA and PoS that are defined as the worst case worst/best asymptotic ratio between the social cost of a (pure) Nash equilibrium and the cost of an optimal packing, respectively. We also consider the recently introduced measures SPoA and SPoS, that are defined similarly to the PoA and the PoS, but consider only Strong Nash equilibria. We give nearly tight lower and upper bounds of 1.6416 and 1.6428, respectively, on the PoA of the bin packing game, improving upon previous result by Bilo. We study the Strong Nash equilibria of the bin packing game, and show that a packing is a Strong Nash equilibrium iff it is produced by the Subset Sum algorithm for bin packing. This characterization implies that the SPoA of the bin packing game equals the approximation ratio of the Subset Sum algorithm, for which an almost tight bound is known. Moreover, the fact that any lower bound instance for the Subset Sum algorithm can be converted by a small modification of the item sizes to a lower bound instance on the SPoS, implies that in the bin packing game SPoA=SPoS. Finally, we address the issue of complexity of computing a Strong Nash packing and show that no polynomial time algorithm exists for finding Strong Nash equilibria, unless P=NP.
Read full abstract