Puncte:2

Care este cel mai rapid mod de a verifica dacă un vector dat este cel mai scurt dintr-o rețea?

drapel us

Având în vedere o rețea L și un vector $v_1$ pretins a fi cel mai scurt, care este cel mai rapid mod de a verifica/verifica dacă $v_1$ este într-adevăr cel mai scurt din zăbrele?

Maarten Bodewes avatar
drapel in
Ce parte din aceasta este legată mai degrabă de criptografie decât de [math.se]? Te-ai uitat pe acel site?
drapel us
> Ei bine, pentru criptografia bazată pe zăbrele, un avantaj pretins este că problema dificilă, cum ar fi cea mai scurtă problemă vectorială (SVP) este NP hard, în loc să fie doar NP. NP hard se presupune a fi chiar mai greu decât NP; Problemele de factorizare întregi și de logaritm discret sunt în NP. Întrebarea mea inițială este dacă SVP poate fi de fapt în NP.
drapel cn
Problemele NP-hard sunt cel puțin la fel de grele ca și problemele NP-complete. Strict vorbind, numirea lor mai greu decât problemele NP nu este corectă.
Puncte:4
drapel ng

Modul standard în care este oficializat SVP este astfel încât ceea ce cereți să nu fie cu adevărat relevant pentru a afișa $SVP\in\mathsf{NP}$. Formalizarea tipică a SVP este (pentru o normă arbitrară $\lVert\cdot\rVert$ pe $\mathbb{R}^n$ --- rețineți că duritatea SVP poate depinde de alegerea particulară a normei):

Lăsa $n\în\mathbb{N}$, și $\gamma\in\mathbb{R}_{\geq 0}$. O instanță de SVP este o pereche $(\Lambda, \gamma)$, Unde $\Lambda\subseteq\mathbb{R}^n$ este o zăbrele și $\gamma$ o constantă. Spunem că o instanță SVP $(\Lambda,\gamma)$ acceptă dacă: $$\min_{v\in\Lambda\setminus\{0\}}\lVert v\rVert \leq\gamma$$ și respingând altfel.

În ceea ce privește această formulare a problemei, NP este martor la o instanță de problemă $(\Lambda, \gamma)$ este orice vector $v\in\Lambda\setminus\{0\}$ astfel încât $\lVert v\rVert \leq \gamma$. Acestea pot fi descrise în mod clar și ar trebui să fie clar și cum se poate verifica eficient dacă $(\Lambda,\gamma)$ acceptă sau respinge, dat un astfel de martor.


Desigur, întrebarea dvs. are o interpretare mai largă --- putem determina eficient dacă vreun vector candidat cel mai scurt $v$ este „de fapt” cel mai scurt vector din zăbrele? Nu sunt expert, dar:

  1. Nu cred că acest lucru este cunoscut în cel mai rău caz (dar nu sunt sigur)
  2. În cazul mediu (care este cel la care țin toată lumea), rezultă o concentrare suficient de puternică $\lambda_1(\Lambda)$ se stie ca nu conteaza.

În special, pentru majoritatea candidaților distribuiri „hard” peste grilaje $\Lambda\obține \mathcal{D}$, $\lambda_1(\Lambda)$ este foarte concentrat în jurul unei valori cunoscute, deci pentru a „verifica” dacă vreun vector candidat $v$ este cel mai scurt dintr-o rețea aleatorie $\Lambda$, este suficient să verificați dacă $\lVert v\rVert$ este aproape de valoarea cunoscută a $\mathbb{E}_{\Lambda\gets\mathcal{D}}[\lambda_1(\Lambda)]$. Vezi de exemplu Grile aleatorii: teorie și practică, care include câteva indicații către lucrări matematice relevante.

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.