proof-of-correctness

12зной

3ответ

Доказательство правильности: Алгоритм для диаметра дерева в теории графов

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

2зной

1ответ

Правильность алгоритма Беллмана-Форда, можем ли мы по-прежнему делать лучше?

Я узнал, что Алгоритм Беллмана-Форда имеет время работы O (| E | * | V |), в котором E - число ребер, а V - количество вершин. Предположим, что на графике нет отрицательных взвешенных циклов. Мой перв

0зной

1ответ

Как доказать правильность этого алгоритма?

Я решаю проблему с codeforces. Наша задача - найти минимальную стоимость для того, чтобы заданная целая последовательность была неубывающей последовательностью. Мы можем увеличить/уменьшить любое числ

2зной

1ответ

Как я могу доказать правильность следующего алгоритма?

Рассмотрим следующий алгоритм min, который принимает списки x, y в качестве параметров и возвращает z-й наименьший элемент в объединении x и y. Предварительные условия: X и Y сортируют списки ints в п

4зной

1ответ

Есть ли способ доказать, что программа не имеет ошибки?

Я думал о том, что мы можем доказать, что у программы есть ошибки. Мы можем проверить его, чтобы оценить, что он более или менее устойчив к ошибкам. Но есть ли способ (даже теоретически) доказать, что

9зной

6ответ

Написание доказательства для алгоритма

Привет, ребята, я пытаюсь сравнить 2 алгоритма и подумал, что могу попробовать и написать для них доказательство !!! (Моя математика сосет так, следовательно, вопрос) Обычно в нашем уроке математики в