Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Modeliranje in reševanje problema drevesne širine s SAT
Andrej Stojanovski, Uroš Čibej
Diplomsko delo
Oznake: drevesna širina;SAT;grafi;NP-polni problemi;drevesna dekompozicija;računalništvo;matematika;interdisciplinarni študij;univerzitetni študij;diplomske naloge;
V diplomski nalogi obravnavamo problem določanja drevesne širine grafa, ki ima pomembno vlogo pri reševanju veliko NP-polnih kombinatoričnih problemov na grafih. Predstavimo nov pristop, kjer problem drevesne širine kodiramo kot SAT-primere in ga rešujemo s sodobnimi SAT reševalniki. Nato opišemo po ...
Leto: 2025 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Št. zadetkov: 1
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: