Fórum studentů MFF UK

Dnes byly opět příklady z cvičení, ovšem s bonusem:
1) TAUT
2) Složitost problému nalezení nejkratší cesty v grafu se zápornými hranami.
3) Navrhněte algoritmus pro nalezení minimálního VP pro les. DOKAŽTE SPRÁVNOST ALGORITMU.

Ten důkaz správnosti algoritmu si teda ze zadání nepamatuji a ani jsem ho tam nějak extra neměl a na zápočet to stačilo.

V zadání to nebylo, ale říkal to ústně, ale asi na to teda podle tvých slov nehleděl.