correctness

0зной

1ответ

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

0зной

1ответ

Алгоритм Bellman-Ford доказательство правильности

Я пытаюсь узнать о алгоритме Беллмана-Форда, но у меня есть доказательство правильности. Я использовал Wikipedia, но я просто не могу понять доказательства. Я ничего не нашел на Youtube, это полезно.

-1зной

1ответ

Правильность алгоритма для нахождения максимума в массиве

Я хочу показать правильность «Алгоритм для нахождения максимального элемента в массиве» с использованием индукции и противоречия. ans=-infinity for (i=0; i<n; i++) ans= max(ans, A[i]) где A[0:

0зной

2ответ

Проверьте, является ли куча кучей min-max

Я написал a min-max heap, то есть кучу, где поиск минимума и максимума - постоянные операции. Теперь я хочу создать тесты для своего класса, поэтому я решил реализовать функцию, которая проверяет, явл

0зной

1ответ

Как вы можете использовать scalacheck для проверки правильности кода сгенерированного кода?

Привет, поэтому я совершенно новый для scalacheck. Так что я создаю обфускатор, и я хочу проверить, правильно ли запутанный код, который я генерирую. Моя функция меняет цикл while на коммутатор, так ч

-2зной

1ответ

Const объявление переменной

У меня есть функция, возвращающая константную ссылку на объект следующим образом: const &Foo getFoo() { return foo; } Если у меня есть еще одна функция следующим образом: void bar() { con