Продажа блоков временных интервалов

Учитывая временных интервалов, которые хотят купить человек. Человек имеет значение для каждого временного интервала . Каждый человек может купить только один последовательный блок временных интервалов, который может быть пустым. $n$ $k$ $i$ $h(i,j)\geq 0$ $j$

Существует ли алгоритм полиномиального времени для расчета максимального значения, которого может достичь продавец?

Без ограничения последовательности мы можем дать каждому временному интервалу человека, который ценит его больше всего. Кроме того, если мы фиксируем порядок временных интервалов людей, то динамическое программирование может использоваться для определения максимального значения первых людей, покупающих первые временных интервалов. $k$ $0\le i \le k$ $0\le j \le n$

— user11550
источник

Для 3CNF с предложениями по переменным . Предположим, что и появляются в формуле не более раз соответственно. $\phi_1,\ldots,\phi_k$ $x_1,\ldots,x_n$ $x_i$ $\overline{x_i}$ $k_i$

Мы разрабатываем цветной DAG , вершины которого состоят из трех частей: $G$

"Назначение" вершины и , , . Цвет с "цветом" , и с . $v_i(j)$ $\bar{v}_i(j)$ $1\leq i\leq n$ $1\leq j\leq k_i$ $v_i(j)$ $x_i(j)$ $\bar{v}_i(j)$ $\overline{x_i}(j)$
Вершины «пункта» , , . Цвет с цветом (или ) , если (или , соотв.) Является $w_{i'}(j')$ $1\leq i'\leq k$ $j'=1,2,3$ $w_{i'}(j')$ $x_i(j)$ $\overline{x_i}(j)$ $\overline{x_i}$ $x_i$ $j'$ -ый литерал предложения , и это оператор, содержащий этот литерал. $\phi_{i'}$ $j$
«Вырезать» вершины . Раскрасьте их разными цветами, отличными от приведенных выше. $s=s_0,s_1,\ldots,s_n, s_{n+1},\ldots s_{n+k}=t$

Края включают в себя:

, , ; $s_{i-1}v_i(1)$ $v_i(j)v_i(j+1)$ $v_i(k_i)s_i$
, , ; $s_{i-1}\bar{v}_i(1)$ $\bar{v}_i(j)\bar{v}_i(j+1)$ $\bar{v}_i(k_i)s_i$
и , . $s_{n+i'-1}w_{i'}(j')$ $w_{i'}(j')s_{n+i'}$

Так , например, из 3CNF следующий график строится (Краевые направления слева направо). $(x_1 \vee x_2 \vee \overline{x_3})\wedge(x_1 \vee \overline{x_2}\vee x_3)$

Теперь нетрудно видеть, что исходная 3CNF выполнима тогда и только тогда, когда в путь - с разными цветами вершин . $s$ $t$ $G$

(Кстати, побочным продуктом является то, что существование - пути с разными цветами вершин в цветном DAG является . Я не нашел много литературы по этой проблеме в вычислительной перспективе. Если вы знаете, пожалуйста, комментарий!) $s$ $t$ $\textsf{NP-hard}$

Так, какова связь между и проблемой OP? Интуитивно понятно, что мы собираемся сделать, это спроектировать матрицу , чтобы каждый цвет отображался в строке (которая является человеком), а края - в последовательные столбцы (временные интервалы). Следовательно, максимальное планирование, которое в основном происходит слева направо в матрице, соответствует - пути. $G$ $h$ $s$ $t$

Наша матрица имеет столбцов с индексами, начинающимися с . В следующем constrcution два значения удовлетворяют . Отношения могут быть большими степенями и . Пусть $h$ $2n+1+\sum_i 2k_i+k$ $0$ $X$ $Y$ $1\ll X\ll Y$ $X/1, Y/X$ $k$ $n$ . $K_i=2i+2\sum_{j=1}^i k_i$

