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-18

Zakończenie projektu: 2019-02-17

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

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Laptop. Za kwotę 8 000 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (9)
  • Teksty w publikacjach pokonferencyjnych (3)
  • Publikacje książkowe (1)
  1. On lattice representations with posets IF: 0,573
    Autorzy:
    Gergo Gyenizse
    Czasopismo:
    Order , Wydawca: Springer
    Status:
    Złożona
  2. Loop conditions for strongly connected graphs IF: 0,402
    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
  3. The subpower membership problem for semigroups IF: 0,536
    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
  4. Solving CSPs using weak local consistency IF: 1,76
    Autorzy:
    Marcin Kozik
    Czasopismo:
    SIAM Journal on Computing , Wydawca: SIAM Publications
    Status:
    Przyjęta do publikacji
  5. Robust algorithms with polynomial loss for near-unanimity CSPs IF: 1,76
    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
  6. Local loop lemma IF: 0,608
    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
  7. Taylor's modularity conjecture and related problems for idempotent varieties IF: 0,573
    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
  8. Directed SD(v) terms IF: 0,753
    Autorzy:
    Marcin Kozik
    Czasopismo:
    Bulletin of the London Mathematical Society , Wydawca: London Mathematical Society
    Status:
    Złożona
  9. Maltsev conditions for general congruence meet-semidistributive algebras IF: 0,793
    Autorzy:
    Miroslav Olsak
    Czasopismo:
    Journal of Symbolic Logic , Wydawca: Cambridge University Press
    Status:
    Złożona
  1. 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
  2. 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
  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
  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