{"entities":{"Q1293092":{"pageid":1303842,"ns":120,"title":"Item:Q1293092","lastrevid":68388426,"modified":"2026-04-12T23:22:10Z","type":"item","id":"Q1293092","labels":{"en":{"language":"en","value":"On a problem of effective knot theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1322985"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293092$483F7819-6976-4392-9898-4008415CEF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56f027fa4a362a9456e33bca4250253892739b23","datavalue":{"value":{"text":"On a problem of effective knot theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293092$CEAE6826-4ADE-4F09-95BB-A637DA3AFAB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2ae47822a46e2564124b8b092947871cacfec4c","datavalue":{"value":"1001.57007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293092$9DEE9656-26BC-4F4C-90E0-0D93DDEB2317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7a9b7eac4826dc9c54ea10736fc72a8eb8749a","datavalue":{"value":{"entity-type":"item","numeric-id":187062,"id":"Q187062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293092$F46A7C59-4839-4AFD-AE23-079A91E8DB60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7e3f6e5b33be10b2f4aef979a84b2db8fbd69d63","datavalue":{"value":{"entity-type":"item","numeric-id":162242,"id":"Q162242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293092$92E3CBA9-4DB4-417B-85F7-4C218B1B403E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fb918d00bc57f8eb8654f6f4e4a81f239bfd226","datavalue":{"value":{"time":"+1999-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293092$A20E4E1E-1DCE-48F3-8C23-41D9AA902C52","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"102a8a477e682cf3977034a20f52a577fdd2f897","datavalue":{"value":"A knot is an embedded circle in the Euclidean space \\(\\mathbb R^3\\). A knot is trivial if it bounds an embedded disk. A knot diagram is an image of a knot by the projection \\(\\mathbb R^3 \\rightarrow \\mathbb R^2\\) with double points (called crossings) assigned ``upper'' and ``under''. A diagram is trivial if it has no crossings.    Two diagrams of a knot are connected by a finite sequence of local moves called Reidemeister moves [\\textit{J. W. Alexander} and \\textit{G. B. Briggs}, Ann. Math. (2) 28, 562--586 (1927; JFM 53.0549.02); \\textit{H. Reidemeister}, Abh. Math. Sem. Univ. Hamburg 5, 24--32 (1926; JFM 52.0579.01)]. The unknotting problem, i.e., to decide whether a given knot diagram represents the trivial knot or not is difficult in practice [see \\textit{L. Goeritz}, Abh. Math. Semin. Hamb. Univ. 10, 201--210 (1934; Zbl 0009.23001)]. For diagrams of non-trivial knots and links, see pages 11, 21 and 22 in [\\textit{M. B. Thistlethwaite}, Lond. Math. Soc. Lect. Note Ser. 93, 1--76 (1985; Zbl 0571.57004)] and [Topology and Computer Science, 225--249 (Kinokuniya, Tokyo) (1987)] by \\textit{S. Nagami}.    \\textit{W. Haken} gave a finite algorithm for the unknotting problem [Acta Math. 105, 245--375 (1961; Zbl 0100.19402)]. His idea is based on a theory of fundamental normal surfaces in \\(3\\)-manifolds with handle decompositions, which was formulated in triangulated \\(3\\)-manifolds by \\textit{W. Jaco} and \\textit{U. Oertel} [Topology 23, No. 2, 195--209 (1984; Zbl 0545.57003)]. See also a survey [Chaos Solitons Fractals 9, No. 4-5, 569--581 (1998; Zbl 0935.57014)] by \\textit{J. Hass}, and another algorithm [Geom. Topol. 2, 175--220 (1998; Zbl 0955.57005)] by \\textit{J. S. Birman} and \\textit{M. D. Hirsch}.    The paper under review gives an elementary function \\(f(n)\\) such that any knot diagram with \\(n\\) crossings is converted to the trivial diagram by a sequence of no more than \\(f(n)\\) Reidemeister moves if it represents the trivial knot, with a sketch proof based on the machinery of Jaco and Oertel. Similar results are obtained by \\textit{J. Hass} and \\textit{J. C. Lagarias} [The number of Reidemeister moves needed for unknotting, J. Am. Math. Soc. 14, No. 2, 399--428 (2001; Zbl 0964.57005)] and by \\textit{J. Hass, J. C. Lagarias} and \\textit{N. Pippenger} [The computational complexity of knot and link problems. J. ACM 46, No. 2, 185--211 (1999; Zbl 1065.68667)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$AE77268E-3804-4B11-B031-E63F8DE2C41A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1538c94384cebf3914bb3157e828e3ca42153e98","datavalue":{"value":{"entity-type":"item","numeric-id":190380,"id":"Q190380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293092$874447C7-807F-4306-A751-3156EEA81E27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f912cc4f5542455896ae293f2d98d28b2477a66","datavalue":{"value":"57M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293092$7B4F2030-5018-4BC9-A500-D35E65A4E26C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed882913ec3ad2a8e2d75882f4ff41c235ed0ee3","datavalue":{"value":"1322985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293092$08B7480D-DFD4-4BA7-8ED8-81B096B2DF8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57aaf90a68601a5ca78adc5e096a58b0bc02e048","datavalue":{"value":"trivial knot","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$F2D37489-5F73-4D5E-BF06-1568A76F8175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"513de4ed9e7c1cca521ed7b1f357ac4036ce89ed","datavalue":{"value":"knot diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$D070C991-E429-4238-9FD6-ED2FD3223811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6773a8681cb308e3c85a2fe4938dfb20fb23f96a","datavalue":{"value":"number of crossings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$86374D57-432E-472D-AFDC-0757E97F9F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef8b44afcd7565a3330f739a746167b0f793163","datavalue":{"value":"Reidemeister moves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$239D332D-7825-43A8-98AB-B47FDADD6A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed72664d874856dd7a8bb68d5436ae18ba780031","datavalue":{"value":"polygonal knot","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$5ECF09A6-C549-4F38-A64F-FF115F891FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3b97137fc5cddeb53bb49b8b441b42d47d65a","datavalue":{"value":"triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$7DDAA7B4-27FC-4F7D-A41D-0B9BEF2680F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f5c010908407fc1aed07227f9515019a6239f0","datavalue":{"value":"normal surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$402DA4C8-5714-4D13-ACAA-46CAEB2FFA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293092$4A203D91-A98E-4788-A810-2FE6284150D6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293092$99519C8E-D049-44B0-92DA-CF06527B5523","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72d76c939bda168bbd2a69a3cf12ced99cdbbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2701705,"id":"Q2701705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9a6400e6ed35fa01c41a41b0cee5d4adf703b2","datavalue":{"value":{"amount":"+0.8711533546447754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293092$83747470-31A4-49CA-816F-4922E5784DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dacbc3e5e83dffd3292f483244a8e958d920ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5067995,"id":"Q5067995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9c1f924a606d1a93c9653a80c5033d4095d27e","datavalue":{"value":{"amount":"+0.8705572485923767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293092$BC10E228-ADA5-4509-930C-D29C98992B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849da5e9a1ae236d1233171914cc45c1d937ede9","datavalue":{"value":{"entity-type":"item","numeric-id":499087,"id":"Q499087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607f98899d55c138a59c91127a1e9d36c3400d1c","datavalue":{"value":{"amount":"+0.8685789704322815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293092$E4B23F7A-666B-4CA9-A752-12BA29EEE8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad79b9b093ec53b616fc946e1bf43ce370f73d3","datavalue":{"value":{"entity-type":"item","numeric-id":2928634,"id":"Q2928634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07a7ba4f1a619d0dba31f98b5d8b633b29e06e4","datavalue":{"value":{"amount":"+0.8527010083198547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293092$B2EF1654-DEDC-4558-90EF-F0B55D7D7CB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a problem of effective knot theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_problem_of_effective_knot_theory"}}}}}