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

@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

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

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Первый деплой lagorue 16.01.2026 Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	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. Программа предоставляет более. . .

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

	Доказательство корректности алгоритма Краскаля "своими словами" 25.12.2018, 20:40. Показов 2053. Ответов 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