Programowanie dynamiczne z gwarancjami
2018/28/T/ST6/00084
Deskryptory
- ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 2
Konkurs
ETIUDA 6 – ogłoszony 2017-12-15
- Przyznana kwota
- 113 322 PLN
- Rozpoczęcie projektu
- 2018-10-01
- Zakończenie projektu
- 2019-09-30
- Planowany czas trwania projektu
- 12 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
Teksty w publikacjach pokonferencyjnych (5)
-
Equal-Subset-Sum Faster Than the Meet-in-the-Middle
- Autorzy:
- Mucha, Marcin ; Nederlof, Jesper ; Pawlewicz, Jakub ; Wegrzycki, Karol
- Konferencja:
- 27th Annual European Symposium on Algorithms (ESA 2019) (rok: 2019, strony: 73:1--73:16), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
- Data:
- konferencja 9-11.09.2019
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Improving Schroeppel and Shamir's Algorithm for Subset Sum via Orthogonal Vectors
- Autorzy:
- Jesper Nederlof, Karol Węgrzycki
- Konferencja:
- STOC 2021: 53rd Annual ACM Symposium on Theory of Computing (rok: 2021, strony: 1670--1683), Wydawca: ACM
- Data:
- konferencja 21-25.06.2021
- Status:
- Opublikowana
-
Approximating APSP without scaling: equivalence of approximate min-plus and exact min-max
- Autorzy:
- Karl Bringmann, Marvin Künnemann, Karol Węgrzycki
- Konferencja:
- STOC 2019: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computin (rok: 2019, strony: 943--954), Wydawca: ACM
- Data:
- konferencja 23-26.06.2019
- Status:
- Opublikowana
-
Hamiltonian Cycle Parameterized by Treedepth in Single Exponential Time and Polynomial Space
- Autorzy:
- Jesper Nederlof, Michal Pilipczuk, Celine M. F. Swennenhuis, Karol Wegrzycki
- Konferencja:
- Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020 (rok: 2020, strony: 27-39), Wydawca: Springer
- Data:
- konferencja 24-26.06.2020
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
A Faster Exponential Time Algorithm for Bin Packing With a Constant Number of Bins via Additive Combinatorics
- Autorzy:
- Jesper Nederlof, Jakub Pawlewicz, Céline M. F. Swennenhuis and Karol Węgrzycki
- Konferencja:
- Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) (rok: 2021, strony: 1682--1701), Wydawca: SIAM
- Data:
- konferencja 10-13.01.2021
- Status:
- Opublikowana
- DOI:
- link do publikacji