Десятая проблема Гильберта. Решение и применения в...
TRANSCRIPT
![Page 1: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/1.jpg)
Ãèïîòåçà Martin'a Davis'à (=DPRM-òåîðåìà)
Ãèïîòåçà M. Davis'à (DPRM-òåîðåìà). Êàæäîåïåðå÷èñëèìîå ìíîæåñòâî ÿâëÿåòñÿ äèîôàíòîâûì.
![Page 2: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/2.jpg)
Ãèïîòåçà Martin'a Davis'à (=DPRM-òåîðåìà)
Ãèïîòåçà M. Davis'à (DPRM-òåîðåìà). Êàæäîåïåðå÷èñëèìîå ìíîæåñòâî ÿâëÿåòñÿ äèîôàíòîâûì.
![Page 3: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/3.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M, ñîñòîÿùåå èç n-îê íàòóðàëüíûõ÷èñåë íàçûâàåòñÿ ïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòüïðîãðàììó R, òàêóþ ÷òî
R-〈a1, . . . , an〉 -îñòàíîâêà, åñëè 〈a1, . . . , an〉 ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ýêâèâàëåíòíîå îïðåäåëåíèå. Ìíîæåñòâî M, ñîñòîÿùåå èçn-îê íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿ ïåðå÷èñëèìûì, åñëèìîæíî íàïèñàòü ïðîãðàììó P êîòîðàÿ (ðàáîòàÿ áåñêîíå÷íîäîëãî) áóäåò ïå÷àòàòü òîëüêî ýëåìåíòû ìíîæåñòâà M èíàïå÷àòàåò êàæäîå èç íèõ, áûòü ìîæåò, ìíîãî ðàç.
![Page 4: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/4.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M, ñîñòîÿùåå èç n-îê íàòóðàëüíûõ÷èñåë íàçûâàåòñÿ ïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòüïðîãðàììó R, òàêóþ ÷òî
R-〈a1, . . . , an〉 -îñòàíîâêà, åñëè 〈a1, . . . , an〉 ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ýêâèâàëåíòíîå îïðåäåëåíèå. Ìíîæåñòâî M, ñîñòîÿùåå èçn-îê íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿ ïåðå÷èñëèìûì, åñëèìîæíî íàïèñàòü ïðîãðàììó P êîòîðàÿ (ðàáîòàÿ áåñêîíå÷íîäîëãî) áóäåò ïå÷àòàòü òîëüêî ýëåìåíòû ìíîæåñòâà M èíàïå÷àòàåò êàæäîå èç íèõ, áûòü ìîæåò, ìíîãî ðàç.
![Page 5: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/5.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M, ñîñòîÿùåå èç n-îê íàòóðàëüíûõ÷èñåë íàçûâàåòñÿ ïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòüïðîãðàììó R, òàêóþ ÷òî
R-〈a1, . . . , an〉 -îñòàíîâêà, åñëè 〈a1, . . . , an〉 ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ýêâèâàëåíòíîå îïðåäåëåíèå. Ìíîæåñòâî M, ñîñòîÿùåå èçn-îê íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿ ïåðå÷èñëèìûì, åñëèìîæíî íàïèñàòü ïðîãðàììó P êîòîðàÿ (ðàáîòàÿ áåñêîíå÷íîäîëãî) áóäåò ïå÷àòàòü òîëüêî ýëåìåíòû ìíîæåñòâà M èíàïå÷àòàåò êàæäîå èç íèõ, áûòü ìîæåò, ìíîãî ðàç.
![Page 6: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/6.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
![Page 7: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/7.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
![Page 8: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/8.jpg)
Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
R1, . . . ,Rn êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíîáîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõìåòêàìè S1, . . . ,Sm. Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñìåòêîé Sk , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè Sk .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
I. Sk : R` + +;Si
II. Sk : R`−−; Si ;SjIII. Sk : STOP
![Page 9: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/9.jpg)
Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
R1, . . . ,Rn êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíîáîëüøîå íàòóðàëüíîå ÷èñëî.
Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõìåòêàìè S1, . . . ,Sm. Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñìåòêîé Sk , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè Sk .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
I. Sk : R` + +;Si
II. Sk : R`−−; Si ;SjIII. Sk : STOP
![Page 10: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/10.jpg)
Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
R1, . . . ,Rn êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíîáîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõìåòêàìè S1, . . . ,Sm. Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñìåòêîé Sk , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè Sk .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
I. Sk : R` + +;Si
II. Sk : R`−−; Si ;SjIII. Sk : STOP
![Page 11: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/11.jpg)
Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
R1, . . . ,Rn êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíîáîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõìåòêàìè S1, . . . ,Sm. Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñìåòêîé Sk , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè Sk .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
I. Sk : R` + +;Si
II. Sk : R`−−; Si ;SjIII. Sk : STOP
![Page 12: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/12.jpg)
Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
R1, . . . ,Rn êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíîáîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõìåòêàìè S1, . . . ,Sm. Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñìåòêîé Sk , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè Sk .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
I. Sk : R` + +;Si
II. Sk : R`−−; Si ;SjIII. Sk : STOP
![Page 13: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/13.jpg)
Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
R1, . . . ,Rn êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíîáîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõìåòêàìè S1, . . . ,Sm. Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñìåòêîé Sk , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè Sk .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
I. Sk : R` + +;Si
II. Sk : R`−−; Si ;Sj
III. Sk : STOP
![Page 14: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/14.jpg)
Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
R1, . . . ,Rn êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíîáîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõìåòêàìè S1, . . . ,Sm. Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñìåòêîé Sk , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè Sk .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
I. Sk : R` + +;Si
II. Sk : R`−−; Si ;SjIII. Sk : STOP
![Page 15: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/15.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.
![Page 16: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/16.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.
![Page 17: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/17.jpg)
Ïåðå÷èñëèìûå ìíîæåñòâà
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.
![Page 18: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/18.jpg)
ÏðèìåðS1: R1−−; S2; S8S2: R1−−; S3; S9S3: R2++; S4S4: R1−−; S5; S6S5: R1−−; S3; S8S6: R2−−; S7; S1S7: R1++; S6S8: R1++; S8S9: STOP
![Page 19: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/19.jpg)
Óðàâíåíèÿ ñ ïàðàìåòðàìè
Ñåìåéñòâî äèîôàíòîâûõ óðàâíåíèé èìååò âèä
M(a1, . . . , an, x1, . . . , xm) = 0,
ãäå M � ìíîãî÷ëåí ñ öåëûìè êîýôôèöèåíòàìè, ïåðåìåííûåêîòîðãî ðàçäåëåíû íà äâå ãðóïïû:
I ïàðàìåòðû a1, . . . ,an;
I íåèçâåñòíûå x1, . . . ,xm.
Ðàññìîòðèì ìíîæåñòâî M òàêîå, ÷òî
〈a1, . . . , an〉 ∈M⇐⇒∃x1 . . . xm{M(a1, . . . , an, x1, . . . , xm) = 0}.
Ìíîæåñòâà, èìåþùèå òàêèå ïðåäñòàâëåíèÿ íàçûâàþòñÿäèîôàíòîâûìè.
![Page 20: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/20.jpg)
Óðàâíåíèÿ ñ ïàðàìåòðàìè
Ñåìåéñòâî äèîôàíòîâûõ óðàâíåíèé èìååò âèä
M(a1, . . . , an, x1, . . . , xm) = 0,
ãäå M � ìíîãî÷ëåí ñ öåëûìè êîýôôèöèåíòàìè, ïåðåìåííûåêîòîðãî ðàçäåëåíû íà äâå ãðóïïû:
I ïàðàìåòðû a1, . . . ,an;
I íåèçâåñòíûå x1, . . . ,xm.
Ðàññìîòðèì ìíîæåñòâî M òàêîå, ÷òî
〈a1, . . . , an〉 ∈M⇐⇒∃x1 . . . xm{M(a1, . . . , an, x1, . . . , xm) = 0}.
Ìíîæåñòâà, èìåþùèå òàêèå ïðåäñòàâëåíèÿ íàçûâàþòñÿäèîôàíòîâûìè.
![Page 21: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/21.jpg)
Óðàâíåíèÿ ñ ïàðàìåòðàìè
Ñåìåéñòâî äèîôàíòîâûõ óðàâíåíèé èìååò âèä
M(a1, . . . , an, x1, . . . , xm) = 0,
ãäå M � ìíîãî÷ëåí ñ öåëûìè êîýôôèöèåíòàìè, ïåðåìåííûåêîòîðãî ðàçäåëåíû íà äâå ãðóïïû:
I ïàðàìåòðû a1, . . . ,an;
I íåèçâåñòíûå x1, . . . ,xm.
Ðàññìîòðèì ìíîæåñòâî M òàêîå, ÷òî
〈a1, . . . , an〉 ∈M⇐⇒∃x1 . . . xm{M(a1, . . . , an, x1, . . . , xm) = 0}.
Ìíîæåñòâà, èìåþùèå òàêèå ïðåäñòàâëåíèÿ íàçûâàþòñÿäèîôàíòîâûìè.
![Page 22: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/22.jpg)
Óðàâíåíèÿ ñ ïàðàìåòðàìè
Ñåìåéñòâî äèîôàíòîâûõ óðàâíåíèé èìååò âèä
M(a1, . . . , an, x1, . . . , xm) = 0,
ãäå M � ìíîãî÷ëåí ñ öåëûìè êîýôôèöèåíòàìè, ïåðåìåííûåêîòîðãî ðàçäåëåíû íà äâå ãðóïïû:
I ïàðàìåòðû a1, . . . ,an;
I íåèçâåñòíûå x1, . . . ,xm.
Ðàññìîòðèì ìíîæåñòâî M òàêîå, ÷òî
〈a1, . . . , an〉 ∈M⇐⇒∃x1 . . . xm{M(a1, . . . , an, x1, . . . , xm) = 0}.
Ìíîæåñòâà, èìåþùèå òàêèå ïðåäñòàâëåíèÿ íàçûâàþòñÿäèîôàíòîâûìè.
![Page 23: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/23.jpg)
Äèîôàíòîâû ìàøèíû
Leonard Adleman è Kenneth Manders [1976] ââåëè ïîíÿòèåíåäåòåðìèíèðîâàííîé äèîôàíòîâîé ìàøèíû, NDDM .
NDDM
P(a, x1, . . . , xm)?= 0 �-
? --
âõîäa
óãàäàòüx1, . . . , xm
ÄÀ ÍÅÒ
ïðèíÿòü a îòâåðãíóòü
DPRM-òåîðåìà: NDDM èìååþò òàêóþ æå âû÷èñëèòåëüíóþñèëó êàê, íàïðèìåð, ìàøèíû Òüþðèíãà, òî åñòü ëþáîåìíîæåñòâî, ïðèíèìàåìîå íåêîòîðîé ìàøèíîé Òüþðèíãà,ïðèíèìàåòñÿ íåêîòîðîé NDDM, è, î÷åâèäíî, íàîáîðîò.
![Page 24: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/24.jpg)
Äèîôàíòîâû ìàøèíû
Leonard Adleman è Kenneth Manders [1976] ââåëè ïîíÿòèåíåäåòåðìèíèðîâàííîé äèîôàíòîâîé ìàøèíû, NDDM .
NDDM
P(a, x1, . . . , xm)?= 0 �-
? --
âõîäa
óãàäàòüx1, . . . , xm
ÄÀ ÍÅÒ
ïðèíÿòü a îòâåðãíóòü
DPRM-òåîðåìà: NDDM èìååþò òàêóþ æå âû÷èñëèòåëüíóþñèëó êàê, íàïðèìåð, ìàøèíû Òüþðèíãà, òî åñòü ëþáîåìíîæåñòâî, ïðèíèìàåìîå íåêîòîðîé ìàøèíîé Òüþðèíãà,ïðèíèìàåòñÿ íåêîòîðîé NDDM, è, î÷åâèäíî, íàîáîðîò.
![Page 25: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/25.jpg)
Äèîôàíòîâû ìàøèíû
Leonard Adleman è Kenneth Manders [1976] ââåëè ïîíÿòèåíåäåòåðìèíèðîâàííîé äèîôàíòîâîé ìàøèíû, NDDM .
NDDM
P(a, x1, . . . , xm)?= 0 �-
? --
âõîäa
óãàäàòüx1, . . . , xm
ÄÀ ÍÅÒ
ïðèíÿòü a îòâåðãíóòü
DPRM-òåîðåìà: NDDM èìååþò òàêóþ æå âû÷èñëèòåëüíóþñèëó êàê, íàïðèìåð, ìàøèíû Òüþðèíãà, òî åñòü ëþáîåìíîæåñòâî, ïðèíèìàåìîå íåêîòîðîé ìàøèíîé Òüþðèíãà,ïðèíèìàåòñÿ íåêîòîðîé NDDM, è, î÷åâèäíî, íàîáîðîò.
![Page 26: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/26.jpg)
Äèîôàíòîâà ñëîæíîñòü
NDDM
P(a, x1, . . . , xm)?= 0 �-
? --
âõîäa
óãàäàòüx1, . . . , xm
ÄÀ ÍÅÒ
ïðèíÿòü a îòâåðãíóòü
SIZE(a)=ìèíèìàëüíî âîçìîæíîå çíà÷åíèå |x1|+ · · ·+ |xm|, ãäå|x | îáîçíà÷àåò äëèíó äâîè÷íîé çàïèñè x .
![Page 27: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/27.jpg)
Äèîôàíòîâà ñëîæíîñòü
NDDM
P(a, x1, . . . , xm)?= 0 �-
? --
âõîäa
óãàäàòüx1, . . . , xm
ÄÀ ÍÅÒ
ïðèíÿòü a îòâåðãíóòü
SIZE(a)=ìèíèìàëüíî âîçìîæíîå çíà÷åíèå |x1|+ · · ·+ |xm|, ãäå|x | îáîçíà÷àåò äëèíó äâîè÷íîé çàïèñè x .
![Page 28: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/28.jpg)
Äèîôàíòîâà ñëîæíîñòü
Leonard Adleman è Kenneth Manders [1975] ââåëè âðàññìîòðåíèå êëàññ D ñîñòîÿùèé èç ìíîæåñòâ M èìåþùèõïðåäñòàâëåíèÿ âèäà
a ∈M ⇐⇒⇐⇒ ∃x1 . . . xm
[P(a, x1, . . . , xm) = 0& |x1|+ · · ·+ |xm| ≤ |a|k
].
Îòêðûòàÿ ïðîáëåìà. D?= NP.
![Page 29: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/29.jpg)
Äèîôàíòîâà ñëîæíîñòü
Leonard Adleman è Kenneth Manders [1975] ââåëè âðàññìîòðåíèå êëàññ D ñîñòîÿùèé èç ìíîæåñòâ M èìåþùèõïðåäñòàâëåíèÿ âèäà
a ∈M ⇐⇒⇐⇒ ∃x1 . . . xm
[P(a, x1, . . . , xm) = 0& |x1|+ · · ·+ |xm| ≤ |a|k
].
Îòêðûòàÿ ïðîáëåìà. D?= NP.
![Page 30: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/30.jpg)
Ãèïîòåçà Martin'a Davis'à (=DPRM-òåîðåìà)
Ãèïîòåçà M. Davis'à (DPRM-òåîðåìà). Êàæäîåïåðå÷èñëèìîå ìíîæåñòâî ÿâëÿåòñÿ äèîôàíòîâûì.
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.Áåç îãðàíè÷åíèÿ îáùíîñòè ìû ïðåäïîëàãàåì, ÷òî èìååòñÿåäèíñòâåííàÿ êîìàíäà STOP � êîìàíäà ñ ìåòêîé Sm, à âìîìåíò îñòàíîâêè âñå ðåãèñòðû ïóñòû.
![Page 31: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/31.jpg)
Ãèïîòåçà Martin'a Davis'à (=DPRM-òåîðåìà)
Ãèïîòåçà M. Davis'à (DPRM-òåîðåìà). Êàæäîåïåðå÷èñëèìîå ìíîæåñòâî ÿâëÿåòñÿ äèîôàíòîâûì.
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.Áåç îãðàíè÷åíèÿ îáùíîñòè ìû ïðåäïîëàãàåì, ÷òî èìååòñÿåäèíñòâåííàÿ êîìàíäà STOP � êîìàíäà ñ ìåòêîé Sm, à âìîìåíò îñòàíîâêè âñå ðåãèñòðû ïóñòû.
![Page 32: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/32.jpg)
Ãèïîòåçà Martin'a Davis'à (=DPRM-òåîðåìà)
Ãèïîòåçà M. Davis'à (DPRM-òåîðåìà). Êàæäîåïåðå÷èñëèìîå ìíîæåñòâî ÿâëÿåòñÿ äèîôàíòîâûì.
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.
Áåç îãðàíè÷åíèÿ îáùíîñòè ìû ïðåäïîëàãàåì, ÷òî èìååòñÿåäèíñòâåííàÿ êîìàíäà STOP � êîìàíäà ñ ìåòêîé Sm, à âìîìåíò îñòàíîâêè âñå ðåãèñòðû ïóñòû.
![Page 33: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/33.jpg)
Ãèïîòåçà Martin'a Davis'à (=DPRM-òåîðåìà)
Ãèïîòåçà M. Davis'à (DPRM-òåîðåìà). Êàæäîåïåðå÷èñëèìîå ìíîæåñòâî ÿâëÿåòñÿ äèîôàíòîâûì.
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.Áåç îãðàíè÷åíèÿ îáùíîñòè ìû ïðåäïîëàãàåì, ÷òî èìååòñÿåäèíñòâåííàÿ êîìàíäà STOP � êîìàíäà ñ ìåòêîé Sm
, à âìîìåíò îñòàíîâêè âñå ðåãèñòðû ïóñòû.
![Page 34: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/34.jpg)
Ãèïîòåçà Martin'a Davis'à (=DPRM-òåîðåìà)
Ãèïîòåçà M. Davis'à (DPRM-òåîðåìà). Êàæäîåïåðå÷èñëèìîå ìíîæåñòâî ÿâëÿåòñÿ äèîôàíòîâûì.
Îïðåäåëåíèå. Ìíîæåñòâî M íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿïåðå÷èñëèìûì, åñëè ìîæíî íàïèñàòü ïðîãðàììó R äëÿðåãèñòðîâîé ìàøèíû, òàêóþ ÷òî
R-a -îñòàíîâêà, åñëè a ∈M
âå÷íàÿ ðàáîòà â ïðîòèâíîì ñëó÷àå
Ïðè çàïóñêå ìàøèíû ÷èñëî a ïîìåùåíî â ðåãèñòð R1, âñåîñòàëüíûå ðåãèñòðû ñîäåðæàò íóëè.Áåç îãðàíè÷åíèÿ îáùíîñòè ìû ïðåäïîëàãàåì, ÷òî èìååòñÿåäèíñòâåííàÿ êîìàíäà STOP � êîìàíäà ñ ìåòêîé Sm, à âìîìåíò îñòàíîâêè âñå ðåãèñòðû ïóñòû.
![Page 35: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/35.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0
S1 s1,q . . . s1,t+1 s1,t . . . s1,0...
......
......
......
Sk sk,q . . . sk,t+1 sk,t . . . sk,0...
......
......
......
Sm sm,q . . . sm,t+1 sm,t . . . sm,0
sk,t =
{1, åñëè íà øàãå t ìàøèíà áûëà â ñîñòîÿíèè k
0 â ïðîòèâíîì ñëó÷àå
![Page 36: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/36.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0...
......
......
......
Sk sk,q . . . sk,t+1 sk,t . . . sk,0...
......
......
......
R1 r1,q . . . r1,t+1 r1,t . . . r1,0...
......
......
......
R` r`,q . . . r`,t+1 r`,t . . . r`,0...
......
......
......
Rn rn,q . . . rn,t+1 rn,t . . . rn,0
r`,t � ýòî ñîäåðæèìîå `-ãî ðåãèñòðà íà øàãå t
![Page 37: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/37.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0...
......
......
......
Sk sk,q . . . sk,t+1 sk,t . . . sk,0...
......
......
......
......
......
......
...R` r`,q . . . r`,t+1 r`,t . . . r`,0...
......
......
......
Z1 z1,q . . . z1,t+1 z1,t . . . z1,0...
......
......
......
Z` z`,q . . . z`,t+1 z`,t . . . z`,0...
......
......
......
Zn zn,q . . . zn,t+1 zn,t . . . zn,0
z`,t =
{1, åñëè r`,t > 00 â ïðîòèâíîì ñëó÷àå
![Page 38: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/38.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 39: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/39.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 =
r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 40: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/40.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t
+ s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 41: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/41.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t
+ s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 42: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/42.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t
− z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 43: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/43.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t
− z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 44: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/44.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t
− z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 45: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/45.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t
− z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 46: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/46.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 47: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/47.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 =
r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 48: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/48.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t
+ s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 49: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/49.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t
− z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 50: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/50.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 51: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/51.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 =
(1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 52: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/52.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t
s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 53: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/53.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 =
z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 54: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/54.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 55: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/55.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 =
z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 56: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/56.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t
+ z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 57: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/57.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t
s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 58: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/58.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 =
s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 59: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/59.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t
s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 60: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/60.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 =
z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 61: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/61.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 62: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/62.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 =
(1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 63: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/63.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t
+ s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 64: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/64.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t
s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 65: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/65.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 =
z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 66: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/66.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 67: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/67.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 =
(1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 68: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/68.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t
+ s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 69: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/69.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t
s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 70: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/70.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 =
(1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 71: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/71.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 =
1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 72: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/72.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1
s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 73: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/73.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 74: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/74.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 =
a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 75: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/75.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a
r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 76: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/76.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1
s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 77: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/77.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 78: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/78.jpg)
ÏðèìåðS1:R1−−; S2; S8 S4:R1−−; S5; S6 S7:R1++; S6S2:R1−−; S3; S9 S5:R1−−; S3; S8 S8:R1++; S8S3:R2++; S4 S6:R2−−; S7; S1 S9:STOP
r1,t+1 = r1,t + s7,t + s8,t − z1,ts1,t − z1,ts2,t − z1,ts4,t − z1,ts5,t
r2,t+1 = r2,t + s3,t − z2,ts6,t
s1,t+1 = (1− z2,t)s6,t s2,t+1 = z1,ts1,t
s3,t+1 = z1,ts2,t + z1,ts5,t s4,t+1 = s3,t s5,t+1 = z1,ts4,t
s6,t+1 = (1− z4,t)s4,t + s7,t s7,t+1 = z2,ts6,t
s8,t+1 = (1− z1,t)s1,t + s8,t s9,t+1 = (1− z1,t)s2,t
s1,0 = 1 s2,0 = · · · = sm,0 = 0
r1,0 = a r2,0 = · · · = rn,0 = 0
sm,q = 1 s1,q = · · · = sm−1,q = 0
r1,q = · · · = rn,q = 0
![Page 79: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/79.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
r`,t+1 = r`,t +∑+
` sk,t −∑−
` z`,tsk,t
ãäå∑+
` -ñóììèðîâàíèå âåäåòñÿ ïî âñåì èíñòðóêöèÿì âèäà
Sk : R` + +; Si ,
à∑−
` -ñóììèðîâàíèå � ïî âñåì èíñòðóêöèÿì âèäà
Sk : R`−−; Si ; Sj .
![Page 80: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/80.jpg)
Íîâûå ñîñòîÿíèÿ
sd ,t+1 =∑+
d sk,t +∑−
d z`,tsk,t +∑
0
d (1− z`,t)sk,t
ãäå∑+
d -ñóììèðîâàíèå âåäåòñÿ ïî âñåì èíñòðóêöèÿì âèäà
Sk : R` + +; Sd ,∑−d -ñóììèðîâàíèå âåäåòñÿ ïî âñåì èíñòðóêöèÿì âèäà
Sk : R`−−; Sd ; Sj ,
à∑
0
d -ñóììèðîâàíèå � ïî âñåì èíñòðóêöèÿì âèäà
Sk : R`−−; Si ; Sd .
![Page 81: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/81.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0
......
......
......
...Sk sk,q . . . sk,t+1 sk,t . . . sk,0
= sk =∑q
t=0sk,tb
t
......
......
......
...
......
......
......
...R` r`,q . . . r`,t+1 r`,t . . . r`,0
= r` =∑q
t=0r`,tb
t
......
......
......
...
......
......
......
...Z` z`,q . . . z`,t+1 z`,t . . . z`,0
= z` =∑q
t=0z`,tb
t
......
......
......
...
![Page 82: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/82.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0
......
......
......
...Sk sk,q . . . sk,t+1 sk,t . . . sk,0
=
sk =∑q
t=0sk,tb
t
......
......
......
...
......
......
......
...R` r`,q . . . r`,t+1 r`,t . . . r`,0
= r` =∑q
t=0r`,tb
t
......
......
......
...
......
......
......
...Z` z`,q . . . z`,t+1 z`,t . . . z`,0
= z` =∑q
t=0z`,tb
t
......
......
......
...
![Page 83: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/83.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0
......
......
......
...Sk sk,q . . . sk,t+1 sk,t . . . sk,0 = sk =
∑qt=0
sk,tbt
......
......
......
...
......
......
......
...R` r`,q . . . r`,t+1 r`,t . . . r`,0
= r` =∑q
t=0r`,tb
t
......
......
......
...
......
......
......
...Z` z`,q . . . z`,t+1 z`,t . . . z`,0
= z` =∑q
t=0z`,tb
t
......
......
......
...
![Page 84: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/84.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0
......
......
......
...Sk sk,q . . . sk,t+1 sk,t . . . sk,0 = sk =
∑qt=0
sk,tbt
......
......
......
...
......
......
......
...R` r`,q . . . r`,t+1 r`,t . . . r`,0 = r` =
∑qt=0
r`,tbt
......
......
......
...
......
......
......
...Z` z`,q . . . z`,t+1 z`,t . . . z`,0
= z` =∑q
t=0z`,tb
t
......
......
......
...
![Page 85: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/85.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0
......
......
......
...Sk sk,q . . . sk,t+1 sk,t . . . sk,0 = sk =
∑qt=0
sk,tbt
......
......
......
...
......
......
......
...R` r`,q . . . r`,t+1 r`,t . . . r`,0 = r` =
∑qt=0
r`,tbt
......
......
......
...
......
......
......
...Z` z`,q . . . z`,t+1 z`,t . . . z`,0 = z` =
∑qt=0
z`,tbt
......
......
......
...
![Page 86: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/86.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1
bt+1
=
q−1∑t=0
(
r`,t
bt+1
+∑+
` sk,t
bt+1
−∑−
` z`,tsk,t
bt+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 87: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/87.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1
bt+1
=
q−1∑t=0
(
r`,t
bt+1
+∑+
` sk,t
bt+1
−∑−
` z`,tsk,t
bt+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 88: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/88.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1
bt+1
=
q−1∑t=0
(
r`,t
bt+1
+∑+
` sk,t
bt+1
−∑−
` z`,tsk,t
bt+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 89: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/89.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1
bt+1
=
q−1∑t=0
(
r`,t
bt+1
+∑+
` sk,t
bt+1
−∑−
` z`,tsk,t
bt+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 90: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/90.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1bt+1 =
q−1∑t=0
(
r`,tbt+1 +
∑+` sk,tb
t+1 −∑−
` z`,tsk,tbt+1
)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 91: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/91.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1bt+1 =
q−1∑t=0
(r`,tb
t+1 +∑+
` sk,tbt+1 −
∑−` z`,tsk,tb
t+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 92: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/92.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1bt+1 =
q−1∑t=0
(r`,tb
t+1 +∑+
` sk,tbt+1 −
∑−` z`,tsk,tb
t+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 93: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/93.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1bt+1 =
q−1∑t=0
(r`,tb
t+1 +∑+
` sk,tbt+1 −
∑−` z`,tsk,tb
t+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 94: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/94.jpg)
Íîâûå çíà÷åíèÿ ðåãèñòðîâ
sk =
q∑t=0
sk,tbt r` =
q∑t=0
r`,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
r`,t+1bt+1 =
q−1∑t=0
(r`,tb
t+1 +∑+
` sk,tbt+1 −
∑−` z`,tsk,tb
t+1)
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
r1 − a = br1 + b∑+
` sk − b∑−
` (z` ∧ sk)r` = br` + b
∑+` sk − b
∑−` (z` ∧ sk), ` = 2, . . . , n
![Page 95: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/95.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1
bt+1
=
=
q−1∑t=0
(
∑+d sk,t
bt+1
+∑−
d z`,tsk,t
bt+1
+∑
0
d (1− z`,t)sk,t
bt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 96: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/96.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1
bt+1
=
=
q−1∑t=0
(
∑+d sk,t
bt+1
+∑−
d z`,tsk,t
bt+1
+∑
0
d (1− z`,t)sk,t
bt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 97: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/97.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1
bt+1
=
=
q−1∑t=0
(
∑+d sk,t
bt+1
+∑−
d z`,tsk,t
bt+1
+∑
0
d (1− z`,t)sk,t
bt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 98: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/98.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1
bt+1
=
=
q−1∑t=0
(
∑+d sk,t
bt+1
+∑−
d z`,tsk,t
bt+1
+∑
0
d (1− z`,t)sk,t
bt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 99: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/99.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1bt+1 =
=
q−1∑t=0
(
∑+d sk,tb
t+1 +∑−
d z`,tsk,tbt+1 +
∑0
d (1− z`,t)sk,tbt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 100: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/100.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1bt+1 =
=
q−1∑t=0
(∑+d sk,tb
t+1 +∑−
d z`,tsk,tbt+1 +
∑0
d (1− z`,t)sk,tbt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 101: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/101.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1bt+1 =
=
q−1∑t=0
(∑+d sk,tb
t+1 +∑−
d z`,tsk,tbt+1 +
∑0
d (1− z`,t)sk,tbt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 102: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/102.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1bt+1 =
=
q−1∑t=0
(∑+d sk,tb
t+1 +∑−
d z`,tsk,tbt+1 +
∑0
d (1− z`,t)sk,tbt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 103: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/103.jpg)
Íîâûå ñîñòîÿíèÿ
sk =
q∑t=0
sk,tbt z` =
q∑t=0
z`,tbt
q−1∑t=0
sd ,t+1bt+1 =
=
q−1∑t=0
(∑+d sk,tb
t+1 +∑−
d z`,tsk,tbt+1 +
∑0
d (1− z`,t)sk,tbt+1
)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =
q−1∑t=0
1 · bt+1 =bq − 1
b − 1
![Page 104: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/104.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))
bt
=
q∑t=0
2cz`,t
bt
2c f ∧ ((2c − 1)f + r`) = 2cz`
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 105: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/105.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1
= 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))
bt
=
q∑t=0
2cz`,t
bt
2c f ∧ ((2c − 1)f + r`) = 2cz`
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 106: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/106.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))
bt
=
q∑t=0
2cz`,t
bt
2c f ∧ ((2c − 1)f + r`) = 2cz`
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 107: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/107.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))
bt
=
q∑t=0
2cz`,t
bt
2c f ∧ ((2c − 1)f + r`) = 2cz`
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 108: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/108.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))bt =
q∑t=0
2cz`,tbt
2c f ∧ ((2c − 1)f + r`) = 2cz`
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 109: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/109.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))bt =
q∑t=0
2cz`,tbt
2c f ∧ ((2c − 1)f + r`) = 2cz` f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 110: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/110.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))bt =
q∑t=0
2cz`,tbt
2c f ∧ ((2c − 1)f + r`) = 2cz` f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 111: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/111.jpg)
Èíäèêàòîðû íóëÿ
z`,t =
{0, åñëè r`,t = 01 â ïðîòèâíîì ñëó÷àå
b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r`,t) = 2cz`,t
q∑t=0
(2c ∧ (2c − 1 + r`,t))bt =
q∑t=0
2cz`,tbt
2c f ∧ ((2c − 1)f + r`) = 2cz` f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 112: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/112.jpg)
Âûáîð c
r`,t < b
= 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(
2c ∧ r`,t
)bt
= 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 113: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/113.jpg)
Âûáîð c
r`,t < b = 2c+1
r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(
2c ∧ r`,t
)bt
= 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 114: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/114.jpg)
Âûáîð c
r`,t < b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(
2c ∧ r`,t
)bt
= 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 115: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/115.jpg)
Âûáîð c
r`,t < b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(
2c ∧ r`,t
)bt
= 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 116: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/116.jpg)
Âûáîð c
r`,t < b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(
2c ∧ r`,t
)bt
= 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 117: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/117.jpg)
Âûáîð c
r`,t < b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(
2c ∧ r`,t
)bt
= 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 118: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/118.jpg)
Âûáîð c
r`,t < b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(
2c ∧ r`,t
)bt
= 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 119: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/119.jpg)
Âûáîð c
r`,t < b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(2c ∧ r`,t)bt = 0
2c f ∧ r` = 0
f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 120: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/120.jpg)
Âûáîð c
r`,t < b = 2c+1 r`,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r`,t =
{01 . . . 1, åñëè r`,t = 01 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q∑t=0
(2c ∧ r`,t)bt = 0
2c f ∧ r` = 0 f =
q∑t=0
1 · bt+1 =bq+1 − 1
b − 1
![Page 121: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/121.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0 sm = bq
![Page 122: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/122.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0 sm = bq
![Page 123: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/123.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0 sm = bq
![Page 124: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/124.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0 sm = bq
![Page 125: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/125.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0 sm = bq
![Page 126: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/126.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0 sm = bq
![Page 127: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/127.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0
sm = bq
![Page 128: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/128.jpg)
Âñå óñëîâèÿ
b = 2c+1
r` − r`,0 = br` + b∑+
` sk − b∑−
` (z` ∧ sk)
sd − sd ,0 = b∑+
d sk + b∑+
d (z` ∧ sk) + b∑
0
d ((e − z`) ∧ sk)
e =bq − 1
b − 1
2c f ∧ ((2c − 1)f + r`) = 2cz` f =bq+1 − 1
b − 1
2c f ∧ r` = 0 sm = bq
![Page 129: Десятая проблема Гильберта. Решение и применения в информатике, весна 2010: Лекция 3](https://reader033.vdocuments.site/reader033/viewer/2022051404/5879f9c51a28ab70298b69a9/html5/thumbnails/129.jpg)
Ïðîòîêîë
q . . . t + 1 t . . . 0
......
......
......
...
Sk sk,q . . . sk,t+1 sk,t . . . sk,0 = sk =∑Q
t=0sk,tb
t
......
......
......
...
......
......
......
...
R` r`,q . . . r`,t+1 r`,t . . . r`,0 = r` =∑Q
t=0r`,tb
t
......
......
......
...
......
......
......
...
Z` z`,q . . . z`,t+1 z`,t . . . z`,0 = z` =∑Q
t=0z`,tb
t
......
......
......
...