Расслабление

10

У меня есть вопрос о целесообразности, который можно сформулировать следующим образом. Мне дана точка в d- мерном векторном пространстве, и я хочу найти ближайшую точку q к p, которая удовлетворяет набору « 0 ограничений» видаpdqp0

Для данного множества не более одного из { q j , j S } может быть ненулевым.S[1d]{qj,jS}

Понятие близости меняется, но сейчас достаточно , чтобы принять удобное расстояние , как .22

Есть ли известные ослабления линейных ограничений, которые являются «хорошими» в смысле предоставления «достаточно близкого» многогранника для аппроксимации исходных ограничений, где я также довольно гибок в определении «достаточно близкого»

Суреш Венкат
источник
Разрешено ли ограничениям нелинейно зависеть от ? p
Уоррен Шуди
qRdq
pδδpq
@warren: ограничения линейно зависят от p, но само p не является константой (скорее это вход в задачу). Ограничения имеют вышеуказанный тип или являются линейными ограничениями на q_i.
Суреш Венкат

Ответы:

7

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

  1. Без ограничения общности можно предположить, что | S | = 2 в каждом ограничении, потому что ограничение с | S |> 2 эквивалентно множеству ограничений , где S пробегает все пары элементов исходного множества S . Поэтому ограничения ℓ 0 можно представить в виде графа G с d вершинами. Использование графа G , ограничения могут быть пересчитаны следующим образом : множество вершин , соответствующие координатам я с д я = 0 должна быть вершиной крышкой G .
  2. qi={pi,qi0,0,qi=0,
    , В частности, если расстояние является суммой покоординатного расстояния (как и в случае л 2 2 расстояния), проблема заключается в точности такой же , как минимальный вес крышка вершины.

Что касается LP-релаксации задачи покрытия вершин, быстрый поиск приводит, например, к лекционным заметкам (лекция 9) Уриэля Фейджа .

Цуёси Ито
источник
Довольно интересно. Мне нравится наблюдение о | S | не нужно быть больше 2
Суреш Венкат
Есть одна вещь, которая не совсем работает. Переменные в общем случае могут быть произвольными (не между нулем и единицей). Таким образом, вы не можете кодировать ограничения LP для «переменных, установленных на ноль, должны образовывать покрытие вершины». Это становится проблемой (которую я должен был упомянуть), потому что существуют другие (линейные) ограничения на координаты, которые также должны быть включены.
Суреш Венкат
@Suresh: Если вы действительно думаете, что упомянули об этом, вы всегда можете изменить вопрос.
Цуёси Ито
1
@Suresh: я хотел сказать «Если ты действительно думаешь, что должен был упомянуть об этом…»
Цуёси Ито