Organizatorzy

dr hab. Michał Pilipczuk, prof. UW

Informacje

piątki, 14:15 , sala: 5060

Strona domowa

https://semalgo.wordpress.com/

Lista referatów

31 marca 2011 12:15
Dominik Scheder (ETH Zurich)
A Full Derandomization of Schoenings k-SAT Algorithm
Schoening in 1999 presented a simple randomized algorithm for k-SAT with running time O(a^n * poly(n)) for a = 2(k-1)/k. We give a deterministic version of this algorithm running in time O(a^(n+o(n))). Joint work with …
31 marca 2011 12:15
Dominik Scheder (ETH Zurich)
A Full Derandomization of Schoening's k-SAT Algorithm
Schoening in 1999 presented a simple randomized algorithm for k-SAT with running time O(a^n * poly(n)) for a = 2(k-1)/k. We give a deterministic version of this algorithm running in time O(a^(n+o(n))). Joint work with …
17 marca 2011 12:15
Dariusz Leniowski (Uniwersytet Warszawski)
Prawdomownosc a budzet w aukcjach -- wynik negatywny i pozytywny.
Na seminarium zostanie przedstawiony wynik Christiana Borgsa i innych dotyczacy wieloprzedmiotowych aukcji z budzetami. Dla systemow prawdomownych kluczowy okaze sie warunek sprzedzy wszystkich przedmiotow, a jego opuszczenie pozwoli na opracowanie aukcji (asymptotycznie) maksymalizujacej zysk.
10 marca 2011 12:15
Paweł Brach (Uniwersytet Warszawski)
Rozpowszechnianie plotki w sieciach społecznościowych
Na seminarium zostanie omówiona grupa algorytmów rozpowszechniania plotki w sieciach społecznościowych. Takie algorytmy używają losowej komunikacji podczas której dochodzi do wymiany informacji pomiędzy węzłami. W omawianym modelu będziemy myśleli o n graczach, którzy w każdej …
3 marca 2011 12:15
Piotr Sankowski (Uniwersytet Warszawski)
Combinatorial Auctions with Budgets
We consider budget constrained combinatorial auctions where bidder i has a private value v_i, a budget b_i, and is interested in all the items in S_i. The value to agent i of a set of …
24 lutego 2011 12:15
Konstanty Junosza-Szaniawski (Politechnika Warszawska)
Exact algorithms for L (2,1)-labeling of graph)
$L(2,1)$-labeling is a graph coloring model inspired by a channel assignment problem in telecommunication. It asks for such a labeling of vertices with nonnegative integers that adjacent vertices get labels that differ by at least …
17 lutego 2011 12:15
dr hab Jerzy Tyszkiewicz (Uniwersytet Warszawski)
Parallel Random Access Machines and Spreadsheets are (Almost) the Sam)
In the talk I will describe a mild syntactic restriction concerning spreadsheets (created in e.g. MS Excel or OpenOffice), which turns them into a computing device almost equivalent to Parallel Random Access Machines. Under this …
20 stycznia 2011 12:15
Jarosław Grytczuk (Uniwersytet Jagielloński)
Nonrepetitive coloring games
Nonrepetitive coloring games can be played on various combinatorial structures (graphs, words, etc.). Basic idea goes back to Thue, who proved in 1906 that the ntegers can be 3-colored so that any two adjacent segments …
13 stycznia 2011 12:15
- (Uniwersytet Warszawski)
Seminarium odwołane
16 grudnia 2010 12:15
Krzysztof Onak (CMU)
Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity
We present a near-linear time algorithm for approximating the edit distance between two strings to within a significantly better factor than previously known. This result emerges in our investigation of edit distance from a new …
9 grudnia 2010 12:15
Łukasz Kowalik (Uniwersytet Warszawski)
Cykl Hamiltona w grafach nieskierowanych szybciej niz 2^n.
Problemy cyklu Hamiltona i TSP to jedne z najintensywniej badanych problemow optymalizacyjnych. W latach 60-tych Held i Karp podali prosty algorytm oparty na programowaniu dynamicznym, wymagajacy czasu O*(2^n) i pamieci O(2^n). Powstalo naturalne pytanie, czy …
2 grudnia 2010 12:15
Maxime Crochemore (King's College London)
Reactive Automata
25 listopada 2010 12:15
Bartlomiej Bosek i Tomasz Krawczyk (Uniwersytet Jagielloński)
The sub-exponential upper bound for the on-line chain partitioning problem
One of the important models for scheduling is based on partially ordered sets. In this model the points represent the incoming tasks and the order reflects cause-effect relation between tasks. The algorithmic problem which arises …
4 listopada 2010 12:15
Marcin Pilipczuk (Uniwersytet Warszawski)
Unique Games Conjecture i trudność aproksymacji
Począwszy od sławnego twierdzenia PCP, do dnia dzisiejszego znamy bardzo dużo wyników dowodzących trudność aproksymacji różnych problemów. O ile dowodzenie braku istnienia PTASa jest zazwyczaj mniej lub bardziej skomplikowaną redukcją kombinatoryczną, o tyle otrzymani ścisłych …
21 października 2010 12:15
Jakub Łącki (Uniwersytet Warszawski)
Dynamiczne algorytmy dla silnie spójnych składowych i domknięcia przechodniego
Zaprezentuję strukturę danych, która utrzymuje strukturę silnie spójnych składowych grafu skierowanego i obsługuje operacje usunięć krawędzi. Przy jej użyciu pokażę algorytm utrzymywania domknięcia przechodniego podczas usuwania krawędzi z grafu. Działa on deterministycznie i jest równie …