Для каждого , , пусть (если координата существует, то же самое ниже). $s_i$ $0\leq i\leq n$ $h(s_i,K_i)=h(s_i,K_i-k_i-1)=h(s_i,K_i+k_{i+1}+1)=Y$
Для каждого пусть ; Для каждого , пусть . $x_i(j)$ $h(x_i(j),K_{i-1}+j)=X$ $\overline{x_i}(j)$ $h(\overline{x_i}(j),K_{i-1}+k_i+1+j)=X$
Для каждого , и литерала в предложении , пусть . $\phi_{i'}$ $1\leq i'\leq k$ $x$ $\phi_{i'}$ $h(x,K_n+i')=1$
Все остальные записи равны 0.

Например, для приведенного выше примера графика соответствующая матрица

Теперь мы утверждаем: исходное 3CNF выполнимо тогда и только тогда, когда максимальное значение равно . $(2n+1)Y+\sum_i k_iX+k$

Рассмотрим планирование достижения максимального значения. Поскольку в есть ровно столбцов, содержащих , все они должны быть покрыты. Для столбца который имеет два варианта выбора , предположим, что планирование назначает его для . Поскольку столбец должен быть присвоен , по последовательности мы должны потерять столбцы до $(2n+1)$ $h$ $Y$ $K_i+k_i+1$ $Y$ $s_i$ $K_i$ $s_i$ $K_i+1$ . То же самое происходит, если планирование назначает столбец для . $K_i+k_i$ $K_i+k_i+1$ $s_{i+1}$

Поэтому, чтобы иметь значение , мы должны выбрать все остальные доступные в матрице, что соответствует назначению на переменные. Таким образом, остальное значение достижимо тогда и только тогда, когда присваивание удовлетворяет каждому условию. $\sum_i k_iX$ $X$ $k$

В заключение, решение о максимальной стоимости юридического планирования в . Может быть, поэтому все наши предыдущие попытки найти алгоритм потерпели неудачу. $\textsf{NP-hard}$

— Виллард Жан
источник

Но, в примере матрицы, если я выбрать

я все еще может попасть в цель. Что я делаю не так? Кроме того ,

должен быть один столбец вправо и

должна быть одна колонка слева

\bar{x_{1}}

$\overline{x_1}$

\bar{x_{2}}

$\overline{x_2}$

x_{3}

${x_3}$

X

$X$

\bar{x_{1}} (1)

$\overline{x_1}(1)$

X

$X$

\bar{x_{1}} (2)

$\overline{x_1}(2)$

— rotia

@rotia Да, и это означает на левой стороне вы должны выбрать

, чтобы иметь

. Так что это соответствует удовлетворяющему назначению

x_{1}, x_{2}, \bar{x_{3}}

$x_1,x_2,\overline{x_3}$

4 X

$4X$

x_{1} = x_{2} = 1, x_{3} = 0

$x_1=x_2=1,x_3=0$

— Уиллард Жан

Можете ли вы уточнить , что «Пусть

больше один в два числа появлений литералов

.» средства? Каков номер появления литерала? Это то, где оно появляется в пунктах / формуле, или сколько раз оно встречается в формуле? Является ли

буквальным или номер?

k_{i}

$k_i$

x_{i}

$x_i$

\bar{x_{i}}

$\overline{x_i}$

k_{i}

$k_i$

— DW

@DW

это число. Мое выражение было действительно совсем не ясно; Я редактировал это.

k_{i}

$k_i$

— Уиллард Жан

@WillardZhan Да. Но если я выберу эти переменные, я могу получить значение, которое больше, чем в формуле. Например, я устанавливаю

, в соответствии с формулой я должен получить только 450 баллов (при условии, что

- это количество предложений). Но, выбирая

я могу получить до 452 пунктов, выбирая четыре из них справа

Y = 60

$Y = 60$

X = 7

$X = 7$

k

$k$

x_{1}, x_{2}, \bar{x_{3}}

$x_1,x_2,\overline{x_3}$

— rotia

Это решение имеет проблемы и будет удалено в ближайшее время; см. комментарий templatetypedef.

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

Создайте исходную вершину и целевую вершину . Мы отправим единиц потока от до . $s$ $t$ $k$ $s$ $t$
Создайте вершин чтобы представить моменты времени между слотами, и направленный край для каждого со стоимостью 0. $n+1$ $v_0, \dots, v_n$ $v_jv_{j+1}$ $0 \le j < n$
- $s_i$ $t_i$
- $0 \le j < n$ $s_i$ $v_j$ $\Sigma_{k=1}^j{h(i,k)}$ $j=0$
- $1 \le j \le n$ $v_j$ $t_i$ $-\Sigma_{k=1}^j{h(i,k)}$
- $ss_i$
- $t_it$

$i$ $s_i$ $t_i$ $s_i$ $t_i$ $i$ $s_iv_j$ $v_kt_i$ $k \ge j$ $v$ $k = j$ $i$ $i$ $j+1, \dots, k$

$s$ $j+1, \dots, k$ $v$

$h(i, j)$

— j_random_hacker
источник

i

$i$

i

$i$

s s_{i}

$ss_i$

s s_{1}

$ss_1$

t_{i} t

$t_it$

t_{k} t

$t_kt$

t_{i} s_{i + 1}

$t_is_{i+1}$

- M

$-M$

1 \leq i < k

$1 \le i < k$

- M

$-M$

k - 1

$k-1$

k

$k$

i^{'} > i

$i' > i$

j^{'} < j

$j' < j$

j

$j$

i

$i$

s_{i} v_{j}

$s_iv_j$

s_{i}

$s_i$

i

$i$