{"id":1826,"date":"2009-02-25T12:03:10","date_gmt":"2009-02-25T09:03:10","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=1826"},"modified":"2009-02-25T12:03:10","modified_gmt":"2009-02-25T09:03:10","slug":"%d1%81%d1%82%d0%be%d1%87%d0%bd%d0%b8%d0%ba-%d0%b8%d1%81%d1%82%d0%be%d1%87%d0%bd%d0%b8%d0%ba-%d0%b8-%d1%80%d0%b5%d0%b3%d1%83%d0%bb%d1%8f%d1%80%d0%bd%d1%8b%d0%b9-%d1%8f%d0%b7%d1%8b%d0%ba-%d1%82%d0%b5","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=1826","title":{"rendered":"\u0441\u0442\u043e\u0447\u043d\u0438\u043a. \u0418\u0441\u0442\u043e\u0447\u043d\u0438\u043a \u0438 \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0446\u0438\u0438 \u041a\u0410."},"content":{"rendered":"

\u0412\u043e\u043f\u0440\u043e\u0441 42. \u0418\u0441\u0442\u043e\u0447\u043d\u0438\u043a. \u0418\u0441\u0442\u043e\u0447\u043d\u0438\u043a \u0438 \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0446\u0438\u0438 \u041a\u0410.
\n\u0422\u0435\u043e\u0440\u0435\u043c\u0430 : ( \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0446\u0438\u044f \u041a\u0410). \u0414\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u041a\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0430 K=< A,Q,B,?,?> \u0441\u0443\u0449. \u042d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u044b\u0439 \u0435\u043c\u0443 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u041a\u0410\u0432\u0442\u043e\u043c\u0430\u0442 K1=< A,Q,B,?1,?1> \u0438\u043c\u0435\u044e\u0449\u0438\u0439 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 \u0447\u0435\u043c 2^n \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 ( n=|Q| , |Q1|=2^|Q| =2^n). \u0414\u041e\u041a-\u0412\u041e : 1). \u041a\u043f\u0440=< A,Q,B,?,?> \u0430\u0432\u0442\u043e\u043c\u0430\u0442-\u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c , \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439. \u041a\u043f\u0440 ? Kp ( \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a) \u041a\u0440=< A\u2019,Q,{e},?\u2019,?\u2019>. 2). \u041f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0446\u0438\u0438 : \u0448\u0430\u0433 1: \u0437\u0430\u0444\u0438\u043a\u0441\u0438\u0440\u0443\u0435\u043c \u043d\u0430\u0447\u0430\u043b. \u0441\u043e\u0441-\u043d\u0438\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 q1, \u0434\u043b\u044f q1 \u0438 \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e a\u2019j?A ( j=1,2, … , |A\u2019j| ). \u0421\u0442\u0440\u043e\u0438\u043c \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0435\u0440\u0448\u0438\u043d \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 ? Q , \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u0439 \u0438\u0437 Q1 \u043f\u0440\u0438 \u0432\u0445\u043e\u0434\u043d\u043e\u043c \u0437\u043d\u0430\u043a\u0435 a\u2019j.
\n\u0428\u0430\u0433 i : \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0441\u0438\u0441-\u043c\u0443 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432 \u043d\u0430 i-\u0442\u043e\u043c \u0448\u0430\u0433\u0435 \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u0432\u0445. \u0437\u043d\u0430\u043a\u0430. \u0428\u0430\u0433 i+1 : \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u043c\u043d-\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u0441\u0442\u0440\u043e\u0438\u043c \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u043e \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 \u043f\u0440\u0438 \u0432\u0445\u043e\u0434\u043d\u043e\u043c \u0437\u043d\u0430\u043a\u0435 \u0434\u043b\u044f \u0432\u0441\u0435\u0445 . \u0417\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u043c \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u0441\u0438\u0441-\u043c\u044b \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432 , \u0435\u0441\u043b\u0438 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u044b \u0432\u0441\u0435 \u0438 \u043d\u0435 \u043f\u043e\u044f\u0432\u0438\u043b\u043e\u0441\u044c \u043d\u043e\u0432\u044b\u0445 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432. { }={ } \u0434\u043b\u044f \u0432\u0441\u0435\u0445 J. 3). \u0421\u0447\u0438\u0442\u0430\u0435\u043c \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u0443\u044e \u0441\u0438\u0441-\u043c\u0443 \u043c\u043d-\u0432 \u043d\u043e\u0432\u044b\u043c\u0438 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c\u0438 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430. |Q\u0434|=2^|Q|=2^n. 4). \u041f\u043e \u043c\u0435\u0442\u043e\u0434\u0443 \u043c\u0430\u0442. \u0438\u043d\u0434\u0443\u043a\u0446\u0438\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043d\u0435\u043e\u0442\u043b\u0438\u0447\u0438\u043c\u043e\u0441\u0442\u044c \u044d\u0442\u0438\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u041a \u0438 \u041a\u0434 \u043f\u043e \u0434\u043b\u0438\u043d\u0435 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0441\u0442\u0440\u043e\u043a. \u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435 : 1). \u0417\u0430\u043a\u043b\u044e\u0447\u0438\u0442. \u0441\u043e\u0441\u0442-\u043d\u0438\u044f\u043c\u0438 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u044f\u0432\u043b. \u0432\u0441\u0435 \u0442\u0435 \u0441\u043e\u0441\u0442-\u044f , \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0441\u043e\u0441\u0442-\u043d\u0438\u0439 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442 \u0437\u0430\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0441\u043e\u0441\u0442-\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430. 2). \u041c\u043e\u0436\u0435\u0442 \u0441\u043b\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0442\u0430\u043a , \u0447\u0442\u043e \u043f\u043e\u0441\u043b\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 \u043e\u0442 \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u0430 \u043a \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0443- \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044e \u043e\u043d \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u043c \u043f\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u043c\u0443 \u0437\u043d\u0430\u043a\u0443. \u042d\u0442\u0430 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u044c \u043d\u0438\u043a\u0430\u043a \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d\u0430 \u0441 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0439 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043e\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430.<\/p>\n

