| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - We consider several basic problems of algebraic topology, with connections to combinatorial and geometric questions, from the point of view of computational complexity. The extension problem asks, given topological spaces X,Y, a subspace A SUBSET OF OR EQUAL TO X, and a (continuous) map f:A -> Y, whether f can be extended to a map X -> Y. For computational purposes, we assume that X and Y are represented as finite simplicial complexes, A is a subcomplex of X, and f is given as a simplicial map. In this generality the problem is undecidable, as follows from Novikov's result from the 1950s on uncomputability of the fundamental group π1(Y). We thus study the problem under the assumption that, for some k GREATER-THAN OR EQUAL TO 2, Y is (k-1)-connected; informally, this means that Y has %22no holes up to dimension k-1%22 i.e., the first k-1 homotopy groups of Y vanish (a basic example of such a Y is the sphere Sk). We prove that, on the one hand, this problem is still undecidable for dim X=2k. On the other hand, for every fixed k GREATER-THAN OR EQUAL TO 2, we obtain an algorithm that solves the extension problem in polynomial time assuming Y (k-1)-connected and dim X LESS-THAN OR EQUAL TO 2k-1$. For dim X LESS-THAN OR EQUAL TO 2k-2, the algorithm also provides a classification of all extensions up to homotopy (continuous deformation). This relies on results of our SODA 2012 paper, and the main new ingredient is a machinery of objects with polynomial-time homology, which is a polynomial-time analog of objects with effective homology developed earlier by Sergeraert et al. We also consider the computation of the higher homotopy groups πk(Y)$, k GREATER-THAN OR EQUAL TO 2, for a 1-connected Y. Their computability was established by Brown in 1957; we show that πk(Y) can be computed in polynomial time for every fixed k GREATER-THAN OR EQUAL TO 2.
- We consider several basic problems of algebraic topology, with connections to combinatorial and geometric questions, from the point of view of computational complexity. The extension problem asks, given topological spaces X,Y, a subspace A SUBSET OF OR EQUAL TO X, and a (continuous) map f:A -> Y, whether f can be extended to a map X -> Y. For computational purposes, we assume that X and Y are represented as finite simplicial complexes, A is a subcomplex of X, and f is given as a simplicial map. In this generality the problem is undecidable, as follows from Novikov's result from the 1950s on uncomputability of the fundamental group π1(Y). We thus study the problem under the assumption that, for some k GREATER-THAN OR EQUAL TO 2, Y is (k-1)-connected; informally, this means that Y has %22no holes up to dimension k-1%22 i.e., the first k-1 homotopy groups of Y vanish (a basic example of such a Y is the sphere Sk). We prove that, on the one hand, this problem is still undecidable for dim X=2k. On the other hand, for every fixed k GREATER-THAN OR EQUAL TO 2, we obtain an algorithm that solves the extension problem in polynomial time assuming Y (k-1)-connected and dim X LESS-THAN OR EQUAL TO 2k-1$. For dim X LESS-THAN OR EQUAL TO 2k-2, the algorithm also provides a classification of all extensions up to homotopy (continuous deformation). This relies on results of our SODA 2012 paper, and the main new ingredient is a machinery of objects with polynomial-time homology, which is a polynomial-time analog of objects with effective homology developed earlier by Sergeraert et al. We also consider the computation of the higher homotopy groups πk(Y)$, k GREATER-THAN OR EQUAL TO 2, for a 1-connected Y. Their computability was established by Brown in 1957; we show that πk(Y) can be computed in polynomial time for every fixed k GREATER-THAN OR EQUAL TO 2. (en)
|
| Title
| - Extending continuous maps: polynomiality and undecidability
- Extending continuous maps: polynomiality and undecidability (en)
|
| skos:prefLabel
| - Extending continuous maps: polynomiality and undecidability
- Extending continuous maps: polynomiality and undecidability (en)
|
| skos:notation
| - RIV/00216208:11320/13:10172788!RIV14-GA0-11320___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11320/13:10172788
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - undecidability; polynomiality; effective homology; cohomology operations; obstruction theory; homotopy theory; computational algebraic topology; combinatorial topology (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...v/mistoKonaniAkce
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/nazevZdroje
| - Proceedings of the 45th annual ACM symposium on Symposium on theory of computing
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| - Matoušek, Jiří
- Wagner, Uli
- Krčál, Marek
- Vokřínek, Lukáš
- Čadek, Martin
|
| http://linked.open...vavai/riv/typAkce
| |
| http://linked.open.../riv/zahajeniAkce
| |
| number of pages
| |
| http://bibframe.org/vocab/doi
| |
| http://purl.org/ne...btex#hasPublisher
| |
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)