Computing all maps into a sphere

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10100952" target="_blank" >RIV/00216208:11320/12:10100952 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216208:11320/12:10159293

Výsledek na webu

<a href="http://siam.omnibooksonline.com/2012SODA/index.html" target="_blank" >http://siam.omnibooksonline.com/2012SODA/index.html</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Computing all maps into a sphere

Popis výsledku v původním jazyce

We present an algorithm for computing [X,Y], i.e., all homotopy classes of continuous maps X -} Y , where X and Y are topological spaces given as finite simplicial complexes, Y is (d-1)-connected for some d } 1 (for example, Y can be the d-dimensional sphere), and dim X { 2d-1. These conditions on X and Y guarantee that [X,Y] has a natural structure of a fi nitely generated Abelian group, and the algorithm finds generators and relations for it. We combine several tools and ideas from homotopy theory (such as Postnikov systems, simplicial sets, and obstruction theory) with algorithmic tools from effective algebraic topology (objects with effective homology).

Název v anglickém jazyce

Computing all maps into a sphere

Popis výsledku anglicky

We present an algorithm for computing [X,Y], i.e., all homotopy classes of continuous maps X -} Y , where X and Y are topological spaces given as finite simplicial complexes, Y is (d-1)-connected for some d } 1 (for example, Y can be the d-dimensional sphere), and dim X { 2d-1. These conditions on X and Y guarantee that [X,Y] has a natural structure of a fi nitely generated Abelian group, and the algorithm finds generators and relations for it. We combine several tools and ideas from homotopy theory (such as Postnikov systems, simplicial sets, and obstruction theory) with algorithmic tools from effective algebraic topology (objects with effective homology).

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms

ISBN

978-1-61197-211-5

ISSN

1557-9468

e-ISSN

—

Počet stran výsledku

10

Strana od-do

1-10

Název nakladatele

Society for Industrial and Applied Mathematics

Místo vydání

Philadelphia, USA

Místo konání akce

Kyoto, Japonsko

Datum konání akce

17. 1. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—