Download presentation
Presentation is loading. Please wait.
1
MarkSAT W. E. Walsh and M. P. Wellman
2
Objectives Offer a decentralized computation model ; Study the computational properties of decentralized systems; Study how to use market model to solve SAT problems;
3
Supply Chain Formation A Task dependency network: A directed, acyclic graph (V, E); V = G ∪ A G : goods, A : agents A = C ∪ Π ∪ S C : consumers, Π : producers, S : suppliers E : edges : agent a can provide a unit of good g; : agent a requires a unit of good g;
4
Supply Chain Formation & 3SAT 3SAT can be transformed into supply chain formation problem; Supply chain formation problem is NP- Complete;
5
Implementation of Decentralization An agent knows only the information of the goods in which it is interested; An agent tries to maximize its surplus based on a price system; Protocol in price system: auction (price quotes and bidding); Global view: Local interaction Local price information Local decision making
6
Features Distributed More distributed than Yokoo’s approaches; Inefficient Much slower than GSAT; Two much communication;
7
Reference W. E. Walsh and M. P. Wellman, MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability, in Proceedings of 17’th National Conference on Artificial Intelligence, 2000;
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.