\u0412\u043e\u043f\u0440\u043e\u0441 43. \u0421\u0435\u0442\u0438 \u0438\u0437 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432. \u041e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u0432\u0438\u0434\u044b \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432. \u0421\u043f\u043e\u0441\u043e\u0431\u044b \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043d\u043e\u0439 \u0441\u0435\u0442\u0438.
\n\u0412\u044b\u0432\u043e\u0434 : 1). \u041a\u0410 — \u044d\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f \u0434\u0430\u043d\u043d\u044b\u0445. 2). \u041a\u0410 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0438\u0440\u0443\u0435\u0442 \u0432\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0438. 3). \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u043e\u0435 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432. \u0421\u0435\u0442\u044c\u044e \u0438\u0437 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u043d\u0430\u0437-\u0441\u044f \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0447\u0442\u043e \u0432\u044b\u0445\u043e\u0434\u044b \u043e\u0434\u043d\u0438\u0445 \u0441\u043b\u0443\u0436\u0430\u0442 \u0432\u0445\u043e\u0434\u0430\u043c\u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u0438 \u0432\u0441\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u044b \u0432 \u0441\u0435\u0442\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0438\u0440\u0443\u044e\u0442 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e (\u0441\u043e\u0433\u043b\u0430\u0441\u043e\u0432\u0430\u043d\u043d\u043e). \u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435 : \u0434\u043b\u044f \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0441\u0435\u0442\u0438 \u0438\u0437 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u043d\u0430\u0434\u043e \u0432\u0432\u0435\u0441\u0442\u0438 \u043f\u043e\u043d\u044f\u0442\u0438\u0435 \u0432\u0440\u0435\u043c\u0435\u043d\u0438, \u0442.\u043a. \u0432\u0430\u0436\u043d\u043e \u0437\u043d\u0430\u0442\u044c \u0432 \u043a\u0430\u043a\u0438\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u0445 \u043d\u0430\u0445-\u0441\u044f \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0441\u0435\u0442\u0438 \u0438 \u0432 \u043a\u0430\u043a\u0438\u0435 \u043c\u043e\u043c\u0435\u043d\u0442\u044b \u0432\u0440\u0435\u043c\u0435\u043d\u0438. \u041e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u0432\u0438\u0434\u044b \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f : 1). \u041f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e\u0435, \u0441 \u043e\u0431\u0449\u0438\u043c \u0438 \u0441 \u0440\u0430\u0437\u0434\u0435\u043b\u044c\u043d\u044b\u043c \u0432\u0445\u043e\u0434\u043e\u043c.
\nK=< A1*A2;Q1*Q2;B1*B2;?;?>\t\t\t\t\t\t\tK=< A;Q1*Q2;B1*B2;?;?>
\n2). \u041f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \tK=< A1;Q1*Q2;B2;???>
\n3). \u0421\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u0441 \u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u0441\u0432\u044f\u0437\u044c\u044e K=< A1*B1;Q1;???>
\n\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0445 3-\u0445 \u0432\u0438\u0434\u043e\u0432 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0434\u043b\u044f \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u043b\u044e\u0431\u043e\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043d\u043e\u0439 \u0441\u0435\u0442\u0438. \u0421\u043f\u043e\u0441\u043e\u0431\u044b \u0432\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0432 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043d\u0443\u044e \u0441\u0435\u0442\u044c : 1). \u0421\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u044b\u0439 : \u0430). \u0412\u0432\u043e\u0434\u0438\u0442\u044c\u0441\u044f \u0448\u043a\u0430\u043b\u0430 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 , \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0434\u0435\u043b\u0438\u0442\u044c\u0441\u044f \u043d\u0430 \u043e\u0442\u0440\u0435\u0437\u043a\u0438 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e\u0439 \u0434\u043b\u0438\u043d\u044b ( \u0442\u0430\u043a\u0442\u044b), \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0443\u043c\u0435\u0440\u0443\u044e\u0442\u0441\u044f \u0441 0.
\n\u0431). \u0414\u043b\u0438\u043d\u0430 \u0442\u0430\u043a\u0442\u0430 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442\u0441\u044f \u0437\u0430 \u0435\u0434\u0438\u043d\u0438\u0446\u0443 \u0438\u0437\u043c\u0435\u0440\u0435\u043d\u0438\u044f \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0432). \u0412\u0445\u043e\u0434\u043d\u044b\u0435 \u0438 \u0432\u044b\u0445. \u0441\u0442\u0440\u043e\u043a\u0438 ?= ai1,ai2, … , aik ; ?=bj1, bj2, … , bjk ; bj?B , ai?A \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c \u043a\u0430\u043a \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0437\u043d\u0430\u043a\u043e\u0432 \u0441\u043c\u0435\u043d\u044f\u0435\u043c\u044b\u0445 \u043a\u0430\u0436\u0434\u044b\u0439 \u0442\u0430\u043a\u0442. \u0433). \u0410\u0432\u0442\u043e\u043c\u0430\u0442\u043d\u044b\u0435 \u0444-\u0446\u0438\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u044e\u0442\u0441\u044f \u0441 \u0437\u0430\u0434\u0435\u0440\u0436\u043a\u043e\u0439 q(t)?Q , a(t)?? , b(t)?? , t?{0,1, … ,}? ?;
\n??(q(t), a(t))=q(t+1) \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u041c\u0438\u043b\u0438 : ?(q(t),a(t))=b(t) ; \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u041c\u0443\u0440\u0430 ?(q(t),a(t))=b(t+1) \u0434). \u0421\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0432 \u0441\u0435\u0442\u0438 \u0434\u043e\u0441\u0442\u0438\u0433\u0430\u0435\u0442\u0441\u044f \u0437\u0430 \u0441\u0447\u0435\u0442 : ? \u0432\u043d\u0435\u0448\u043d\u0435\u0433\u043e \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u0430 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 , ? \u0438\u0434\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043a \u0441\u0440\u0435\u0434\u044b \u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432. 2). \u0410\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u044b\u0439. \u041e\u043f\u0440\u0435\u0434 : \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 qi \u044f\u0432\u043b-\u0441\u044f \u0443\u0441\u0442\u043e\u0439\u0447\u0438\u0432\u044b\u043c \u043f\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u043c\u0443 \u0437\u043d\u0430\u043a\u0443 aj, \u0435\u0441\u043b\u0438 ?(qi, aj)=?(qi, aj aj)
\n\u0412 \u0430\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u043e\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0435 \u043b\u044e\u0431\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0443\u0441\u0442\u043e\u0439\u0447\u0438\u0432\u043e \u043f\u043e \u043b\u044e\u0431\u043e\u043c\u0443 \u0432\u0445\u043e\u0434\u043d\u043e\u043c\u0443 \u0437\u043d\u0430\u043a\u0443 \u0432\u0435\u0434\u0443\u0449\u0435\u043c\u0443 \u0432 \u044d\u0442\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435.<\/p>\n

