(14)我们还注意到,对于任意(i,t)∈[N]×[t]和任意(β,ρ)∈Pλ,ψ(G,q)it(β,ρ)≤(yit-x>itβ)-pmin{t-1,q}j=1ρj·(yi,t-j-x>i,t-jβ)(defn)。对于ψ(G,q)it)≤(1+pmin{t-1,q}j=1ρj)×(yit-x>itβ)+pmin{t-1,q}j=1(yi,t-j-x>i,t-jβ)(Cauchy-Schwarz)≤2(yit-x>itβ)+pmin{t-1,q}j=1(yi,t-j-x>i,t-jβ)(kρk≤1)因此,我们得到了·ψ(G,q)it(β,ρ)≤(yit-x>itβ)+min{t-1,q}xj=1(yi,t-j-x>i,t-jβ)。(15)这意味着特例表明,ψ(G,q,k)i(ζ)=minl∈[k]pt∈[T]ψ(G,q)it(β(l),ρ(l))(defn)。2.4)≤minl∈[k]pt∈[T]2×(yit-x>itβ)+pmin{t-1,q}j=1(yi,t-j-x>i,t-jβ)(ineq。(15))≤2(q+1)·minl∈[k]pt∈[T]'A(O)it(β(l))=2(q+1)·minl∈[k]'A(O)i(β(l)).因此,我们得到了对于任意i∈[N]和ζ的pkλ,ζ(G,q,k)i(ζ)ζ(G,q,k)(ζ)≤2(q+1)·minl∈[k]ψ(O)i(β(l))λ·pi∈[N]minl∈[k]ψ(O)i(β(l)))(ineqs)。(14)和(16))≤2(q+1)λ·s(O)(i)(引理5.7)=s(i),(通过假设)证明了不等式(13)。此外,我们得到了G=Xi∈[N]s(i)≤2(q+1)λ·G(O)=O(qmλ),其中最后一个不等式来自引理5.7。我们完成了证明。引理4.5和4.6。引理5.9(GLSEk的伪维数)(Z(G,q,k),u,pkλ,ρ(G,q,k))上的权函数u:[N]→r≥0在最大kq(q+d)d处。证明:un→r≥0i∈ngipkλ×r。)≥0→{0,1}ζ=(β(1),..,β(k),ρ(1),...,ρ(k))∈Pkλ和r∈r≥0,gi(ζ,r):=Ihu(i)·ψ(G,q,k)i(ζ)≥ri=iàl∈[k],u(i)·xt∈[T]ψ(G,q)it(β(l),ρ(l))≥r。我们考虑查询空间(Z(G,q,k),u,pkλ×r≥0,G)。通过对pkλ的认识,得到了pkλ×r≥0mkqdβ,ρ∈Pλψ(G,q)Itβ,ρ(qd)项ρbcρbcβbcβbc,c,c∈[q],c,c∈[d]和b,b,b,b∈{0,1}组成的多项式的维数。gilokqdokqdkmlz(G,q,k),u,pkλ×r≥0,go kq(q+d)d.然后通过引理4.6完成了证明。结合上述引理和定理4.2,我们准备证明定理5.5.证明:Gz(G,q,k),pkλ,ψ(G,q,k)oqmλdimo k(q+d)qd-每个查询空间(Z(G,q,k),u,pkλ,ψ(G,q,k))上权函数SU:[N]→r≥0。将定理4.2中的GandDim的值插入,证明了核重置的大小为N·SVDT,dONsLemma 5.8,构造的O(N)时间为。这就完成了证明。5.3定理5.4的证明:定理5.10(GLSEkZ(G,q,k),u,pkλ,ψ(G,q,k)N,T=1,d=k=2,λ∈(0,1),定理5.10(GLSEk的大小和灵敏度下界)lett=1,d=k=2,且存在一个实例X∈rn×T×dand Y∈rn×T,使得总灵敏度xi∈[N]supζ,pkλψ(G,q,k)i(ζ),φ(G,q,k)(ζ)=Ω(N),且查询空间(Z(G,q,k),u,pkλ,ψ(G,q,k))的任何0.5-核重集都应具有大小Ω(N),证明:i∈Rn×T×d。NXI1I,IYI1:对于任意i∈[N],supζ∈Pkλψ(G,q,k)i(ζ)ψ(G,q,k)(ζ)≥.(17)i∈ni∈nζβ(1),β(2),ρ(1),ρ(2)∈PKλβ(1)i,β(2)=(0,4i)和ρ(1)=ρ(2)=0。如果j≤i,则我们有ψ(G,q,k)j(ζ)=minl∈[2](yi1-x>i1β(l))=minj-i,i-j=i-j。类似地,如果j>i,我们有ψ(G,q,k)j(ζ)=minj-i,i-j=j-i。由上述方程,我们有ψ(G,q,k)(ζ)=ixj=1i-j+nxj=i+1j-i<。(18)结合ψ(G,q,k)i(ζ)=1的事实,我们证明了不等式(17)。对于核重集大小,假定[N]和一个权函数w:s→r≥0是查询空间(Z(G,q,k),u,pkλ,ψ(G,q,k))的0.5-核重集。我们只需要证明它=[N]。假设存在一个I?∈Swithw(I?)>2。设ζ=(β(1),β(2),ρ(1),ρ(2)),其中β(1)=(i?,0),β(2)=(0,i?)且ρ(1)=ρ(2)=0,我们认为XI∈SW(i)·ψ(G,q,k)i(ζ)>w(i?)·ψ(G,q,k)i?(ζ)>2(w(i?)>2和defns。=ζ>(1+)·>(1+)·ψ(G,q,k)(ζ),(ineq。(18))Si∈SWI≤Confulture假定ati?/∈S。再设ζ=(β(1),β(2),ρ(1),ρ(2)),其中β(1)=(i?,0),β(2)=(0,i?)和ρ(1)=ρ(2)=0,我们有xi∈SW(i)·ψ(G,q,k)i(ζ)≤2ψ(G,q,k)(ζ)-⑵(G,q,k)i?(ζ)(w(i)≤2)≤2(-1)(Ineq。(18))≤(1-)·1≤(1-)·ψ(G,q,k)(ζ),与S的假设相矛盾,完成了证明。6个经验结果合成数据集和一个真实数据集。实验采用PyCharm软件,在一个4核8GB的桌面CPU上进行。数据集为syntheticntkdq,λ=0.2。