Organizatorzy

dr hab. Marcin Pilipczuk, prof. UW

Informacje

piątki, 14:15 , sala: 5060

Strona domowa

https://semalgo.wordpress.com/

Lista referatów

11 stycznia 2007 12:15
Darek Kowalski ( University of Liverpool)
Zlozonosc komunikacyjna algorytmow rozproszonych odpornych na wady
Przedstawie dwa podstawowe problemy rozproszone: consensus (decyzyjny) oraz gossip (komunikacyjny). Zaprezentuje szereg rozwiazan dla tych problemow ktore sa: odporne na wady (typu crash), szybkie oraz generujace niewielka ilosc komunikatow. Wiekszosc dotychczasowych algorytmow byla z reguly …
14 grudnia 2006 12:15
Arkadiusz Paterek (Uniwersytet Warszawski)
Collaborative Filtering: Netflix Prize
In this talk, I will present different algorithms for the collaborative filtering task. The task of collaborative filtering is to predict the preferences of a user, given preferences of other users. An example of a …
26 października 2006 12:15
Marcin Mucha (Uniwersytet Warszawski)
Aproksymacja asymetrycznych wariantow problemu komiwojazera
Na najblizszym seminarium opowiem prace Haim Kaplan, Moshe Lewenstein, Nira Shafrir, Maxim Sviridenko "Approximation algorithms for asymmetric TSP by decomposing directed regular multigraphs". J. ACM 52(4): 602-626 (2005) (wczesniej extended abstract na FOCS 2003). Autorzy …
12 października 2006 12:15
Łukasz Kowalik (Uniwersytet Warszawski)
Konferencja SODA; "Mierz i zwyciężaj": metoda analizy algorytmów wykładniczych.
Seminarium będzie się składało z dwóch części. Podczas części pierwszej krótko przedstawię najciekawsze wyniki z tegorocznej konferencji SODA. Nieco bardziej szczegółowo opowiem o pracy Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch, "Measure and Conquer: A …
25 maja 2006 12:15
Bartosz Przydatek (ETH w Zurychu)
Solving Medium-Density Subset Sum Problems in Expected Polynomial Time
Solving Medium-Density Subset Sum Problems in Expected Polynomial Time. The subset sum problem (SSP) (given n numbers and a target bound B, find a subset of the numbers summing to B), is a classic NP-hard …
11 maja 2006 12:15
Piotr Sankowski (Uniwersytet Warszawski)
Szybsze dynamiczne skojarzenia i spójność wierzchołkowa
W ramach seminarium opowiem o pierwszych dynamicznych podkwadratowych algorytmach na obliczanie: liczby wierzchołkowo rozłącznych s,t-ścieżek, rozmiaru maksymalnego skojarzenia w grafie i skierowanej k-spójności wierzchołkowej. Prezentowane algorytmy są randomizowane z jednostronnym błędem. Algorytmy dynamiczne dla problemu …
9 marca 2006 12:15
Marcin Kubica i Tomasz Waleń (Uniwersytet Warszawski)
O pewnych algorytmicznych problemach tekstowych
Tomek Waleń opowie o wspólnej pracy z P. Kolmanem. Podczas seminarium zostanie przybliżony problem porównywania sekwencji genomów. W szczególności problem obliczania odległości pomiędzy napisami liczonej w liczbie odwróceń (całych bloków), potrzebnych do przekształcenia jednego napisu …
2 marca 2006 12:15
Wojciech Plandowski (Uniwersytet Warszawski)
O rozwiązywaniu równań w półgrupie wolnej
Na seminarium przedstawię pierwszy algorytm rozwiązujący równania w półgrupie wolnej, który działa w DEXPTIME. Prezentowane podejście pozwala na rozwiązanie w PSPACE następujących problemów: - sprawdzenia, czy zbiór rozwiązań równania jest skończony, - sprawdzenia, czy zbiór …
26 stycznia 2006 12:15
Anna Wojak (Uniwersytet Warszawski)
Wyznaczanie Euklidesowej najkrótszej drogi na płaszczyźnie pomiędzy dwoma punktami z pominięciem wielokątnych przeszkód.
Wyznaczanie Euklidesowej najkrótszej ścieżki jest jednym z najstarszych i dobrze znanych problemów w geometrii obliczeniowej. Obecnie istnieje wiele typów problemów związanych z wyznaczaniem najkrótszych dróg. Rozważmy płaszczyznę zawierająca zbiór rozłącznych przeszkód, których liczba wierzchołków wynosi …
12 stycznia 2006 12:15
Dorota Cendrowska (Uniwersytet Warszawski)
Konstrukcja klasyfikatora obiektów z wykorzystaniem algorytmu badania rozdzielności liniowej dwóch zbiorów
W ramach seminarium zostaną poruszone kwestie dotyczące odpowiedzi na następujące pytania: Jak ludzie radzą sobie z problemem automatycznego rozdzielania liniowego dwóch zbiorów? Trop 1: Może "liniowo" to synonim "zbyt łatwo" i sprawdza się reguła garbage …
5 stycznia 2006 12:15
Krzysztof Onak (Uniwersytet Warszawski)
Testowanie własności
W sytuacji, gdy dysponujemy ograniczoną ilością czasu, może nie być możliwe sprawdzenie, czy dany obiekt (kombinatoryczny) posiada, pewną ustaloną własność. Tym niemniej nie jesteśmy całkowicie bezradni. Okazuje się, że w wielu przypadkach, odczytując jedynie niewielki …
15 grudnia 2005 12:15
Arkadiusz Paterek (Uniwersytet Warszawski)
O ulepszaniu algorytmów dla gier dwuosobowych z pełną informacją
Na seminarium omówię własne eksperymenty związane z zastosowaniem technik uczenia z nadzorem do wyboru parametrów funkcji oceniającej w programie grającym w szachy. Opowiem również o algorytmie BPIP, obiecującej alternatywie dla algorytmu alfa-beta cięć. Jest to …
8 grudnia 2005 12:15
Marcin Stefaniak (Uniwersytet Warszawski)
Algorytmiczne aspekty infrastruktury SilkRoute
SilkRoute (2002) służy do wyciągania danych z relacyjnej bazy (SQL) w postaci drzewiastej (XML) przy użyciu języka zapytań XQuery. Odbywa się to poprzez stworzenie drzewiastego planu zapytań SQL, co można zrobić na wiele sposobów. SilkRoute …
17 listopada 2005 12:15
Anna Urbańska (Uniwersytet Warszawski)
Kombinatoryczny algorytm obliczania wyznacznika
Tematem referatu jest kombinatoryczna charakteryzacja wyznacznika, dająca prosty i całkowicie kombinatoryczny algorytm na jego obliczanie, działający w czasie O(n^4). Algorytm ten nie wymaga dzielenia i pracuje nad dowolnym pierścieniem przemiennym. Postaram się również pokazać, jak …
10 listopada 2005 12:15
Krzysztof Ciebiera (Uniwersytet Warszawski)
Poświadczone struktury danych
Zagadnienia: 1. Co to są poświadczone struktury danych? 2. Tradycyjne metody tworzenia poświadczonych słowników. 3. ''Skip-lists'' - metoda implementacji poświadczonych słowników. 4. Inne znane zastosowania poświadczonych struktur danych (w geometrii i algorytmach grafowych).