\u0412\u043e\u043f\u0440\u043e\u0441 44. \u041a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u043e\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0435.
\n\u041a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u043e\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 — \u044d\u0442\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 , \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u043a\u0430 a \u0438 \u0434\u043b\u044f \u043b\u044e\u0431\u044b\u0445 \u0434\u0432\u0443\u0445 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 qi \u0438 qj \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 : ?(qi , a)=?(qj , a) { \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u0439 \u0437\u043d\u0430\u043a \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0442 \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u043a\u0430 \u0438 \u043d\u0435 \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f}. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 : \u041b\u044e\u0431\u043e\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u0435\u043d \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0443 \u041c\u0438\u043b\u0438 \u0441 \u043e\u0434\u043d\u0438\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\u043c \u041a\u043c\u0438\u043b\u0438 = < A,{q}, B, ???> \u0438\u043b\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0443 \u041c\u0443\u0440\u0430 \u0441 m-\u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c\u0438 \u041a\u043c\u0443\u0440\u0430 = < A, Qm, B, ???> , \u0433\u0434\u0435 m=|A|=|Qm|. \u0414\u041e\u041a-\u0412\u041e : 1). \u041c\u0435\u0442\u043e\u0434\u043e\u043c \u043c\u0430\u0442. \u0438\u043d\u0434\u0443\u043a\u0446\u0438\u0438 \u043f\u043e \u0434\u043b\u0438\u043d\u0435 \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 ? \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c , \u0447\u0442\u043e \u0434\u043b\u044f ?q?Q \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043d\u043e\u0435 \u043e\u0442\u0440\u0430\u0436\u0435\u043d\u0438\u0435 K(qi, ?k)=K(qj, ?k), \u0447\u0442\u043e \u043f\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044e \u043e \u043d\u0435\u043e\u0442\u043b\u0438\u0447\u0438\u043c\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u0445 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0442\u043e\u043c\u0443, \u0447\u0442\u043e qi \u043d\u0435\u043e\u0442\u043b\u0438\u0447\u0438\u043c\u043e \u043e\u0442 qj \u0434\u043b\u044f ?qi \u0438 qj. 2). \u0422.\u043a. \u0432\u0441\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043d\u0435\u043e\u0442\u043b\u0438\u0447\u0438\u043c\u044b \u043e\u0442 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e qi , \u0442\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u044f \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u041c\u0438\u043b\u0438 (\u043c\u0438\u043d\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f) \u043f\u043e\u043b\u0443\u0447\u0438\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u0441 \u043e\u0434\u043d\u0438\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\u043c. 3). \u041f\u043e\u0441\u0442\u0440\u043e\u0438\u043c \u0434\u043b\u044f \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u043e\u0433\u043e min \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u043d\u0435\u043e\u0442\u043b\u0438\u0447\u0438\u043c\u044b\u0439 \u043e\u0442 \u043d\u0435\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u041c\u0443\u0440\u0430, |Qm|=n*m+n=|A|*|Q\u2019|+|Q\u2019|=|A|+1. \u041e\u0434\u043d\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043f\u043e\u044f\u0432\u0438\u043b\u043e\u0441\u044c \u0432 \u0440\u0435\u0437-\u0442\u0435 \u043d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0441\u0442\u0438 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u041c\u0443\u0440\u0430. \u0414\u043e\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0432\u044b\u0445\u043e\u0434\u0430 \u0434\u043b\u044f \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043a\u0430\u043a b1?B. \u0412 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 q10 \u0438 q1b1 \u044f\u0432\u043b. \u043d\u0435\u043e\u0442\u043b\u0438\u0447\u0438\u043c\u044b\u043c\u0438, \u0433\u0434\u0435 q10- \u043d\u0430\u0447\u0430\u043b. \u0441\u043e\u0441\u0442-\u0435 => \u044d\u0442\u043e\u0442 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u043c\u0438\u043d\u0438\u043c\u0438\u0437\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0434\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u041c\u0443\u0440\u0430 \u0441 m \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c\u0438 m=|Qm|=|A|. \u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435 — \u043b\u044e\u0431\u043e\u0439 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u043e\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043a\u0430\u043a \u0430\u0432\u0442\u043e\u043c\u0430\u0442 = < A,{q},B,?> , \u0433\u0434\u0435 ?- \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0432\u044b\u0445\u043e\u0434\u0430 =< A,B,?> ; ? : A*Q? {q1}, \u0442.\u0435. ? \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u0430.<\/p>\n","protected":false},"excerpt":{"rendered":"

\u0412\u043e\u043f\u0440\u043e\u0441 42. \u0418\u0441\u0442\u043e\u0447\u043d\u0438\u043a. \u0418\u0441\u0442\u043e\u0447\u043d\u0438\u043a \u0438 \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0446\u0438\u0438 \u041a\u0410. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 : ( \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u0446\u0438\u044f \u041a\u0410). \u0414\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u041a\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0430 K=< A,Q,B,?,?> \u0441\u0443\u0449. \u042d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u044b\u0439 \u0435\u043c\u0443 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u041a\u0410\u0432\u0442\u043e\u043c\u0430\u0442 K1=< A,Q,B,?1,?1> \u0438\u043c\u0435\u044e\u0449\u0438\u0439 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 \u0447\u0435\u043c 2^n \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 ( n=|Q| , |Q1|=2^|Q| =2^n). \u0414\u041e\u041a-\u0412\u041e : 1). \u041a\u043f\u0440=< A,Q,B,?,?><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[45],"tags":[],"_links":{"self":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1826"}],"collection":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1826"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1826\/revisions"}],"predecessor-version":[{"id":1827,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1826\/revisions\/1827"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1826"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1826"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1826"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}