Доказательство корректности алгоритма Краскаля "своими словами"

@no swear · Регистрация: 01.07.2016

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

Хочу придумать доказательство корректности данного алгоритма но своими словами. Ведь на интуитивном уровне понятно что он будет работать правильно а вот как это доказать не используя классическое доказательство, как доказать что интуиция не подводит вот в чём вопрос?

@salam · 25.12.2018, 23:44

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

@no swear · 26.12.2018, 22:05 **[ТС]**

salam,

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

доказательство вроде "возьмем любое ребро, не вошедшее в ответ, посмотрим на образовавшийся цикл, поймем, что лучше сделать нельзя..."

Вот мне как раз нужно какое нибудь доказательство отличное от этого. Не прям чтобы в корне отличался но всё же чтобы было что то "своё"

@salam · 27.12.2018, 10:46

Странные у вас увлечения. ) Сходу не могу вспомнить, чтобы какое-то другое слышал. Теоретически-то можно по-разному доказывать. Например, взять другой корректный алгоритм (Прима, например) и начать доказывать, что они строят деревья с одинаковой суммой весов ребер.
Могу посоветовать почитать про теорию матроидов. Конкретно, теорему Радо-Эдмондса. Она даёт альтернативный способ доказательства.

@no swear · 27.12.2018, 17:10 **[ТС]**

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

теорему Радо-Эдмондса. Она даёт альтернативный способ доказательства.

Именно Алгоритм Краскала или нужно иметь какие то более глубокие познания в этой области "теория матроидов" чтобы самому доказательство вывести?

@salam · 27.12.2018, 22:18

Она устанавливает некоторое полезное свойство для целого класса объектов, называемых матроидами. Что их базы можно искать жадно Вам остаётся доказать, что объект, который рассматривается в вашей задаче, является базой некоторого матроида.

Новые блоги и статьи Все статьи Все блоги /
WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .

@no swear 192 / 166 / 82 Регистрация: 01.07.2016 Сообщений: 943

	Доказательство корректности алгоритма Краскаля "своими словами" 25.12.2018, 20:40. Показов 2050. Ответов 5 Метки нет (Все метки) Хочу придумать доказательство корректности данного алгоритма но своими словами. Ведь на интуитивном уровне понятно что он будет работать правильно а вот как это доказать не используя классическое доказательство, как доказать что интуиция не подводит вот в чём вопрос? 0

@salam 194 / 174 / 30 Регистрация: 10.07.2012 Сообщений: 800
	25.12.2018, 23:44
	ну, попробуйте ответить себе на вопрос, почему он вам кажется корректным интуитивно. мне вот, например, не кажется. не знаю, какое доказательство у вас "классическое". но вот, например, доказательство вроде "возьмем любое ребро, не вошедшее в ответ, посмотрим на образовавшийся цикл, поймем, что лучше сделать нельзя..." все же не похоже на интуицию, а больше на то, что вы догадались до не сложного, но все же содержательного доказательства. 1

@salam 194 / 174 / 30 Регистрация: 10.07.2012 Сообщений: 800
	27.12.2018, 10:46
	Странные у вас увлечения. ) Сходу не могу вспомнить, чтобы какое-то другое слышал. Теоретически-то можно по-разному доказывать. Например, взять другой корректный алгоритм (Прима, например) и начать доказывать, что они строят деревья с одинаковой суммой весов ребер. Могу посоветовать почитать про теорию матроидов. Конкретно, теорему Радо-Эдмондса. Она даёт альтернативный способ доказательства. 1

@salam 194 / 174 / 30 Регистрация: 10.07.2012 Сообщений: 800
	27.12.2018, 22:18
	Она устанавливает некоторое полезное свойство для целого класса объектов, называемых матроидами. Что их базы можно искать жадно Вам остаётся доказать, что объект, который рассматривается в вашей задаче, является базой некоторого матроида. 1