Primi algoritm vähima kaaluga aluspuu leidmiseks: o Valime graafist suvalise tipu v. Olgu 0 graaf ainsa tipuga v ja U=V{v}, st ülejäänud tippude hulk o Iga = 1, ... , - 1 korral leiame graafist vähima kaaluga serva , mis ühendab mingit graafi -1 tippu mingi tipuga Lisame alamgraafile -1 serva ja tema teise otspunkti . Eemaldame hulgast Primi algoritmi korrektsus: o Rakendatagu Primi algoritmi sidusale kaalutud graafile , milles on n tippu o Et on sidus, siis igal sammul leidub serv, mis ühendab alamgraafi -1 mõne veel ühendamata tipuga o Algoritmi rakendamise tulemus -1 on puu, sest pole tsükleid ja ta on sidus. -1 sisaldab graafi kõiki tippu, järelikult on toespuu o Tõestame, et toespuu = -1 kaal on minimaalne o Invariant: igal sammul k saadud graaf sisaldub mingis minimaalse kaaluga toespuus
kasinalt, otsekui meie juures hoiule panduid ja peatselt äraminevaid. Mõistuseta haldaja ei säilita neid kauaks. Õnne hakkab rõhuma ta enda raskus, kui teda mõõdukaks ei muudeta. Kes üürikesi hüvesid usaldab, näeb end peagi hüljatuna, kui aga mitte, siis satub ta armetusse olukorda. Vähesed on suutnud õnnest rahulikult loobuda. Ülejäänud kukuvad siruli koos hüvedega, mille hulgast nad välja paistsid, ja neid rõhub seesama, mis neid esile tõstis. (19) Seepärast rakendatagu mõistlikkust, mis neid hüvesid sunnib kasutama kasinal määral, sest ohjeldamatus raiskab oma vara ära tormilise rutuga. Mõõdutu pole kunagi kestev, kui piirav mõistus teda ei ohjelda. Seda tõendavad sulle paljud linnad, kelle võim lõppes keset külluslikku õitsengut; vooruse läbi sünnitatu hukutas mõõdutus. Sääraste juhtude vastu peame end kindlustama. Kuid ükski müür pole saatuse jaoks vallutamatu, seepärast kindlustugem seesmiselt. Kui
annaabi.ee 
