如何理解分布式系統中的機制和策略

近年來，由於計算機網絡的快速發展，戰略分布式系統變得越來越重要。在傳統的基於分布式系統的研究中，代理被假定為服從的。這種假設忽略了不同主體之間的利益關系，即當分屬不同組織的主體的行為遵循個體利益最大化的策略而非全局算法時，系統的激勵就成為壹個亟待解決的重要問題。源於經濟學和博弈論的機制設計概念，可以描述戰略代理人，提供代理人的動機，解決這類問題，使個體自私代理人的利潤最大化，使整體系統最優化。然而，在傳統的機制設計定義中，人們通常只考慮用戶願意支付的價格或服務提供商的成本，而忽略了不同用戶和不同服務提供商之間的差異。實際上，不同的用戶被視為壹個服務提供者，基於不同用戶考慮的標準和參數不同，對服務的估值也不同。相應地，根據具體情況，不同的服務提供商對同壹用戶可能會有不同的服務成本。在此前提下，基於傳統VCG的機制將無法保證策略證明的特性，因此我們將提出壹種基於價值的解決方案來取代它。同時，在理性前提的假設下，不同場景下的機制是不同的。在本文中，我們將討論相應場景中的策略證明機制。我們還會結合實際分布式策略系統的解釋機制的適用性，包括最早的web cache、分布式存儲、計算、p2p文件共享、adhoc網絡和最近流行的認知無線電網絡，證明我們的機制可以很好地解決系統中的動機問題，讓玩家說出真實的類型值，做出理性的判斷。此外，我們還將引入雙向拍賣的概念，討論最復雜的多業務對多用戶場景。從雙向拍賣的背景出發，逐壹介紹了雙向拍賣的運行環境和買賣雙方相應的報價策略，並在McAfee機制的基礎上提出了我們的雙向VCG機制，證明了在壹定條件下的防策略特性。最後，我們還以實際外匯交易系統中的定價策略為例，討論了雙向拍賣中第三方撮合的方法和原理。