Optimization problems involving collections of dependent objects

We describe a class of problems motivated by numerous real-world applications where there is a collection of objects that have both a cost and a value, but where some of those objects depend upon other objects to obtain their full value. Applications include finding an optimal order for transferring files under threat of system failure, ordering sequences of actions by a heterogeneous team of agents or robots, picking an optimal set of products to store in a warehouse, selecting courses to take at a university, or picking what products to cut from production. We formalize the problem of representing objects and their dependence relationships as a directed acyclic graph (DAG). We define simple formulae for calculating the utility of both sets and sequences of graph vertices. We motivate, using real-world examples, a taxonomy of problems associated with the model we present. We also prove that two variants of problems associated with our formalism are NP-hard, and present an efficient algorithm for solving a restricted version of a third problem.

[1]  Frank Dignum,et al.  Task and social coordination in agent organizations , 2005, AAMAS '05.

[2]  Robert W. Irving,et al.  The Stable marriage problem - structure and algorithms , 1989, Foundations of computing series.

[3]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[4]  室 章治郎 Michael R.Garey/David S.Johnson 著, "COMPUTERS AND INTRACTABILITY A guide to the Theory of NP-Completeness", FREEMAN, A5判変形判, 338+xii, \5,217, 1979 , 1980 .

[5]  P. P. Chakrabarti,et al.  Best first search in and/or graphs , 1988, CSC '88.

[6]  A. Bagchi,et al.  AND/OR graph heuristic search methods , 1985, JACM.

[7]  Yongge Wang,et al.  Maximum Flows and Critical Vertices in AND/OR Graphs , 2002, COCOON.

[8]  Boi Faltings,et al.  Multi-agent Coordination using Local Search , 2005, IJCAI.

[9]  Roy Feldman,et al.  Design of a dependency-directed compiler for constraint propagation , 1988, IEA/AIE '88.

[10]  David L. Roberts,et al.  A decision-theoretic approach to file consistency in constrained peer-to-peer device networks , 2006, AAMAS '06.

[11]  Milind Tambe,et al.  DCOP Games for Multi-agent Coordination , 2005 .

[12]  Pierluigi Crescenzi,et al.  A compendium of NP optimization problems , 1994, WWW Spring 1994.

[13]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[14]  Rami G. Melhem,et al.  Power-aware scheduling for AND/OR graphs in real-time systems , 2004, IEEE Transactions on Parallel and Distributed Systems.

[15]  Ishfaq Ahmad,et al.  Benchmarking the task graph scheduling algorithms , 1998, Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing.

[16]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[17]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[18]  Jeffrey S. Pierce,et al.  From devices to tasks: automatic task prediction for personalized appliance control , 2004, Personal and Ubiquitous Computing.

[19]  Sanmay Das,et al.  Two-Sided Bandits and the Dating Market , 2005, IJCAI.

[20]  Luke Hunsberger A framework for specifying group decision-making mechanisms , 2005, AAMAS '05.