因此,2uA(t*, t型*, tC)+uC(t*, t型*, tC)=0。这意味着2ua(t*, t型*, tC)=-uC(t*, t型*, tC)和2 mintC∈TuA(t*, t型*, tC)=- 最大TC∈TuC(t*, t型*, tC)。根据A和B的对称性,我们得到了∈TuA(t*, t型*, tC)=arg mintC∈桶(t*, t型*, tC)=参数最大tC∈TuC(t*, t型*, tC)=t*C、 我们有Mintc∈TuA(t*, t型*, t型*C) =uA(t*, t型*, t型*C) =最大值∈TuA(tA,t*, t型*C) ,mintC∈桶(t*, t型*, t型*C) =uB(t*, t型*, t型*C) =最大TB∈桶(t*, tB,t*C) 。因此,mintC∈TmaxtA公司∈TuA(tA,t*, tC)≤ maxtA公司∈TuA(tA,t*, t型*C) =mintC∈TuA(t*, t型*, tC)≤ maxtA公司∈TmintC公司∈TuA(tA,t*, tC)。从引理2中我们得到了mintc∈TmaxtA公司∈TuA(tA,t*, tC)=最大值∈TuA(tA,t*, t型*C) =m intC∈TuA(t*, t型*, tC)(5)=最大值∈TmintC公司∈TuA(tA,t*, tC)=minsC∈SmaxtA公司∈TuA(tA,t*, tC(tA,t*, sC))=最大值∈TminsC公司∈TuA(tA,t*, tC(tA,t*, sC))。3、LetsC(t*) = fC(t*, t型*, t型*C) 。由于可以通过适当选择tC、minsC实现Sc的任何值∈SuA(t*, t型*, tC(t*, t型*, sC))=mintC∈TuA(t*, t型*, tC)=uA(t*, t型*, t型*C) 。(6) 因此,arg minsC∈SuA(t*, t型*, tC(t*, t型*, sC))=sC(t*).(5) 和(6)meanminsC∈SmaxtA公司∈TuA(tA,t*, tC(tA,t*, sC))=分钟∈SuA(t*, t型*, tC(t*, t型*, sC))。(7) 我们有Maxta∈TuA(tA,t*, tC(tA,t*, sC))≥ uA(t*, t型*, tC(t*, t型*, sC))。因此,arg minsC∈SmaxtA公司∈TuA(tA,t*, tC(tA,t*, sC))=arg minsC∈SuA(t*, t型*, tC(t*, t型*, sC))=sC(t*)因此,由(7)minsC∈SmaxtA公司∈TuA(tA,t*, tC(tA,t*, sC))=最大值∈TuA(tA,t*, tC(t*, t型*, sC(t*)))= minsC公司∈SuA(t*, t型*, tC(t*, t型*, sC))=uA(t*, t型*, tC(t*, t型*, sC(t*))).因此,arg maxtA∈TuA(tA,t*, tC(tA,t*, sC(t*))) = t型*. (8) 根据玩家A和B的对称性,arg maxtB∈桶(t*, tB,tC(t*, tB,sC(t*))) = t型*. (9) 另一方面,由于SCI的任何值都是通过适当选择tC、maxsC实现的∈SuC(t*, t型*, tC(t*, t型*, sC))=最大值∈TuC(t*, t型*, tC)=uC(t*, t型*, t型*C) 。因此,arg maxsC∈SuC(t*, t型*, tC(t*, t型*, sC))=sC(t*) = fC(t*, t型*, t型*C) 。