ๆญฃๅœจๅŠ ่ฝฝๅ›พ็‰‡...
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[๐ด] โ‰ค ๐œ‡๐ด ๐œ‡ฮ“+(๐ด) โˆ€๐‘† โŠ† ๐’œ, ๐ต โˆˆ ๐‘†: ๐ต โˆˆ ๐ผ โŠ† ๐‘† โˆช ๐ต ๐ผ โŠ† ๐‘† ๐ผ๐‘›๐‘‘๐‘’๐‘. ๐ผ โŠ† ๐‘† โˆช ๐ต
<<ๅ‘ไธŠ็ฟป้กตๅ‘ไธ‹็ฟป้กต>>
©2008-็Žฐๅœจ cucdc.com ้ซ˜็ญ‰ๆ•™่‚ฒ่ต„่ฎฏ็ฝ‘ ็‰ˆๆƒๆ‰€ๆœ‰