Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Programowanie dynamiczne z gwarancjami

2018/28/T/ST6/00084

Słowa kluczowe:

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Karol Węgrzycki 

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)
  1. 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, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 9-11.09.2019
    Status:
    Opublikowana
  2. 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, ), Wydawca: Springer
    Data:
    konferencja 24-26.06.2020
    Status:
    Opublikowana
  3. 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, ), Wydawca: ACM
    Data:
    konferencja 21-25.06.2021
    Status:
    Opublikowana
  4. 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, ), Wydawca: SIAM
    Data:
    konferencja 10-13.01.2021
    Status:
    Opublikowana
  5. 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, ), Wydawca: ACM
    Data:
    konferencja 23-26.06.2019
    Status:
    Opublikowana