Вопросы с тегом «greedy-algorithms»

29
Как доказать, что жадный алгоритм верен

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

24
Когда жадный алгоритм может решить проблему смены монет?

Учитывая набор монет с различными конфессиями и значение v, вы хотите найти наименьшее количество монет, необходимое для представления значения v.с 1 , . , , , с пс1,,,,,сNc1, ... , cn Например, для набора монет 1,5,10,20 это дает 2 монеты на сумму 6 и 6 монет на сумму 19. Мой главный вопрос: когда...

23
Насколько фундаментальны матроиды и жадные алгоритмы в разработке алгоритмов?

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

20
Как использовать жадный алгоритм, чтобы найти неубывающую последовательность, ближайшую к данной?

a1,…,ana1,…,ana_1, \ldots, a_n000lllaiaia_ibibib_i000lllbibib_ib i O ( n 4 √max(|a1−b1|,…,|an−bn|)max(|a1−b1|,…,|an−bn|)\max(|a_1-b_1|, \ldots, |a_n-b_n|)bibib_iO(nl√4)O(nl4)O(n\sqrt[4]{l}) Я, честно говоря, понятия не имею, как вообще начать решать этот вопрос. Мне кажется, это вопрос...

14
Доказательство корректности жадного алгоритма для минимального покрытия вершин дерева

Существует жадный алгоритм поиска минимального покрытия вершин дерева, который использует обход DFS. Для каждого листа дерева выберите его родителя (т.е. его родитель находится в минимальном покрытии вершин). Для каждого внутреннего узла: если ни один из его дочерних элементов не выбран, выберите...

11
Предлагая уточнения типов

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then {...

9
Выбор функции в виде дерева решений фиксированной длины для минимизации средней производительности поиска

У меня сложный запрос используемый для поиска в наборе данных чтобы найти . Каждый запрос занимает в среднем время поэтому общее время в линейном поиске равно, Я могу разбить запрос на более простые подзапросы q_i и найти и где . Каждый подзапрос вычисляется намного быстрее, поэтому в целом он...