|
这就是所谓的平衡完全二部图(BCBS)问题。定义1(BCBS)。给定一个|V |=|V |=n的二部图G=(V,V,E),平衡完全二部子图(BCBS)问题是找到最大整数K,这样就存在1BB1/2/2图4:银行为蓝色,外部股东为绿色,资产为红色。在这个例子中D~p=1 00 1, C=. 如果vi=2,bi=1,则两个平衡为:~v=, 和~v=集C 范德C 具有| C |=|C |=K的性质,以及诱导图onC∪ Cis是G的完全二部子图。已知BCBS问题是NP难[GJ79,87]。这提供了强有力的证据,证明没有可伸缩的算法可以确定无分图中最大平衡团的大小。事实上,有大量证据表明,即使是接近最大平衡液的大小也很难。Feige证明,对于某些δ>0的情况,很难用nδ的因子来逼近BCBSto[Fei02,定理3]。Feige和Kogan证明,如果BCB可以近似为每δ>0的因子2(对数n)δ内,那么对于每>0,3-SAT可以在时间2n3/4+内求解[FK04,定理1.3]。Feige和Kogan继续推测,对于某些δ>0的情况,没有多项式时间算法将BCB近似为nδ的因子[FK04,猜想1.1]。我们的初步结果表明,在某些网络中,计算小冲击可能导致的最大银行故障数相当于解决BCBSP问题。
|