Ìîñêîâñêèé ôèçèêî-òåõíè÷åñêèé èíñòèòóò Ôàêóëüòåò èííîâàöèé è âûñîêèõ òåõíîëîãèé Ìàòåìàòè÷åñêàÿ ëîãèêà è òåîðèÿ àëãîðèòìîâ, îñåíü 2013 Ñåìèíàð 7: âû÷èñëèìûå ôóíêöèè; ðàçðåøèìûå è ïåðå÷èñëèìûå ìíîæåñòâà Ïóñòü Σ íåêîòîðûé êîíå÷íûé àëôàâèò (îáû÷íî Σ = {0, 1}). ×àñòè÷íî îïðåäåë¼ííàÿ ôóíêöèÿ f : Σ∗ → Σ∗ íàçûâàåòñÿ âû÷èñëèìîé, åñëè íàéä¼òñÿ ìàøèíà Òüþðèíãà, êîòîðàÿ èç êîíôèãóðàöèè q1x çà êîíå÷íîå ÷èñëî øàãîâ ïåðåõîäèò â êîíôèãóðàöèþ q0 f (x), åñëè f (x) îïðåäåëåíà, è íå îñòàíàâëèâàåòñÿ íà êîíôèãóðàöèè q1 x, åñëè f (x) íå îïðåäåëåíà. Âû÷èñëèìàÿ ôóíêöèÿ íåñêîëüêèõ àðãóìåíòîâ îïðåäåëÿåòñÿ àíàëîãè÷íî (äëÿ íà÷àëüíîé êîíôèãóðàöèè q1x1#x2# . . . #xn). Ïðè ðåøåíèè çàäà÷ ýòîãî ñåìèíàðà íå îáÿçàòåëüíî äîêàçûâàòü âñ¼ äëÿ ìàøèíû Òüþðèíãà, äîñòàòî÷íî ïðîâîäèòü ðàññóæäåíèÿ äëÿ àáñòðàêòíûõ àëãîðèòìîâ. Äîêàæèòå, ÷òî íå âñå ôóíêöèè âû÷èñëèìû. Äîêàæèòå, ÷òî êîìïîçèöèÿ âû÷èñëèìûõ ôóíêöèé âû÷èñëèìà. Äîêàæèòå, ÷òî ëþáàÿ ôóíêöèÿ ñ êîíå÷íîé îáëàñòüþ îïðåäåëåíèÿ âû÷èñëèìà. Âåðíî ëè, ÷òî îáðàòíàÿ ôóíêöèÿ ê ëþáîé âñþäó îïðåäåë¼ííîé âû÷èñëèìîé èíúåêöèè âû÷èñëèìà? À ê âû÷èñëèìîé èíúåêöèè, îïðåäåë¼ííîé âñþäó, êðîìå îäíîé òî÷êè? À ê ïðîèçâîëüíîé âû÷èñëèìîé èíúåêöèè? Äàéòå îïðåäåëåíèå âû÷èñëèìîé ôóíêöèè èç N â N. Äîêàæèòå, ÷òî ñóùåñòâóåò áèåêòèâíîå âû÷èñëèìîå â îáå ñòîðîíû êîäèðîâàíèå ïàð, ò.å. òàêàÿ âû÷èñëèìàÿ áèåêöèÿ h : N × N → N, ÷òî âû÷èñëèìû ôóíêöèè l : N → N è r : N → N, äëÿ êîòîðûõ âûïîëíåíî l(h(x, y)) = x è r(h(x, y)) = y. Äîêàæèòå, ÷òî ñëåäóþùèå äâà îïðåäåëåíèÿ ýêâèâàëåíòíû: a) Ôóíêöèÿ F : N × N → N âû÷èñëèìà, åñëè ñóùåñòâóåò àëãîðèòì, êîòîðûé ïðåîáðàçóåò ïàðó âõîäîâ n è m â F (n, m), åñëè F (n, m) îïðåäåëåíî, è íå îñòàíàâàëèâàþùèéñÿ íà ïàðå (n, m) â ïðîòèâíîì ñëó÷àå. b) Ôóíêöèÿ F : N × N → N âû÷èñëèìà, åñëè âû÷èñëèìà ôóíêöèÿ G : N → N, îïðåäåë¼ííàÿ ôîðìóëîé G(x) = F (l(x), r(x)), ãäå l è r îáðàòíûå ôóíêöèè ê âû÷èñëèìîìó êîäèðîâàíèþ ïàð. Äîêàæèòå, ÷òî åñëè F : N × N → N âû÷èñëèìà, òî ïðè ëþáîì n ôóíêöèÿ Fn(x) = F (n, x) âû÷èñëèìà. Ìíîæåñòâî A ⊂ Σ∗ íàçûâàåòñÿ ðàçðåøèìûì, åñëè ñóùåñòâóåò àëãîðèòì, ðàñïîçíàþùèé ïî ïðîèçâîëüíîìó ñëîâó x, âåðíî ëè, ÷òî x ∈ A. Ðàçðåøèìîñòü ïîäìíîæåñòâ N îïðåäåëÿåòñÿ àíàëîãè÷íî. Ôîðìàëèçóåì ðàñïîçíàþùèé àëãîðèòì êàê ìàøèíó Òüþðèíãà, èìåþùóþ íå îäíî, à äâà çàâåðøàþùèõ ñîñòîÿíèÿ: qa è qr . Åñëè ìàøèíà ïðèøëà â ñîñòîÿíèå qa, òî íåçàâèñèìî îò ñîäåðæèìîãî ëåíòû å¼ îòâåò èíòåðïðåòèðóåòñÿ êàê ïîëîæèòåëüíûé, åñëè îíà ïðèøëà â ñîñòîÿíèå qr , òî êàê îòðèöàòåëüíûé. Áóäåì òàêæå ãîâîðèòü, ÷òî ìàøèíà ïðèíÿëà èëè îòâåðãëà äàííîå ñëîâî. 1. 2. 3. 4. 5. 6. 7. 8. 1 Äîêàæèòå, ÷òî ìíîæåñòâî ðàçðåøèìî òîãäà è òîëüêî òîãäà, êîãäà âû÷èñëèìà åãî õàðàêòåðèñòè÷åñêàÿ ôóíêöèÿ 9. ( 1, n ∈ A; χA (n) = 0, n ∈ 6 A. Äîêàæèòå, ÷òî íå âñå ìíîæåñòâà ðàçðåøèìû. Ìîæåò ëè ïîäìíîæåñòâî ðàçðåøèìîãî ìíîæåñòâà áûòü íåðàçðåøèìûì? Äîêàæèòå, ÷òî ñëåäóþùèå äâà îïðåäåëåíèÿ ýêâèâàëåíòíû: a) Ìíîæåñòâî B ⊂ N × N ðàçðåøèìî, åñëè ñóùåñòâóåò àëãîðèòì, ðàñïîçíàþùèé ïî ïðîèçâîëüíîé ïàðå íàòóðàëüíûõ n è m, âåðíî ëè, ÷òî (n, m) ∈ B . b) Ìíîæåñòâî B ⊂ N × N ðàçðåøèìî, åñëè ðàçðåøèìî ìíîæåñòâî {h(n, m) | (n, m) ∈ B}, ãäå h áèåêòèâíîå âû÷èñëèìîå â îáå ñòîðîíû êîäèðîâàíèå ïàð. Äîêàæèòå, ÷òî îáúåäèíåíèå, ïåðåñå÷åíèå, ðàçíîñòü è ïðÿìîå ïðîèçâåäåíèå ðàçðåøèìûõ ìíîæåñòâ ðàçðåøèìû. Ìîæåò ëè îáúåäèíåíèå äâóõ íåðàçðåøèìûõ ìíîæåñòâ áûòü ðàçðåøèìûì? À ïåðåñå÷åíèå? Äîêàæèòå, ÷òî ëþáîå êîíå÷íîå ìíîæåñòâî ðàçðåøèìî. Äîêàæèòå, ÷òî ìíîæåñòâî ðàçðåøèìî òîãäà è òîëüêî òîãäà, êîãäà îíî ëèáî ïóñòî, ëèáî ÿâëÿåòñÿ ìíîæåñòâîì çíà÷åíèé íåêîòîðîé âñþäó îïðåäåë¼ííîé íåóáûâàþùåé âû÷èñëèìîé ôóíêöèè. Äîêàæèòå, ÷òî ñóììà ðàçðåøèìûõ ìíîæåñòâ ðàçðåøèìà. (Ñóììîé ìíîæåñòâ A è B íàçûâàåòñÿ ìíîæåñòâî A + B = {x + y | x ∈ A, y ∈ B}). Ìîæåò ëè áûòü òàê, ÷òî A ∪ B , B ∪ C è C ∪ A ðàçðåøèìû, à A ∪ B ∪ C íå ðàçðåøèìî? Ìíîæåñòâî A ⊂ Σ∗ íàçûâàåòñÿ ïåðå÷èñëèìûì, åñëè ñóùåñòâóåò àëãîðèòì, ïåðå÷èñëÿþùèé âñå åãî ýëåìåíòû â êàêîì-òî ïîðÿäêå. Ôîðìàëèçóéòå ýòî îïðåäåëåíèå â òåðìèíàõ ìàøèí Òüþðèíãà. Äîêàæèòå, ÷òî ïåðå÷èñëèìîñòü ìíîæåñòâà A ðàâíîñèëüíî êàæäîìó èç ñëåäóþùèõ ñâîéñòâ: a) Âû÷èñëèìà ïîëóõàðàêòåðèñòè÷åñêàÿ ôóíêöèÿ ìíîæåñòâà A: 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. e) n ∈ A; îïðåäåëåíà, n 6∈ A; íå A ÿâëÿåòñÿ îáëàñòüþ îïðåäåëåíèÿ âû÷èñëèìîé ôóíêöèè; A ÿâëÿåòñÿ îáëàñòüþ çíà÷åíèé âû÷èñëèìîé ôóíêöèè; A ïóñòî èëè ÿâëÿåòñÿ îáëàñòüþ çíà÷åíèé âñþäó îïðåäåë¼ííîé âû÷èñëèìîé ôóíêöèè; A êîíå÷íî èëè ÿâëÿåòñÿ îáëàñòüþ çíà÷åíèé âñþäó îïðåäåë¼ííîé âû÷èñëèìîé èíúåêöèè; χ̄A (n) = b) c) d) ( 1, 2 f) A ÿâëÿåòñÿ îáëàñòüþ çíà÷åíèé âû÷èñëèìîé èíúåêöèè; g) A ïåðå÷èñëÿåòñÿ àëãîðèòìîì, ïå÷àòàþùèì êàæäîå ÷èñëî ïî îäíîìó ðàçó; h) A ÿâëÿåòñÿ ïðîåêöèé ðàçðåøèìîãî ïîäìíîæåñòâà Σ∗ × Σ∗ íà ïåðâóþ êîîðäèíàòó. Äîêàæèòå, ÷òî íå âñå ìíîæåñòâà ïåðå÷èñëèìû. Ìîæåò ëè ïîäìíîæåñòâî ïåðå÷èñëèìîãî ìíîæåñòâà áûòü íåïåðå÷èñëèìûì? Äîêàæèòå, ÷òî îáúåäèíåíèå, ïåðåñå÷åíèå, ïðÿìîå ïðîèçâåäåíèå è ñóììà ïåðå÷èñëèìûõ ìíîæåñòâ ïåðå÷èñëèìû. (Òåîðåìà Ïîñòà) Äîêàæèòå, ÷òî ìíîæåñòâî A ðàçðåøèìî òîãäà è òîëüêî òîãäà, êîãäà è A, è Ā ïåðå÷èñëèìû. Äîêàæèòå, ÷òî ôóíêöèÿ f âû÷èñëèìà òîãäà è òîëüêî òîãäà, êîãäà å¼ ãðàôèê Γf = {(x, y) | y = f (x)} ïåðå÷èñëèì. Äîêàæèòå, ÷òî äëÿ ëþáîãî ïåðå÷èñëèìîãî ìíîæåñòâà ïàð U íàéä¼òñÿ âû÷èñëèìàÿ ôóíêöèÿ f , òàêàÿ ÷òî Γf ⊂ U , à îáëàñòü îïðåäåëåíèÿ f ñîâïàäàåò ñ ïðîåêöèåé U íà ïåðâóþ êîîðäèíàòó. Äîêàæèòå, ÷òî îáðàç è ïðîîáðàç ïåðå÷èñëèìîãî ìíîæåñòâà îòíîñèòåëüíî âû÷èñëèìîé ôóíêöèè ïåðå÷èñëèìû. Ïóñòü X è Y ïåðå÷èñëèìûå ìíîæåñòâà. Äîêàæèòå, ÷òî ñóùåñòâóþò òàêèå ïåðå÷èñëèìûå ìíîæåñòâà X 0 è Y 0, ÷òî X 0 ⊂ X , Y 0 ⊂ Y , X 0 ∩ Y 0 = ∅ è X 0 ∪ Y 0 = X ∪ Y . 20. 21. 22. 23. 24. 25. 3