事实上,wminand WMM对应于M!-αNAND M!对于STV和Coombs,我们分别得到了定理2和定理5。(平局的可能性:STV和Coombs)。设r∈STV,Coombs}和M=(θ,L(A),π)是严格正闭的单主体偏好模型。对于任意2≤k≤m且任意n∈n,gtiemaxπ(r,k,n)=0,如果W∈Wn,r(W)6=kexp(-θ(n)),否则如果Wπr,k,n=θn-wmin,否则gtieminπ(r,k,n)=0,如果W∈Wn,r(W)6=kexp(-θ(n))。Wπr,k,n='Aθn-Wmm另一个证明可在附录D.3中找到。与第4.2节一样,我们接着刻划了分布π的最大光滑似然性,其中πuni∈CH(π)。(最大平滑平局的可能性:STV和Coombs)。设r∈{STV,Coombs}和M=(θ,L(A),π)是一个严格正闭的单主体偏好模型,且πuni∈CH(π)。对于任意2≤k≤m和任意n∈n,Gtiemaxπ(r,k,n)=θ(n-k-1)如果(1)m≥4,或(2)m=3和k=2,或(3)m=k=3和(2n或3n)0否则(即m=k=3,2-n和3-n),命题6的证明可以在附录D.4中找到。D.2引理3的证明引理3。(将结构置于STV和梳子下)。设r∈{STV,Coombs}。对于anym≥3,存在N∈N,使得对于A上的任意PUT结构W,且任意N≥N,(p∈L(A)ns.t。PSr(P)=W)证明(λB(A,GCD(W(B))n)。本文证明了r=STV的引理,并对如何修改证明公式进行了评述。注意:注意到除去B后所有备选方案的总pluralityscore(即n)可被GCD(W(B)整除)后,STV的指示如下。更准确地说,对于任何n-pro-p,使得PSSTV(P)=W和任何B(A),设W(B)的层表示为:W(B)=t t··tt,对于每s≤t,设γst表示去掉B后ts中任何备选方案的复数得分。因此,我们得到了=xa∈(a\\B)scorreplu(pa\\B,a)=x1≤s≤tγsts,它可被GCD(W(B))整除。对于任一个B A和任一对备选方案A、B∈A\\B,在这一步中,我们定义M!-PB,A,ba为构造块。定义24(PB,A,B)。对于任一对二价备选方案a、b和任一个b((a\\{a,b}),PB,a,bis由L(a)得到如下。对于每一个B*,使得bb*(A\\{A,B}),o如果B*\\B是偶数,那么我们将[B*B A others]替换为[B*A B others],其中“others”代表其他备选项,而B*中的备选项和“others”是W.R.T.词典编纂顺序。o如果b*\\b是奇数,然后我们将[b全a b其他]替换为[b全b a其他]。表3显示了一个例子,其中只显示了L(A)与P{1},2,3之间的关系。b*{1}{1,4}{1,5}{1,4、5}L(A)1 3 2 4 5 1 4 2 3 5 1 3 4 1 4 5 3 2 2p{1},2,31 2 3 4 5 1 4 3 2 5 1 5 3 2 4 1 1 4 5 2 2 3表3:对于m=4,B={1},A=2,B=3,L(A)与P{1},2,3之间的关系。我们现在证明PB,A,B具有以下权利要求中描述的两个性质。figurrstproperty指出,对于任何b6=B,去掉Bis后,PB、a、ba\\bare中其余备选项的多个分数相等。第二个性质是,在B从PB、a、B中移除后,a的复数分数增加1,B的复数分数减少1,并且在B从PB、a、B中移除后,其他备选方案的复数分数相同。权利要求9(PB、a、B的性质)。设PB,a,B表示第24条中的结果,(i)对于任意B(a with B6=B和任意c∈a\\(B"a{a,B}),我们有coreplu(PB,a,BA\\B,c)=ScorePlu(PB,a,BA\\B,a)=ScorePlu(PB,a,BA\\B,B)(ii)对于任意c∈a\\(B"a{a,B}),我们有coreplu(PB,a,BA\\B,c)=ScorePlu(PB,a,BA\\B,c)=ScorePlu(PB,a,BA\\B,a)-1=ScorePlu(PB,a,BA\\B,B)+1证明。