Điểm:2

Cách nhanh nhất để kiểm tra xem một vectơ đã cho có phải là ngắn nhất trong mạng không?

lá cờ us

Cho một mạng L và một vectơ $v_1$ tuyên bố là ngắn nhất, cách nhanh nhất để kiểm tra/xác minh xem $v_1$ thực sự là ngắn nhất trong mạng tinh thể?

Maarten Bodewes avatar
lá cờ in
Phần nào của điều này liên quan đến mật mã hơn là [math.se]? Bạn đã nhìn vào trang web đó?
lá cờ us
> Chà, đối với mật mã dựa trên mạng tinh thể, một lợi thế được khẳng định là bài toán khó chẳng hạn như bài toán vectơ ngắn nhất (SVP) là NP khó, thay vì chỉ là NP. NP khó được cho là còn khó hơn NP; Các bài toán phân tích thừa số nguyên và logarit rời rạc trong NP. Câu hỏi ban đầu của tôi là liệu SVP có thực sự ở trong NP hay không.
lá cờ cn
Các bài toán NP-hard ít nhất cũng khó như các bài toán NP-đầy đủ. Nói một cách chính xác, gọi chúng khó hơn các bài toán NP là không chính xác.
Điểm:4
lá cờ ng

Cách tiêu chuẩn mà SVP được chính thức hóa sao cho những gì bạn hỏi không thực sự liên quan đến việc hiển thị $SVP\in\mathsf{NP}$. Hình thức hóa điển hình của SVP là (đối với một định mức tùy ý $\lVert\cdot\rVert$ trên $\mathbb{R}^n$ --- lưu ý rằng độ cứng của SVP có thể phụ thuộc vào sự lựa chọn định mức cụ thể):

Để cho $n\in\mathbb{N}$, và $\gamma\in\mathbb{R}_{\geq 0}$. Một thể hiện của SVP là một cặp $(\Lambda, \gamma)$, ở đâu $\Lambda\subseteq\mathbb{R}^n$ là mạng tinh thể và $\gamma$ một hằng số. Chúng tôi nói rằng một phiên bản SVP $(\Lambda,\gamma)$ được chấp nhận nếu: $$\min_{v\in\Lambda\setminus\{0\}}\lVert v\rVert \leq\gamma$$ và từ chối khác.

Về mặt hình thành vấn đề này, NP chứng kiến ​​một trường hợp vấn đề $(\Lambda, \gamma)$ là một vectơ bất kỳ $v\in\Lambda\setminus\{0\}$ như vậy mà $\lVert v\rVert \leq \gamma$. Những điều này rõ ràng có thể được mô tả một cách hiệu quả và cũng phải rõ ràng về cách người ta có thể xác minh một cách hiệu quả liệu $(\Lambda,\gamma)$ là chấp nhận hay từ chối, đưa ra một nhân chứng như vậy.


Tất nhiên, câu hỏi của bạn có cách diễn giải rộng hơn --- liệu chúng ta có thể xác định một cách hiệu quả liệu một số vectơ ngắn nhất ứng cử viên $v$ là "thực sự" là vectơ ngắn nhất trong mạng? Tôi không phải là một chuyên gia, nhưng:

  1. Tôi không tin điều này được biết đến trong trường hợp xấu nhất (nhưng tôi không chắc)
  2. Trong trường hợp trung bình (là điều mà mọi người đều quan tâm), sự tập trung đủ mạnh dẫn đến $\lambda_1(\Lambda)$ được biết rằng nó không quan trọng.

Đặc biệt, đối với hầu hết các bản phân phối "cứng" trên mạng $\Lambda\được \mathcal{D}$, $\lambda_1(\Lambda)$ được tập trung cao độ xung quanh một số giá trị đã biết, vì vậy để "kiểm tra" xem một số vectơ ứng cử viên $v$ là ngắn nhất trong một số mạng ngẫu nhiên $\Lambda$, nó đủ để kiểm tra nếu $\lVert v\rVert$ gần với giá trị đã biết của $\mathbb{E}_{\Lambda\gets\mathcal{D}}[\lambda_1(\Lambda)]$. Xem ví dụ Mạng ngẫu nhiên: Lý thuyết và thực hành, bao gồm một số gợi ý cho công việc toán học có liên quan.

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.