1. Verifying time complexity of Turing machinesDavid Gajser, 2015, doctoral dissertation Keywords: Turing machine, relativization, NP-completeness, crossing sequence, decidability, lower bound, time complexity, running time, linear time Full text (file, 881,68 KB) |
|
|
4. Kombinatorične dražbeGregor Fabjan, 2012, undergraduate thesis Keywords: matematika, kombinatorične dražbe, pomanjkljivosti dražb, LOS algoritem, Vickreyeva dražba, VCG mehanizem, jeziki ponujenih cen, linearno programiranje Full text (file, 339,78 KB) |
5. Enostavni modeli pokra in njihova analiza s teorijo igerNik Pletikos, 2013, undergraduate thesis Keywords: finančna matematika, poker, La Relance model, von Neumannov model, Bellman-Blackwellov model, princip indiferentnosti, optimalne strategije Full text (file, 278,59 KB) |
|
|
8. Implementacija algoritmov za probleme najkrajših poti v presečnih grafih enotskih krogovLazar Milinković, 2017, master's thesis Keywords: presečni graf enotskih krogov, geometrijski graf, drevo najkrajših poti, minimalna ločitev, CGAL, implementacija algoritma, računska geometrija, geometrijska optimizacija Full text (file, 1,04 MB) |
|
|