<?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=172558"><dc:title>Najmanjše nasičene podmnožice brez aritmetičnih zaporedij</dc:title><dc:creator>Rutar,	Jan	(Avtor)
	</dc:creator><dc:creator>Čibej,	Uroš	(Mentor)
	</dc:creator><dc:subject>kombinatorika</dc:subject><dc:subject>aritmetično zaporedje</dc:subject><dc:subject>nasičena množica</dc:subject><dc:description>V diplomski nalogi obravnavamo problem iskanja množic, ki ne vsebujejo
aritmetičnega zaporedja. Opisali smo bolj znani problem, kjer iščemo največjo
takšno množico, potem pa smo se osredotočili na iskanje najmanjše. Predstavili
smo svoj reševalnik za iskanje najmanjše množice in nekaj izboljšav.
Predstavili smo tudi model za dani problem, ki smo ga uporabili pri reševanju
z reševalniki SAT, ILP, SMT (Z3) in MiniZinc. Predstavili smo dobljene
rezultate in primerjali različne reševalnike. Modelirali smo tudi problem iskanja
največje podmnožice brez aritmetičnega zaporedja in ga primerjali z
iskanjem najmanjše podmnožice. Opisali smo tudi nekaj možnih izboljšav za
naš reševalnik in za naš model problema.</dc:description><dc:date>2025</dc:date><dc:date>2025-09-08 14:25:00</dc:date><dc:type>Diplomsko delo/naloga</dc:type><dc:identifier>172558</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>