Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

2014/13/B/ST6/01812

Słowa kluczowe:

Problem Spełanialności Więzów złożoność obliczeniowa algorytmy aproksymacyjne algorytmy optymalizacujące

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier
  • ST1_18: Zastosowania matematyki w innych naukach

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Marcin Kozik 

Liczba wykonawców projektu: 3

Konkurs: OPUS 7 - ogłoszony 2014-03-17

Przyznana kwota: 486 920 PLN

Rozpoczęcie projektu: 2015-02-01

Zakończenie projektu: 2019-02-17

Planowany czas trwania projektu: 48 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Laptop. Za kwotę 8 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (9)
  • Teksty w publikacjach pokonferencyjnych (3)
  • Publikacje książkowe (1)
  1. Taylor's modularity conjecture and related problems for idempotent varieties
    Autorzy:
    Jakub Oprsal
    Czasopismo:
    Order (rok: 2018, tom: 35, strony: 433-460), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11083-017-9441-4 - link do publikacji
  2. The subpower membership problem for semigroups
    Autorzy:
    Andrei Bulatov, Marcin Kozik, Peter Mayr, Markus Steindl
    Czasopismo:
    International Journal of Algebra and Computation (rok: 2016, tom: 26, strony: 1435-1451), Wydawca: World Scientific
    Status:
    Opublikowana
    Doi:
    10.1142/S0218196716500612 - link do publikacji
  3. On lattice representations with posets
    Autorzy:
    Gergo Gyenizse
    Czasopismo:
    Order , Wydawca: Springer
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  4. Solving CSPs using weak local consistency
    Autorzy:
    Marcin Kozik
    Czasopismo:
    SIAM Journal on Computing , Wydawca: SIAM Publications
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  5. Local loop lemma
    Autorzy:
    Miroslav Olsak
    Czasopismo:
    Algebra Universalis (rok: 2020, tom: 81, strony: article no. 14), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00012-020-0644-y - link do publikacji
  6. Robust algorithms with polynomial loss for near-unanimity CSPs
    Autorzy:
    Victor Dalmau, Marcin Kozik, Andrzej Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Oprsal
    Czasopismo:
    SIAM Journal on Computing (rok: 2019, tom: 48(6), strony: 1763–1795), Wydawca: SIAM Publications
    Status:
    Opublikowana
    Doi:
    10.1137/18M1163932 - link do publikacji
  7. Directed SD(v) terms
    Autorzy:
    Marcin Kozik
    Czasopismo:
    Bulletin of the London Mathematical Society , Wydawca: London Mathematical Society
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  8. Maltsev conditions for general congruence meet-semidistributive algebras
    Autorzy:
    Miroslav Olsak
    Czasopismo:
    Journal of Symbolic Logic , Wydawca: Cambridge University Press
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  9. Loop conditions for strongly connected graphs
    Autorzy:
    Miroslav Olsak
    Czasopismo:
    International Journal of Algebra and Computation (rok: 2020, tom: 30(03), strony: 467-499), Wydawca: WORLD SCIENTIFIC PUBL
    Status:
    Opublikowana
    Doi:
    10.1142/S0218196720500083 - link do publikacji
  1. Dichotomy for symmetric Boolean PCSPs
    Autorzy:
    Miron Ficak, Marcin Kozik, Miroslav Olsak, Szymon Stankiewicz
    Konferencja:
    46th International Colloquium on Automata, Languages and Programming (ICALP 2019) (rok: 2019, ), Wydawca: Leibniz International Proceedings in Informatics
    Data:
    konferencja 8-9.06.2019
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Robust algorithms with polynomial loss for near-unanimity CSPs
    Autorzy:
    Victor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yuri Makarychev, Jakub Oprsal
    Konferencja:
    Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (rok: 2016, ), Wydawca: SIAM
    Data:
    konferencja 10-12.01.2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Sensitive Instances of the Constraint Satisfaction Problem
    Autorzy:
    Libor Barto, Marcin Kozik, Johnson Tan, Matt Valeriote
    Konferencja:
    47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik
    Data:
    konferencja 8-11.07.2020
    Status:
    Opublikowana
    Doi:
    link do publikacji
  1. Absorption in Universal Algebra and CSP
    Autorzy:
    Libor Barto, Marcin Kozik
    Książka:
    The Constraint Satisfaction Problem: Complexity and Approximability (rok: 2017, tom: 7, strony: 45-77), Wydawca: Shloss Dagstuhl
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy