Доказательство результата алгоритма

@oobarbazanoo · Регистрация: 13.05.2015

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

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

Например, в данном случае очевидно, что данный алгоритм выполняет умножение x и y, но как это доказать?

@Shamil1 · 31.07.2017, 02:25

Посчитайте
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\sum_{u = 1}^{x}y$

@oobarbazanoo · 02.08.2017, 10:42 **[ТС]**

Shamil1, а как Вы можете утверждать что алгоритм считает указанную сумму? Вы скажете это очевидно, нужно просто пройтись по алгоритму или что-то в этом роде, но мне необходимо именно доказательство.

@Shamil1 · 02.08.2017, 13:01

Сообщение от oobarbazanoo

как Вы можете утверждать что алгоритм считает указанную сумму?

Если быть точным, то алгоритм считает указанную сумму не всегда, а только для x > 0.
А доказать можно методом индукции (для x = 1 выполняется. предположим, что выполняется для x = x1, и докажем для x = x1 + 1).

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@oobarbazanoo 7 / 30 / 9 Регистрация: 13.05.2015 Сообщений: 1,835

	Доказательство результата алгоритма 30.07.2017, 14:27. Показов 1668. Ответов 3 Метки нет (Все метки) Подскажите, пожалуйста, как в общем случае доказывается результат алгоритма? Например, в данном случае очевидно, что данный алгоритм выполняет умножение x и y, но как это доказать? Миниатюры 0

@Shamil1 Модератор 3133 / 2280 / 469 Регистрация: 26.03.2015 Сообщений: 8,874
	31.07.2017, 02:25
	Сообщение было отмечено oobarbazanoo как решение Решение Посчитайте $https://www.cyberforum.ru/cgi-bin/latex.cgi?\sum_{u = 1}^{x}y$ 1

@oobarbazanoo 7 / 30 / 9 Регистрация: 13.05.2015 Сообщений: 1,835
	02.08.2017, 10:42 [ТС]
	Shamil1, а как Вы можете утверждать что алгоритм считает указанную сумму? Вы скажете это очевидно, нужно просто пройтись по алгоритму или что-то в этом роде, но мне необходимо именно доказательство. 0

Доказательство результата алгоритма

Решение