вычислимые функции, разрешимые и перечислимые множества

реклама
Ìîñêîâñêèé ôèçèêî-òåõíè÷åñêèé èíñòèòóò
Ôàêóëüòåò èííîâàöèé è âûñîêèõ òåõíîëîãèé
Ìàòåìàòè÷åñêàÿ ëîãèêà è òåîðèÿ àëãîðèòìîâ, îñåíü 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
Скачать