{"id":306820,"date":"2020-07-12T21:01:10","date_gmt":"2020-07-12T21:01:10","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=306820"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=306820","title":{"rendered":"\u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043d\u0430 \u0442\u0435\u043e\u0440\u0438\u0438 \u0440\u0435\u0448\u0435\u0442\u043e\u043a"},"content":{"rendered":"\n<div class=\"post__text post__text-html post__text_v1\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/510580\/\">\n<p>\u042d\u0442\u043e \u0442\u0440\u0435\u0442\u044c\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u0441\u0435\u0440\u0438\u0438 \u0440\u0430\u0431\u043e\u0442 (\u0441\u0441\u044b\u043b\u043a\u0438 \u043d\u0430 <a href=\"https:\/\/habr.com\/en\/post\/509338\/\">\u043f\u0435\u0440\u0432\u0443\u044e<\/a> \u0438 <a href=\"https:\/\/habr.com\/en\/post\/510010\/\">\u0432\u0442\u043e\u0440\u0443\u044e<\/a> \u0440\u0430\u0431\u043e\u0442\u044b), \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0449\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043d\u0430 \u0442\u0435\u043e\u0440\u0438\u0438 \u0440\u0435\u0448\u0435\u0442\u043e\u043a, \u043e\u0437\u0430\u0433\u043b\u0430\u0432\u043b\u0435\u043d\u043d\u0443\u044e &quot;\u0412\u041a\u0424-\u0441\u0438\u0441\u0442\u0435\u043c\u0430&quot;. \u041e\u043d\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u044b\u0439 (\u0442\u0435\u043e\u0440\u0435\u0442\u0438\u043a\u043e-\u0440\u0435\u0448\u0435\u0442\u043e\u0447\u043d\u043e\u0439) \u043f\u043e\u0434\u0445\u043e\u0434 \u043a \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044e \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0438 \u0438\u0445 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u043e\u0432, \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c\u044b\u0445 \u043a\u0430\u043a \u043f\u0440\u0438\u0447\u0438\u043d\u044b \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442 \u044d\u0442\u0438 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u044b \u043a\u0430\u043a \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u0430 \u043c\u0435\u0436\u0434\u0443 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c\u0438 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430\u043c\u0438 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432. \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0442\u0435\u043e\u0440\u0438\u044f \u0442\u0430\u043a\u0438\u0445 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0439, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u0430\u044f \u0410\u043d\u0430\u043b\u0438\u0437\u043e\u043c \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u043f\u043e\u043d\u044f\u0442\u0438\u0439 (\u0410\u0424\u041f). <\/p>\n<p>  <\/p>\n<p>\u041e\u0434\u043d\u0430\u043a\u043e \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u044b\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b, \u0447\u0442\u043e\u0431\u044b \u0443\u0441\u0442\u0440\u0430\u043d\u0438\u0442\u044c \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u043d\u0435\u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u0430. \u041f\u043e\u0434\u0440\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u043d\u0438\u0436\u0435&#8230;<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/ve\/lm\/yz\/velmyzu6vz2h8mzwswr-4vitj-c.png\" alt=\"\u041e\u0431\u043b\u0430\u0441\u0442\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0410\u0424\u041f\"><\/p>\n<p><a name=\"habracut\"><\/a>  <\/p>\n<h4 id=\"vvedenie\">\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435<\/h4>\n<p>  <\/p>\n<p>\u041c\u044b \u043d\u0430\u0447\u043d\u0435\u043c \u0441 \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0448\u0435\u0433\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u0430 \u0432 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0438 \u043a \u0448\u043a\u043e\u043b\u044c\u043d\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0435.<\/p>\n<p>  <\/p>\n<p>\u041e\u043d\u0430 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0432 \u043e\u0442\u044b\u0441\u043a\u0430\u043d\u0438\u0438 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u044b\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u0439 \u043d\u0430 \u0432\u044b\u043f\u0443\u043a\u043b\u044b\u0439 \u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a, \u0447\u0442\u043e\u0431\u044b \u0432\u043e\u043a\u0440\u0443\u0433 \u043d\u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u043e\u043f\u0438\u0441\u0430\u0442\u044c \u043e\u043a\u0440\u0443\u0436\u043d\u043e\u0441\u0442\u044c \u0438 \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0430\u0442\u044c \u044d\u0442\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u0443 \u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a\u0430.<\/p>\n<p>  <\/p>\n<p>\u0421\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u0438\u043c\u0435\u044e\u0442\u0441\u044f \u0434\u0432\u0430 \u043a\u043b\u0430\u0441\u0441\u0430: \u043f\u043e\u0437\u0438\u0442\u0438\u0432\u043d\u044b\u0439 (\u043c\u043e\u0436\u043d\u043e \u043e\u043f\u0438\u0441\u0430\u0442\u044c \u043e\u043a\u0440\u0443\u0436\u043d\u043e\u0441\u0442\u044c \u0432\u043e\u043a\u0440\u0443\u0433 \u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a\u0430) \u0438 \u043d\u0435\u0433\u0430\u0442\u0438\u0432\u043d\u044b\u0439.<\/p>\n<p>  <\/p>\n<p>\u041e\u0431\u0443\u0447\u0430\u044e\u0449\u0430\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0430 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442 \u0432 \u0441\u0435\u0431\u044f \u043a\u0432\u0430\u0434\u0440\u0430\u0442, \u0440\u0430\u0432\u043d\u043e\u0431\u0435\u0434\u0440\u0435\u043d\u043d\u0443\u044e \u0442\u0440\u0430\u043f\u0435\u0446\u0438\u044e, \u0440\u043e\u043c\u0431 \u0438 \u0434\u0435\u043b\u044c\u0442\u043e\u0438\u0434 (\u0441\u043c\u043e\u0442\u0440\u0438 \u043c\u0435\u0442\u043a\u0438 \u0441\u0442\u0440\u043e\u0447\u0435\u043a \u0432 \u0442\u0430\u0431\u043b\u0438\u0446\u0435).<\/p>\n<p>  <\/p>\n<p>\u0415\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u0442\u0435\u0441\u0442\u043e\u0432\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u2014 \u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a.<\/p>\n<p>  <\/p>\n<p>\u041c\u044b \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c \u043a\u0430\u0436\u0434\u044b\u0439 \u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e\u043c \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u043e\u0432, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u0435\u0433\u043e \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u044f\u043c\u0438:<\/p>\n<p>  <\/p>\n<p>&quot;\u0415\u0441\u0442\u044c \u0446\u0435\u043d\u0442\u0440 \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0438&quot; (<strong>A<\/strong>),<br \/>  &quot;\u0413\u0440\u0443\u043f\u043f\u0430 \u0432\u0440\u0430\u0449\u0435\u043d\u0438\u0439 \u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u0430&quot; (<strong>B<\/strong>),<br \/>  &quot;\u0433\u0440\u0443\u043f\u043f\u0430 \u0432\u0440\u0430\u0449\u0435\u043d\u0438\u0435\u0439 \u043d\u0435\u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u0430&quot; (<strong>C<\/strong>),<br \/>  &quot;\u0415\u0441\u0442\u044c \u0434\u0438\u0430\u0433\u043e\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u043e\u0441\u044c \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0438&quot; (<strong>D<\/strong>),<br \/>  &quot;\u0415\u0441\u0442\u044c \u043d\u0435\u0434\u0438\u0430\u0433\u043e\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u043e\u0441\u044c \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0438&quot; (<strong>E<\/strong>).<br \/>  \u041e\u043d\u0438 \u0441\u043e\u043e\u0442\u0432\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0438\u043c\u0435\u043d\u0430\u043c \u0441\u0442\u043e\u043b\u0431\u0446\u043e\u0432 \u0432 \u0442\u0430\u0431\u043b\u0438\u0446\u0435.<\/p>\n<p>  <\/p>\n<div class=\"scrollable-table\">\n<table>\n<thead>\n<tr>\n<th>\u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a<\/th>\n<th>\u0446\u0435\u043b\u044c<\/th>\n<th>A<\/th>\n<th>B<\/th>\n<th>C<\/th>\n<th>D<\/th>\n<th>E<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u043a\u0432\u0430\u0434\u0440\u0430\u0442<\/td>\n<td>1<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td>1<\/td>\n<td>1<\/td>\n<\/tr>\n<tr>\n<td>\u0442\u0440\u0430\u043f\u0435\u0446\u0438\u044f<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<\/tr>\n<tr>\n<td>\u0440\u043e\u043c\u0431<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<\/tr>\n<tr>\n<td>\u0434\u0435\u043b\u044c\u0442\u043e\u0438\u0434<\/td>\n<td>0<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<\/tr>\n<tr>\n<td>\u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a<\/td>\n<td>?<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td>1<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<p>  <\/p>\n<p>\u0427\u0442\u043e\u0431\u044b \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u0442\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0435 \u043f\u0440\u0438\u0447\u0438\u043d\u044b (\u0432 \u0442\u0435\u0440\u0438\u043c\u0438\u043d\u0430\u0445 \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0439) \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442 \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u0430 (\u043e\u0431\u0449\u0438\u0435 \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u0438) \u043c\u0435\u0436\u0434\u0443 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u043c\u0438 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u043c\u0438 \u043e\u0434\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u043a\u0430. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043c\u044b \u0438\u043c\u0435\u0435\u043c <\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/271\/704\/019\/271704019c7457979279d58094eb9d37.svg\" alt=\"$\\langle\\{\u043a\u0432\u0430\u0434\u0440\u0430\u0442,\u0442\u0440\u0430\u043f\u0435\u0446\u0438\u044f\\}, \\{E\\}\\rangle,$\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u0433\u0434\u0435 \u043f\u0435\u0440\u0432\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u0435\u0439 (\u0432\u0441\u0435 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b, \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u043e \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u043b\u043e\u0441\u044c), \u0430 \u0432\u0442\u043e\u0440\u043e\u0435 \u2014 \u043e\u0431\u0449\u0438\u0439 \u0444\u0440\u043f\u0430\u0433\u043c\u0435\u043d\u0442 \u044d\u0442\u0438\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432.<\/p>\n<p>  <\/p>\n<p>\u0422\u0430\u043a \u043a\u0430\u043a \u043e\u0431\u0449\u0438\u0439 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/152\/ef5\/4c1\/152ef54c15393db08dbe9f73f156d81d.svg\" alt=\"$\\{E\\}$\" data-tex=\"inline\"><\/math> \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e\u043c \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/c43\/929\/4b1\/c439294b1fbf9dff42b05285d11f5ca7.svg\" alt=\"$\\{A,C,E\\}$\" data-tex=\"inline\"><\/math>, \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0436\u0435\u0442 \u0435\u0433\u043e \u0446\u0435\u043b\u0435\u0432\u043e\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u043c, \u0442.\u0435. \u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c. \u042d\u0442\u043e \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0435 \u0434\u043e\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043f\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438 \u0432 \u0414\u0421\u041c-\u043c\u0435\u0442\u043e\u0434\u0435. \u0410\u043d\u0430\u043b\u043e\u0433\u0430\u043c\u0438 \u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a\u0430 \u0431\u0443\u0434\u0443\u0442 \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u0438 (\u043a\u0432\u0430\u0434\u0440\u0430\u0442 \u0438 \u0440\u0430\u0432\u043d\u043e\u0431\u0435\u0434\u0440\u0435\u043d\u043d\u0430\u044f \u0442\u0440\u0430\u043f\u0435\u0446\u0438\u044f), \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u043c\u0435\u044e\u0442 \u043e\u0431\u0449\u0438\u0439 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442, \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u044e\u0449\u0438\u0439\u0441\u044f \u0438 \u0432 \u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a\u0435.<\/p>\n<p>  <\/p>\n<p>\u041e\u0434\u043d\u0430\u043a\u043e \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u043c\u0435\u043d\u044f\u0442\u044c \u0437\u043d\u0430\u043a\u0438: \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u043e\u043c \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0431\u0443\u0434\u0435\u0442<\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/144\/d4b\/970\/144d4b970949f5bc53b5a01af432ebde.svg\" alt=\"$\\langle\\{diamond,deltoid\\}, \\{D\\}\\rangle,$\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u042d\u0442\u043e \u043d\u0430\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0435 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u043a \u043b\u043e\u0433\u0438\u043a\u0430\u043c \u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438, \u043d\u043e \u043c\u044b \u043f\u0440\u0435\u0434\u043f\u043e\u0447\u0442\u0435\u043c \u043d\u0435 \u043f\u043e\u0433\u0440\u0443\u0436\u0430\u0442\u044c\u0441\u044f \u0437\u0434\u0435\u0441\u044c \u0432 \u0434\u0435\u0442\u0430\u043b\u0438. \u0417\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044c \u043e\u0442\u0441\u044b\u043b\u0430\u0435\u0442\u0441\u044f \u043a \u0441\u0442\u0430\u0442\u044c\u044f\u043c \u0430\u0432\u0442\u043e\u0440\u0430 \u0438\u0437 \u0441\u0431\u043e\u0440\u043d\u0438\u043a\u0430<br \/>  \u0424\u0438\u043d\u043d \u0412.\u041a., \u0410\u043d\u0448\u0430\u043a\u043e\u0432 \u041e.\u041c., \u0412\u0438\u043d\u043e\u0433\u0440\u0430\u0434\u043e\u0432 \u0414.\u0412. (\u0420\u0435\u0434.). \u041c\u043d\u043e\u0433\u043e\u0437\u043d\u0430\u0447\u043d\u044b\u0435 \u043b\u043e\u0433\u0438\u043a\u0438 \u0438 \u0438\u0445 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f. \u0422\u043e\u043c 2: \u041b\u043e\u0433\u0438\u043a\u0438 \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0445 \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442\u0430, M.: URSS, 2020, 238 \u0441. ISBN 978-5-382-01977-2<\/p>\n<p>  <\/p>\n<p>\u0412\u0430\u0436\u043d\u043e, \u0447\u0442\u043e \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u043e \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043d\u0430\u043c \u043f\u0440\u043e\u0434\u0435\u043c\u043e\u0441\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u0438\u043d\u0446\u0438\u043f &quot;\u0437\u0430\u043f\u0440\u0435\u0442\u0430 \u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432&quot;, \u0442\u0430\u043a \u043a\u0430\u043a \u0435\u0433\u043e \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e84\/9b3\/232\/e849b3232eb032ca4a8ebbe414af693f.svg\" alt=\"$\\{D\\}$\" data-tex=\"inline\"><\/math> \u0432\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/ba9\/f3e\/077\/ba9f3e0776b4e06256e691f519664ac8.svg\" alt=\"$\\{A,C,D,E\\}$\" data-tex=\"inline\"><\/math> \u043f\u0440\u0438\u043c\u0435\u0440\u0430 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u043f\u043e\u043b\u043e\u0436\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u043a\u0430 (\u043a\u0432\u0430\u0434\u0440\u0430\u0442).<\/p>\n<p>  <\/p>\n<h4 id=\"1-analiz-formalnyh-ponyatiy\">1. \u0410\u043d\u0430\u043b\u0438\u0437 \u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u041f\u043e\u043d\u044f\u0442\u0438\u0439<\/h4>\n<p>  <\/p>\n<p>\u041f\u0435\u0440\u0432\u043e\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0430\u0432\u0442\u043e\u0440 \u043f\u043b\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u043b \u0438\u0437\u043b\u0430\u0433\u0430\u0442\u044c \u0442\u0435\u043e\u0440\u0438\u044e \u0432 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0445 \u0414\u0421\u041c-\u043c\u0435\u0442\u043e\u0434\u0430 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0433\u0438\u043f\u043e\u0442\u0435\u0437. \u041d\u043e \u0435\u0433\u043e \u0441\u043e\u0437\u0434\u0430\u0442\u0435\u043b\u044c \u0432\u044b\u0440\u0430\u0437\u0438\u043b \u0441\u043e\u043c\u043d\u0435\u043d\u0438\u0435, \u0447\u0442\u043e &quot;\u043c\u043e\u0436\u043d\u043e \u0438\u0437\u043b\u043e\u0436\u0438\u0442\u044c \u0433\u043b\u0443\u0431\u043e\u043a\u0438\u0435 \u0438\u0434\u0435\u0438 \u0414\u0421\u041c-\u043c\u0435\u0442\u043e\u0434\u0430 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u043c \u044f\u0437\u044b\u043a\u043e\u043c&quot;. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0430\u0432\u0442\u043e\u0440 \u0440\u0435\u0448\u0438\u043b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u044f\u0437\u044b\u043a \u0410\u0424\u041f \u0434\u043b\u044f \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438. \u041e\u0434\u043d\u0430\u043a\u043e \u043e\u043d \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u0432\u043e\u0438 \u0442\u0435\u0440\u043c\u0438\u043d\u044b (\u043d\u0430\u0440\u0430\u0432\u043d\u0435 \u0441 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0432 \u0441\u043a\u043e\u0431\u043a\u0430\u0445) \u0442\u0430\u043c, \u0433\u0434\u0435 \u043f\u0440\u0435\u0434\u043f\u043e\u0447\u0442\u0438\u0442\u0435\u043b\u044c\u043d\u0435\u0435 \u0441\u043c\u0435\u043d\u0438\u0442\u044c \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044e. <\/p>\n<p>  <\/p>\n<p><em>\u0412\u044b\u0431\u043e\u0440\u043a\u0430<\/em> (=<em>\u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442<\/em>) \u2014 \u044d\u0442\u043e \u0442\u0440\u043e\u0439\u043a\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e92\/b76\/131\/e92b76131c7c4419f53c9589c8086d77.svg\" alt=\"$(G,M,I)$\" data-tex=\"inline\"><\/math>, \u0433\u0434\u0435 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/560\/bd9\/7f2\/560bd97f235311a36dff00db005e6ab5.svg\" alt=\"$G$\" data-tex=\"inline\"><\/math> \u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/94d\/13e\/e0a\/94d13ee0aadd7f17977e0d279af38d42.svg\" alt=\"$M$\" data-tex=\"inline\"><\/math> \u2014 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430, \u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/394\/a2a\/802\/394a2a802e09314c1560f0541605a10d.svg\" alt=\"$I \\subseteq G \\times M$\" data-tex=\"inline\"><\/math>. \u042d\u043b\u0435\u043c\u0435\u043d\u0442\u044b <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/560\/bd9\/7f2\/560bd97f235311a36dff00db005e6ab5.svg\" alt=\"$G$\" data-tex=\"inline\"><\/math> \u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/94d\/13e\/e0a\/94d13ee0aadd7f17977e0d279af38d42.svg\" alt=\"$M$\" data-tex=\"inline\"><\/math> \u043d\u0430\u044b\u0437\u0432\u0430\u044e\u0442\u0441\u044f <em>\u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438<\/em> \u0438 <em>\u043f\u0440\u0438\u0437\u043d\u0430\u043a\u0430\u043c\u0438<\/em>, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. \u041a\u0430\u043a \u043e\u0431\u044b\u0447\u043d\u043e, \u043c\u044b \u043f\u0438\u0448\u0435\u043c <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/c3d\/bbf\/029\/c3dbbf02977e1aa850969e784bf18d53.svg\" alt=\"$gIm$\" data-tex=\"inline\"><\/math> \u0432\u043c\u0435\u0441\u0442\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/ecb\/203\/0a7\/ecb2030a76b3bd4c86d50f9d581be96b.svg\" alt=\"$\\langle g,m\\rangle \\in I$\" data-tex=\"inline\"><\/math>, \u0447\u0442\u043e\u0431\u044b \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0438\u0442\u044c \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044e, \u043a\u043e\u0433\u0434\u0430 \u043e\u0431\u044a\u0435\u043a\u0442 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/bdb\/a74\/99b\/bdba7499baaa2899811e34409321d6eb.svg\" alt=\"$g$\" data-tex=\"inline\"><\/math> \u043e\u0431\u043b\u0430\u0434\u0430\u0435\u0442 \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u043e\u043c <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e2e\/33f\/15a\/e2e33f15a96008ca33579599483c4531.svg\" alt=\"$m$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u0414\u043b\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/529\/63e\/18d\/52963e18df38044038d89091387dcce4.svg\" alt=\"$A\\subseteq G$\" data-tex=\"inline\"><\/math> \u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b44\/c2d\/292\/b44c2d292b240ff5f054a89468b58d57.svg\" alt=\"$B\\subseteq M$\" data-tex=\"inline\"><\/math> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c<\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/ce8\/318\/c37\/ce8318c372ed45f640bb6e0695605f6e.svg\" alt=\"$A' = \\{ m \\in M | \\forall g \\in A (gIm) \\}, \\\\ B' = \\{ g \\in G | \\forall m \\in B (gIm) \\};$\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u0442\u0430\u043a \u0447\u0442\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/20b\/40d\/a9e\/20b40da9efe9f6a915fd2d27e3b907a4.svg\" alt=\"$A'$\" data-tex=\"inline\"><\/math> \u2014 \u044d\u0442\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0441\u0435\u0445 \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u043e\u0432, \u043e\u0431\u0449\u0438\u0445 \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u0438\u0437 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/493\/c1c\/008\/493c1c008018df9bed4910321f29ff00.svg\" alt=\"$A$\" data-tex=\"inline\"><\/math>, \u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7a4\/4c0\/6ef\/7a44c06efa49afe8a07fda0744201ecd.svg\" alt=\"$B'$\" data-tex=\"inline\"><\/math> \u2014 \u044d\u0442\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0441\u0435\u0445 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432, \u043e\u0431\u043b\u0430\u0434\u0430\u044e\u0449\u0438\u0445 \u0432\u0441\u0435\u043c\u0438 \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u0430\u043c\u0438 \u0438\u0437 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/20d\/8ca\/ec6\/20d8caec693d8d8eaf70885e408419f6.svg\" alt=\"$B$\" data-tex=\"inline\"><\/math>. \u041e\u0442\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/244\/c75\/e3c\/244c75e3ca85e088249b5bf6e2ec5b71.svg\" alt=\"$(\\cdot)': 2^G \\rightarrow 2^M$\" data-tex=\"inline\"><\/math> \u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/c73\/f2b\/a1a\/c73f2ba1a670b4c350ece877bba90271.svg\" alt=\"$(\\cdot)':2^M\\rightarrow 2^G$\" data-tex=\"inline\"><\/math> \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f <em>\u043f\u043e\u043b\u044f\u0440\u0430\u043c\u0438<\/em> (=<em>\u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430\u043c\u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u043d\u043e\u0439<\/em>) \u0434\u043b\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e92\/b76\/131\/e92b76131c7c4419f53c9589c8086d77.svg\" alt=\"$(G,M,I)$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p><em>\u041a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u043c<\/em> (=<em>\u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c \u043f\u043e\u043d\u044f\u0442\u0438\u0435\u043c<\/em>) \u0434\u043b\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e92\/b76\/131\/e92b76131c7c4419f53c9589c8086d77.svg\" alt=\"$(G,M,I)$\" data-tex=\"inline\"><\/math> \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0430\u0440\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/699\/fca\/921\/699fca9219eb0d9fb08c3cd31d5c2d23.svg\" alt=\"$\\langle A,B \\rangle$\" data-tex=\"inline\"><\/math>, \u0433\u0434\u0435 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/529\/63e\/18d\/52963e18df38044038d89091387dcce4.svg\" alt=\"$A\\subseteq G$\" data-tex=\"inline\"><\/math>, <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b44\/c2d\/292\/b44c2d292b240ff5f054a89468b58d57.svg\" alt=\"$B\\subseteq M$\" data-tex=\"inline\"><\/math>, <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f9f\/44c\/f2d\/f9f44cf2d01f715b02e8a9a48b44eb54.svg\" alt=\"$A'=B$\" data-tex=\"inline\"><\/math> \u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1d8\/879\/b18\/1d8879b1812ee4170f947276d987e925.svg\" alt=\"$B'=A$\" data-tex=\"inline\"><\/math>. \u041f\u0435\u0440\u0432\u0430\u044f \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/493\/c1c\/008\/493c1c008018df9bed4910321f29ff00.svg\" alt=\"$A$\" data-tex=\"inline\"><\/math> \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/699\/fca\/921\/699fca9219eb0d9fb08c3cd31d5c2d23.svg\" alt=\"$\\langle A,B \\rangle$\" data-tex=\"inline\"><\/math> \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f <em>\u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u0435\u0439<\/em> (=<em>\u043e\u0431\u044a\u0435\u043c\u043e\u043c<\/em>) \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430, \u0430 \u0432\u0442\u043e\u0440\u0430\u044f \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/20d\/8ca\/ec6\/20d8caec693d8d8eaf70885e408419f6.svg\" alt=\"$B$\" data-tex=\"inline\"><\/math> \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0435\u0433\u043e <em>\u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u043e\u043c<\/em> (=<em>\u0441\u043e\u0434\u0435\u0440\u0436\u0430\u043d\u0438\u0435\u043c<\/em>). \u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0441\u0435\u0445 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432 \u0434\u043b\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e92\/b76\/131\/e92b76131c7c4419f53c9589c8086d77.svg\" alt=\"$(G,M,I)$\" data-tex=\"inline\"><\/math> \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442\u0441\u044f \u0447\u0435\u0440\u0435\u0437 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/41c\/970\/659\/41c970659343f621c8f94ea93ac8de01.svg\" alt=\"$L(G,M,I)$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u041b\u0435\u0433\u043a\u0438\u043c \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u0435\u043c \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/41c\/970\/659\/41c970659343f621c8f94ea93ac8de01.svg\" alt=\"$L(G,M,I)$\" data-tex=\"inline\"><\/math> \u043e\u0431\u0440\u0430\u0437\u0443\u0435\u0442 \u0440\u0435\u0448\u0435\u0442\u043a\u0443 \u0441 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f\u043c\u0438<\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d83\/647\/fa8\/d83647fa891cc145d51d7ec9a0e340a0.svg\" alt=\"$\\langle A_{1},B_{1}\\rangle\\vee\\langle A_{2},B_{2}\\rangle= \\langle(A_{1}\\cup A_{2})'',B_{1}\\cap B_{2}\\rangle, \\\\ \\langle A_{1},B_{1}\\rangle\\wedge\\langle A_{2},B_{2}\\rangle= \\langle A_{1}\\cap A_{2},(B_{1}\\cup B_{2})''\\rangle.$\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u041c\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439: \u0434\u043b\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/826\/8b1\/b91\/8268b1b91fba155160288b90b874d7ea.svg\" alt=\"$\\langle A,B \\rangle\\in L(G,M,I)$\" data-tex=\"inline\"><\/math>, <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/150\/ab0\/d5c\/150ab0d5ce13bf0a3990a712c42c92ce.svg\" alt=\"$g\\in G$\" data-tex=\"inline\"><\/math> \u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/57a\/ba0\/72f\/57aba072f6d4272a98b060bd8323d141.svg\" alt=\"$m\\in M$\" data-tex=\"inline\"><\/math> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c<\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/143\/7aa\/5c4\/1437aa5c4e5a810cb8b503e85ad42a2f.svg\" alt=\"$CbO(\\langle A,B\\rangle,g) = \\langle(A\\cup\\{g\\})'',B\\cap\\{g\\}'\\rangle,\\\\ CbO(\\langle A,B\\rangle,m) = \\langle A\\cap\\{m\\}',(B\\cup\\{m\\})''\\rangle.$\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u041c\u044b \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c \u044d\u0442\u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 CbO, \u0442\u0430\u043a \u043a\u0430\u043a \u043f\u0435\u0440\u0432\u0430\u044f \u0438\u0437 \u043d\u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b\u0430\u0441\u044c \u0432 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0435 &quot;\u0417\u0430\u043c\u044b\u043a\u0430\u0439-\u043f\u043e-\u043e\u0434\u043d\u043e\u043c\u0443&quot; (Close-by-One (CbO)), \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u0432\u0441\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/41c\/970\/659\/41c970659343f621c8f94ea93ac8de01.svg\" alt=\"$L(G,M,I)$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u041d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u0432\u0430\u0436\u043d\u043e\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u043e\u0441\u0442\u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439 CbO \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u043b\u0435\u043c\u043c\u0443<\/p>\n<p>  <\/p>\n<p>\u041f\u0443\u0442\u044c <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e92\/b76\/131\/e92b76131c7c4419f53c9589c8086d77.svg\" alt=\"$(G,M,I)$\" data-tex=\"inline\"><\/math> \u2014 \u0432\u044b\u0431\u043e\u0440\u043a\u0430, <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/40e\/a68\/24f\/40ea6824fa3b1b126aab55e27d2203f4.svg\" alt=\"$\\langle A_{1},B_{1}\\rangle, \\langle A_{2},B_{2}\\rangle\\in L(G,M,I)$\" data-tex=\"inline\"><\/math>, <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/150\/ab0\/d5c\/150ab0d5ce13bf0a3990a712c42c92ce.svg\" alt=\"$g\\in G$\" data-tex=\"inline\"><\/math> \u0438 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/57a\/ba0\/72f\/57aba072f6d4272a98b060bd8323d141.svg\" alt=\"$m\\in M$\" data-tex=\"inline\"><\/math>. \u0422\u043e\u0433\u0434\u0430<\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/984\/8c9\/2f4\/9848c92f4e18e7f2ed545a8a85da9a74.svg\" alt=\"$\\langle A_{1},B_{1}\\rangle\\leq \\langle A_{2},B_{2}\\rangle\\Rightarrow CbO(\\langle A_{1},B_{1}\\rangle,g)\\leq CbO(\\langle A_{2},B_{2}\\rangle,g), \\\\ \\langle A_{1},B_{1}\\rangle\\leq\\langle A_{2},B_{2}\\rangle\\Rightarrow CbO(\\langle A_{1},B_{1}\\rangle,g)\\leq CbO(\\langle A_{2},B_{2}\\rangle,g).$\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<h4 id=\"2-problemy-s-afp\">2. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u0441 \u0410\u0424\u041f<\/h4>\n<p>  <\/p>\n<p>\u041a \u043d\u0435\u0441\u0447\u0430\u0441\u0442\u044c\u044e, \u0430\u0432\u0442\u043e\u0440 \u0438 \u0435\u0433\u043e \u043a\u043e\u043b\u043b\u0435\u0433\u0438 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b\u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u043d\u0435\u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0410\u0424\u041f \u043a \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u043c\u0443 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044e:<\/p>\n<p>  <\/p>\n<ol>\n<li>\n<p>\u0427\u0438\u0441\u043b\u043e \u0433\u0438\u043f\u043e\u0435\u0437 \u043c\u043e\u0436\u0435\u0442 \u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u044d\u043a\u0441\u043f\u043e\u043d\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u0432\u0435\u043b\u0438\u043a\u043e \u043f\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044e \u043a \u0440\u0430\u0437\u043c\u0435\u0440\u0443 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 (\u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0435\u0439 \u0432\u044b\u0431\u043e\u0440\u043a\u0438) \u0432 \u0445\u0443\u0434\u0448\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435.<\/p>\n<p>  <\/li>\n<li>\n<p>\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u044f \u0431\u043e\u043b\u044c\u0448\u0438\u0445 \u0433\u0438\u043f\u043e\u0442\u0435\u0437 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e (NP-)\u0442\u0440\u0443\u0434\u043d\u0430\u044f.<\/p>\n<p>  <\/li>\n<li>\n<p>\u041f\u0435\u0440\u0435\u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435 \u043d\u0435\u0438\u0437\u0431\u0435\u0436\u043d\u043e \u0438 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435.<\/p>\n<p>  <\/li>\n<li>\n<p>\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 &#8216;\u0444\u0430\u043d\u0442\u043e\u043c\u043d\u044b\u0435&#8217; \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u0430 \u043c\u0435\u0436\u0434\u0443 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u043c\u0438 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u043c\u0438, \u0433\u0434\u0435 \u043a\u0430\u0436\u0434\u044b\u0439 \u0442\u0430\u043a\u043e\u0439 \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c \u0438\u043c\u0435\u0435\u0442 \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u0443\u044e \u0433\u0438\u043f\u043e\u0442\u0435\u0437\u0443 \u043e \u043f\u0440\u0438\u0447\u0438\u043d\u0435 \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430.<\/p>\n<p>  <\/li>\n<\/ol>\n<p>  <\/p>\n<p>\u0427\u0442\u043e\u0431\u044b \u043f\u0440\u043e\u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u043a 1 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u0430 \u0411\u0443\u043b\u0435\u0432\u0430 \u0430\u043b\u0433\u0435\u0431\u0440\u0430 \u0441 \u0432\u044b\u0431\u043e\u0440\u043a\u043e\u0439, \u0437\u0430\u0434\u0430\u0432\u0430\u0435\u043c\u043e\u0439 \u043a\u043e\u0430\u0442\u043e\u043c\u0430\u043c\u0438 (\u043a\u0430\u043a \u043f\u043e\u0437\u0438\u0442\u0438\u0432\u043d\u044b\u043c\u0438 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u043c\u0438):<\/p>\n<p>  <\/p>\n<div class=\"scrollable-table\">\n<table>\n<thead>\n<tr>\n<th><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3ad\/c37\/5da\/3adc375da66e8991809770d9af138d28.svg\" alt=\"$M\\\\G$\" data-tex=\"inline\"><\/math><\/th>\n<th><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d61\/d0b\/c10\/d61d0bc102ed8095031493b7a467c717.svg\" alt=\"$m_{1}$\" data-tex=\"inline\"><\/math><\/th>\n<th><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/370\/b22\/883\/370b2288367184559af4aabde48be904.svg\" alt=\"$m_{2}$\" data-tex=\"inline\"><\/math><\/th>\n<th><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1da\/2be\/7fd\/1da2be7fdf1d7129c673e433bd96c98d.svg\" alt=\"$\\ldots$\" data-tex=\"inline\"><\/math><\/th>\n<th><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/0dc\/df6\/3f1\/0dcdf63f1fe3c916dfd6c25b7d4f312e.svg\" alt=\"$m_{n}$\" data-tex=\"inline\"><\/math><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7bd\/715\/053\/7bd715053f144fc1ba0cb0ca7e50642d.svg\" alt=\"$g_{1}$\" data-tex=\"inline\"><\/math><\/td>\n<td>0<\/td>\n<td>1<\/td>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1da\/2be\/7fd\/1da2be7fdf1d7129c673e433bd96c98d.svg\" alt=\"$\\ldots$\" data-tex=\"inline\"><\/math><\/td>\n<td>1<\/td>\n<\/tr>\n<tr>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/c8a\/88b\/dc8\/c8a88bdc8c420fc1a6b5c223658eaafb.svg\" alt=\"$g_{2}$\" data-tex=\"inline\"><\/math><\/td>\n<td>1<\/td>\n<td>0<\/td>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1da\/2be\/7fd\/1da2be7fdf1d7129c673e433bd96c98d.svg\" alt=\"$\\ldots$\" data-tex=\"inline\"><\/math><\/td>\n<td>1<\/td>\n<\/tr>\n<tr>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/626\/8cb\/5b3\/6268cb5b34ace190ce7a6dde715452c6.svg\" alt=\"$\\vdots$\" data-tex=\"inline\"><\/math><\/td>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/626\/8cb\/5b3\/6268cb5b34ace190ce7a6dde715452c6.svg\" alt=\"$\\vdots$\" data-tex=\"inline\"><\/math><\/td>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/626\/8cb\/5b3\/6268cb5b34ace190ce7a6dde715452c6.svg\" alt=\"$\\vdots$\" data-tex=\"inline\"><\/math><\/td>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5a3\/ee6\/0f0\/5a3ee60f0b9c93da2e9773f011944456.svg\" alt=\"$\\ddots$\" data-tex=\"inline\"><\/math><\/td>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/626\/8cb\/5b3\/6268cb5b34ace190ce7a6dde715452c6.svg\" alt=\"$\\vdots$\" data-tex=\"inline\"><\/math><\/td>\n<\/tr>\n<tr>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/4d9\/22f\/e9f\/4d922fe9f719291e60674bac6a515371.svg\" alt=\"$g_{n}$\" data-tex=\"inline\"><\/math><\/td>\n<td>1<\/td>\n<td>1<\/td>\n<td><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1da\/2be\/7fd\/1da2be7fdf1d7129c673e433bd96c98d.svg\" alt=\"$\\ldots$\" data-tex=\"inline\"><\/math><\/td>\n<td>0<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<p>  <\/p>\n<p>\u041b\u0435\u0433\u043a\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0447\u0442\u043e \u043b\u044e\u0431\u0430\u044f \u043f\u0430\u0440\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/fb7\/bca\/3f6\/fb7bca3f63d2ad72accd6c3441821e3a.svg\" alt=\"$\\langle G\\setminus \\{g_{i_{1}},\\ldots,g_{i_{k}}\\},\\{m_{i_{1}},\\ldots,m_{i_{k}}\\}\\rangle$\" data-tex=\"inline\"><\/math> \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u043c. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/770\/583\/2c3\/7705832c309e60edb5a0330800112dfc.svg\" alt=\"$2^n$\" data-tex=\"inline\"><\/math> \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432.<\/p>\n<p>  <\/p>\n<p>\u0427\u0442\u043e\u0431\u044b \u043e\u0446\u0435\u043d\u0438\u0442\u044c \u044d\u043a\u0441\u043f\u043e\u043d\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0432\u0437\u0440\u044b\u0432 \u0432\u044b\u0445\u043e\u0434\u0430 \u043e\u0442 \u0440\u0430\u0437\u043c\u0435\u0440\u0430 \u0432\u0445\u043e\u0434\u0430, \u043e\u0446\u0435\u043d\u0438\u043c \u043f\u0430\u043c\u044f\u0442\u044c, \u043d\u0443\u0436\u043d\u0443\u044e \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0438 \u0434\u043b\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6da\/6b3\/6b6\/6da6b36b66201340d635586e9e3ba618.svg\" alt=\"$n=32$\" data-tex=\"inline\"><\/math>, \u043a\u0430\u043a 128 \u0431\u0430\u0439\u0442, \u0430 \u043f\u0430\u043c\u044f\u0442\u044c \u0434\u043b\u044f \u0441\u043e\u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/770\/583\/2c3\/7705832c309e60edb5a0330800112dfc.svg\" alt=\"$2^n$\" data-tex=\"inline\"><\/math> \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432 \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/454\/c23\/700\/454c237009c1761047553bfac0815ca2.svg\" alt=\"$2^{37}$\" data-tex=\"inline\"><\/math> \u0431\u0438\u0442, \u0442.\u0435. 16 \u0413\u0438\u0433\u0430\u0431\u0430\u0439\u0442!<\/p>\n<p>  <\/p>\n<p>\u041d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u043a 2 \u0431\u044b\u043b \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d \u043f\u0440\u043e\u0444. \u0421.\u041e. \u041a\u0443\u0437\u043d\u0435\u0446\u043e\u0432\u044b\u043c (\u041d\u0418\u0423-\u0412\u0428\u042d \u041c\u043e\u0441\u043a\u0432\u0430).<\/p>\n<p>  <\/p>\n<p>\u041d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 3 \u0438 4 \u0431\u044b\u043b\u0438 \u043e\u0442\u043a\u0440\u044b\u0442\u044b \u0430\u0432\u0442\u043e\u0440\u043e\u043c \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0435\u0433\u043e \u0440\u0430\u0431\u043e\u0442\u044b \u043d\u0430\u0434 \u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u0435\u0439. \u041e\u043d \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043b \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u044b\u0445 \u043c\u043e\u0434\u0435\u043b\u0435\u0439, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0440\u043e\u0434\u0438\u0442\u044c &quot;\u0444\u0430\u043d\u0442\u043e\u043c\u044b\u0435&quot; \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u0430 \u0432\u043c\u0435\u0441\u0442\u0435 \u0441 \u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u0430\u043c\u0438, \u043c\u043e\u0433\u0443\u0449\u0438\u043c\u0438 \u0438\u0445 \u043e\u0442\u0432\u0435\u0440\u0433\u043d\u0443\u0442\u044c. \u041d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u043f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u2014 \u044d\u0442\u043e \u0430\u0441\u0438\u043c\u043f\u0442\u043e\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0442\u0435\u043e\u0440\u0435\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0435\u0442, \u0447\u0442\u043e \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u0438\u044f &quot;\u0444\u0430\u043d\u0442\u043e\u043c\u043d\u043e\u0433\u043e&quot; \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u0430 \u0434\u0432\u0443\u0445 \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u0435\u0439 \u0431\u0435\u0437 \u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0441\u0442\u0440\u0435\u043c\u0438\u0442\u0441\u044f \u043a <\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/771\/671\/154\/77167115443eff74b4e58d85625b1960.svg\" alt=\"$1-e^{-a}-a\\cdot{e^{-a}}\\cdot\\left[1-e^{-c\\cdot\\sqrt{a}}\\right], $\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u043a\u043e\u0433\u0434\u0430 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u0430 (\u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c\u043e\u0433\u043e \u043a\u0430\u043a \u043d.\u043e.\u0440. \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0411\u0435\u0440\u043d\u0443\u043b\u043b\u0438) <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/31c\/ff6\/aea\/31cff6aeab09b2c116418869a8203d80.svg\" alt=\"$p=\\sqrt{a\/n}\\to 0$\" data-tex=\"inline\"><\/math>, \u0447\u0438\u0441\u043b\u043e \u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7d5\/053\/2ca\/7d50532cae9689f529173b0dfafecb6b.svg\" alt=\"$m=c\\cdot\\sqrt{n}\\to\\infty$\" data-tex=\"inline\"><\/math>, \u0430 \u0447\u0438\u0441\u043b\u043e \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u043e\u0432 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d09\/d80\/eba\/d09d80eba331f66672c69019b02c08bf.svg\" alt=\"$n\\to\\infty$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u041e\u0442\u043c\u0435\u0442\u0438\u043c, \u0447\u0442\u043e \u0434\u0430\u0436\u0435 \u043c\u0435\u043d\u044c\u0448\u0435\u0435 \u0447\u0438\u0441\u043b\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a25\/442\/c9e\/a25442c9e230c672de569a25a427a75a.svg\" alt=\"$1-e^{-a}-a\\cdot{e^{-a}}$\" data-tex=\"inline\"><\/math> \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u043c, \u0442\u0430\u043a \u043a\u0430\u043a \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u0435\u0442 \u0441 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u041f\u0443\u0430\u0441\u0441\u043e\u043d\u043e\u0432\u0441\u043a\u0430\u044f \u0432\u0435\u043b\u0438\u0447\u0438\u043d\u0430 \u0441\u043e \u0441\u0440\u0435\u0434\u043d\u0438\u043c <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/372\/e18\/546\/372e18546a3b7abb94c2672708bc5dfe.svg\" alt=\"$a$\" data-tex=\"inline\"><\/math> \u043f\u0440\u0438\u043c\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 &gt;1.<\/p>\n<p>  <\/p>\n<p>\u041c\u043e\u0436\u043d\u043e \u043e\u0431\u0440\u0430\u0442\u0438\u0442\u044c\u0441\u044f \u043a <a href=\"http:\/\/www.frccsc.ru\/diss-council\/00207305\/diss\/list\/vinogradov_dv\" rel=\"nofollow\">\u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u0438 \u0430\u0432\u0442\u043e\u0440\u0430<\/a> \u0437\u0430 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u043c\u0438 \u0434\u0435\u0442\u0430\u043b\u044f\u043c\u0438 \u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430\u043c\u0438.<\/p>\n<p>  <\/p>\n<h4 id=\"3-veroyatnostnye-algoritmy\">3. \u0412\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u044b\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b<\/h4>\n<p>  <\/p>\n<p>\u041a\u043b\u044e\u0447\u0435\u0432\u0430\u044f \u0438\u0434\u0435\u044f \u0412\u041a\u0424-\u043c\u0435\u0442\u043e\u0434\u0430 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043f\u043e\u0440\u043e\u0436\u0438\u0442\u044c \u043c\u0430\u043b\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0440\u0435\u0448\u0435\u0442\u043a\u0438 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432 \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0435\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u043a\u0430\u043a \u0433\u0438\u043f\u043e\u0442\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043f\u0440\u0438\u0447\u0438\u043d\u044b \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430. \u0421 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u044d\u0442\u043e\u0433\u043e \u0442\u0440\u044e\u043a\u0430 \u043c\u044b \u0438\u0437\u0431\u0435\u0433\u0430\u0435\u043c \u044d\u043a\u0441\u043f\u043e\u043d\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u0432\u044b\u0441\u043e\u043a\u043e\u0439 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u0432 \u0410\u0424\u041f (\u0438 \u0414\u0421\u041c-\u043c\u0435\u0442\u043e\u0434\u0430 \u0442\u043e\u0436\u0435). <\/p>\n<p>  <\/p>\n<p>\u0422\u0430\u043a \u0447\u0442\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u044b \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b, \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0435 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u043c \u0431\u043b\u0443\u0436\u0434\u0430\u043d\u0438\u044f\u043c \u043d\u0430 \u043e\u0433\u0440\u043e\u043c\u043d\u043e\u0439 \u0440\u0435\u0448\u0435\u0442\u043a\u0435, \u0441 \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u0438\u0435\u043c \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u043e\u0433\u0434\u0430, \u043a\u043e\u0433\u0434\u0430 \u043e\u043d \u043d\u0430\u043c \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f.<\/p>\n<p>  <\/p>\n<p>\u0410\u0432\u0442\u043e\u0440 \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u043b \u0438 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043b \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0442\u0430\u043a\u0438\u0445 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u0432 (\u043d\u0435\u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u043e\u0439, \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u043e\u0439, \u0441\u043f\u0430\u0440\u0435\u043d\u043d\u043e\u0439, \u043b\u0435\u043d\u0438\u0432\u043e\u0439 \u0441\u043f\u0430\u0440\u0435\u043d\u043d\u043e\u0439 \u0438 \u0440\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u043d\u043e\u0439 \u0441\u043f\u0430\u0440\u0435\u043d\u043d\u043e\u0439 \u0446\u0435\u043f\u0435\u0439 \u041c\u0430\u0440\u043a\u043e\u0432\u0430). \u0414\u0435\u0442\u0430\u043b\u0438 \u043c\u043e\u0433\u0443\u0442 \u043d\u0430\u0439\u0434\u0435\u043d\u044b \u0432 <a href=\"http:\/\/www.frccsc.ru\/diss-council\/00207305\/diss\/list\/vinogradov_dv\" rel=\"nofollow\">\u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u0438 \u0430\u0432\u0442\u043e\u0440\u0430<\/a>.<\/p>\n<p>  <\/p>\n<p>\u041c\u044b \u0442\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0441\u043f\u0430\u0440\u0435\u043d\u043d\u043e\u0439 \u0446\u0435\u043f\u0438 \u041c\u0430\u0440\u043a\u043e\u0432\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u044f\u0432\u043b\u0435\u0442\u0441\u044f \u043e\u0441\u043d\u043e\u0432\u043e\u0439 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u0430 \u043a \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u043c\u0443 \u043e\u0431\u0443\u0447\u0435\u043d\u0438, \u043e\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u043c\u0443 \u043d\u0430 \u0410\u0424\u041f (\u0412\u041a\u0424-\u043c\u0435\u0442\u043e\u0434\u0430).<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">input: \u0432\u044b\u0431\u043e\u0440\u043a\u0430 (G,M,I), \u0432\u043d\u0435\u0448\u043d\u0438\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 CbO( , ) result: \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0439 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442 &lt;A,B&gt; X=G U M;  A = M'; B = M;   C = G; D = G'; while (A!=C || B!= D) {         \u0432\u044b\u0431\u0440\u0430\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 x \u0438\u0437 X;         &lt;A,B&gt; = CbO(&lt;A,B&gt;,x);         &lt;C,D&gt; = CbO(&lt;C,D&gt;,x); }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043b\u0435\u043d\u0438\u0432\u044b\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0441\u043f\u0430\u0440\u0435\u043d\u043d\u043e\u0439 \u0446\u0435\u043f\u0438 \u041c\u0430\u0440\u043a\u043e\u0432\u0430. \u0410\u0432\u0442\u043e\u0440 \u0434\u043e\u043a\u0430\u0437\u0430\u043b, \u0447\u0442\u043e \u043b\u0435\u043d\u0438\u0432\u044b\u0435 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043f\u0440\u0438\u0432\u043e\u0434\u044f\u0442 \u043a \u0443\u0441\u043a\u043e\u0440\u0435\u043d\u0438\u044e (\u043f\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044e \u0441 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0441\u0445\u0435\u043c\u043e\u0439) \u0434\u043e<\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d5d\/b37\/7ef\/d5db377efd02ed11162f3aba9bff5077.svg\" alt=\"$\\frac{(n+k)^2}{2k\\cdot n}=2+\\frac{(n-k)^2}{2k\\cdot n} \\geq 2 $\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u0440\u0430\u0437, \u0433\u0434\u0435 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/08d\/9fa\/efb\/08d9faefbe272bdf8fbb80773542e343.svg\" alt=\"$n$\" data-tex=\"inline\"><\/math> \u2014 \u0447\u0438\u0441\u043b\u043e \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u043e\u0432, \u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/16d\/a50\/7b2\/16da507b2fc389688ef0659939dcc647.svg\" alt=\"$k$\" data-tex=\"inline\"><\/math> \u2014 \u0447\u0438\u0441\u043b\u043e \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432. <\/p>\n<p>  <\/p>\n<p>\u042d\u0442\u043e\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0441 \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u043e\u0446\u0435\u043d\u043a\u0430\u043c\u0438, \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u043c\u0438 \u0431\u044b\u0432\u0448\u0435\u0439 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u043a\u043e\u0439 \u0420\u0413\u0413\u0423 \u041b.\u0410. \u042f\u043a\u0438\u043c\u043e\u0432\u043e\u0439.<\/p>\n<p>  <\/p>\n<h4 id=\"4-obschaya-struktura-vkf-metoda\">4. \u041e\u0431\u0449\u0430\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0412\u041a\u0424-\u043c\u0435\u0442\u043e\u0434\u0430<\/h4>\n<p>  <\/p>\n<p>\u0412 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u043c \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0438 \u0441 \u0443\u0447\u0438\u0442\u0435\u043b\u0435\u043c \u043e\u0431\u044b\u0447\u043d\u043e \u0438\u043c\u0435\u044e\u0442\u0441\u044f \u0434\u0432\u0435 \u0432\u044b\u0431\u043e\u0440\u043a\u0438, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u0435 <em>\u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0435\u0439<\/em> \u0438 <em>\u0442\u0435\u0441\u0442\u043e\u0432\u043e\u0439<\/em>, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. <\/p>\n<p>  <\/p>\n<p>\u0418\u0437 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0435\u0439 \u0432\u044b\u0431\u043e\u0440\u043a\u0438 \u043e\u0431\u0440\u0430\u0437\u0443\u044e\u0442 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e92\/b76\/131\/e92b76131c7c4419f53c9589c8086d77.svg\" alt=\"$(G,M,I)$\" data-tex=\"inline\"><\/math>. \u041e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0444\u043e\u0440\u043c\u0438\u0440\u0443\u044e\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/2b6\/47e\/ca4\/2b647eca43a3275e9b95a138b659a0ea.svg\" alt=\"$O$\" data-tex=\"inline\"><\/math> <em>\u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432<\/em> (\u043f\u0440\u0435\u043f\u044f\u0442\u0441\u0442\u0432\u0438\u0439 \u0434\u043b\u044f \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u0432 \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437\u044b).<\/p>\n<p>  <\/p>\n<p>\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/175\/f98\/839\/175f98839ab732db76d5f20cd6ce2ce9.svg\" alt=\"$T$\" data-tex=\"inline\"><\/math> \u0442\u0435\u0441\u0442\u043e\u0432 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442 \u0432\u0441\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0442\u0435\u0441\u0442\u043e\u0432\u043e\u0439 \u0432\u044b\u0431\u043e\u0440\u043a\u0438 \u0434\u043b\u044f \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0430\u043d\u0438\u044f \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430.<\/p>\n<p>  <\/p>\n<p>\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043b\u0435\u043d\u0438\u0432\u043e\u0439 \u0441\u043f\u0430\u0440\u0435\u043d\u043d\u043e\u0439 \u0446\u0435\u043f\u0438 \u041c\u0430\u0440\u043a\u043e\u0432\u0430, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0433\u043e \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/826\/8b1\/b91\/8268b1b91fba155160288b90b874d7ea.svg\" alt=\"$\\langle A,B\\rangle\\in L(G,M,I)$\" data-tex=\"inline\"><\/math>. \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u0435\u0433\u043e \u043a\u0430\u043a \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437\u0443 VKF-hypothesis <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/699\/fca\/921\/699fca9219eb0d9fb08c3cd31d5c2d23.svg\" alt=\"$\\langle A,B\\rangle$\" data-tex=\"inline\"><\/math>, \u0435\u0441\u043b\u0438 \u043d\u0435 \u043d\u0430\u0439\u0434\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u043e\u0433\u043e \u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/0e9\/64f\/8e1\/0e964f8e12fdbe7d40957c7686144854.svg\" alt=\"$o\\in O$\" data-tex=\"inline\"><\/math>, \u0447\u0442\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e78\/dcb\/0f1\/e78dcb0f1ad9fc91778099c40018a47f.svg\" alt=\"$B\\subseteq \\{o\\}'$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u041e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0438\u043d\u0434\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u0442\u0430\u043a\u043e\u0432<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">input: \u0447\u0438\u0441\u043b\u043e N \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437 \u0434\u043b\u044f \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u0438\u044f result: \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u0430\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0430 S \u0437\u0430\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0433\u0438\u043f\u043e\u0442\u0435\u0437  while (i&lt;N) {         \u043f\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0433\u043e \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 &lt;A,B&gt; \u0434\u043b\u044f (G,M,I);         hasObstacle = false;         for (o in O) {             if (B \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f \u0432 {o}') hasObstacle = true;         }         if (hasObstacle == false) {                 S = S U {&lt;A,B&gt;};                 i = i+1;         } }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0423\u0441\u043b\u043e\u0432\u0438\u0435 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e78\/dcb\/0f1\/e78dcb0f1ad9fc91778099c40018a47f.svg\" alt=\"$B\\subseteq\\{o\\}'$\" data-tex=\"inline\"><\/math> \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/20d\/8ca\/ec6\/20d8caec693d8d8eaf70885e408419f6.svg\" alt=\"$B$\" data-tex=\"inline\"><\/math> \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/ad1\/495\/5a7\/ad14955a777b7bd7f2c5c94600d640c0.svg\" alt=\"$\\langle{A,B}\\rangle$\" data-tex=\"inline\"><\/math> \u0432\u043e \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442 (\u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u043e\u0432) \u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d75\/219\/36a\/d7521936a2ef631da8017d5295046e99.svg\" alt=\"$o$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u0415\u0441\u043b\u0438 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442 \u0438\u0437\u0431\u0435\u0433\u0430\u0435\u0442 \u0432\u0441\u0435 \u0442\u0430\u043a\u0438\u0435 \u043f\u0440\u0435\u043f\u044f\u0442\u0441\u0442\u0432\u0438\u044f, \u043e\u043d \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043a \u0441\u043f\u0438\u0441\u043a\u0443 \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u043d\u044b\u0445 \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437.<\/p>\n<p>  <\/p>\n<p>\u041c\u044b \u0437\u0430\u043c\u0435\u043d\u0438\u043b\u0438 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0441\u0442\u0441\u043a\u0438\u0439 \u043f\u043e\u0442\u0440\u0435\u0431\u043b\u044f\u044e\u0449\u0438\u0439 \u043c\u043d\u043e\u0433\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0445\u043e\u0440\u043e\u0448\u043e \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c &quot;\u0417\u0430\u043c\u044b\u043a\u0430\u0439-\u043f\u043e-\u043e\u0434\u043d\u043e\u043c\u0443&quot;) \u0434\u043b\u044f \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0432\u0441\u0435\u0445 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432 \u043d\u0430 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u044b\u0439, \u043a\u043e\u0442\u043e\u0440\u043e\u044b\u0439 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u0442 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043c\u0430.<\/p>\n<p>  <\/p>\n<p>\u041f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u0446\u0435\u043b\u0435\u0432\u043e\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u0443 \u0442\u0435\u0441\u0442\u043e\u0432 \u0438 \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0430\u043d\u0438\u044f \u0441 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u043c\u0438 \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430. \u0412\u043e\u0442 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0430\u043d\u0438\u044f \u043f\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">input: \u0441\u043f\u0438\u0441\u043e\u043a T \u0442\u0435\u0441\u0442\u043e\u0432\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0434\u043b\u044f \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0430\u043d\u0438\u044f \u0443\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430  input: \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u0430\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0430 S \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u043d\u044b\u0445 \u0438\u043d\u0434\u0443\u043a\u0446\u0438\u0435\u0439 \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437 for (x in T) {         target(x) = false;         for (&lt;A,B&gt; in S) {             if (B is a part of {x}') target(x) = true;         } }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0425\u0443\u0434\u0448\u0430\u044f \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f \u0441\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u043a\u043e\u0433\u0434\u0430 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u0430\u0436\u043d\u044b\u0439 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0442\u0435\u0441\u0442\u043e\u0432\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u043f\u0440\u043e\u043f\u0443\u0441\u0442\u0438\u0442 \u0432\u0441\u0435 \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u043d\u044b\u0435 \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437\u044b \u0438 \u0434\u043e\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u0441\u044f \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e.<\/p>\n<p>  <\/p>\n<p>\u0422\u0435\u0441\u0442\u043e\u0432\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/817\/b92\/407\/817b92407f764f57af9226e50cc788fd.svg\" alt=\"$x$\" data-tex=\"inline\"><\/math> \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/289\/a7a\/210\/289a7a2101da9af41e701ec2de958d6b.svg\" alt=\"$\\varepsilon$\" data-tex=\"inline\"><\/math>&#8212;<em>\u0432\u0430\u0436\u043d\u044b\u043c<\/em>, \u0435\u0441\u043b\u0438 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c \u0432\u0441\u0435\u0445 \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/699\/fca\/921\/699fca9219eb0d9fb08c3cd31d5c2d23.svg\" alt=\"$\\langle A,B\\rangle$\" data-tex=\"inline\"><\/math> \u0441 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/9e8\/174\/540\/9e8174540d6050bbaa995f98a9f53e22.svg\" alt=\"$B\\subseteq\\{x\\}'$\" data-tex=\"inline\"><\/math> \u043f\u0440\u0435\u0432\u043e\u0441\u0445\u043e\u0434\u0438\u0442 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/289\/a7a\/210\/289a7a2101da9af41e701ec2de958d6b.svg\" alt=\"$\\varepsilon$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u0410\u0432\u0442\u043e\u0440 \u0434\u043e\u043a\u0430\u0437\u0430\u043b \u0442\u0435\u043e\u0440\u0435\u043c\u0443 \u043e\u0431 \u043e\u0446\u0435\u043d\u043a\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1e8\/0c3\/b30\/1e80c3b3087c0a57b68ad11261a9ec2b.svg\" alt=\"$N$\" data-tex=\"inline\"><\/math> \u0438\u0437 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0438\u043d\u0434\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f, \u0447\u0442\u043e\u0431\u044b \u0438\u0437\u0431\u0435\u0436\u0430\u0442\u044c \u0445\u0443\u0434\u0448\u0435\u0433\u043e \u0441\u043b\u0443\u0447\u0430\u044f.<\/p>\n<p>  <\/p>\n<p>\u0414\u043b\u044f <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/bf0\/77f\/01e\/bf077f01e64e5bebf9b89482daa23cb7.svg\" alt=\"$n=\\left|{M}\\right|$\" data-tex=\"inline\"><\/math>, \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/57d\/a3a\/1b3\/57da3a1b30a8f1a01e2f6190a48779e8.svg\" alt=\"$\\varepsilon&gt;0$\" data-tex=\"inline\"><\/math> \u0438 \u043b\u044e\u0431\u043e\u0433\u043e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5e8\/100\/604\/5e81006040c0270185185a65ca1d1c97.svg\" alt=\"$1&gt;\\delta&gt;0$\" data-tex=\"inline\"><\/math> \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u0430\u044f \u0432\u044b\u0431\u043e\u0440\u043a\u0430 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/cb6\/d45\/cf9\/cb6d45cf916546ae1085088c0c5dcd09.svg\" alt=\"$S$\" data-tex=\"inline\"><\/math> \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437 \u043c\u043e\u0449\u043d\u043e\u0441\u0442\u0438<\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5bb\/ac7\/f9a\/5bbac7f9af656d5b168a401790005823.svg\" alt=\"$N\\geq{\\frac{2\\cdot(n+1)-2\\cdot\\log_{2}{\\delta} }{\\varepsilon}} $\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p>\u0441 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u044c\u044e <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/338\/ee9\/902\/338ee990233edc69e145058576752b72.svg\" alt=\"$&gt;{1-\\delta}$\" data-tex=\"inline\"><\/math> \u0438\u043c\u0435\u0435\u0442 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e, \u0447\u0442\u043e \u043a\u0430\u0436\u0434\u044b\u0439 <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/289\/a7a\/210\/289a7a2101da9af41e701ec2de958d6b.svg\" alt=\"$\\varepsilon$\" data-tex=\"inline\"><\/math>-\u0432\u0430\u0436\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 $x$ \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0412\u041a\u0424-\u0433\u0438\u043f\u043e\u0442\u0435\u0437\u044b <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/298\/d64\/d98\/298d64d98c03af758e5e5cc1a5600a3b.svg\" alt=\"$\\langle A,B\\rangle\\in{S}$\" data-tex=\"inline\"><\/math>, \u0442.\u0435. <math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/9e8\/174\/540\/9e8174540d6050bbaa995f98a9f53e22.svg\" alt=\"$B\\subseteq\\{x\\}'$\" data-tex=\"inline\"><\/math>.<\/p>\n<p>  <\/p>\n<p>\u042d\u0442\u0430 \u0442\u0435\u043e\u0440\u0435\u043c\u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0430\u043d\u0430\u043b\u043e\u0433\u043e\u043c \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0445 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432 \u043f\u0440\u043e\u0444. \u0412.\u041d. \u0412\u0430\u043f\u043d\u0438\u043a\u0430 \u0438 \u043f\u0440\u043e\u0444. \u0410.\u042f. \u0427\u0435\u0440\u0432\u043e\u043d\u0435\u043d\u043a\u0438\u0441\u0430 \u0438\u0437 \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0442\u0435\u043e\u0440\u0438\u0438 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f.<\/p>\n<p>  <\/p>\n<h4 id=\"zaklyuchenie\">\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h4>\n<p>  <\/p>\n<p>\u042d\u0442\u0430 \u0437\u0430\u043c\u0435\u0442\u043a\u0430 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0433\u043b\u0430\u0432\u043d\u044b\u0435 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043a\u0438 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u043d\u0430 \u0442\u0435\u043e\u0440\u0438\u0438 \u0440\u0435\u0448\u0435\u0442\u043e\u043a. \u0410\u0432\u0442\u043e\u0440 \u043d\u0430\u0437\u0432\u0430\u043b \u0435\u0435 &quot;\u0412\u041a\u0424-\u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439&quot; \u0432 \u0447\u0435\u0441\u0442\u044c \u0441\u0432\u043e\u0435\u0433\u043e \u0443\u0447\u0438\u0442\u0435\u043b\u044f \u043f\u0440\u043e\u0444. \u0412.\u041a. \u0424\u0438\u043d\u043d\u0430.<\/p>\n<p>  <\/p>\n<p>\u041f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u0446\u0438\u043a\u043b\u0430 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f\u043c \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u0441 \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u0430\u043c\u0438 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0434\u043b\u044f \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u044f \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c\u043e\u0439 \u0437\u0434\u0435\u0441\u044c \u043c\u0430\u0448\u0438\u043d\u044b \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f. <\/p>\n<p>  <\/p>\n<p>\u0414\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u044b\u0435 \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u0438 \u0441\u043d\u043e\u0432\u0430 \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0442\u0435\u0445\u043d\u0438\u043a\u0443 \u0438\u0437 \u0410\u0424\u041f. \u041d\u0435\u043f\u0440\u0435\u0440\u044b\u0432\u043d\u044b\u043c \u043f\u0440\u0438\u0437\u043d\u0430\u043a\u0430\u043c \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u043b\u043e\u0433\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0440\u0435\u0433\u0440\u0435\u0441\u0441\u0438\u044f, \u044d\u043d\u0442\u0440\u043e\u043f\u0438\u0439\u043d\u044b\u0435 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u044b \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u043e\u0432 \u043d\u0430 \u043f\u043e\u0434\u044b\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b \u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435, \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u044e\u0449\u0435\u0435 \u0432\u044b\u043f\u0443\u043a\u043b\u0443\u044e \u043e\u0431\u043e\u043b\u043e\u0447\u043a\u0443 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432, \u0447\u044c\u0435 \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f. <\/p>\n<p>  <\/p>\n<p>\u0410\u0432\u0442\u043e\u0440 \u0440\u0430\u0434 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u043f\u043e\u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u0438\u0442\u044c \u0441\u0432\u043e\u0438\u0445 \u043a\u043e\u043b\u043b\u0435\u0433 \u0438 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u043e\u0432 \u0437\u0430 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0443 \u0438 \u0441\u0442\u0438\u043c\u0443\u043b\u044b.<\/p>\n<\/div>\n<p> \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\/post\/510580\/\"> https:\/\/habr.com\/ru\/post\/510580\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\n<div class=\"post__text post__text-html post__text_v1\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/510580\/\">\n<p>\u042d\u0442\u043e \u0442\u0440\u0435\u0442\u044c\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u0441\u0435\u0440\u0438\u0438 \u0440\u0430\u0431\u043e\u0442 (\u0441\u0441\u044b\u043b\u043a\u0438 \u043d\u0430 <a href=\"https:\/\/habr.com\/en\/post\/509338\/\">\u043f\u0435\u0440\u0432\u0443\u044e<\/a> \u0438 <a href=\"https:\/\/habr.com\/en\/post\/510010\/\">\u0432\u0442\u043e\u0440\u0443\u044e<\/a> \u0440\u0430\u0431\u043e\u0442\u044b), \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0449\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043d\u0430 \u0442\u0435\u043e\u0440\u0438\u0438 \u0440\u0435\u0448\u0435\u0442\u043e\u043a, \u043e\u0437\u0430\u0433\u043b\u0430\u0432\u043b\u0435\u043d\u043d\u0443\u044e &quot;\u0412\u041a\u0424-\u0441\u0438\u0441\u0442\u0435\u043c\u0430&quot;. \u041e\u043d\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u044b\u0439 (\u0442\u0435\u043e\u0440\u0435\u0442\u0438\u043a\u043e-\u0440\u0435\u0448\u0435\u0442\u043e\u0447\u043d\u043e\u0439) \u043f\u043e\u0434\u0445\u043e\u0434 \u043a \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044e \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0438 \u0438\u0445 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u043e\u0432, \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c\u044b\u0445 \u043a\u0430\u043a \u043f\u0440\u0438\u0447\u0438\u043d\u044b \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442 \u044d\u0442\u0438 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u044b \u043a\u0430\u043a \u0441\u0445\u043e\u0434\u0441\u0442\u0432\u0430 \u043c\u0435\u0436\u0434\u0443 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c\u0438 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430\u043c\u0438 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432. \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0442\u0435\u043e\u0440\u0438\u044f \u0442\u0430\u043a\u0438\u0445 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0439, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u0430\u044f \u0410\u043d\u0430\u043b\u0438\u0437\u043e\u043c \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u043f\u043e\u043d\u044f\u0442\u0438\u0439 (\u0410\u0424\u041f). <\/p>\n<p>  <\/p>\n<p>\u041e\u0434\u043d\u0430\u043a\u043e \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u044b\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b, \u0447\u0442\u043e\u0431\u044b \u0443\u0441\u0442\u0440\u0430\u043d\u0438\u0442\u044c \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u043d\u0435\u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u0430. \u041f\u043e\u0434\u0440\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u043d\u0438\u0436\u0435&#8230;<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/ve\/lm\/yz\/velmyzu6vz2h8mzwswr-4vitj-c.png\" alt=\"\u041e\u0431\u043b\u0430\u0441\u0442\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0410\u0424\u041f\"><\/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-306820","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/306820","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=306820"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/306820\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=306820"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=306820"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=306820"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}