Embeddability in the 3-sphere is decidable

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10282816" target="_blank" >RIV/00216208:11320/14:10282816 - isvavai.cz</a>
Výsledek na webu
<a href="http://dl.acm.org/citation.cfm?id=2582137" target="_blank" >http://dl.acm.org/citation.cfm?id=2582137</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2582112.2582137" target="_blank" >10.1145/2582112.2582137</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Embeddability in the 3-sphere is decidable
Popis výsledku v původním jazyce
We show that the following algorithmic problem is decidable: given a 2-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in R3? By a known reduction, it suffices to decide the embeddability of a giventriangulated 3-manifold X into the 3-sphere S3. The main step, which allows us to simplify X and recurse, is in proving that if X can be embedded in S3, then there is also an embedding in which X has a short meridian, i.e., an essential curve in the boundary of X bounding a disk in S3 X with length bounded by a computable function of the number of tetrahedra of X.
Název v anglickém jazyce
Embeddability in the 3-sphere is decidable
Popis výsledku anglicky
We show that the following algorithmic problem is decidable: given a 2-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in R3? By a known reduction, it suffices to decide the embeddability of a giventriangulated 3-manifold X into the 3-sphere S3. The main step, which allows us to simplify X and recurse, is in proving that if X can be embedded in S3, then there is also an embedding in which X has a short meridian, i.e., an essential curve in the boundary of X bounding a disk in S3 X with length bounded by a computable function of the number of tetrahedra of X.

Projekt
<a href="/cs/project/GEGIG%2F11%2FE023" target="_blank" >GEGIG/11/E023: Kreslení grafů a jejich geometrické reprezentace</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2014
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 thirtieth annual symposium on Computational geometry
ISBN
978-1-4503-2594-3
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
78-84
Název nakladatele
ACM
Místo vydání
New York
Místo konání akce
Kyoto
Datum konání akce
8. 6. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)