Рейтинг:1

Об определении разрыва СВП

флаг us

Я запутался в определении GAP SVP. В задаче указано, что для фиксированного $\gamma\geq 1$, учитывая основу $В$ решетки и $д>0$, GAPSVP просит определить, $\лямбда\leqd$ или же $\лямбда > \гамма d$. Мое замешательство в том, что если $d<\лямбда\leq\гамма d$? Каким тогда был бы ответ GAP SVP? Я читал из Micciancio's Fall 2021 Примечания CSE206A что в этом случае приемлем любой ответ, но что это вообще значит?

Рейтинг:2
флаг ng

Заметки Миччанчио верны и являются стандартным способом объяснения вещей, так что давайте уточним некоторые из них.

Во-первых, стоит упомянуть, что это не имеет ничего общего с (Gap)SVP конкретно, а все, что связано с тем, что называется обещать проблемы в более общем смысле.

Проблема обещаний — это некоторое ослабление стандартной проблемы принятия решений. Они призваны ослабить представление о правильность для проблемы. Стандартное понятие корректности можно резюмировать: «Алгоритм корректен на всех входных данных». Есть два естественных расслабления этого

  1. Рандомизированные классы (например, BPP, ZPP, (co)RP).В любом конкретном случае алгоритм теперь должен быть правильным только «в среднем», когда вы усредняете внутренний выбор случайных монет.

  2. Обещайте проблемы, когда вы согласны с тем, что алгоритм делает ошибки в «сложных случаях», но он всегда должен быть правильным в «легких случаях».

В частности, на сложных экземплярах алгоритм может быть совершенно неправильно, а нам все равно. Пока это правильно в простых случаях, мы говорим, что это правильно в целом.

Чтобы вернуться к GapSVP, трудные случаи — это когда $d\leq\лямбда\leq\gamma d$. Поэтому мы говорим, что алгоритм решает GapSVP, если

  1. Учитывая экземпляр $(L, д)$ (решетка и граница расстояния), то есть легкий, смысл $\lambda_1(L)\leqd$ или же $\lambda_1(L)\geq\gamma d$, алгоритм возвращает правильный ответ

  2. Учитывая жесткий экземпляр, алгоритм возвращает все, что хочет. Нам все равно.

В частности, с учетом тем же hard дважды, алгоритм может вернуть оба ответа (он не обязательно должен быть внутренне непротиворечивым). Нас не волнует --- нас интересует только то, как работает алгоритм на "простых" экземплярах, измеряемых $\гамма$.

Chris Peikert avatar
флаг in
Это очень хороший ответ, но я бы не стал использовать термины «сложные/простые экземпляры» для концепции, которую вы обсуждаете, потому что они обычно означают совершенно другое.Мы чаще говорим, что экземпляры «удовлетворяют обещанию», в противном случае они являются «отсутствующими экземплярами».

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.