Изменения

Перейти к: навигация, поиск

1ripi1sumwc

502 байта убрано, 19:07, 4 сентября 2022
м
rollbackEdits.php mass rollback
<tex> 1 \mid p_i = 1\mid \sum C_i</tex>
Этот случай простейший. Ответом будет <tex>\sum\limits_{k = 1}^n(k)</tex>, так как мы <tex>n</tex> раз сложим время окончания выполнения одной работы. Воспользовавшись формулой суммы первых <tex>n</tex> членов арифметической прогрессии алгоритм <tex>S_n=\fracdfrac{a_1+a_n}2 \cdot n</tex> будет работает за <tex>O(1)</tex>, но если нужно вывести и само расписание, время работы будет <tex>O(n)</tex>.
===Вариант 2===
<tex> 1 \mid p_i = 1\mid \sum w_i C_i</tex>
Для верного выполнения просто выставим работы по порядку невозрастания весов, тогда ответом будет <tex> \sum\limits_{i = 1}^n(w_i nw_i C_i)</tex>, так как мы <tex>n</tex> раз сложим время окончания выполнения одной работы (которое в нашем случае <tex>C_{i-1}+1</tex>) домноженное на вес этой работы. Вес работ Данный алгоритм корректен по [[СортировкаЗадача_о_минимуме/максимуме_скалярного_произведения|отсортировалитеореме о минимуме/максимуме скалярного произведения]] за <tex>O(n \log n)</tex>, так как мы сопоставляем две последовательности, подходящие под условия теоремы. Алгоритм работает за <tex>O(n + n \log n)</tex>
===Вариант 3===Так как [[Сортировка|сортировка]] весов занимает <tex> 1 O(n \mid r_ilog n)</tex> время,p_i = 1 \mid то асимптотика времени работы алгорита равна <tex>O(n + n \sum f_ilog n)</tex>.
<tex>f_{i}</tex> {{---}} монотонная функция времени окончания работы <tex>C_{i}</tex> для работ <tex>i = 1, 2, \ldots , n</tex>.
 
 
Нам нужно распределить <tex>n</tex> работ в разное время. Если мы назначим время <tex>t</tex> для работы <tex>i</tex> то цена будет <tex>f_i(t + 1)</tex>. Функция <tex>f_i</tex> монотонно неубывающая, тогда работы в расписании надо располагать как можно раньше для получения верного решения. <tex>n</tex> временных интервалов <tex>t_i</tex> для <tex>n</tex> работ могут быть получены с помощью следующего алгоритма, где предполагается что работы отсортированы так:
 
<tex> r_1 \leqslant r_2 \leqslant \ldots \leqslant r_n</tex>
 
'''Псевдокод'''
 
<tex>t_1 \leftarrow r_1 </tex>
'''for''' <tex> i \leftarrow 2</tex> '''to''' <tex>n</tex> '''do'''
<tex> t_i \leftarrow </tex> '''max'''<tex>(r_i, \ t_{i-1} - 1)</tex>
 
Этот алгоритм работает за <tex>O(n \log n +n)</tex>
==Основная задача==
===Описание алгоритма===
<tex> \mathtt{Answer} \leftarrow \mathtt{Answer} + \mathtt{time} \cdot w_{j}</tex>
<tex> \mathtt{time++}</tex>
 
Множество <tex>S</tex> станет пустым не позже, чем через <tex>n + \max\limits_{i = 1 \ldots n} r_{i}</tex> шагов цикла. Определить максимум в множестве можно за время <tex>O(\log n)</tex>, используя , например, [[:Категория:Приоритетные_очереди|очередь с приоритетами]]. Значит общее время работы алгоритма <tex>O((n + \max\limits_{i = 1 \ldots n} r_{i})\log n)</tex>
====Реализация 2====
Эта реализация использует [[Двоичная_куча|двоичную кучу]] * <tex>\mathtt{HeapQ}</tex> {{---}} обычная [[Очередь | очередь]], в которой операции вставки и извлечения выполняются за работы изначально располагаются в отсортированном по <tex>O(\log n)r_i</tex>порядке, а операция поиска максимального элемента за <tex>O(1)</tex> <tex> S \leftarrow \{1 \ldots n\}</tex> * <tex> \mathtt{timeP} \leftarrow 0</tex> <tex> \mathtt{answer} \leftarrow 0</tex> '''for''' <tex>i \leftarrow 1 </tex> '''to''' <tex>n</tex> '''do''' Heap.insert(<tex>w_i</tex>) '''while''' <tex> S \neq \varnothing </tex> <tex> j \leftarrow null </tex> '''if''' <tex> i \in S</tex> '''and''' <tex> r_{i---} \leqslant \mathtt{time}</tex> '''and''' <tex>w_i \geqslant </tex> Heap[[Приоритетные очереди | приоритетная очередь]] по максимуму.Max() <tex> j \leftarrow i </tex> '''if''' <tex>j \neq null </tex> <tex> S \leftarrow S \setminus j</tex> Heap.extractMax() <tex> \mathtt{Answer} \leftarrow \mathtt{Answer} + \mathtt{time} \cdot w_{j}</tex> <tex> \mathtt{time++}</tex>
===Сложность алгоритмов=== <tex> \mathtt{time} \leftarrow 1</tex> <tex> \mathtt{answer} \leftarrow 0</tex>====Алгоритм 1==== '''while''' <tex>\mathtt{Q} \neq \varnothing </tex> '''and''' <tex>\mathtt{P} \neq \varnothing </tex>Множество '''if''' <tex>S\mathtt{Q} \neq \varnothing </tex> станет пустым не позже, чем через <tex>n + j \maxleftarrow \limits_mathtt{i = 1 Q.head()}</tex> '''if''' <tex>\mathtt{time} < r_j</tex> <tex>\ldots nmathtt{time} r_\leftarrow r_j</tex> '''while''' <tex> \mathtt{itime}\geqslant r_j</tex> шагов цикла <tex>\mathtt{P. Определить максимум в множестве можно за время insert}(w_j)</tex> <tex>O\mathtt{Q.pop()}</tex> '''if''' <tex>\mathtt{Q} = \log nvarnothing </tex> '''break''' '''else''' <tex> j \leftarrow \mathtt{Q.head()}</tex>, используя , например, [[:Категория:Приоритетные_очереди|очередь с приоритетами]]. Значит общее время работы алгоритма <tex>O((n \mathtt{Answer} \leftarrow \mathtt{Answer} + \maxmathtt{time} \limits_cdot \mathtt{i = 1 P.extractMax()} </tex> <tex> \ldots nmathtt{time} r_\texttt{i++})\log n)</tex>
====Алгоритм 2====Данная реализация имеет идею, аналогичную предыдущей: сначала обрабатывать работу с максимальным весом среди всех доступных.В начале алгоритма мы добавляем все элементы работы сортируются по <tex>w_ir_i</tex> в двоичную кучу тратя на это , из очереди <tex>O(n \log n)mathtt{Q}</tex> времени. Затем мы тратим достаётся каждая работа, причём ровно один раз, аналогично для очереди <tex>O(n \log n)mathtt{P}</tex> на получение ответа. Тогда суммарное время , поэтому итоговая асимптотика времени работы алгоритма составит составляет <tex>O(n \log n + n \log n)</tex> что есть <tex>O(n \log n)</tex> времени.
==См. также==
1632
правки

Навигация