<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=163092"><dc:title>Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean</dc:title><dc:creator>Kikelj,	Gregor	(Avtor)
	</dc:creator><dc:creator>Bauer,	Andrej	(Mentor)
	</dc:creator><dc:creator>Berčič,	Katja	(Komentor)
	</dc:creator><dc:subject>Lean</dc:subject><dc:subject>Lean 4</dc:subject><dc:subject>graf</dc:subject><dc:subject>kromatično število</dc:subject><dc:description>V dokazovalniku in programskem jeziku Lean 4 formaliziramo osnove teorije grafov, barvanj in kromatičnega števila. Implementiramo tudi dokazano pravilen algoritem za računanje kromatičnega števila ter analiziramo čas izvajanja. Na koncu implementiramo in dokažemo pravilnost algoritma za preverjanje 2-obarvljivosti v polinomskem času.</dc:description><dc:date>2024</dc:date><dc:date>2024-10-02 08:15:16</dc:date><dc:type>Delo diplomskega seminarja/zaključno seminarsko delo/naloga</dc:type><dc:identifier>163092</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>