Seminarium z Topologii Algebraicznej
Wtorki, 12:15-13:45, sala 4070
Przestrzenie dróg skierowanych
Krzysztof Ziemiański
9.10.2012
Przestrzenie skierowane to przestrzenie topologiczne,
których punkty reprezentują stany pewnego układu,
wraz z pewną wyróżnioną rodziną dróg (zwanych drogami skierowanymi),
która opisujące, w jaki sposób te stany mogą zmieniać się w czasie.
Przedstawię pewne metody obliczania przestrzeni dróg skierowanych
pomiędzy dwoma punktami przestrzeni skierowanej posiadającej dobry
opis kombinatoryczny (jak np. kompleksy kostkowe lub zbiory symplicjalne).
Podam również przykłady obliczeń, mających zastosowania w badaniu programów
współbieżnych.