The following problem is investigated: «Find an elementary function such that if is a knot diagram with crossings and the corresponding knot is trivial, then there is a sequence of Reidemeister moves that proves triviality such that at each step we have less than crossings». The problem is shown to be equivalent to a problem posed by D. Welsh in [7] and solved by geometrical techniques (normal surfaces).
Viene analizzato il seguente problema: «Trovare una funzione elementare tale che se è un diagramma del nodo banale con incroci allora esiste una successione di mosse di Reidemeister che portano il diagramma nel diagramma banale tale che ad ogni passo si abbiano non più di incroci». Il Problema è dimostrato essere equivalente ad un problema posto da D. Welsh in [7] e risolto con tecniche geometriche (superfici normali).
@article{RLIN_1998_9_9_4_299_0, author = {Stefano Galatolo}, title = {On a problem in effective knot theory}, journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni}, volume = {9}, year = {1998}, pages = {299-306}, zbl = {1001.57007}, mrnumber = {1722788}, language = {en}, url = {http://dml.mathdoc.fr/item/RLIN_1998_9_9_4_299_0} }
Galatolo, Stefano. On a problem in effective knot theory. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 9 (1998) pp. 299-306. http://gdmltest.u-ga.fr/item/RLIN_1998_9_9_4_299_0/
[1] New points of view in knot theory. Bulletin of the AMS (New Series), vol. 28, n. 2, 1993, 253-285. | MR 1191478 | Zbl 0785.57001
,[2] On straight line representation of planar-graphs. Acta Sci. Math. (Szeged), 1948, 11. | MR 26311 | Zbl 0030.17902
,[3] | MR 1211184 | Zbl 0771.57001
, The Classification of Knots and 3-Dimensional Spaces. Oxford University Press, 1992.[4] | MR 415619 | Zbl 0345.57001
, 3-Manifolds. Princeton University Press and University of Tokyo Press, 1976.[5] Algorithmic unsolvability of the triviality problem for multidimensional Knots. Comment. Math. Helv., 71, n.3, 1996, 426-434. | MR 1418946 | Zbl 0862.57017
- ,[6] An algorithm to decide if a manifold is a Haken manifold. Topology, vol. 23, No.2, 1984, 195-209. | MR 744850 | Zbl 0545.57003
- ,[7] The complexity of Knots. Annals of Discrete Mathematics, 55, 1993, 159-172. | MR 1217989 | Zbl 0801.68086
,