loop-invariant

0зной

2ответ

Что такое инвариант цикла для этого кода?

Массив содержит целые числа, которые сначала увеличивают значение, а затем уменьшают значение. Неизвестно, в какой момент числа начинают уменьшаться. Напишите эффективный код для копирования чисел в п

c nomenclature loop-invariant 2015-05-28

---

0зной

1ответ

Вставка Сортировка Алгоритм В месте и петли вариант

Часть 1 Я знаю, что QuickSort можно использовать «на месте», но может кто-нибудь объяснить мне, как вставки рода алгоритм делает это с помощью «на месте». Из моего понимания: вставки Сортировка начина

quicksort insertion-sort loop-invariant 2015-04-20

---

2зной

1ответ

Loop инвариант и использование для решения алгоритма?

Так что, если у меня есть следующий код: public int sumSquares(int n){ int sum = 0; for(int i = 1; i <=n; i++){ sum += i*i; } return sum; } теперь я должен найти инвариант

algorithm loop-invariant 2015-09-17

---

3зной

1ответ

Понимание инвариантов цикла в Java

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

java loop-invariant 2015-06-11

---

-2зной

2ответ

Циклический инвариант без возвращаемого значения, возможно ли это? И правильность программы

Итак, я пишу эту программу, которая хранит пользовательский ввод в связанном списке и отменяет его, но я немного потерян. Можно ли создать инварианты цикла для типов циклов, где он не возвращает никак

c for-loop while-loop correctness loop-invariant 2015-01-21

---

2зной

1ответ

Циклический инвариант для повторных вызовов readLine()

У меня есть цикл while (показано ниже), который непрерывно читает файл, пока не будет достигнута EOF. Я должен написать инвариант цикла для любого нетривиального цикла. Это тривиальная петля? Если нет

java loop-invariant 2015-01-22

---

1зной

4ответ

Двоичный поиск для квадратного корня [домашняя работа]

Для назначения я должен создать метод, используя двоичный поиск, чтобы найти квадратный корень из целого числа, и если он не является квадратным числом, он должен возвращать целое число s такое, что s

java binary-search invariants loop-invariant 2014-12-07

---

0зной

2ответ

Loop инвариантного (Java)

У меня есть следующий код, чтобы полностью изменить цифры в целом: public class integerReversal { public static int reverseNum(int number){ int reversed = 0; int remainder; //{I

java loops loop-invariant 2015-01-27

---