2003/2004
15 X Kostek Szaniawski
"Lematy kombinatoryczne dla pseudorozmaitości niezorientowanych"
22 X Anna Szaniawska
"3K_2 dekompozycja grafów".
29 X V. Wiktor Marek Wydzial Informatyki Uniwersytet Stanu Kentucky Lexington, KY, St. Zjedn.
"Modele stabilne programów logicznych".
5 XI Mirosław Truszczyński Department of Computer Science University of Kentucky Lexington, KY USA
"Predicate logic and local-search techniques as tools to solve search problems".
12 XI Aleksandra Kowalska
"Algorytmy badające własność punktu stałego dla zbiorów częściowo uporządkowanych".
19 XI Monika Pszczoła
"Złożoność obliczeniowa problemu upakowań grafów"
26 XI Krzysztof Bryś
"NP-Zupełność pewnych problemów upakowan grafów"
3 XII Krzysztof Bryś
"NP-Zupełność pewnych problemów upakowan grafów" - kontynuacja.
10 XII Aleksandra Kowalska
"Złożoność obliczeniowa algorytmów badających własność punktu stałego dla zbiorów częściowo uporządkowanych" - kontynuacja.
7 I Sylwester Wawrzoła
"O pewnym typie rekonstrukcji drzew"
3 III Zbigniew Lonc
"Kombinatoryczne problemy w obliczaniu minimanych modeli formuły boolowskiej"
10 III Sylwester Wawrzoła
"Zbiory częściowo uporządkowanie generowane przez elementy nieredukowalne"
24 III Zbigniew Lonc
"Kombinatoryczne problemy w obliczaniu minimanych modeli formuły boolowskiej" - kontynuacja
31 III Zbigniew Lonc
"Kombinatoryczne problemy w obliczaniu minimanych modeli formuły boolowskiej"
7 IV Zbigniew Lonc
"Kombinatoryczne problemy w obliczaniu minimanych modeli formuły boolowskiej" - kontynuacja
21 IV mgr Joanna Polcyn-Lewandowska, UAM w Poznaniu
"Ścieżki w hipergrafach pseudo-losowych".
5 V Aleksander Rutkowski
"Ufundowane zbiory uporządkowane"
12 V Dr Armin Fuegenschuh Technische Universität Darmstadt, Niemcy
"Integrated Optimization of School Starting Times and Public Bus Services"
Streszczenie: In many rural areas, the public bus service is demand-oriented: By far the biggest group of customers are pupils who are transported to their schools within certain strict time limits. Usually, all schools start around the same time, which causes a morning peak in the number of deployed buses. However, schools are allowed to change their starting times within some intervall. The question is, how to simultanenously rectify the starting times for all schools and bus trips in a certain county so that the number of scheduled buses is minimal. We present a mixed-integer programming formulation for this optimization problem and address its solution for some real-world instances.
19 V Krzystof Bryś
"Złożoność obliczeniowa dekompozycji grafów "
26 V Natalia Petryszyn
"Budowa maksymalnie niehamiltonowskich grafów"
2 VI Michał Tuczyński
"Zliczanie gąsienic"
9 VI Kostek Szaniawski
"Zastosowanie uogólnień lematu Spernera do podziału ciastka i czynszu".