Filteri
cris logo
-
Novo pretraživanje Filteri
Izaberi sa spiska
Prikazano od Prikaži više
Dostigli ste najviši mogući broj prikazanih rezultata pretraživanja.
Prikazani su svi rezultati
Za izvedeno pretraživanje nema dostupnih rezultata
Prikazano od
Dostigli ste najviši mogući broj prikazanih rezultata pretraživanja.
Prikazani su svi rezultati
Učitavanje rezultata
Dobijanje statističkih podataka

Projekti izvor: E-CRIS

Algebarske, logičke i kombinatorne metode sa primenama u teorijskom računarstvu

Uredi
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
Istraživači (1)
br. Šifra Ime i prezime Oblast istraživanja Uloga Period Br. publikacija
1.  08778  Petar Marković  Teorija brojeva, teorija polja, algebarska geometrija, algebra, teorija grupa  Rukovodilac projekta  2011 - 2019  13 
Organizacije (5)
br. Šifra Istraživačka organizacija Mesto Matični broj Br. publikacija
1.  0012  Univerzitet u Beogradu, Matematički fakultet  Beograd  07048211  0 
2.  0033  Univerzitet u Novom Sadu, Filozofski fakultet  Novi Sad  08067074  0 
3.  0037  Univerzitet u Novom Sadu, Ekonomski fakultet  Subotica  08105090  0 
4.  0040  Univerzitet u Novom Sadu, Prirodno-matematički fakultet  Novi Sad  08104620  0 
5.  0176  Megatrend univerzitet, Fakultet za kompjuterske nauke  Beograd - Novi Beograd  17786776  0 
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).
Zahteva se potvrđivanje
Retrospektiva pregleda
Omiljeno