Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Форум программистов и сисадминов Киберфорум > Форум программистов > C/C++ > C++ > С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.68/25: Рейтинг темы: голосов - 25, средняя оценка - 4.68
 Аватар для Maxim09
1 / 1 / 4
Регистрация: 23.08.2015
Сообщений: 458

Инварианты циклов

03.07.2017, 17:02. Показов 4827. Ответов 11
Метки нет (Все метки)
Студворк — интернет-сервис помощи студентам
Всем привет, поясните мне что такое "инварианты" в общем понимании, и они же в циклах!
Т.е. что это за зверь и с чем его едят? Как понять логику инвариантов что они делают?
Если можно то на примере каком нибудь! (например алгоритм линейного поиска)
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
 03.07.2017, 17:02
Ответы с готовыми решениями:

Инварианты и ограничители , кто понимает?
#include <iostream> #define _CRT_SECURE_NO_WARNINGS using namespace std; int main() { setlocale(LC_ALL, "rus"); int...

напишите 2 программы (с использованием циклов с параметром и циклов с условием) для вычисления и вывода на экран в виде

Звуковые инварианты
Доброго времени суток, уважаемые форумчане! Ковырялся я недавно со звуковыми дорожками и с тех пор не выходит у меня из головы...

11
Заблокирован
03.07.2017, 17:21
Цитата Сообщение от Maxim09 Посмотреть сообщение
что такое "инварианты" в общем понимании
https://ru.wikipedia.org/wiki/Инвариант
Цитата Сообщение от Maxim09 Посмотреть сообщение
они же в циклах
https://ru.wikipedia.org/wiki/Инвариант_цикла
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
03.07.2017, 17:39
инвариант - характеристика компонента,
которая определяет его способность не зависеть от корректности вызывающей стороны.
1
 Аватар для Maxim09
1 / 1 / 4
Регистрация: 23.08.2015
Сообщений: 458
03.07.2017, 17:43  [ТС]
А можно ли какой нибудь пример хоть простенький чтоб понять наяву а не примерно.
0
 Аватар для Lovc
80 / 77 / 8
Регистрация: 19.06.2015
Сообщений: 126
03.07.2017, 18:19
Лучший ответ Сообщение было отмечено Maxim09 как решение

Решение

Maxim09, тут пример и объяснение.
https://stackoverflow.com/ques... -invariant
1
 Аватар для Maxim09
1 / 1 / 4
Регистрация: 23.08.2015
Сообщений: 458
03.07.2017, 18:52  [ТС]
Например такой код:
C++
1
2
3
4
5
6
7

int m = arr[0]; // пример предполагает, что длина массива > 0
int i = 1;
// Инвариант цикла: m = max(arr[0:i-1])
while (i < arr.length) {
    m = Math.max(m, arr[i]);
    i = i + 1;
}
Тут инвариант утверждает что в массиве есть искомая цифра так? При условии что массив неубывающий!
А если к примеру нам не известно если ли в массиве искомая цифра? Как тогда организовать инвариант?
0
Заблокирован
03.07.2017, 19:29
Цитата Сообщение от Maxim09 Посмотреть сообщение
Тут инвариант утверждает что в массиве есть искомая цифра так?
Не так.
Цитата Сообщение от Maxim09 Посмотреть сообщение
При условии что массив неубывающий!
Такое условие здесь не нужно и его нет.

Добавлено через 3 минуты
Цитата Сообщение от hoggy Посмотреть сообщение
инвариант - характеристика компонента,
которая определяет его способность не зависеть от корректности вызывающей стороны.
Сам-то понял, что написал?
0
 Аватар для Maxim09
1 / 1 / 4
Регистрация: 23.08.2015
Сообщений: 458
03.07.2017, 19:34  [ТС]
Цитата Сообщение от daun-autist Посмотреть сообщение
Не так.
В таком случае инвариант подтверждает что максимальное число находится в массиве так? Но кое-что мне не понятно а именно это: m = max(arr[0:i-1]) -> что означает arr[0:i-1] ?
0
Заблокирован
03.07.2017, 19:38
Лучший ответ Сообщение было отмечено Maxim09 как решение

Решение

Цитата Сообщение от Maxim09 Посмотреть сообщение
В таком случае инвариант подтверждает что максимальное число находится в массиве так?
Не так.

Здесь утверждается, что в m находится максимальный элемент из начального отрезка массива.
0
 Аватар для Maxim09
1 / 1 / 4
Регистрация: 23.08.2015
Сообщений: 458
03.07.2017, 19:42  [ТС]
А что значит -> arr[0:i-1] ?
0
Заблокирован
03.07.2017, 19:43
Maxim09, начальный отрезок массива. Элементы с 0-го до (i-1)-го.
1
 Аватар для Maxim09
1 / 1 / 4
Регистрация: 23.08.2015
Сообщений: 458
03.07.2017, 19:44  [ТС]
Вроде понял спасибо.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
 03.07.2017, 19:44
Помогаю со студенческими работами здесь

Ортогональные инварианты 2
Правильно ли я привел в обратную сторону док-во для пары мнимых пересек. прямых? \delta =\lambda 1\lambda 2&gt;0, \Delta =0...

Инварианты квадратной матрицы
1) Напишите программу, которая заполняет квадратную матрицу (двумерный массив) заданным образом. 2) * Измените программу таким образом,...

Инварианты линейных операторов
Что это такое?

Постройка ЖНФ через инварианты
Каким образом это делается? Дана матрица: (0,0,1) (0,0,0) (0,0,0) Нужно по инвариантам построить ЖНФ.

Как получить сумму и произведение циклов с использованием одной строки циклов
Как получить сумму и произведение циклов с использованием одной строки циклов, а не трёх?. class ForDrmo2 { public static...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
12
Ответ Создать тему
Новые блоги и статьи
Символьное дифференцирование
igorrr37 13.02.2026
/ * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила»
zbw 12.02.2026
«Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 12.02.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 11.02.2026
Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image
8Observer8 10.02.2026
Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .
Установка Qt-версии Lazarus IDE в Debian Trixie Xfce
volvo 10.02.2026
В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Поддержать - Реклама - Условия использования - Обратная связь
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru