{"id":383449,"date":"2024-06-29T04:55:08","date_gmt":"2024-06-29T04:55:08","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=383449"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=383449","title":{"rendered":"<span>\u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u041d\u041a\u0410 \u0432 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u044b\u0439 \u0414\u041a\u0410<\/span>"},"content":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u041f\u0440\u0438\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e, \u043a\u043e\u043b\u043b\u0435\u0433\u0438! \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u0412\u0430\u043c \u043e\u043a\u0443\u043d\u0443\u0442\u044c\u0441\u044f \u0432 \u043c\u0438\u0440 \u0442\u0435\u043e\u0440\u0438\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432, \u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u0432 \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u0443 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432. <\/p>\n<p>\u0426\u0435\u043b\u044c \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438: \u043f\u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u044c \u0412\u0430\u0441 \u0441 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u043c \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u0438\u0437 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430. \u0418 \u0441\u0440\u0430\u0437\u0443 \u043a\u0443\u0447\u0430 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432: \u0437\u0430\u0447\u0435\u043c \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u043b\u043e\u0441\u044c \u0434\u0430\u043d\u043d\u043e\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u0414\u041a\u0410 \u0438 \u041d\u041a\u0410 \u0438 \u0437\u0430\u0447\u0435\u043c \u043c\u043d\u0435 \u044d\u0442\u043e \u0437\u043d\u0430\u0442\u044c? \u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u043c\u043e\u0442\u0438\u0432\u0430\u0446\u0438\u0438. <\/p>\n<h2>\u0417\u0430\u0447\u0435\u043c?<\/h2>\n<p>\u041b\u044e\u0431\u043e\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0432 \u0432\u0438\u0434\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430. \u041e\u0431\u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u044c \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0432\u044b\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u043e\u0438\u0442 \u0438\u0441\u043a\u0430\u0442\u044c \u0432 \u0442\u0435\u043e\u0440\u0438\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u043e\u0439 \u0441 \u043d\u0435\u0431\u0435\u0437\u044b\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u043e\u0439 \u0422\u044c\u044e\u0440\u0438\u043d\u0433\u0430. \u0422\u0435\u043e\u0440\u0438\u044f \u2014 \u044d\u0442\u043e \u043a\u043b\u0430\u0441\u0441\u043d\u043e, \u0442\u0435\u043e\u0440\u0438\u044f \u2014 \u044d\u0442\u043e \u0441\u0443\u043f\u0435\u0440\u2026 \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0443.<\/p>\n<p>\u0420\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u044b\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0441\u0442\u0440\u043e\u044f\u0442\u0441\u044f \u043d\u0430 \u041a\u0410.<br \/>\u0421\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043d\u0430 \u041a\u0410 \u2013 \u043f\u0440\u0438\u0432\u0435\u0442, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u044b!<br \/>\u0418\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u043e\u0438\u0441\u043a\u0430 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u043f\u0430\u0442\u0442\u0435\u0440\u043d\u043e\u0432 \u0432 \u0442\u0435\u043a\u0441\u0442\u0435 \u0410\u0445\u043e-\u041a\u043e\u0440\u0430\u0441\u0438\u043a \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0438\u0434\u0435\u044e \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430.<\/p>\n<p>\u041d\u0430\u0434\u0435\u044e\u0441\u044c, \u044d\u0442\u043e\u0433\u043e \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e, \u0447\u0442\u043e\u0431\u044b \u0443\u0431\u0435\u0434\u0438\u0442\u044c \u0432\u0430\u0441 \u0432 \u0432\u0430\u0436\u043d\u043e\u0441\u0442\u0438 \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c \u0434\u0430\u043d\u043d\u0443\u044e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044e ?<\/p>\n<h2>\u041f\u0430\u0447\u043a\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0439<\/h2>\n<p><strong>\u041a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 (\u041a\u0410)<\/strong> \u2013 \u043f\u044f\u0442\u0451\u0440\u043a\u0430 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432, \u0432\u043c\u0435\u0441\u0442\u0435 \u043e\u0431\u0440\u0430\u0437\u0443\u044e\u0449\u0438\u0445 \u0435\u0434\u0438\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443. \u0411\u043e\u043b\u0435\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e: \u041a\u0410 = {<em>Q, \u2211, \u03b4,<\/em> <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_0\" alt=\"q_0\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/666\/d47\/924\/666d4792452a1c245872e1c1c985c4d5.svg\" width=\"18\" height=\"15\"\/>, <em>F<\/em>}, \u0433\u0434\u0435 <em>Q<\/em> \u2013 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d-\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u2211 &#8212; \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u0430\u043b\u0444\u0430\u0432\u0438\u0442, <em>\u03b4<\/em> \u2013 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430, <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_0\" alt=\"q_0\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/383\/cfe\/9dc\/383cfe9dc3054b8eaf202f2e1a56563e.svg\" width=\"18\" height=\"15\"\/><strong>\u2208<\/strong>  <em>Q &#8212; <\/em>\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, <em>F<\/em> <strong>\u2208<\/strong>  <em>Q &#8212; <\/em>\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d-\u0432\u043e \u0437\u0430\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439.<\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435. \u0414\u0430\u043d \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/679\/a05\/fb0\/679a05fb0692957c89561b444cc5176f.png\" width=\"678\" height=\"325\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/679\/a05\/fb0\/679a05fb0692957c89561b444cc5176f.png\"\/><figcaption><\/figcaption><\/figure>\n<p><em>Q<\/em> \u2013 \u044d\u0442\u043e \u0432\u0441\u0435 \u0431\u043e\u043b\u044c\u0448\u0438\u0435 \u043a\u0440\u0443\u0436\u043e\u0447\u043a\u0438, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0449\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u041a\u0410. \u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 <em>Q<\/em> = { <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_0\" alt=\"q_0\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8d4\/b66\/888\/8d4b6688861b31fa88616c90d404c15f.svg\" width=\"18\" height=\"15\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{11}\" alt=\"q_{11}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/c55\/8c0\/ae5\/c558c0ae5052e1839a5dc8b07c8a1bea.svg\" width=\"24\" height=\"15\"\/>, <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{12}\" alt=\"q_{12}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/c2c\/1da\/7e0\/c2c1da7e08a557b28cd77a64e469aaa2.svg\" width=\"24\" height=\"15\"\/>,<img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{21}\" alt=\"q_{21}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/2de\/9b2\/8a1\/2de9b28a197bc6dd3d5c2adda1f75b14.svg\" width=\"24\" height=\"15\"\/>,<img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{22}\" alt=\"q_{22}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3ac\/a41\/4c8\/3aca414c85ea9093781175dbe4a6b649.svg\" width=\"24\" height=\"15\"\/>,<img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_f\" alt=\"q_f\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/70a\/fdb\/d5a\/70afdbd5a22b9829b2557fd3730bbc0f.svg\" width=\"18\" height=\"18\"\/>}. \u0421\u0438\u043c\u0432\u043e\u043b\u044b, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0449\u0438\u0435 \u0442\u0430\u043a\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438. <\/p>\n<p>\u2211 \u2014 \u044d\u0442\u043e \u0432\u0441\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044b, \u043f\u043e \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043c\u043e\u0436\u043d\u043e \u0441\u043e\u0432\u0435\u0440\u0448\u0438\u0442\u044c \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043a \u0434\u0440\u0443\u0433\u0438\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c, \u0442. \u0435. \u0432\u0441\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044b \u043d\u0430\u0434 \u0441\u0442\u0440\u0435\u043b\u043e\u0447\u043a\u0430\u043c\u0438. \u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u2211 = {a}. \u0421\u0438\u043c\u0432\u043e\u043b\u044b, \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0435 \u0432 \u044d\u0442\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438. \u041f\u0440\u043e <em>\u03b5 <\/em>\u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c \u043d\u0438\u0436\u0435 \u2013 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c \u044d\u0442\u043e \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0438 \u0432 \u0430\u043b\u0444\u0430\u0432\u0438\u0442 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u043d\u0435 \u0432\u0445\u043e\u0434\u0438\u0442.<\/p>\n<p> <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_0\" alt=\"q_0\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9f9\/4fe\/e4e\/9f94fee4e02fdfc469990cccbe17fc62.svg\" width=\"18\" height=\"15\"\/>= { <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_0\" alt=\"q_0\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d84\/b54\/f5a\/d84b54f5add2f56d10e3d6d6889596d1.svg\" width=\"18\" height=\"15\"\/>} &#8212; \u044d\u0442\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442.<\/p>\n<p><em>F<\/em> = { <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_f\" alt=\"q_f\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/727\/5df\/a53\/7275dfa53657f0ce831fa84876c711cf.svg\" width=\"18\" height=\"18\"\/>} &#8212; \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u041a\u0410 \u0437\u0430\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f. \u041d\u0430 \u0440\u0438\u0441\u0443\u043d\u043a\u0430\u0445 \u0447\u0430\u0441\u0442\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0442 \u043a\u0430\u043a \u0434\u0432\u043e\u0439\u043d\u043e\u0439 \u043a\u0440\u0443\u0436\u043e\u043a, \u043b\u0438\u0431\u043e \u043a \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443 \u043f\u0440\u0438\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442 \u043d\u0438\u0436\u043d\u0438\u0439 \u0438\u043d\u0434\u0435\u043a\u0441 <em>f. <\/em><\/p>\n<p><em>\u03b4<\/em> \u2013 \u0410 \u044d\u0442\u043e \u043d\u0435\u043a\u0438\u0439 \u0441\u0432\u043e\u0434 \u043f\u0440\u0430\u0432\u0438\u043b, \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0439, \u043a\u0430\u043a \u041a\u0410 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u0432\u0435\u0440\u0448\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u0445\u043e\u0434. \u041d\u0430 \u0440\u0438\u0441\u0443\u043d\u043a\u0435 \u044d\u0442\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u0441\u043e\u0431\u043e\u0439 \u0441\u0442\u0440\u0435\u043b\u043e\u0447\u043a\u0438. \u0417\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0442\u0430\u043a: <em>\u03b4<\/em>( <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{11}\" alt=\"q_{11}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/95d\/c58\/b61\/95dc58b618bf549827e55d172b8a95fa.svg\" width=\"24\" height=\"15\"\/>, a) = <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{12}\" alt=\"q_{12}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/289\/15d\/aa3\/28915daa391fc900b9994d58c7a944a2.svg\" width=\"24\" height=\"15\"\/><br \/>\u0422.\u0435. \u043f\u0440\u043e\u0439\u0434\u044f \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{11}\" alt=\"q_{11}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/1ae\/fbe\/23b\/1aefbe23bbe9b58362e1247bc4e9462c.svg\" width=\"24\" height=\"15\"\/>\u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>a<\/em> \u043f\u043e\u043f\u0430\u0434\u0451\u043c \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{12}\" alt=\"q_{12}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/97d\/ba3\/b4f\/97dba3b4f5673b2393971fa102ccfbeb.svg\" width=\"24\" height=\"15\"\/>. \u0427\u0430\u0441\u0442\u043e \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u043d\u0435 \u043f\u0438\u0448\u0443\u0442, \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044f \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u0430\u043a\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430. <\/p>\n<p>\u041e\u0442\u043b\u0438\u0447\u043d\u043e, \u0441 \u044d\u0442\u0438\u043c \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043b\u0438\u0441\u044c! \u0415\u0449\u0451 \u043f\u0430\u0440\u043e\u0447\u043a\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0439.<\/p>\n<p><strong>\u041d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 (\u041d\u041a\u0410) \u2013 <\/strong>\u044d\u0442\u043e \u041a\u0410, \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0435\u0441\u0442\u044c 2 \u0438 \u0431\u043e\u043b\u0435\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u043f\u043e \u043e\u0434\u043d\u043e\u043c\u0443 \u0438 \u0442\u043e\u043c\u0443 \u0436\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u0443. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435.<\/p>\n<figure class=\"\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/4f4\/d33\/af4\/4f4d33af48b0faba761b919ca33fdddf.png\" width=\"440\" height=\"226\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/4f4\/d33\/af4\/4f4d33af48b0faba761b919ca33fdddf.png\"\/><figcaption><\/figcaption><\/figure>\n<p>\u042d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0439 \u041d\u041a\u0410 \u2013 \u0438\u0437 <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{11}\" alt=\"q_{11}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/127\/84d\/331\/12784d3311bd7f1d1bc10a0aeb4f6c01.svg\" width=\"24\" height=\"15\"\/>\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0434\u0432\u0430 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u0441 \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c <em>a. <\/em>\u041f\u043e \u043a\u0430\u043a\u043e\u043c\u0443 \u0436\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0443 \u043d\u0430\u043c \u043f\u043e\u0439\u0442\u0438? \u0415\u0441\u043b\u0438 \u0432\u0441\u0442\u0430\u043b\u0438 \u043d\u0430 \u043f\u043e\u0434\u043e\u0431\u043d\u0443\u044e \u0440\u0430\u0437\u0432\u0438\u043b\u043a\u0443, \u0442\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0441\u0430\u043c \u0440\u0435\u0448\u0430\u0435\u0442, \u043a\u0443\u0434\u0430 \u043d\u0430\u043f\u0440\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435. \u041d\u043e \u0447\u0442\u043e, \u0435\u0441\u043b\u0438 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u0441\u0442\u044c? \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0435\u0441\u0442\u044c \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u041a\u0410.<\/p>\n<p><strong>\u0414\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 (\u0414\u041a\u0410)<\/strong> \u2013 \u044d\u0442\u043e \u041a\u0410, \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e \u043d\u0435\u0442 \u0441\u043b\u0443\u0447\u0430\u044f, \u043e\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u0433\u043e \u0432\u044b\u0448\u0435, \u0430 \u0442\u0430\u043a\u0436\u0435 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0442 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b<\/em>. \u0411\u043e\u043b\u0435\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e: \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 <em>\u03b4<\/em>( <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_i\" alt=\"q_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/19f\/d20\/2cf\/19fd202cf9a9bf7280cf878c63c04bf6.svg\" width=\"15\" height=\"15\"\/>, a) = <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_j\" alt=\"q_j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/94d\/1f2\/cb0\/94d1f2cb03d19ce9f4c5945dbf5b5978.svg\" width=\"16\" height=\"18\"\/>\u0438 <em>\u03b4<\/em>( <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_i\" alt=\"q_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/84b\/f41\/d46\/84bf41d46dffd47341e7b70e404251cc.svg\" width=\"15\" height=\"15\"\/>, a) = <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_k\" alt=\"q_k\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a96\/39f\/ec8\/a9639fec80a438229a643ee971882259.svg\" width=\"18\" height=\"15\"\/><\/p>\n<p>\u0418 \u044f \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u044e, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0437\u0430\u0445\u043e\u0442\u0435\u0442\u044c, \u043c\u043e\u0436\u043d\u043e \u0438\u0437 \u041d\u041a\u0410 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0414\u041a\u0410, \u043f\u0440\u0438\u0447\u0451\u043c \u043e\u043d\u0438 \u0431\u0443\u0434\u0443\u0442 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u044b! \u041d\u043e \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0441\u0442\u043e\u0438\u0442 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u0441 \u0442\u0435\u043c \u0437\u0430\u0433\u0430\u0434\u043e\u0447\u043d\u044b\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c <em>\u03b5. <\/em>\u042d\u0442\u043e \u0432\u0430\u0436\u043d\u043e \u0434\u043b\u044f \u043d\u0430\u0448\u0435\u0433\u043e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430. <\/p>\n<p><strong><em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434<\/em><\/strong><em> \u2013 <\/em>\u044d\u0442\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043f\u043e \u043f\u0443\u0441\u0442\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443. \u041d\u0430\u043c \u043d\u0430 \u0432\u0445\u043e\u0434 \u043f\u043e\u0434\u0430\u0451\u0442\u0441\u044f \u0441\u0442\u0440\u043e\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043c\u044b \u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c \u043f\u043e \u043e\u0434\u043d\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443. \u0421\u0447\u0438\u0442\u0430\u043b\u0438 \u0441\u0438\u043c\u0432\u043e\u043b \u2013 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043b\u0438 \u043f\u043e \u044d\u0442\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043a \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c\u0443 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044e. \u0421\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0438 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435. \u0410 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434 <\/em>\u0441\u0438\u0433\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u0442 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u0434\u043b\u044f \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043a \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044e \u043d\u0430\u043c \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435 \u043d\u0443\u0436\u0435\u043d \u0441\u0438\u043c\u0432\u043e\u043b \u2013 \u0431\u0435\u0440\u0451\u0448\u044c \u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0448\u044c. \u0421\u043e\u0433\u043b\u0430\u0441\u0438\u0442\u0435\u0441\u044c, \u0447\u0442\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u043a\u043b\u0430\u0441\u0441\u043d\u043e \u0438\u0445 \u0443\u0431\u0440\u0430\u0442\u044c? \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u0442\u0435 \u043d\u0430 \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0443 \u043d\u0438\u0436\u0435:<\/p>\n<figure class=\"\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/a0b\/cf2\/721\/a0bcf2721a8e0a08bdb226109b70507d.png\" width=\"517\" height=\"130\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a0b\/cf2\/721\/a0bcf2721a8e0a08bdb226109b70507d.png\"\/><figcaption><\/figcaption><\/figure>\n<p>\u0410 \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u043e\u0437\u044c\u043c\u0451\u043c \u0438 \u0443\u043f\u0440\u043e\u0441\u0442\u0438\u043c \u043d\u0430\u0448 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u2013 \u0441\u0445\u043b\u043e\u043f\u043d\u0435\u043c \u0440\u0435\u0431\u0440\u043e \u0441 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u043c. <\/em>\u041e\u043d<em> <\/em>\u0436\u0435 \u043d\u0430\u043c \u0441\u043e\u0432\u0441\u0435\u043c \u043d\u0435 \u043d\u0443\u0436\u0435\u043d, \u0435\u0449\u0451 \u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u0441\u043e\u043a\u0440\u0430\u0442\u0438\u043c. \u0410 \u0434\u0430\u0432\u0430\u0439\u0442\u0435:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/099\/aef\/958\/099aef958419921f0cb0db29b55befb4.png\" width=\"601\" height=\"170\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/099\/aef\/958\/099aef958419921f0cb0db29b55befb4.png\"\/><figcaption><\/figcaption><\/figure>\n<p>\u041a\u043e\u043d\u0446\u0435\u043f\u0442\u0443\u0430\u043b\u044c\u043d\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0441\u044f \u043d\u0430\u0448 \u0430\u0432\u0442\u043e\u043c\u0430\u0442? \u041d\u0443 \u043d\u0435. \u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u043d\u0430\u043c \u043f\u0440\u0438\u0448\u0451\u043b \u043d\u0430 \u0432\u0445\u043e\u0434 \u0441\u0438\u043c\u0432\u043e\u043b<em> a \u2013 <\/em>\u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043c\u044b \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043f\u043e <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0443, <\/em>\u0430 \u0437\u0430\u0442\u0435\u043c \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>\u0430 <\/em>\u043f\u0435\u0440\u0435\u0439\u0434\u0451\u043c \u0432 <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{13}\" alt=\"q_{13}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/045\/bcb\/e8b\/045bcbe8b24e5f88683d1138b9b81b17.svg\" width=\"24\" height=\"15\"\/>. \u0412\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043c\u044b \u0441\u0440\u0430\u0437\u0443 \u0436\u0435 \u043f\u0435\u0440\u0435\u0439\u0434\u0451\u043c \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>\u0430<\/em> \u0432 <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"q_{13}\" alt=\"q_{13}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3e5\/07f\/c15\/3e507fc15efbecf720bc9ec9df82c234.svg\" width=\"24\" height=\"15\"\/>.<\/p>\n<p>\u042d\u0442\u043e\u0442 \u0442\u0440\u044e\u043a \u043d\u0430\u043c \u043f\u0440\u0438\u0433\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435. \u0422\u0435\u043f\u0435\u0440\u044c, \u0437\u043d\u0430\u044f, \u0447\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 <em>\u03b5, <\/em>\u043d\u0443\u0436\u043d\u043e \u0432\u0432\u0435\u0441\u0442\u0438 3 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438:<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><strong>\u041e\u043f\u0435\u0440\u0430\u0446\u0438\u044f<\/strong><\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>\u041e\u043f\u0438\u0441\u0430\u043d\u0438\u0435<\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><em>\u03b5-closure(q)<\/em><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u0445 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f <em>q <\/em>\u0422\u041e\u041b\u042c\u041a\u041e \u043f\u043e <em>\u03b5<\/em>-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><em>\u03b5-closure(Q)<\/em><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u0445 \u0438\u0437 \u041a\u0410\u041a\u041e\u0413\u041e-\u041b\u0418\u0411\u041e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f <em>q <\/em><strong>\u2208 <\/strong><em>Q<\/em> \u0422\u041e\u041b\u042c\u041a\u041e \u043f\u043e <em>\u03b5<\/em>-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c   <\/p>\n<\/td>\n<\/tr>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><em>move(Q, a)<\/em><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u041d\u041a\u0410, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u0438\u0437 <em>q <\/em><strong>\u2208 <\/strong><em>Q<\/em> \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>\u0430<\/em>   <\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u0425\u043e\u0440\u043e\u0448\u043e, \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u0441\u0435 \u0437\u0432\u0451\u0437\u0434\u044b \u0441\u043e\u0448\u043b\u0438\u0441\u044c \u0438 \u043f\u043e\u0440\u0430 \u043f\u0440\u0438\u0441\u0442\u0443\u043f\u0438\u0442\u044c \u043a \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443. \u041d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0435\u0441\u0442\u044c \u0434\u0432\u0430: \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0422\u043e\u043c\u043f\u0441\u043e\u043d\u0430 \u0438 \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0442\u0430\u0431\u043b\u0438\u0446\u044b \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. \u041d\u043e \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0443\u0441\u044c \u043b\u0438\u0448\u044c \u043f\u0435\u0440\u0432\u044b\u043c, \u0442\u0430\u043a \u043a\u0430\u043a \u0441\u0447\u0438\u0442\u0430\u044e \u0435\u0433\u043e \u0431\u043e\u043b\u0435\u0435 \u043f\u043e\u043d\u044f\u0442\u043d\u044b\u043c.<\/p>\n<h2>\u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0422\u043e\u043c\u043f\u0441\u043e\u043d\u0430<\/h2>\n<p>\u041a\u0430\u043a \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0438\u0437 \u041d\u041a\u0410 \u0414\u041a\u0410? \u0423\u0431\u0440\u0430\u0442\u044c \u043e\u0434\u043d\u043e\u0438\u043c\u0451\u043d\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b \u0438 \u0438\u0437\u0431\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u043e\u0442 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. <\/em>\u0412 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435 \u0422\u043e\u043c\u043f\u0441\u043e\u043d\u0430 \u0435\u0441\u043b\u0438 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u041a\u0410 \u043a\u0430\u043a \u0433\u0440\u0430\u0444, \u0442\u043e \u044d\u0442\u043e \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0439 BFS (\u043e\u0431\u0445\u043e\u0434 \u0432 \u0448\u0438\u0440\u0438\u043d\u0443), \u0441 \u0441\u0445\u043b\u043e\u043f\u044b\u0432\u0430\u043d\u0438\u0435\u043c <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 <\/em>\u0438 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u0435\u0434\u0443\u0442 \u043e\u0434\u043d\u043e\u0438\u043c\u0451\u043d\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043a \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443, \u0430 \u0437\u0430\u0442\u0435\u043c \u0438 \u043a \u043f\u0440\u0438\u043c\u0435\u0440\u0443 \u2013 \u0442\u0430\u043c \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u0435.<\/p>\n<p><strong>\u0428\u0430\u0433 1.<\/strong>\u00a0\u041f\u043e\u043c\u0435\u0449\u0430\u0435\u043c \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u044c\u00a0<em>Queue<\/em>\u00a0\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u0441\u043e\u0441\u0442\u043e\u044f\u0449\u0435\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0438\u0437 \u0441\u0442\u0430\u0440\u0442\u043e\u0432\u043e\u0439 \u0432\u0435\u0440\u0448\u0438\u043d\u044b.<br \/><strong>\u0428\u0430\u0433 2.<\/strong>\u00a0\u0417\u0430\u0442\u0435\u043c, \u043f\u043e\u043a\u0430 \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u043d\u0435 \u043f\u0443\u0441\u0442\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f:<\/p>\n<ul>\n<li>\n<p>\u0414\u043e\u0441\u0442\u0430\u0435\u043c \u0438\u0437 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u043d\u0430\u0437\u043e\u0432\u0435\u043c \u0435\u0433\u043e\u00a0q<\/p>\n<\/li>\n<li>\n<p>\u0414\u043b\u044f \u0432\u0441\u0435\u0445\u00a0<em>c \u2208 \u03a3<\/em>\u00a0\u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0432 \u043a\u0430\u043a\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0432\u0435\u0434\u0435\u0442 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443\u00a0<strong><em>c<\/em><\/strong>\u00a0\u0438\u0437 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0432\u00a0q. \u041f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u043f\u043e\u043b\u043e\u0436\u0438\u043c \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u044c\u00a0<em>Queue<\/em>\u00a0\u0442\u043e\u043b\u044c\u043a\u043e \u0435\u0441\u043b\u0438 \u043e\u043d\u043e \u043d\u0435 \u043b\u0435\u0436\u0430\u043b\u043e \u0442\u0430\u043c \u0440\u0430\u043d\u044c\u0448\u0435. \u041a\u0430\u0436\u0434\u043e\u0435 \u0442\u0430\u043a\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432 \u0438\u0442\u043e\u0433\u043e\u0432\u043e\u043c \u0414\u041a\u0410 \u0431\u0443\u0434\u0435\u0442 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0448\u0438\u043d\u043e\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0431\u0443\u0434\u0443\u0442 \u0432\u0435\u0441\u0442\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b \u043f\u043e \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u0430\u043c.<\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0432 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435\u00a0<em>q<\/em>\u00a0\u0445\u043e\u0442\u044f \u0431\u044b \u043e\u0434\u043d\u0430 \u0438\u0437 \u0432\u0435\u0440\u0448\u0438\u043d \u0431\u044b\u043b\u0430 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0432 \u041d\u041a\u0410, \u0442\u043e \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0430\u044f \u0434\u0430\u043d\u043d\u043e\u043c\u0443 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0443 \u0432\u0435\u0440\u0448\u0438\u043d\u0430 \u0432 \u0414\u041a\u0410 \u0442\u0430\u043a\u0436\u0435 \u0431\u0443\u0434\u0435\u0442 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439.<\/p>\n<\/li>\n<\/ul>\n<p>\u041e\u0442\u043b\u0438\u0447\u043d\u043e! \u0418\u0437-\u0437\u0430 \u0440\u0430\u0437\u043d\u043e\u0441\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0438 \u0440\u0430\u0437\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u044f \u043f\u0440\u0438\u0432\u0435\u0434\u0443 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u043f\u0441\u0435\u0432\u0434\u043e\u043a\u043e\u0434. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u0412\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u043d\u0430\u0439\u0442\u0438 \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439, \u0433\u0434\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0434\u0430\u043d\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043d\u0430 C#.<\/p>\n<p><strong>\u0412\u0445\u043e\u0434:<\/strong> \u041dKA = (Q, \u03a3, \u03b4, q0, F).<br \/><strong>\u0412\u044b\u0445\u043e\u0434:<\/strong> \u0414\u041a\u0410 = (Q&#8217;, \u03a3, \u03b4&#8217;, q0&#8242;, F&#8217;).<\/p>\n<pre><code class=\"bash\">Q\u2032= \u2205 \u03b4\u2032 = \u2205 Queue = \u2205 currStates = \u2205 \/\/ \u041c\u043d-\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u0438\u0437 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 newStates = \u2205 \/\/ \u041c\u043d-\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043f\u0430\u0441\u0442\u044c \u0438\u0437 currStates Queue = Queue \u222a q0 while (Queue \u2209 \u2205) currStates = Queue.pop()     currStates = currStates \u222a \u03b5-closure(currStates)     foreach (a \u2208 \u03a3)     newStates = move (currStates, a)         if (\u03b5-closure(newStates) \u2209 Q\u2032)         Queue = Queue \u222a newStates             Q\u2032 = Q\u2032 \u222a \u03b5-closure(newStates)         end         if (newStates \u2209 \u2205)         \u03b4\u2032 = \u03b4\u2032 \u222a \u03b4(currStates, a)         end     end foreach end while<\/code><\/pre>\n<p><strong>\u0421\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c.<\/strong> \u0422\u0430\u043a \u043a\u0430\u043a \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u041d\u041a\u0410 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435, \u0447\u0435\u043c <img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"2^n\" alt=\"2^n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/77d\/7a4\/57a\/77d7a457af5c6e3c52e9c7b23babc490.svg\" width=\"20\" height=\"18\"\/>, \u0430 \u043a\u0430\u0436\u0434\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043c\u044b \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u043c \u0440\u043e\u0432\u043d\u043e \u043e\u0434\u0438\u043d \u0440\u0430\u0437 \u0437\u0430 \u0432\u0440\u0435\u043c\u044f\u00a0O(<em>n<\/em>), \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0432\u0435\u0440\u0445\u043d\u044e\u044e \u043e\u0446\u0435\u043d\u043a\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0440\u0430\u0431\u043e\u0442\u044b \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u2014\u00a0O(<img loading=\"lazy\" decoding=\"async\" class=\"formula inline\" source=\"n * 2^n\" alt=\"n * 2^n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f85\/4e1\/13e\/f854e113ebd96655d69dfcdb0a4fcb80.svg\" width=\"50\" height=\"18\"\/>).<\/p>\n<p>\u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u043e\u043f\u0443\u0441\u0442\u0438\u043c \u2013 \u043a\u043e\u043c\u0443 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u0432\u043e\u0442 <a href=\"https:\/\/neerc.ifmo.ru\/wiki\/index.php?title=%D0%9F%D0%BE%D1%81%D1%82%D1%80%D0%BE%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BF%D0%BE_%D0%9D%D0%9A%D0%90_%D1%8D%D0%BA%D0%B2%D0%B8%D0%B2%D0%B0%D0%BB%D0%B5%D0%BD%D1%82%D0%BD%D0%BE%D0%B3%D0%BE_%D0%94%D0%9A%D0%90,_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%A2%D0%BE%D0%BC%D0%BF%D1%81%D0%BE%D0%BD%D0%B0\" rel=\"noopener noreferrer nofollow\">\u0442\u0443\u0442<\/a> \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0435\u0433\u043e, \u0430 <a href=\"https:\/\/www.youtube.com\/watch?v=Bd_MKc2WF90&amp;list=PL4_hYwCyhAvYkVw2wY5Ax6Mq79vBGbze3&amp;index=2&amp;t=2970s\" rel=\"noopener noreferrer nofollow\">\u0442\u0443\u0442<\/a> \u2013 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c. \u041d\u043e \u044f \u0437\u0430\u0431\u044b\u043b \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u0442\u044c \u043f\u0440\u043e \u043e\u0434\u043d\u0443 \u0432\u0430\u0436\u043d\u0443\u044e \u0432\u0435\u0449\u044c! \u041a\u0430\u043a \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u044c \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e<em> \u03b5-closure(Q)<\/em>?<\/p>\n<p><strong>\u0418\u0434\u0435\u044f:<\/strong> \u0431\u0435\u0440\u0451\u043c \u043a\u0430\u0436\u0434\u0443\u044e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u0438 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u043c \u0438\u0437 \u043d\u0435\u0451 \u043f\u043e \u0432\u0441\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u043c <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c. <\/em>\u0412 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d\u043e-\u0432\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c \u0442\u043e\u043b\u044c\u043a\u043e \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u0441\u043c\u043e\u0433\u043b\u0438 \u043f\u0440\u0438\u0439\u0442\u0438. \u0422\u0430\u043a\u0436\u0435 \u043d\u0443\u0436\u043d\u043e \u0443\u0442\u043e\u0447\u043d\u0438\u0442\u044c, \u0447\u0442\u043e \u0432 \u043a\u0430\u0436\u0434\u0443\u044e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043f\u0430\u0441\u0442\u044c \u0438\u0437 \u0441\u0435\u0431\u044f \u0436\u0435 \u043f\u043e <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0443.<\/em><\/p>\n<p><strong>\u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f <em>\u03b5-closure(Q).<\/em><\/strong><\/p>\n<p><strong>\u0412\u0445\u043e\u0434:<\/strong> Q<br \/><strong>\u0412\u044b\u0445\u043e\u0434:<\/strong> <em>ReachableStates<\/em><\/p>\n<pre><code class=\"bash\">ReachableStates = \u2205 nextStates = \u2205 foreach (q \u2208 Q) nextStates = \u03b5-closure(q)   if (nextStates \u2209 \u2205)     if (nextStates \u2209 ReachableStates)       ReachableStates = ReachableStates \u222a nextStates         end     end end foreach<\/code><\/pre>\n<p>\u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u0432\u0430\u043c \u0441\u0430\u043c\u0438\u043c \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u043e\u0439\u0442\u0438\u0441\u044c \u043f\u043e \u044d\u0442\u043e\u043c\u0443 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443 \u0438 \u043d\u0430\u0439\u0442\u0438 <em>\u03b5-closure(Q) <\/em>\u0434\u043b\u044f \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u041a\u0410 \u0441 Q = {1, 2, 3, 4, 5, 6, 7, 8, 9}:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/c99\/030\/1e3\/c990301e3ba6f6a803ee480fee8a89fd.png\" width=\"891\" height=\"282\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/c99\/030\/1e3\/c990301e3ba6f6a803ee480fee8a89fd.png\"\/><figcaption><\/figcaption><\/figure>\n<details class=\"spoiler\">\n<summary>\u041e\u0442\u0432\u0435\u0442 <\/summary>\n<div class=\"spoiler__content\">\n<p>\u0421\u043b\u0435\u0434\u0443\u044f \u0432\u044b\u0448\u0435\u043e\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u043c\u0443 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443, \u043f\u043e\u043b\u0443\u0447\u0438\u043c \u03b5-closure(Q) = {1, 2, 4, 6, 7, 8, 9}.<\/p>\n<\/div>\n<\/details>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c, \u0437\u043d\u0430\u044f \u0432\u0441\u0451 \u044d\u0442\u043e, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0434\u043e\u0439\u0442\u0438 \u043a \u043f\u0440\u0438\u043c\u0435\u0440\u0443 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f.<br \/><em>\u041f\u0440\u0438\u043c\u0435\u0440<\/em>. \u0417\u0430\u0434\u0430\u043d\u00a0\u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u2211 = {0, 1, 2, ,}:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/55c\/ad6\/5ca\/55cad65ca7e45d0699f62fab974730e5.png\" width=\"813\" height=\"337\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/55c\/ad6\/5ca\/55cad65ca7e45d0699f62fab974730e5.png\"\/><figcaption><\/figcaption><\/figure>\n<p>\u041d\u0443\u0436\u043d\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u044b\u0439 \u0414\u041a\u0410. <\/p>\n<p>\u041f\u0440\u0438\u0432\u0435\u0434\u0451\u043c \u0432\u0441\u0435 \u0448\u0430\u0433\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0434\u043b\u044f \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u0430:<br \/>delta <em>\u03b4<\/em>\u2019 \u2013 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442, \u043a\u0430\u043a\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438<br \/>\u0418\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u043a\u043b\u0430\u0434\u0451\u043c \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435. <br \/>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 0<br \/>Q\u2019: \u2205<br \/>Queue: S<br \/>Cur: S<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(S, 0) <\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 1<br \/>Q\u2019: S<br \/>Queue: B<br \/>Cur: B<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(B, +), <em>\u03b4<\/em>(B, 0)<\/p>\n<p><em>\u041d\u0430 \u044d\u0442\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u043c\u044b \u0441\u0445\u043b\u043e\u043f\u044b\u0432\u0430\u0435\u043c \u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434, \u043f\u043e\u043b\u0443\u0447\u0430\u044f \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 DE, \u0432\u043c\u0435\u0441\u0442\u043e D \u0438 E.<br \/><\/em>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 2<br \/>Q\u2019: S, B<br \/>Queue: D<br \/>Cur: DE<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(DE, 0)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 3<br \/>Q\u2019: S, B, DE<br \/>Queue: F<br \/>Cur: F<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(F, ,)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 4<br \/>Q\u2019: S, B, DE, F<br \/>Queue: G<br \/>Cur: G<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(G, 1)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 5<br \/>Q\u2019: S, B, DE, F, G<br \/>Queue: H<br \/>Cur: H<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(H, ,)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 6<br \/>Q\u2019: S, B, DE, F, G, H<br \/>Queue: J<br \/>Cur: J<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(J, 2) \u2013 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 qfE<\/p>\n<p><em>\u041d\u0430 \u044d\u0442\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u043c\u044b \u0441\u0445\u043b\u043e\u043f\u044b\u0432\u0430\u0435\u043c \u0434\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (qf \u0438 E) \u0432 \u043e\u0434\u043d\u043e (qfE), \u0442\u0430\u043a \u043a\u0430\u043a \u0432 \u043e\u0431\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0432\u0435\u0434\u0451\u0442 \u043e\u0434\u0438\u043d \u0438 \u0442\u043e\u0442 \u0436\u0435 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b \u2013 2.<br \/><\/em>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 7<br \/>Q\u2019: S, B, DE, F, G, H, J, qfE<br \/>Queue: qfE<br \/>Cur: F<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(qfE, 0) \u2013 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 F<\/p>\n<p><em>F \u043d\u0435 \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c, \u0442\u0430\u043a \u043a\u0430\u043a \u043e\u043d\u043e \u0443\u0436\u0435 \u0435\u0441\u0442\u044c \u0432 \u043c\u043d\u043e-\u0432\u0435<\/em><br \/>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 8 <br \/>Q\u2019: S, B, DE, F, G, H, J, qfE<br \/>Queue: \u2205<br \/>Cur: \u2205<br \/>delta <em>\u03b4<\/em>\u2019: &#8212;<\/p>\n<p>\u041e\u0447\u0435\u0440\u0435\u0434\u044c \u043f\u0443\u0441\u0442\u0430. \u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0437\u0430\u0432\u0435\u0440\u0448\u0451\u043d.<br \/>\u0418\u0442\u043e\u0433\u043e, \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c:<br \/>Q\u2019: S, B, DE, F, G, H, J, qfE<br \/><em>\u03b4\u2019<\/em>: <br \/><em>\u03b4<\/em>(S, 0)<br \/><em>\u03b4<\/em>(B, 0)<br \/><em>\u03b4<\/em>(B, +)<br \/><em>\u03b4<\/em>(DE, 0)<br \/><em>\u03b4<\/em>(F, ,)<br \/><em>\u03b4<\/em>(G, 1)<br \/><em>\u03b4<\/em>(H, ,)<br \/><em>\u03b4<\/em>(J, 2)<br \/><em>\u03b4<\/em>(qfE, 0)<br \/>F\u2019: qfE<br \/>\u0413\u0440\u0430\u0444 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0414\u041a\u0410 \u0438\u043c\u0435\u0435\u0442 \u0432\u0438\u0434:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/3de\/4bf\/f70\/3de4bff70d6d51bd55e96ec45be511e0.png\" width=\"810\" height=\"349\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3de\/4bf\/f70\/3de4bff70d6d51bd55e96ec45be511e0.png\"\/><figcaption><\/figcaption><\/figure>\n<p>\u041a\u043e\u043d\u0435\u0446. \u041a\u0430\u043a \u0438 \u043e\u0431\u0435\u0449\u0430\u043b, <a href=\"https:\/\/github.com\/Maxsmile123\/Thompson-algorithm\" rel=\"noopener noreferrer nofollow\">\u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439<\/a>, \u0433\u0434\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0434\u0430\u043d\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c. <\/p>\n<p>\u0421\u043f\u0430\u0441\u0438\u0431\u043e \u0437\u0430 \u043f\u0440\u043e\u0447\u0442\u0435\u043d\u0438\u0435! \u042d\u0442\u043e \u0431\u044b\u043b\u0430 \u043c\u043e\u044f \u043f\u0435\u0440\u0432\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043d\u0430 \u0425\u0430\u0431\u0440\u0435: \u0431\u0443\u0434\u0443 \u0440\u0430\u0434 \u043b\u044e\u0431\u043e\u0439 \u043a\u0440\u0438\u0442\u0438\u043a\u0435 \u0438\u043b\u0438 \u043f\u043e\u0445\u0432\u0430\u043b\u0435. \u0423\u0434\u0430\u0447\u043d\u043e\u0433\u043e \u0434\u043d\u044f!<\/p>\n<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p><!----><!----><\/div>\n<p><!----><!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/671742\/\"> https:\/\/habr.com\/ru\/articles\/671742\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u041f\u0440\u0438\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e, \u043a\u043e\u043b\u043b\u0435\u0433\u0438! \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u0412\u0430\u043c \u043e\u043a\u0443\u043d\u0443\u0442\u044c\u0441\u044f \u0432 \u043c\u0438\u0440 \u0442\u0435\u043e\u0440\u0438\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432, \u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u0432 \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u0443 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432. <\/p>\n<p>\u0426\u0435\u043b\u044c \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438: \u043f\u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u044c \u0412\u0430\u0441 \u0441 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u043c \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u0438\u0437 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430. \u0418 \u0441\u0440\u0430\u0437\u0443 \u043a\u0443\u0447\u0430 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432: \u0437\u0430\u0447\u0435\u043c \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u043b\u043e\u0441\u044c \u0434\u0430\u043d\u043d\u043e\u0435 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u0414\u041a\u0410 \u0438 \u041d\u041a\u0410 \u0438 \u0437\u0430\u0447\u0435\u043c \u043c\u043d\u0435 \u044d\u0442\u043e \u0437\u043d\u0430\u0442\u044c? \u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u043c\u043e\u0442\u0438\u0432\u0430\u0446\u0438\u0438. <\/p>\n<h2>\u0417\u0430\u0447\u0435\u043c?<\/h2>\n<p>\u041b\u044e\u0431\u043e\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0432 \u0432\u0438\u0434\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430. \u041e\u0431\u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u044c \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0432\u044b\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u043e\u0438\u0442 \u0438\u0441\u043a\u0430\u0442\u044c \u0432 \u0442\u0435\u043e\u0440\u0438\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u043e\u0439 \u0441 \u043d\u0435\u0431\u0435\u0437\u044b\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u043e\u0439 \u0422\u044c\u044e\u0440\u0438\u043d\u0433\u0430. \u0422\u0435\u043e\u0440\u0438\u044f \u2014 \u044d\u0442\u043e \u043a\u043b\u0430\u0441\u0441\u043d\u043e, \u0442\u0435\u043e\u0440\u0438\u044f \u2014 \u044d\u0442\u043e \u0441\u0443\u043f\u0435\u0440\u2026 \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0443.<\/p>\n<p>\u0420\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u044b\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0441\u0442\u0440\u043e\u044f\u0442\u0441\u044f \u043d\u0430 \u041a\u0410.<br \/>\u0421\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043d\u0430 \u041a\u0410 \u2013 \u043f\u0440\u0438\u0432\u0435\u0442, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u044b!<br \/>\u0418\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u043e\u0438\u0441\u043a\u0430 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u043f\u0430\u0442\u0442\u0435\u0440\u043d\u043e\u0432 \u0432 \u0442\u0435\u043a\u0441\u0442\u0435 \u0410\u0445\u043e-\u041a\u043e\u0440\u0430\u0441\u0438\u043a \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0438\u0434\u0435\u044e \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430.<\/p>\n<p>\u041d\u0430\u0434\u0435\u044e\u0441\u044c, \u044d\u0442\u043e\u0433\u043e \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e, \u0447\u0442\u043e\u0431\u044b \u0443\u0431\u0435\u0434\u0438\u0442\u044c \u0432\u0430\u0441 \u0432 \u0432\u0430\u0436\u043d\u043e\u0441\u0442\u0438 \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c \u0434\u0430\u043d\u043d\u0443\u044e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044e ?<\/p>\n<h2>\u041f\u0430\u0447\u043a\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0439<\/h2>\n<p><strong>\u041a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 (\u041a\u0410)<\/strong> \u2013 \u043f\u044f\u0442\u0451\u0440\u043a\u0430 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432, \u0432\u043c\u0435\u0441\u0442\u0435 \u043e\u0431\u0440\u0430\u0437\u0443\u044e\u0449\u0438\u0445 \u0435\u0434\u0438\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443. \u0411\u043e\u043b\u0435\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e: \u041a\u0410 = {<em>Q, \u2211, \u03b4,<\/em> , <em>F<\/em>}, \u0433\u0434\u0435 <em>Q<\/em> \u2013 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d-\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u2211 &#8212; \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u0430\u043b\u0444\u0430\u0432\u0438\u0442, <em>\u03b4<\/em> \u2013 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430, <strong>\u2208<\/strong>  <em>Q &#8212; <\/em>\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, <em>F<\/em> <strong>\u2208<\/strong>  <em>Q &#8212; <\/em>\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d-\u0432\u043e \u0437\u0430\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439.<\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435. \u0414\u0430\u043d \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442:<\/p>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<p><em>Q<\/em> \u2013 \u044d\u0442\u043e \u0432\u0441\u0435 \u0431\u043e\u043b\u044c\u0448\u0438\u0435 \u043a\u0440\u0443\u0436\u043e\u0447\u043a\u0438, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0449\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u041a\u0410. \u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 <em>Q<\/em> = { , ,,,}. \u0421\u0438\u043c\u0432\u043e\u043b\u044b, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0449\u0438\u0435 \u0442\u0430\u043a\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438. <\/p>\n<p>\u2211 \u2014 \u044d\u0442\u043e \u0432\u0441\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044b, \u043f\u043e \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043c\u043e\u0436\u043d\u043e \u0441\u043e\u0432\u0435\u0440\u0448\u0438\u0442\u044c \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043a \u0434\u0440\u0443\u0433\u0438\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c, \u0442. \u0435. \u0432\u0441\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044b \u043d\u0430\u0434 \u0441\u0442\u0440\u0435\u043b\u043e\u0447\u043a\u0430\u043c\u0438. \u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u2211 = {a}. \u0421\u0438\u043c\u0432\u043e\u043b\u044b, \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0435 \u0432 \u044d\u0442\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438. \u041f\u0440\u043e <em>\u03b5 <\/em>\u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c \u043d\u0438\u0436\u0435 \u2013 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c \u044d\u0442\u043e \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0438 \u0432 \u0430\u043b\u0444\u0430\u0432\u0438\u0442 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u043d\u0435 \u0432\u0445\u043e\u0434\u0438\u0442.<\/p>\n<p> = { } &#8212; \u044d\u0442\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442.<\/p>\n<p><em>F<\/em> = { } &#8212; \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u041a\u0410 \u0437\u0430\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f. \u041d\u0430 \u0440\u0438\u0441\u0443\u043d\u043a\u0430\u0445 \u0447\u0430\u0441\u0442\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0442 \u043a\u0430\u043a \u0434\u0432\u043e\u0439\u043d\u043e\u0439 \u043a\u0440\u0443\u0436\u043e\u043a, \u043b\u0438\u0431\u043e \u043a \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443 \u043f\u0440\u0438\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442 \u043d\u0438\u0436\u043d\u0438\u0439 \u0438\u043d\u0434\u0435\u043a\u0441 <em>f. <\/em><\/p>\n<p><em>\u03b4<\/em> \u2013 \u0410 \u044d\u0442\u043e \u043d\u0435\u043a\u0438\u0439 \u0441\u0432\u043e\u0434 \u043f\u0440\u0430\u0432\u0438\u043b, \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0439, \u043a\u0430\u043a \u041a\u0410 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u0432\u0435\u0440\u0448\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u0445\u043e\u0434. \u041d\u0430 \u0440\u0438\u0441\u0443\u043d\u043a\u0435 \u044d\u0442\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u0441\u043e\u0431\u043e\u0439 \u0441\u0442\u0440\u0435\u043b\u043e\u0447\u043a\u0438. \u0417\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0442\u0430\u043a: <em>\u03b4<\/em>( , a) = <br \/>\u0422.\u0435. \u043f\u0440\u043e\u0439\u0434\u044f \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>a<\/em> \u043f\u043e\u043f\u0430\u0434\u0451\u043c \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 . \u0427\u0430\u0441\u0442\u043e \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u043d\u0435 \u043f\u0438\u0448\u0443\u0442, \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044f \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u0430\u043a\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430. <\/p>\n<p>\u041e\u0442\u043b\u0438\u0447\u043d\u043e, \u0441 \u044d\u0442\u0438\u043c \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043b\u0438\u0441\u044c! \u0415\u0449\u0451 \u043f\u0430\u0440\u043e\u0447\u043a\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0439.<\/p>\n<p><strong>\u041d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 (\u041d\u041a\u0410) \u2013 <\/strong>\u044d\u0442\u043e \u041a\u0410, \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0435\u0441\u0442\u044c 2 \u0438 \u0431\u043e\u043b\u0435\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u043f\u043e \u043e\u0434\u043d\u043e\u043c\u0443 \u0438 \u0442\u043e\u043c\u0443 \u0436\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u0443. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435.<\/p>\n<figure class=\"\"><figcaption><\/figcaption><\/figure>\n<p>\u042d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0439 \u041d\u041a\u0410 \u2013 \u0438\u0437 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0434\u0432\u0430 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u0441 \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c <em>a. <\/em>\u041f\u043e \u043a\u0430\u043a\u043e\u043c\u0443 \u0436\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0443 \u043d\u0430\u043c \u043f\u043e\u0439\u0442\u0438? \u0415\u0441\u043b\u0438 \u0432\u0441\u0442\u0430\u043b\u0438 \u043d\u0430 \u043f\u043e\u0434\u043e\u0431\u043d\u0443\u044e \u0440\u0430\u0437\u0432\u0438\u043b\u043a\u0443, \u0442\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0441\u0430\u043c \u0440\u0435\u0448\u0430\u0435\u0442, \u043a\u0443\u0434\u0430 \u043d\u0430\u043f\u0440\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435. \u041d\u043e \u0447\u0442\u043e, \u0435\u0441\u043b\u0438 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u0441\u0442\u044c? \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0435\u0441\u0442\u044c \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u041a\u0410.<\/p>\n<p><strong>\u0414\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 (\u0414\u041a\u0410)<\/strong> \u2013 \u044d\u0442\u043e \u041a\u0410, \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e \u043d\u0435\u0442 \u0441\u043b\u0443\u0447\u0430\u044f, \u043e\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u0433\u043e \u0432\u044b\u0448\u0435, \u0430 \u0442\u0430\u043a\u0436\u0435 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0442 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b<\/em>. \u0411\u043e\u043b\u0435\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e: \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 <em>\u03b4<\/em>( , a) = \u0438 <em>\u03b4<\/em>( , a) = <\/p>\n<p>\u0418 \u044f \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u044e, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0437\u0430\u0445\u043e\u0442\u0435\u0442\u044c, \u043c\u043e\u0436\u043d\u043e \u0438\u0437 \u041d\u041a\u0410 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0414\u041a\u0410, \u043f\u0440\u0438\u0447\u0451\u043c \u043e\u043d\u0438 \u0431\u0443\u0434\u0443\u0442 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u044b! \u041d\u043e \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0441\u0442\u043e\u0438\u0442 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u0441 \u0442\u0435\u043c \u0437\u0430\u0433\u0430\u0434\u043e\u0447\u043d\u044b\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c <em>\u03b5. <\/em>\u042d\u0442\u043e \u0432\u0430\u0436\u043d\u043e \u0434\u043b\u044f \u043d\u0430\u0448\u0435\u0433\u043e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430. <\/p>\n<p><strong><em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434<\/em><\/strong><em> \u2013 <\/em>\u044d\u0442\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043f\u043e \u043f\u0443\u0441\u0442\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443. \u041d\u0430\u043c \u043d\u0430 \u0432\u0445\u043e\u0434 \u043f\u043e\u0434\u0430\u0451\u0442\u0441\u044f \u0441\u0442\u0440\u043e\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043c\u044b \u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c \u043f\u043e \u043e\u0434\u043d\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443. \u0421\u0447\u0438\u0442\u0430\u043b\u0438 \u0441\u0438\u043c\u0432\u043e\u043b \u2013 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043b\u0438 \u043f\u043e \u044d\u0442\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u0443 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043a \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c\u0443 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044e. \u0421\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0438 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435. \u0410 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434 <\/em>\u0441\u0438\u0433\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u0442 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u0434\u043b\u044f \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043a \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044e \u043d\u0430\u043c \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435 \u043d\u0443\u0436\u0435\u043d \u0441\u0438\u043c\u0432\u043e\u043b \u2013 \u0431\u0435\u0440\u0451\u0448\u044c \u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0448\u044c. \u0421\u043e\u0433\u043b\u0430\u0441\u0438\u0442\u0435\u0441\u044c, \u0447\u0442\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u043a\u043b\u0430\u0441\u0441\u043d\u043e \u0438\u0445 \u0443\u0431\u0440\u0430\u0442\u044c? \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u0442\u0435 \u043d\u0430 \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0443 \u043d\u0438\u0436\u0435:<\/p>\n<figure class=\"\"><figcaption><\/figcaption><\/figure>\n<p>\u0410 \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u043e\u0437\u044c\u043c\u0451\u043c \u0438 \u0443\u043f\u0440\u043e\u0441\u0442\u0438\u043c \u043d\u0430\u0448 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u2013 \u0441\u0445\u043b\u043e\u043f\u043d\u0435\u043c \u0440\u0435\u0431\u0440\u043e \u0441 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u043c. <\/em>\u041e\u043d<em> <\/em>\u0436\u0435 \u043d\u0430\u043c \u0441\u043e\u0432\u0441\u0435\u043c \u043d\u0435 \u043d\u0443\u0436\u0435\u043d, \u0435\u0449\u0451 \u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u0441\u043e\u043a\u0440\u0430\u0442\u0438\u043c. \u0410 \u0434\u0430\u0432\u0430\u0439\u0442\u0435:<\/p>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<p>\u041a\u043e\u043d\u0446\u0435\u043f\u0442\u0443\u0430\u043b\u044c\u043d\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u0441\u044f \u043d\u0430\u0448 \u0430\u0432\u0442\u043e\u043c\u0430\u0442? \u041d\u0443 \u043d\u0435. \u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u043d\u0430\u043c \u043f\u0440\u0438\u0448\u0451\u043b \u043d\u0430 \u0432\u0445\u043e\u0434 \u0441\u0438\u043c\u0432\u043e\u043b<em> a \u2013 <\/em>\u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043c\u044b \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043f\u043e <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0443, <\/em>\u0430 \u0437\u0430\u0442\u0435\u043c \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>\u0430 <\/em>\u043f\u0435\u0440\u0435\u0439\u0434\u0451\u043c \u0432 . \u0412\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043c\u044b \u0441\u0440\u0430\u0437\u0443 \u0436\u0435 \u043f\u0435\u0440\u0435\u0439\u0434\u0451\u043c \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>\u0430<\/em> \u0432 .<\/p>\n<p>\u042d\u0442\u043e\u0442 \u0442\u0440\u044e\u043a \u043d\u0430\u043c \u043f\u0440\u0438\u0433\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435. \u0422\u0435\u043f\u0435\u0440\u044c, \u0437\u043d\u0430\u044f, \u0447\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 <em>\u03b5, <\/em>\u043d\u0443\u0436\u043d\u043e \u0432\u0432\u0435\u0441\u0442\u0438 3 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438:<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><strong>\u041e\u043f\u0435\u0440\u0430\u0446\u0438\u044f<\/strong><\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>\u041e\u043f\u0438\u0441\u0430\u043d\u0438\u0435<\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><em>\u03b5-closure(q)<\/em><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u0445 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f <em>q <\/em>\u0422\u041e\u041b\u042c\u041a\u041e \u043f\u043e <em>\u03b5<\/em>-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><em>\u03b5-closure(Q)<\/em><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u0445 \u0438\u0437 \u041a\u0410\u041a\u041e\u0413\u041e-\u041b\u0418\u0411\u041e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f <em>q <\/em><strong>\u2208 <\/strong><em>Q<\/em> \u0422\u041e\u041b\u042c\u041a\u041e \u043f\u043e <em>\u03b5<\/em>-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c   <\/p>\n<\/td>\n<\/tr>\n<tr>\n<td data-colwidth=\"350\" width=\"350\">\n<p align=\"left\"><em>move(Q, a)<\/em><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u041d\u041a\u0410, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u0438\u0437 <em>q <\/em><strong>\u2208 <\/strong><em>Q<\/em> \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443 <em>\u0430<\/em>   <\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u0425\u043e\u0440\u043e\u0448\u043e, \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u0441\u0435 \u0437\u0432\u0451\u0437\u0434\u044b \u0441\u043e\u0448\u043b\u0438\u0441\u044c \u0438 \u043f\u043e\u0440\u0430 \u043f\u0440\u0438\u0441\u0442\u0443\u043f\u0438\u0442\u044c \u043a \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443. \u041d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0435\u0441\u0442\u044c \u0434\u0432\u0430: \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0422\u043e\u043c\u043f\u0441\u043e\u043d\u0430 \u0438 \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0442\u0430\u0431\u043b\u0438\u0446\u044b \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. \u041d\u043e \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0443\u0441\u044c \u043b\u0438\u0448\u044c \u043f\u0435\u0440\u0432\u044b\u043c, \u0442\u0430\u043a \u043a\u0430\u043a \u0441\u0447\u0438\u0442\u0430\u044e \u0435\u0433\u043e \u0431\u043e\u043b\u0435\u0435 \u043f\u043e\u043d\u044f\u0442\u043d\u044b\u043c.<\/p>\n<h2>\u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0422\u043e\u043c\u043f\u0441\u043e\u043d\u0430<\/h2>\n<p>\u041a\u0430\u043a \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0438\u0437 \u041d\u041a\u0410 \u0414\u041a\u0410? \u0423\u0431\u0440\u0430\u0442\u044c \u043e\u0434\u043d\u043e\u0438\u043c\u0451\u043d\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b \u0438 \u0438\u0437\u0431\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u043e\u0442 <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. <\/em>\u0412 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435 \u0422\u043e\u043c\u043f\u0441\u043e\u043d\u0430 \u0435\u0441\u043b\u0438 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u041a\u0410 \u043a\u0430\u043a \u0433\u0440\u0430\u0444, \u0442\u043e \u044d\u0442\u043e \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0439 BFS (\u043e\u0431\u0445\u043e\u0434 \u0432 \u0448\u0438\u0440\u0438\u043d\u0443), \u0441 \u0441\u0445\u043b\u043e\u043f\u044b\u0432\u0430\u043d\u0438\u0435\u043c <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 <\/em>\u0438 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u0435\u0434\u0443\u0442 \u043e\u0434\u043d\u043e\u0438\u043c\u0451\u043d\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043a \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443, \u0430 \u0437\u0430\u0442\u0435\u043c \u0438 \u043a \u043f\u0440\u0438\u043c\u0435\u0440\u0443 \u2013 \u0442\u0430\u043c \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u0435.<\/p>\n<p><strong>\u0428\u0430\u0433 1.<\/strong>\u00a0\u041f\u043e\u043c\u0435\u0449\u0430\u0435\u043c \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u044c\u00a0<em>Queue<\/em>\u00a0\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u0441\u043e\u0441\u0442\u043e\u044f\u0449\u0435\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0438\u0437 \u0441\u0442\u0430\u0440\u0442\u043e\u0432\u043e\u0439 \u0432\u0435\u0440\u0448\u0438\u043d\u044b.<br \/><strong>\u0428\u0430\u0433 2.<\/strong>\u00a0\u0417\u0430\u0442\u0435\u043c, \u043f\u043e\u043a\u0430 \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u043d\u0435 \u043f\u0443\u0441\u0442\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f:<\/p>\n<ul>\n<li>\n<p>\u0414\u043e\u0441\u0442\u0430\u0435\u043c \u0438\u0437 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u043d\u0430\u0437\u043e\u0432\u0435\u043c \u0435\u0433\u043e\u00a0q<\/p>\n<\/li>\n<li>\n<p>\u0414\u043b\u044f \u0432\u0441\u0435\u0445\u00a0<em>c \u2208 \u03a3<\/em>\u00a0\u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0432 \u043a\u0430\u043a\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0432\u0435\u0434\u0435\u0442 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043f\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u0443\u00a0<strong><em>c<\/em><\/strong>\u00a0\u0438\u0437 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0432\u00a0q. \u041f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u043f\u043e\u043b\u043e\u0436\u0438\u043c \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u044c\u00a0<em>Queue<\/em>\u00a0\u0442\u043e\u043b\u044c\u043a\u043e \u0435\u0441\u043b\u0438 \u043e\u043d\u043e \u043d\u0435 \u043b\u0435\u0436\u0430\u043b\u043e \u0442\u0430\u043c \u0440\u0430\u043d\u044c\u0448\u0435. \u041a\u0430\u0436\u0434\u043e\u0435 \u0442\u0430\u043a\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432 \u0438\u0442\u043e\u0433\u043e\u0432\u043e\u043c \u0414\u041a\u0410 \u0431\u0443\u0434\u0435\u0442 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0448\u0438\u043d\u043e\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0431\u0443\u0434\u0443\u0442 \u0432\u0435\u0441\u0442\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b \u043f\u043e \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u0430\u043c.<\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0432 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435\u00a0<em>q<\/em>\u00a0\u0445\u043e\u0442\u044f \u0431\u044b \u043e\u0434\u043d\u0430 \u0438\u0437 \u0432\u0435\u0440\u0448\u0438\u043d \u0431\u044b\u043b\u0430 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0432 \u041d\u041a\u0410, \u0442\u043e \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0430\u044f \u0434\u0430\u043d\u043d\u043e\u043c\u0443 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0443 \u0432\u0435\u0440\u0448\u0438\u043d\u0430 \u0432 \u0414\u041a\u0410 \u0442\u0430\u043a\u0436\u0435 \u0431\u0443\u0434\u0435\u0442 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439.<\/p>\n<\/li>\n<\/ul>\n<p>\u041e\u0442\u043b\u0438\u0447\u043d\u043e! \u0418\u0437-\u0437\u0430 \u0440\u0430\u0437\u043d\u043e\u0441\u0442\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0438 \u0440\u0430\u0437\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u044f \u043f\u0440\u0438\u0432\u0435\u0434\u0443 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u043f\u0441\u0435\u0432\u0434\u043e\u043a\u043e\u0434. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u0412\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u043d\u0430\u0439\u0442\u0438 \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439, \u0433\u0434\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0434\u0430\u043d\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043d\u0430 C#.<\/p>\n<p><strong>\u0412\u0445\u043e\u0434:<\/strong> \u041dKA = (Q, \u03a3, \u03b4, q0, F).<br \/><strong>\u0412\u044b\u0445\u043e\u0434:<\/strong> \u0414\u041a\u0410 = (Q&#8217;, \u03a3, \u03b4&#8217;, q0&#8242;, F&#8217;).<\/p>\n<pre><code class=\"bash\">Q\u2032= \u2205 \u03b4\u2032 = \u2205 Queue = \u2205 currStates = \u2205 \/\/ \u041c\u043d-\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u0438\u0437 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 newStates = \u2205 \/\/ \u041c\u043d-\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043f\u0430\u0441\u0442\u044c \u0438\u0437 currStates Queue = Queue \u222a q0 while (Queue \u2209 \u2205) currStates = Queue.pop()     currStates = currStates \u222a \u03b5-closure(currStates)     foreach (a \u2208 \u03a3)     newStates = move (currStates, a)         if (\u03b5-closure(newStates) \u2209 Q\u2032)         Queue = Queue \u222a newStates             Q\u2032 = Q\u2032 \u222a \u03b5-closure(newStates)         end         if (newStates \u2209 \u2205)         \u03b4\u2032 = \u03b4\u2032 \u222a \u03b4(currStates, a)         end     end foreach end while<\/code><\/pre>\n<p><strong>\u0421\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c.<\/strong> \u0422\u0430\u043a \u043a\u0430\u043a \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u041d\u041a\u0410 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435, \u0447\u0435\u043c , \u0430 \u043a\u0430\u0436\u0434\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043c\u044b \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u043c \u0440\u043e\u0432\u043d\u043e \u043e\u0434\u0438\u043d \u0440\u0430\u0437 \u0437\u0430 \u0432\u0440\u0435\u043c\u044f\u00a0O(<em>n<\/em>), \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0432\u0435\u0440\u0445\u043d\u044e\u044e \u043e\u0446\u0435\u043d\u043a\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0440\u0430\u0431\u043e\u0442\u044b \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u2014\u00a0O().<\/p>\n<p>\u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u043e\u043f\u0443\u0441\u0442\u0438\u043c \u2013 \u043a\u043e\u043c\u0443 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u0432\u043e\u0442 <a href=\"https:\/\/neerc.ifmo.ru\/wiki\/index.php?title=%D0%9F%D0%BE%D1%81%D1%82%D1%80%D0%BE%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BF%D0%BE_%D0%9D%D0%9A%D0%90_%D1%8D%D0%BA%D0%B2%D0%B8%D0%B2%D0%B0%D0%BB%D0%B5%D0%BD%D1%82%D0%BD%D0%BE%D0%B3%D0%BE_%D0%94%D0%9A%D0%90,_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%A2%D0%BE%D0%BC%D0%BF%D1%81%D0%BE%D0%BD%D0%B0\" rel=\"noopener noreferrer nofollow\">\u0442\u0443\u0442<\/a> \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0435\u0433\u043e, \u0430 <a href=\"https:\/\/www.youtube.com\/watch?v=Bd_MKc2WF90&amp;list=PL4_hYwCyhAvYkVw2wY5Ax6Mq79vBGbze3&amp;index=2&amp;t=2970s\" rel=\"noopener noreferrer nofollow\">\u0442\u0443\u0442<\/a> \u2013 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c. \u041d\u043e \u044f \u0437\u0430\u0431\u044b\u043b \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u0442\u044c \u043f\u0440\u043e \u043e\u0434\u043d\u0443 \u0432\u0430\u0436\u043d\u0443\u044e \u0432\u0435\u0449\u044c! \u041a\u0430\u043a \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u044c \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e<em> \u03b5-closure(Q)<\/em>?<\/p>\n<p><strong>\u0418\u0434\u0435\u044f:<\/strong> \u0431\u0435\u0440\u0451\u043c \u043a\u0430\u0436\u0434\u0443\u044e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u0438 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u043c \u0438\u0437 \u043d\u0435\u0451 \u043f\u043e \u0432\u0441\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u043c <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c. <\/em>\u0412 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d\u043e-\u0432\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c \u0442\u043e\u043b\u044c\u043a\u043e \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u0441\u043c\u043e\u0433\u043b\u0438 \u043f\u0440\u0438\u0439\u0442\u0438. \u0422\u0430\u043a\u0436\u0435 \u043d\u0443\u0436\u043d\u043e \u0443\u0442\u043e\u0447\u043d\u0438\u0442\u044c, \u0447\u0442\u043e \u0432 \u043a\u0430\u0436\u0434\u0443\u044e \u0432\u0435\u0440\u0448\u0438\u043d\u0443 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043f\u0430\u0441\u0442\u044c \u0438\u0437 \u0441\u0435\u0431\u044f \u0436\u0435 \u043f\u043e <em>\u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0443.<\/em><\/p>\n<p><strong>\u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f <em>\u03b5-closure(Q).<\/em><\/strong><\/p>\n<p><strong>\u0412\u0445\u043e\u0434:<\/strong> Q<br \/><strong>\u0412\u044b\u0445\u043e\u0434:<\/strong> <em>ReachableStates<\/em><\/p>\n<pre><code class=\"bash\">ReachableStates = \u2205 nextStates = \u2205 foreach (q \u2208 Q) nextStates = \u03b5-closure(q)   if (nextStates \u2209 \u2205)     if (nextStates \u2209 ReachableStates)       ReachableStates = ReachableStates \u222a nextStates         end     end end foreach<\/code><\/pre>\n<p>\u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u0432\u0430\u043c \u0441\u0430\u043c\u0438\u043c \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u043e\u0439\u0442\u0438\u0441\u044c \u043f\u043e \u044d\u0442\u043e\u043c\u0443 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443 \u0438 \u043d\u0430\u0439\u0442\u0438 <em>\u03b5-closure(Q) <\/em>\u0434\u043b\u044f \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u041a\u0410 \u0441 Q = {1, 2, 3, 4, 5, 6, 7, 8, 9}:<\/p>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<details class=\"spoiler\">\n<summary>\u041e\u0442\u0432\u0435\u0442 <\/summary>\n<div class=\"spoiler__content\">\n<p>\u0421\u043b\u0435\u0434\u0443\u044f \u0432\u044b\u0448\u0435\u043e\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u043c\u0443 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0443, \u043f\u043e\u043b\u0443\u0447\u0438\u043c \u03b5-closure(Q) = {1, 2, 4, 6, 7, 8, 9}.<\/p>\n<\/div>\n<\/details>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c, \u0437\u043d\u0430\u044f \u0432\u0441\u0451 \u044d\u0442\u043e, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0434\u043e\u0439\u0442\u0438 \u043a \u043f\u0440\u0438\u043c\u0435\u0440\u0443 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f.<br \/><em>\u041f\u0440\u0438\u043c\u0435\u0440<\/em>. \u0417\u0430\u0434\u0430\u043d\u00a0\u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u2211 = {0, 1, 2, ,}:<\/p>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<p>\u041d\u0443\u0436\u043d\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u044b\u0439 \u0414\u041a\u0410. <\/p>\n<p>\u041f\u0440\u0438\u0432\u0435\u0434\u0451\u043c \u0432\u0441\u0435 \u0448\u0430\u0433\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0434\u043b\u044f \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u0430:<br \/>delta <em>\u03b4<\/em>\u2019 \u2013 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442, \u043a\u0430\u043a\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438<br \/>\u0418\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u043a\u043b\u0430\u0434\u0451\u043c \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435. <br \/>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 0<br \/>Q\u2019: \u2205<br \/>Queue: S<br \/>Cur: S<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(S, 0) <\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 1<br \/>Q\u2019: S<br \/>Queue: B<br \/>Cur: B<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(B, +), <em>\u03b4<\/em>(B, 0)<\/p>\n<p><em>\u041d\u0430 \u044d\u0442\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u043c\u044b \u0441\u0445\u043b\u043e\u043f\u044b\u0432\u0430\u0435\u043c \u03b5-\u043f\u0435\u0440\u0435\u0445\u043e\u0434, \u043f\u043e\u043b\u0443\u0447\u0430\u044f \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 DE, \u0432\u043c\u0435\u0441\u0442\u043e D \u0438 E.<br \/><\/em>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 2<br \/>Q\u2019: S, B<br \/>Queue: D<br \/>Cur: DE<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(DE, 0)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 3<br \/>Q\u2019: S, B, DE<br \/>Queue: F<br \/>Cur: F<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(F, ,)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 4<br \/>Q\u2019: S, B, DE, F<br \/>Queue: G<br \/>Cur: G<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(G, 1)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 5<br \/>Q\u2019: S, B, DE, F, G<br \/>Queue: H<br \/>Cur: H<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(H, ,)<\/p>\n<p>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 6<br \/>Q\u2019: S, B, DE, F, G, H<br \/>Queue: J<br \/>Cur: J<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(J, 2) \u2013 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 qfE<\/p>\n<p><em>\u041d\u0430 \u044d\u0442\u043e\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u043c\u044b \u0441\u0445\u043b\u043e\u043f\u044b\u0432\u0430\u0435\u043c \u0434\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (qf \u0438 E) \u0432 \u043e\u0434\u043d\u043e (qfE), \u0442\u0430\u043a \u043a\u0430\u043a \u0432 \u043e\u0431\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0432\u0435\u0434\u0451\u0442 \u043e\u0434\u0438\u043d \u0438 \u0442\u043e\u0442 \u0436\u0435 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b \u2013 2.<br \/><\/em>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 7<br \/>Q\u2019: S, B, DE, F, G, H, J, qfE<br \/>Queue: qfE<br \/>Cur: F<br \/>delta <em>\u03b4<\/em>\u2019: <em>\u03b4<\/em>(qfE, 0) \u2013 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 F<\/p>\n<p><em>F \u043d\u0435 \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c, \u0442\u0430\u043a \u043a\u0430\u043a \u043e\u043d\u043e \u0443\u0436\u0435 \u0435\u0441\u0442\u044c \u0432 \u043c\u043d\u043e-\u0432\u0435<\/em><br \/>\u041d\u043e\u043c\u0435\u0440 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438: 8 <br \/>Q\u2019: S, B, DE, F, G, H, J, qfE<br \/>Queue: \u2205<br \/>Cur: \u2205<br \/>delta <em>\u03b4<\/em>\u2019: &#8212;<\/p>\n<p>\u041e\u0447\u0435\u0440\u0435\u0434\u044c \u043f\u0443\u0441\u0442\u0430. \u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0437\u0430\u0432\u0435\u0440\u0448\u0451\u043d.<br \/>\u0418\u0442\u043e\u0433\u043e, \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c:<br \/>Q\u2019: S, B, DE, F, G, H, J, qfE<br \/><em>\u03b4\u2019<\/em>: <br \/><em>\u03b4<\/em>(S, 0)<br \/><em>\u03b4<\/em>(B, 0)<br \/><em>\u03b4<\/em>(B, +)<br \/><em>\u03b4<\/em>(DE, 0)<br \/><em>\u03b4<\/em>(F, ,)<br \/><em>\u03b4<\/em>(G, 1)<br \/><em>\u03b4<\/em>(H, ,)<br \/><em>\u03b4<\/em>(J, 2)<br \/><em>\u03b4<\/em>(qfE, 0)<br \/>F\u2019: qfE<br \/>\u0413\u0440\u0430\u0444 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0414\u041a\u0410 \u0438\u043c\u0435\u0435\u0442 \u0432\u0438\u0434:<\/p>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<p>\u041a\u043e\u043d\u0435\u0446. \u041a\u0430\u043a \u0438 \u043e\u0431\u0435\u0449\u0430\u043b, <a href=\"https:\/\/github.com\/Maxsmile123\/Thompson-algorithm\" rel=\"noopener noreferrer nofollow\">\u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439<\/a>, \u0433\u0434\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0434\u0430\u043d\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c. <\/p>\n<p>\u0421\u043f\u0430\u0441\u0438\u0431\u043e \u0437\u0430 \u043f\u0440\u043e\u0447\u0442\u0435\u043d\u0438\u0435! \u042d\u0442\u043e \u0431\u044b\u043b\u0430 \u043c\u043e\u044f \u043f\u0435\u0440\u0432\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043d\u0430 \u0425\u0430\u0431\u0440\u0435: \u0431\u0443\u0434\u0443 \u0440\u0430\u0434 \u043b\u044e\u0431\u043e\u0439 \u043a\u0440\u0438\u0442\u0438\u043a\u0435 \u0438\u043b\u0438 \u043f\u043e\u0445\u0432\u0430\u043b\u0435. \u0423\u0434\u0430\u0447\u043d\u043e\u0433\u043e \u0434\u043d\u044f!<\/p>\n<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p><!----><!----><\/div>\n<p><!----><!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/671742\/\"> https:\/\/habr.com\/ru\/articles\/671742\/<\/a><br \/><\/br><\/br><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-383449","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/383449","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=383449"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/383449\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=383449"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=383449"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=383449"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}