LLL condition::3:Aโ(0๏ผ+โ) SโA:as±Pr[n4esA, HAโA:Pr[A]โค MA sๅ T+(A) โIa Indep.IcSAโl Recursive bounds: SโA,BeS: 4s\(B)4s+Pr(B)qs\r+(B) VSโA,BtS: USU(B)2 us +Pr(B)usur+(B) 4ua=โ+โฮ a IโS Indep.IsSAโl BEIndep.IESUB AEI BโIโSU{B} Indep.IโSU{B} โ๐ โ ๐: ๐เทฌ๐ โ Pr[โ๐ดโ๐๐ดาง], ๐๐ โ เท ๐ผ๐๐๐๐. ๐ผโ๐ เท ๐ดโ๐ผ ๐๐ด Recursive bounds: ๐เทฌ๐โ ๐ต โค ๐เทฌ๐ + Pr ๐ต ๐เทฌ๐โฮ + ๐ต ๐๐โช{๐ต} โฅ ๐๐ + Pr(๐ต) ๐๐โชฮ + โ๐ โ ๐ (๐ต) , ๐ต โ ๐: ๐๐โช{๐ต} = เท ๐ผ๐๐๐๐. ๐ผโ๐ เท ๐ดโ๐ผ ๐๐ด + เท ๐ตโ๐ผ๐๐๐๐. ๐ผโ๐โช๐ต เท ๐ดโ๐ผ ๐๐ด LLL condition: โ๐: ๐ โ (0, +โ) โ๐ด โ ๐: Pr[๐ด] โค ๐๐ด ๐ฮ+(๐ด) โ๐ โ ๐, ๐ต โ ๐: ๐ต โ ๐ผ โ ๐ โช ๐ต ๐ผ โ ๐ ๐ผ๐๐๐๐. ๐ผ โ ๐ โช ๐ต