Вопросы по теме 'correctness'
Правилен ли этот алгоритм минимального связующего дерева?
Задача минимального остовного дерева состоит в том, чтобы взять связный взвешенный граф и найти подмножество его ребер с наименьшим общим весом, сохраняя при этом связность графа (и, как следствие, ациклический граф).
Алгоритм, который я...
2038 просмотров
schedule
20.11.2022
Тестирование корректности приложения для моделирования процессов
Наша группа создает приложение для моделирования процессов, которое имитирует промышленный процесс. Конечным результатом этого процесса является набор чисел, представляющих химический состав и скорость потока.
Это приложение основано на очень...
373 просмотров
schedule
14.06.2023
Доказательство правильности алгоритма Беллмана-Форда
Я пытаюсь узнать об алгоритме Беллмана-Форда, но я застрял с доказательством правильности. Я использовал Википедию , но просто не могу понять доказательство . Я не нашел ничего полезного на Youtube. Надеюсь, кто-нибудь из вас сможет объяснить это...
661 просмотров
schedule
15.10.2022
Доказательство правильности программы
Функция рекурсивно находит и возвращает наименьший элемент массива, состоящего из целых элементов.
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 просмотров
schedule
21.05.2022
Как я могу доказать правильность этого алгоритма бинарного поиска, используя логику хора?
Это алгоритм:
// 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 просмотров
schedule
23.02.2023
Сортировка снизу вверх Сортировка слиянием доказательство правильности и время выполнения
Я борюсь с одним вопросом по моему заданию относительно сортировки слиянием снизу вверх. Сортировка слиянием снизу вверх делит массив на подмассивы из двух и сортирует его элементы, затем объединяет (объединяет) каждые два последовательных подмассива...
483 просмотров
schedule
08.09.2022
Доказательство правильности алгоритма по индукции
Недавно я начал читать книгу о структурах данных, и она начинается с введения в алгоритмы. В одном упражнении предлагается доказать алгоритм по индукции и инварианту цикла. Алгоритм в псевдокоде:
Algorithm DEC2BIN(int n, int[] b)
Input: int n,...
235 просмотров
schedule
03.08.2022