Ważna nagroda dla informatyków: znaleźć błąd najkrótszą i najdłuższą drogą
31.07.2023, 08:00aktualizacja: 31.07.2023, 08:00
Pobierz materiał i Publikuj za darmo
Czasem błąd w algorytmie ujawnia się szybko, a czasem - dopiero po bardzo długim czasie. Pytanie - jak znaleźć ten zakres, w którym program może się "wykrzaczyć". Za rozwiązanie tego problemu dla modelu VASS nagrodzono zespół z polskimi informatykami.
Polsko-niemiecko-brytyjski zespół informatyków otrzymał nagrodę za najlepszą pracę w ramach 50. edycji konferencji International Colloquium on Automata, Languages and Programming (ICALP) 2023. Konferencja ICALP jest podzielona na dwie ścieżki: algorytmiczną i logiczną. Ta praca jest ze ścieżki logicznej. A to jedna z dwóch najważniejszych konferencji logicznych w informatyce teoretycznej.
Praca (https://arxiv.org/abs/2305.01581) dotyczy wykrywania błędów w algorytmach.
"Nasze rozwiązanie wyjaśnia, jak dobry może być algorytm dotyczący tzw. problemu pokrywalności dla modelu VASS - zarówno jak szybko może działać i ile czasu musi wymagać, żeby działał poprawnie" - opisuje w rozmowie z portalem Nauka w Polsce jeden z autorów dr Filip Mazowiecki z Uniwersytetu Warszawskiego.
Źródło informacji: Nauka w Polsce
Pobierz materiał i Publikuj za darmo
bezpośredni link do materiału
| Data publikacji | 31.07.2023, 08:00 |
| Źródło informacji | Nauka w Polsce |
| Zastrzeżenie | Za materiał opublikowany w serwisie PAP MediaRoom odpowiedzialność ponosi – z zastrzeżeniem postanowień art. 42 ust. 2 ustawy prawo prasowe – jego nadawca, wskazany każdorazowo jako „źródło informacji”. Informacje podpisane źródłem „PAP MediaRoom” są opracowywane przez dziennikarzy PAP we współpracy z firmami lub instytucjami – w ramach umów na obsługę medialną. Wszystkie materiały opublikowane w serwisie PAP MediaRoom mogą być bezpłatnie wykorzystywane przez media. |
