Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach

2017/27/N/ST6/02719

Słowa kluczowe:

algorytm drzewo graf ograniczenie dolne programowanie dynamiczne

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 Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Bartłomiej Dudek 

Liczba wykonawców projektu: 2

Konkurs: PRELUDIUM 14 - ogłoszony 2017-09-15

Przyznana kwota: 180 200 PLN

Rozpoczęcie projektu: 2018-09-03

Zakończenie projektu: 2021-10-02

Planowany czas trwania projektu: 37 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.

Zakupiona aparatura

  1. Laptop. Za kwotę 6 000 PLN
  2. Monitor. Za kwotę 1 000 PLN
  3. Licencje i oprogramowanie. Za kwotę 1 000 PLN

Dane z raportu końcowego/rocznego

  • Teksty w publikacjach pokonferencyjnych (6)
  1. All non-trivial variants of 3-LDT are equivalent
    Autorzy:
    Bartłomiej Dudek, Paweł Gawrychowski, Tatiana Starikovskaya
    Konferencja:
    52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020) (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja 22-26.06.2020
    Status:
    Opublikowana
  2. Counting 4-Patterns in Permutations Is Equivalent to Counting 4-Cycles in Graphs
    Autorzy:
    Bartłomiej Dudek, Paweł Gawrychowski
    Konferencja:
    31st International Symposium on Algorithms and Computation (ISAAC 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 14-18.12.2020
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Generalised Pattern Matching Revisited
    Autorzy:
    Bartłomiej Dudek, Paweł Gawrychowski, Tatiana Starikovskaya
    Konferencja:
    37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 10-13.03.2020
    Status:
    Opublikowana
    Doi:
    link do publikacji
  4. Computing quartet distance is equivalent to counting 4-cycles
    Autorzy:
    Bartłomiej Dudek, Paweł Gawrychowski
    Konferencja:
    51st Annual ACM SIGACT Symposium on Theory of Computing (rok: 2019, ), Wydawca: ACM
    Data:
    konferencja 43619
    Status:
    Opublikowana
  5. Streaming Regular Expression Membership and Pattern Matching
    Autorzy:
    Bartłomiej Dudek, Paweł Gawrychowski, Garance Gourdel, Tatiana Starikovskaya
    Konferencja:
    ACM-SIAM Symposium on Discrete Algorithms (SODA) (rok: 2022, ), Wydawca: SIAM
    Data:
    konferencja 9-12.01.2022
    Status:
    Opublikowana
  6. Strictly In-Place Algorithms for Permuting and Inverting Permutations
    Autorzy:
    Bartłomiej Dudek, Paweł Gawrychowski, Karol Pokorski
    Konferencja:
    Algorithms and Data Structures - 17th International Symposium (WADS) (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 9-11.08.2021
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy