Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100161155> ?p ?o ?g. }
- W2100161155 abstract "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 ⊆ 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 ≥ 2, Y is (k-1)-connected; informally, this means that Y has no holes up to dimension 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 ≥ 2, we obtain an algorithm that solves the extension problem in polynomial time assuming Y (k-1)-connected and dim X ≤ 2k-1$. For dim X ≤ 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 ≥ 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 ≥ 2. On the other hand, Anick proved in 1989 that computing πk(Y) is #P-hard if k is a part of input, where Y is a cell complex with certain rather compact encoding. We strengthen his result to #P-hardness for Y given as a simplicial complex." @default.
- W2100161155 created "2016-06-24" @default.
- W2100161155 creator A5001618396 @default.
- W2100161155 creator A5014115669 @default.
- W2100161155 creator A5056297132 @default.
- W2100161155 creator A5070164050 @default.
- W2100161155 creator A5067861585 @default.
- W2100161155 date "2013-01-01" @default.
- W2100161155 modified "2023-09-25" @default.
- W2100161155 title "Extending continuous maps" @default.
- W2100161155 cites W1481268094 @default.
- W2100161155 cites W1496383623 @default.
- W2100161155 cites W1565221428 @default.
- W2100161155 cites W1579582280 @default.
- W2100161155 cites W1990314842 @default.
- W2100161155 cites W1992656112 @default.
- W2100161155 cites W2018891868 @default.
- W2100161155 cites W2020401767 @default.
- W2100161155 cites W2032980094 @default.
- W2100161155 cites W2048235185 @default.
- W2100161155 cites W2052550771 @default.
- W2100161155 cites W2053930291 @default.
- W2100161155 cites W2064020260 @default.
- W2100161155 cites W2071250698 @default.
- W2100161155 cites W2104375826 @default.
- W2100161155 cites W2125582656 @default.
- W2100161155 cites W2126991673 @default.
- W2100161155 cites W2165653569 @default.
- W2100161155 cites W2314051058 @default.
- W2100161155 cites W2569493303 @default.
- W2100161155 cites W2950408786 @default.
- W2100161155 cites W2950509283 @default.
- W2100161155 cites W2952858753 @default.
- W2100161155 cites W3040586665 @default.
- W2100161155 cites W3104577153 @default.
- W2100161155 cites W580815523 @default.
- W2100161155 doi "https://doi.org/10.1145/2488608.2488683" @default.
- W2100161155 hasPublicationYear "2013" @default.
- W2100161155 type Work @default.
- W2100161155 sameAs 2100161155 @default.
- W2100161155 citedByCount "3" @default.
- W2100161155 countsByYear W21001611552018 @default.
- W2100161155 countsByYear W21001611552020 @default.
- W2100161155 crossrefType "proceedings-article" @default.
- W2100161155 hasAuthorship W2100161155A5001618396 @default.
- W2100161155 hasAuthorship W2100161155A5014115669 @default.
- W2100161155 hasAuthorship W2100161155A5056297132 @default.
- W2100161155 hasAuthorship W2100161155A5067861585 @default.
- W2100161155 hasAuthorship W2100161155A5070164050 @default.
- W2100161155 hasConcept C104317684 @default.
- W2100161155 hasConcept C114614502 @default.
- W2100161155 hasConcept C118615104 @default.
- W2100161155 hasConcept C134306372 @default.
- W2100161155 hasConcept C139962677 @default.
- W2100161155 hasConcept C145054310 @default.
- W2100161155 hasConcept C147688034 @default.
- W2100161155 hasConcept C153269930 @default.
- W2100161155 hasConcept C165525559 @default.
- W2100161155 hasConcept C184720557 @default.
- W2100161155 hasConcept C185592680 @default.
- W2100161155 hasConcept C187929450 @default.
- W2100161155 hasConcept C191752858 @default.
- W2100161155 hasConcept C192034797 @default.
- W2100161155 hasConcept C199360897 @default.
- W2100161155 hasConcept C202444582 @default.
- W2100161155 hasConcept C2778029271 @default.
- W2100161155 hasConcept C2778795013 @default.
- W2100161155 hasConcept C311688 @default.
- W2100161155 hasConcept C32834561 @default.
- W2100161155 hasConcept C33923547 @default.
- W2100161155 hasConcept C41008148 @default.
- W2100161155 hasConcept C55493867 @default.
- W2100161155 hasConcept C5961521 @default.
- W2100161155 hasConcept C90119067 @default.
- W2100161155 hasConceptScore W2100161155C104317684 @default.
- W2100161155 hasConceptScore W2100161155C114614502 @default.
- W2100161155 hasConceptScore W2100161155C118615104 @default.
- W2100161155 hasConceptScore W2100161155C134306372 @default.
- W2100161155 hasConceptScore W2100161155C139962677 @default.
- W2100161155 hasConceptScore W2100161155C145054310 @default.
- W2100161155 hasConceptScore W2100161155C147688034 @default.
- W2100161155 hasConceptScore W2100161155C153269930 @default.
- W2100161155 hasConceptScore W2100161155C165525559 @default.
- W2100161155 hasConceptScore W2100161155C184720557 @default.
- W2100161155 hasConceptScore W2100161155C185592680 @default.
- W2100161155 hasConceptScore W2100161155C187929450 @default.
- W2100161155 hasConceptScore W2100161155C191752858 @default.
- W2100161155 hasConceptScore W2100161155C192034797 @default.
- W2100161155 hasConceptScore W2100161155C199360897 @default.
- W2100161155 hasConceptScore W2100161155C202444582 @default.
- W2100161155 hasConceptScore W2100161155C2778029271 @default.
- W2100161155 hasConceptScore W2100161155C2778795013 @default.
- W2100161155 hasConceptScore W2100161155C311688 @default.
- W2100161155 hasConceptScore W2100161155C32834561 @default.
- W2100161155 hasConceptScore W2100161155C33923547 @default.
- W2100161155 hasConceptScore W2100161155C41008148 @default.
- W2100161155 hasConceptScore W2100161155C55493867 @default.
- W2100161155 hasConceptScore W2100161155C5961521 @default.
- W2100161155 hasConceptScore W2100161155C90119067 @default.
- W2100161155 hasLocation W21001611551 @default.