24.06.2025 - Seminarium Teorii Gier i Decyzji - godz. 11:00,
Adam Idzik (Instytut Podstaw Informatyki PAN)
Streszczenie:
Lemat o braku zastraszania jest prostym wnioskiem z własności relacji ścisłej preferencji. Dowód twierdzenia Brouwera wykorzystujący ten lemat, podany przez Petri i Voornevelda (opublikowany w JME ), zawiera poważną lukę.
10.06.2025 - Seminarium Teorii Gier i Decyzji - godz. 11:00,
Adam Idzik (Instytut Podstaw Informatyki PAN)
Streszczenie:
Podany zostanie dowód tego kombinatorycznego lematu. Dyskutowane będą jego zastosowania do znalezienia przybliżonych punktów stałych funkcji ciągłej określonej na sympleksie.
27.05.2025 - Seminarium Teorii Gier i Decyzji - godz. 11:00,
Marcin Malawski (IPIPAN i Akademia Leona Koźmińskiego)
Streszczenie:
Oryginalna charakterystyka aksjomatyczna wartości Shapleya zawierała warunek symetrii. Z jej dowodu wynika jednak wprost, że symetrię można zastąpić słabszą własnością równoprawności (equal treatment) i to ten warunek występuje w większości późniejszych aksjomatyzacji tej (a i innych) wartości. Pokażę, pod jakimi warunkami równoprawność implikuje symetrię, a więc dla jakich klas (symetrycznych) wartości wystarczy ją zakładać przy charakteryzacjach. Podam też parę dalszych osłabień warunku równoprawności w dwóch kierunkach: mniejszych wymagań od wartości graczy odgrywających jednakowe role w grze (Casajus 2018, 2023) oraz wymagań równych wartości tylko od szczególnych klas takich graczy (Radzik i Driessen 2011), zacytuję ich zastosowanie w aksjomatyzacjach konkretnych wartości bądź klas wartości i pokażę, że żadne z nich nie jest implikuje zwykłej równoprawności przy założeniach, przy których z równoprawności wynika symetria.
06.05.2025 - Seminarium Teorii Gier i Decyzji - godz. 11:00,
Adam Idzik (Instytut Podstaw Informatyki PAN)
Streszczenie:
Petri i Voorneveld (2017) zastosowali tytułowy 'no-bullying' lemma do nowego dowodu twierdzenia Brouwera o punkcie stałym. Dyskutowane będą zastosowania tego kombinatorycznego lematu do klasycznych rezultatów w teorii ekonomii.
15.04.2025 - Seminarium Teorii Gier i Decyzji - godz. 11:00,
Tomasz Kulpa (UKSW, Instytut Informatyki)
Streszczenie:
Optymalizacja za pomocą roju cząstek (Particle Swarm Optimization, PSO) to algorytm stochastyczny zaproponowany przez Kennediego i Eberharta w 1995 roku. Jego skuteczność zależy od właściwego doboru parametrów konfiguracyjnych. Celem referatu jest przedstawienie propozycji miar stabilności cząsteczki dla wersji algorytmu z inercją (IPSO) oraz ich zastosowanie do analizy stabilności I-go i II-go rzędu algorytmu.
[Kulpa T., Trojanowski K., and Wójcik K. (2021). Stasis type particle stability in a stochastic model of particle swarm optimization. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '21). Association for Computing Machinery, New York, NY, USA. 31–39. DOI: 10.1145/3449639.3459405].
