Studoši

Jel netko krenuo s labosom? Koliko je kompliciran i u koliko se stigne rješit?

Ima li neko neke normalne testove za ovo provjeravat?

SuperSjajan3 ako imas logicku gresku napiši sam jednostavan test sa 5 varijabli i 10 klauzula pa izvrti rucno i debugiraj. Imas u prezentacijama primjere za ¾ varijable i nekoliko klauzula pa ih samo prepisi u .cnf format

btw. jel se uspio nekom izvrtit hanoi u “razumnom vremenu”?

madoxx nop. taj i onaj bf0432 su mi više od 2h. u pythonu je pa je za očekivat, ostali su ispod 0.1s

Olive Oil pa to i je razumno vrijeme za ovaj zadatak koliko sam skuzio 😅 ja napisao u cpp-u i slicno vrijeme… koje optimizacije si koristio?

Olive Oil Je li razumno pretpostavit da ako mi se ostali izvrsavaju i rade, da bi i ta dva trebala samo da dugo traju? Jer nemam bas 4 sata viska za to isprobavat

madoxx ak misliš na ona proširenja onda sam samo različite heuristike. Neki Freeman, Jeroslow Wang i još neka dva koja uzimaju najčešće u klauzulama. idem po svih 28 bodova da imam manje patnje na ispitu/ispitima. ak misliš na sam program koristio sam dict pa je dost brzo radi njega

SuperSjajan3 ja bi rekao da je razumno. piše nešto dolje na zadaći da ako se nisu izvrtjeli u razumnom vremenu da to i napišemo u tablicu u kojoj imamo sva vremena. bilo bi i od njih razumno da ne skinu bodove radi toga

jedan mi se izvrtio u 2.5h, ispis je dobar. ostale sam sve prekinuo pa nemam njihove ispise. uz to sam za svaku implementaciju napravio zasebne foldere i u njima datoteke istoimene s problemom da se vide sva vremena. sad jel ću trebat ponovo pokretat, ne znam, al ak budem onda ću samo ove ostale pokretat

meni se npr. ovaj sa 150 varijabli izvrti za 3 sekunde, još sam paralelizirao to na 8 procesora… Ovaj od 716 varijabli se vrti već 12 sati i još ništa.. valjda neće na tom uzimat bodove.

jel netko mozda zna objasnit sta je hidden literal elimination. To je ova zadnja tocka i cini mi se kao da bi to bilo jednostavno napravit, a na guglu u znanstvenim radovima ne mogu bas skuzit te puste formule.

moze netko napisati kako izgleda ispitivanje 3. zadace za nas koji idemo na nadoknadu iduci tjedan?

gladiator moraš objasnit dpll algoritam i to po svojem kodu. ja sam sve morao reć što mi je što i što radi. zatim objasniš proširenja ako si radio, isto tak sve objasnit po kodu. pokažeš mu tablicu s vremenima, pokreneš program na par primjera i to je to

Je li dovoljno 2 dana za ovaj labos napravit

Eteie Ja sam ga napravio da radi kolko-tolko u jednom danu, neki mi slucajevi jos zezaju i nemam prosirenja. Rekao bi da se za neke bodove stigne u dva dana napraviti

Nosi li ovaj labos 28 ili 20 bodova?

Jel imaju di tocna rjesenja?

kakvu ste heuristiku koristili za osnovni dpll? ja sam ovaj njihov random al mi se nekad usere a nekad radi. nez jel to ocekivano il bi svj tribalo moc risit sve tocno

bjunolulz da napomenem da mi valjda logicki dio radi, ovo s prezentacije rijesi svaki put

bjunolulz random, trebalo bi svaki put riješit točno