Učitavanje...
Projekti
Algebarske, logičke i kombinatorne metode sa primenama u teorijskom računarstvu
Istraživačka delatnost
| Kod | Nauka | Oblast |
|---|---|---|
| P110 | Prirodno-matematičke nauke | Matematička logika, teorija skupova, kombinatorika |
| P120 | Prirodno-matematičke nauke | Teorija brojeva, teorija polja, algebarska geometrija, algebra, teorija grupa |
| P175 | Prirodno-matematičke nauke | Informatika, teorija sistema |
Ključne reči
grafovi, optimizacija, složenost, unierzalna algebra, dihotomija, CSP
Organizacije (5) , Istraživači (1)
0040 Univerzitet u Novom Sadu, Prirodno-matematički fakultet
| br. | Šifra | Ime i prezime | Oblast istraživanja | Uloga | Period | Br. publikacijaBr. publikacija |
|---|---|---|---|---|---|---|
| 1. | 08778 | Teorija brojeva, teorija polja, algebarska geometrija, algebra, teorija grupa | Rukovodilac projekta | 2011 - 2019 | 14 |
0012 Univerzitet u Beogradu, Matematički fakultet
0033 Univerzitet u Novom Sadu, Filozofski fakultet
0037 Univerzitet u Novom Sadu, Ekonomski fakultet
0176 Megatrend univerzitet, Fakultet za kompjuterske nauke
Sažetak
Ovaj projekat se bavi istraživanjem u nekoliko povezanih grana matematike i primenom istih u računarstvu. Grupa istraživača koju čine nosilac projekta i njegovi studenti primenjuju rezultate univerzalne algebre i teorije grafova na hipotezu o dihotomiji računske složenosti Constraint satisfaction problema. U poslednje vreme je ova hipoteza privukla interesovanje velikog broja naučnika koji se bave matematičkom logikom, teorijom računske složenosti, teorijom grafova i univerzalnom algebrom. Druga grupa istraživača se bavi kombinatornom optimizacijom. S jedne strane oni se bave primenom metoda nelinearnog programiranja na klasične probleme kombinatorne optimizacije, dok sa druge strane razvijaju algoritme koji će biti u stanju da reše i probleme iz prakse koji se modeliraju uz pomoć diskretnih struktura. U projektu se planira i povezivanje dva pomenuta pravca istraživanja. Naime, ideja polimorfizama, koja je fundamentalna za dekompoziciju struktura koje se pojavljuju u radu na hipotezi o dihotomiji još uvek nije primenjena na probleme kombinatorne optimizacije. S druge strane nove tehnike kojima se analiziraju problemi kombinatorne optimizacije bi mogle da se primene i na probleme odlučivanja (npr. Constraint satisfaction problem).