|
我们在后续章节中证明了这些条件。2清算状态2.1资金流游戏中的流通结构我们观察到资金流游戏中清算状态的有用流通表示。在给定策略的情况下,固定点和无欺诈约束意味着对任何清算州而言,资金流动的稳健性。现在使用辅助来源s,我们可以以流通的形式表示a中的所有货币流动。我们通过添加节点s来构建流通网络G′,对于每个v∈ V我们添加一条辅助边(V,s),其容量为c((V,s))=∞, 对于每个v∈ 当axv>0时,我们添加一条辅助边(s,V),其中c((s,V))=axv。这样,v的外部资产通过边缘流动(s,v)成为内部资产。w的剩余资产成为边缘流动(w,s),即s提案2的内部资产。对于货币流动博弈中策略文件f的每个清算状态a,流动G′可以分解并表示为循环。辅助电源s具有资产ofas=Pv∈Vaxv和所有辅助边(s、v)饱和。证据这是固定点和无欺诈约束的简单结果。S urplus在Firm v∈ E只有在v支付所有债务时才存在∈E+(v)fe(av)=最小值(av,l(v) )。此外,总外部资产构成总净收入:十五∈Vaxv=Xv∈Vaxv+Xv∈VXe=(u,v)∈E-(v) fe(au)-十五∈VXe=(u,v)∈E-(v) fe(au)=Xv∈变风量空调-Xe公司∈E+(v)fe(av)=Xv∈Vmax{0,av- l(v) }每家公司的净收入被转移到辅助来源,并构成资产。因此as=Pv∈Vmax{0,av- l(v) }=Pv∈Vaxv和所有辅助ed ges(s,v)饱和。总的来说,通过将剩余资产路由到s,我们可以在每个节点获得精确的流量守恒。因此,水流可以分解并表示为循环。2.2单调策略的结构格子结构。考虑一个任意的资金流动游戏和一个单调策略。
|