Инварианты и ограничители , кто понимает?

@W-A-F-E-R · Регистрация: 03.12.2017

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#include <iostream>
#define _CRT_SECURE_NO_WARNINGS
 
using namespace std;
int main()
{
    setlocale(LC_ALL, "rus");
    int x,r,d,sum;
    scanf_s("%d", &x);
    x--;
        r = 0;
        while (x) {
            d = 1;
            sum = 0;
            while (d < x) {
                if (x%d==0) {
                    sum=sum+d;
                }
                d++;
            }
            if (sum == x) {
                r = x; x = 1;
            }
            x--;
        }
            printf_s("%d", r);
    system("pause");
}

Нужно найти инварианты и ограничители.

Пояснение для простейшего примера , инвариант , это то , что остаётся неизменным :
в цикле
x = 0
y = 1
z = 10
while x < z do
x=x+1
y =y+1
end
инвариант будет
y - x=1 т.к. это постоянно
ограничитель это выражение, которое убывает на каждой итерации, в моём примере это будет z-x , он должен приближать цикл к завершению.

В своей же задаче , я не могу понять как их найти , очень прошу помочь.

Добавлено через 7 минут
На сколько я понял , идея должна быть такая : Находим инвариант вложенного цикла и он как-то включается в инвариант внешнего , но как это реализовать не пойму

@Privetkakdelaa · 03.07.2018, 13:39

Первый раз слышу об ограничителях

@W-A-F-E-R · 04.07.2018, 21:54 **[ТС]**

UPP

Новые блоги и статьи Все статьи Все блоги /
Камера 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, то после закрытия окошка. . .	SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .

@Privetkakdelaa 0 / 0 / 0 Регистрация: 19.11.2017 Сообщений: 36
	03.07.2018, 13:39
	Первый раз слышу об ограничителях 0

@W-A-F-E-R 2 / 2 / 0 Регистрация: 03.12.2017 Сообщений: 17
	04.07.2018, 21:54 [ТС]
	UPP 0