Izrek o verjetnostnem preverjanju dokazov : diplomsko delo

Homar, Ambrož (author), Robič, Borut (mentor)

• Language: Slovenian
• Keywords: računska zahtevnost, verjetnostno preverjanje dokazov, zahtevnost aproksimacije, aproksimacijski algoritmi, računalništvo, računalništvo in informatika, računalništvo in matematika, univerzitetni študij, diplomske naloge
• Work type: Bachelor thesis/paper
• Typology: 2.11 - Undergraduate Thesis
• Organization: FRI - Faculty of Computer and Information Science
• Place of publishing: Ljubljana
• Publisher: [A. Homar]
• Year: 2011
• Number of pages: 40 str.
• PID: 20.500.12556/RUL-25348
• UDC: 519.2(043.2)
• COBISS.SI-ID: 8611412
• Publication date in RUL: 11.07.2014

Secondary language

• Language: English
• Keywords: computational complexity, probabilistic checking of proofs, hardness of approximation, approximation algorithms, computer science, computer and information science, computer science and mathematics, diploma