Вопросы по теме 'correctness'

Правилен ли этот алгоритм минимального связующего дерева?
Задача минимального остовного дерева состоит в том, чтобы взять связный взвешенный граф и найти подмножество его ребер с наименьшим общим весом, сохраняя при этом связность графа (и, как следствие, ациклический граф). Алгоритм, который я...
2038 просмотров
schedule 20.11.2022

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

Доказательство правильности алгоритма Беллмана-Форда
Я пытаюсь узнать об алгоритме Беллмана-Форда, но я застрял с доказательством правильности. Я использовал Википедию , но просто не могу понять доказательство . Я не нашел ничего полезного на Youtube. Надеюсь, кто-нибудь из вас сможет объяснить это...
661 просмотров

Доказательство правильности программы
Функция рекурсивно находит и возвращает наименьший элемент массива, состоящего из целых элементов. Min(A, b, e) if (b=e) return A[b] m = (b+e)/2 // floor is taken x = Min(A, b, m) y = Min(A, m +1, e) If(x < y) return x else...
343 просмотров

Как я могу доказать правильность этого алгоритма бинарного поиска, используя логику хора?
Это алгоритм: // Precondition: n > 0 l = -1; r = n; while (l+1 != r) { m = (l+r)/2; // I && m == (l+r)/2 if (a[m] <= x) { l = m; } else { r = m; } } // Postcondition: -1 <= l < n Я...
1067 просмотров

Сортировка снизу вверх Сортировка слиянием доказательство правильности и время выполнения
Я борюсь с одним вопросом по моему заданию относительно сортировки слиянием снизу вверх. Сортировка слиянием снизу вверх делит массив на подмассивы из двух и сортирует его элементы, затем объединяет (объединяет) каждые два последовательных подмассива...
483 просмотров
schedule 08.09.2022

Доказательство правильности алгоритма по индукции
Недавно я начал читать книгу о структурах данных, и она начинается с введения в алгоритмы. В одном упражнении предлагается доказать алгоритм по индукции и инварианту цикла. Алгоритм в псевдокоде: Algorithm DEC2BIN(int n, int[] b) Input: int n,...
235 просмотров
schedule 03.08.2022