Ideea pe care o descrieți (aproape) funcționează, dar după cum ați observat, „calitatea” trapei rezultate este ceva mai proastă decât ceea ce se pare că avem nevoie pentru a genera preimagini de normă. $\leq \beta$. Cu toate acestea, calitatea este suficient de bun pentru a genera preimagini de normă, să zicem, $\leq \beta \sqrt{m}$. Acest lucru poate fi suficient pentru aplicații dacă parametrii sunt configurați corect.
De exemplu, această idee este elaborată în mod formal și folosită pentru „delegarea” trapelor în hârtia CHKPâ10 „arbori bonsai” și, de asemenea, în [MP] pentru stilul său de trapă.
Nu se știe dacă ceea ce ați întrebat se poate face fără nicio pierdere de calitate, dar dacă da, ar fi foarte surprinzător; Cred că majoritatea experților nu s-ar aștepta să fie posibil.
Pentru ca reducerea rețelei să funcționeze în scopul declarat, ar dori să se reducă vectorii de normă dați $< \beta$ în vectori de normă $< \beta/ \sqrt{m}$ sau așa. Aceasta pare a fi o problemă foarte grea. Într-adevăr, chiar și doar înjumătăţirea lungimile unor vectori dați pare grea, din motivul intuitiv că am putea apoi să înjumătățim din nou și din nou, până când procedura a încetat să funcționeze, oferindu-ne un vector de rețea aproape cel mai scurt. De fapt, așa funcționează unii algoritmi (în timp exponențial) cu cel mai scurt vector, prin înjumătățire iterativă.