Cvičení ke kursu Vyčíslitelnost

Podobné dokumenty
Cvičení ke kursu Klasická logika II

Matematická analýza 1

Projekty - Úvod do funkcionální analýzy

Doporučené příklady k Teorii množin, LS 2018/2019

Cvičení ke kursu Logika II, část III

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

ALGEBRA. Téma 5: Vektorové prostory

Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16

K oddílu I.1 základní pojmy, normy, normované prostory

K oddílu VI.1 obecné slabé topologie Příklad 1. Necht X = C([0, 1]) s topologií bodové konvergence na [0, 1]. Popište všechny

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Výroková a predikátová logika - VII

Úlohy k procvičování textu o svazech

Výroková a predikátová logika - VII

Omezenost funkce. Definice. (shora, zdola) omezená na množině M D(f ) tuto vlastnost. nazývá se (shora, zdola) omezená tuto vlastnost má množina

Teorie. Hinty. kunck6am

Lineární algebra : Lineární prostor

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Teorie. Hinty. kunck6am

Výroková a predikátová logika - IX

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

TEORIE MÍRY V některých předchozích kapitolách jste se setkali s měřením velikostí množin a víte, jaké byly těžkosti s měřením množin i na reálné ose.

Bakalářská matematika I

1 Báze a dimenze vektorového prostoru 1

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Výroková a predikátová logika - V

2. přednáška 8. října 2007

Výroková a predikátová logika - II

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

Vlastnosti regulárních jazyků

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Zimní semestr akademického roku 2014/ prosince 2014

Matematická logika. Rostislav Horčík. horcik

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

Výroková a predikátová logika - IX

1 Kardinální čísla. množin. Tvrzení: Necht X Cn. Pak: 1. X Cn a je to nejmenší prvek třídy X v uspořádání (Cn, ),

Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno

1 Lineární prostory a podprostory

Výroková a predikátová logika - IV

Teorie množin Pavel Podbrdský

PŘEDNÁŠKA 2 POSLOUPNOSTI

Výroková a predikátová logika - VIII

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Predikátová logika [Predicate logic]

Množiny, relace, zobrazení

1 Topologie roviny a prostoru

(5) Primitivní funkce

Matematická indukce, sumy a produkty, matematická logika

Stromové rozklady. Definice 1. Stromový rozklad grafu G je dvojice (T, β) taková, že T je strom,

Výroková a predikátová logika - X

Úlohy k procvičování textu o univerzální algebře

LIMITA A SPOJITOST FUNKCE

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Výroková a predikátová logika - VIII

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému

3 Množiny, Relace a Funkce

ALGEBRA. Téma 4: Grupy, okruhy a pole

Alternativní definice turingovské převeditelnosti

Lebesgue Manuál. Josef Hekrdla 1. prosince (Vzniklo pro potřeby předmětu Matematická teorie signálů ) 1 Objem intervalu. 3

Třída PTIME a třída NPTIME. NP-úplnost.

Diferenˇcní rovnice Diferenciální rovnice Matematika IV Matematika IV Program

10 Funkce více proměnných

Výroková logika - opakování

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Co je to univerzální algebra?

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

1 Soustavy lineárních rovnic

1 Množiny, výroky a číselné obory

Predikátová logika. Teoretická informatika Tomáš Foltýnek

PRIMITIVNÍ FUNKCE DEFINICE A MOTIVACE

Přednáška 6, 6. listopadu 2013

doplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je

Polynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30

Matematická logika. Rostislav Horčík. horcik

Výroková a predikátová logika - XII

Cvičení z Lineární algebry 1

Výroková a predikátová logika - XII

OBECNOSTI KONVERGENCE V R N

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

Matematická logika. Miroslav Kolařík

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

Je založen na pojmu derivace funkce a její užití. Z předchozího studia je třeba si zopakovat a orientovat se v pojmech: funkce, D(f), g 2 : y =

Definice (Racionální mocnina). Buď,. Nechť, kde a a čísla jsou nesoudělná. Pak: 1. je-li a sudé, (nebo) 2. je-li liché, klademe

PRIMITIVNÍ FUNKCE. Primitivní funkce primitivní funkce. geometrický popis integrály 1 integrály 2 spojité funkce konstrukce prim.

Posloupnosti a jejich konvergence POSLOUPNOSTI

Občas se používá značení f x (x 0, y 0 ), resp. f y (x 0, y 0 ). Parciální derivace f. rovnoběžného s osou y a z:

I. Diferenciální rovnice. 3. Rovnici y = x+y+1. převeďte vhodnou transformací na rovnici homogenní (vzniklou

Aplikovaná matematika I, NMAF071

0. ÚVOD - matematické symboly, značení,

Katedra matematiky Fakulty jaderné a fyzikálně inženýrské ČVUT v Praze Příjmení a jméno ➊ ➋ ➌ ➍ ➎ ➏ Bonus

Učební texty k státní bakalářské zkoušce Matematika Skalární součin. študenti MFF 15. augusta 2008

Kapitola 1: Reálné funkce 1/13

Přijímací zkouška - matematika

1 Pravdivost formulí v interpretaci a daném ohodnocení

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Matematika B101MA1, B101MA2

Kapitola 6. LL gramatiky. 6.1 Definice LL(k) gramatik. Definice 6.3. Necht G = (N, Σ, P, S) je CFG, k 1 je celé číslo.

Transkript:

Cvičení ke kursu Vyčíslitelnost (23. prosince 2017) 1. Odvoďte funkci [x, y, z] x y z ze základních funkcí pomocí operace. 2. Dokažte, že relace nesoudělnosti je 0. Dokažte, že grafy funkcí Mod a Div jsou 0. 3. Nechť χ a ψ jsou částečné funkce jedné proměnné. Rozhodněte, zda platí: (a) Když χ ψ je totální, pak i ψ je totální. (b) Když χ ψ je totální, pak i χ je totální. 4. Je-li A N k+1 rekurzívní množina, pak funkce ψ definovaná předpisem { min{ y ; A(x, y) } když ya(x, y) ψ(x) = jinak, kde znamená nedefinováno, je částečně rekurzívní. Dokažte. 5. Dokažte, že funkce z a s lze ze zbývajících základních funkcí odvodit pomocí operací a µ. Tyto dvě funkce by tedy v definici rekurzívních funkcí být nemusely. Návod. Funkci z lze ze základních funkcí odvodit jediným krokem. Před odvozením funkce s odvoďte funkci x 1, tj. konstantu jedné proměnné s hodnotou 1. K tomu lze využít funkci neg použitou v přednášce: jednička je nejmenší číslo, které se nerovná nule. 6. Jsou-li g a h dvě rekurzívní funkce, pak i funkce f, která má v bodech 0, 1, 2, 3, 4,... hodnoty g(0), h(0), g(1), h(1), g(2),..., je rekurzívní. Dokažte. 7. Dokažte, že obor hodnot libovolné rostoucí rekurzívní funkce jedné proměnné je rekurzívní množina. Návod. Nejprve dokažte, že je-li f rostoucí, pak vždy f(x) x, a pak využijte omezené kvantifikátory. 8. (a) Nechť ψ je částečná funkce, která má rekurzívní graf. Nechť je ψ navíc omezena rekurzívní funkcí g (stejného počtu proměnných), tj. pro každou k-tici [x 1,.., x k ] z definičního oboru Dom(ψ) funkce ψ platí ψ(x) g(x). Musí pak Dom(ψ) být rekurzívní množinou? (b) Je-li obecně rekurzívní funkce f jedné proměnné prostá a na, pak i k ní inverzní funkce f 1 je obecně rekurzívní. Dokažte. 1

9. Rozhodněte, zda platí: když A N 2 je RE relace taková, že x ya(x, y), pak existuje rekurzívní funkce g splňující podmínku x(g(x) = min{y; A(x, y)}). Návod. Uvažujte relaci A = { [x, y] ; x K y 1 }. 10. Nechť A je binární rekurzívně spočetná relace. Dokažte, že existuje částečně rekurzívní funkce β (výběrová funkce pro relaci A), pro kterou platí!β(x) ya(x, y),!β(x) A(x, β(x)). Návod. Modifikujte důkaz tvrzení, že funkce s rekurzívně spočetným grafem musí být částečně rekurzívní. 11. (a) Vyvoďte z předchozího cvičení větu o separaci: ke každé dvojici rekurzívně spočetných množin A, B existují rekurzívně spočetné množiny X, Y takové, že X Y = A B, X Y =, A B X a B A Y. (b) Jsou-li A a B dvě disjunktní množiny, jejichž komplementy jsou rekurzívně spočetné, pak A a B jsou rekurzívně oddělitelné v tom smyslu, že existuje rekurzívní množina D taková, že A D a D B =. Dokažte. 12. Nechť R je binární rekurzívně spočetná relace na N taková, že R je ekvivalence a má jen konečně mnoho tříd. Dokažte, že R je rekurzívní. Návod. Zdůvodněte, že je-li R rekurzívně spočetná (množina dvojic), pak každá její třída (třída ekvivalence) je rekurzívně spočetná množina (čísel). Zobecněte Postovu větu na konečný počet rekurzívně spočetných množin. Nakonec zdůvodněte, že když každá z konečně mnoha tříd je rekurzívní, pak i R jako množina dvojic je rekurzívní. 13. Nechť A je rekurzívní množina. Dokažte, že funkce x A x, která každému x přiřazuje počet prvků množiny A menších než x, je rekurzívní. Návod. Použijte primitivní rekurzi. 14. Ke každé obecně rekurzívní funkci f s nekonečným oborem hodnot existuje prostá obecně rekurzívní funkce g se stejným oborem hodnot. Dokažte. Návod. Předpisem g(x) = f(µy(f(y) / {g(0),.., g(x 1)})), tj. pomocí zobecněné (ordinální) primitivní rekurze, lze funkci g odvodit z funkce f. K důkazu, že obě funkce mají stejný obor hodnot, použijte toto tvrzení: platí-li {f(0),.., f(y 1)} = x, pak {f(0),.., f(y 1)} = {g(0),.., g(x 1)}. Toto tvrzení dokažte indukcí podle y. 15. Dokažte, že každá nekonečná rekurzívně spočetná množina obsahuje nekonečnou rekurzívní podmnožinu. 16. Dokažte, že každý vývojový diagram je ekvivalentní s diagramem, který neobsahuje jiné instrukce než INC, CLR a porovnávání X =Y?. 2

17. Dokažte, že každý vývojový diagram je ekvivalentní s diagramem, který neobsahuje jiné instrukce než INC, DEC a X =Y?. 18. Šlo by každou částečně rekurzívní funkci odvodit za omezení, že minimalizace se smí použít pouze na totální funkci? Návod. Všimněte si, že v důkazu tvrzení, že funkce s rekurzívně spočetným grafem je částečně rekurzívní, je minimalizace použita na 0 podmínku, tedy na totální funkci určitého tvaru. Dále zkontrolujte důkaz tvrzení, že každá 0 podmínka je rekurzívní: všechny minimalizace tam jsou použity na totální funkce. 19. Rozhodněte, zda graf a definiční obor funkcí α a β definovaných předpisem α(x) µyt(x, x, y) a β(x) z(µyt(x, x, y)), kde z je konstantní funkce s hodnotou nula, jsou obecně rekurzívní. Návod. Pro funkci β platí ekvivalence (x K [x, 0] Graf(β)). Z toho vyvoďte, že Graf(β) rekurzívní není. 20. Uvažujte třídu všech funkcí, které jsou odvoditelné ze základních pomocí substituce a minimalizace, ale s omezením, že obě operace se smějí použít jen na totální funkce. Obsahuje tato třída i nějaké netotální funkce? Obsahuje tato třída všechny částečně rekurzívní funkce? Návod. Úvaha o grafu funkce α z předchozího cvičení se dá zobecnit na tvrzení známé jako Skolemova věta: funkce odvoditelná jedním použitím minimalizace na totální funkci musí mít rekurzívní graf. Dále uvažte funkci β z předchozího cvičení a rozmyslete si fakt, že v odvození netotální funkce, v němž jsou obě operace vždy použity pouze na totální funkce, musí posledním krokem být minimalizace (použitá na totální funkci). 21. (Věta o parametrech) V každém z následujících případů rozhodněte, zda existuje funkce g s popsanou vlastností: (a) (b) (c) W g(x) = K {0, 1,.., x}, W g(x,y) = W x {y}, W g(x) = f 1 W x, kde f je rekurzívní funkce jedné proměnné, (d) { když x K W g(x) = {x} jinak, (e) { N {x} když x K W g(x) = {x} jinak, 3

(f) W g(x) = { v ; T(x, x, v) & u<v T(x, x, u) }, (g) (h) φ g(x) je funkce v µwt(x, x, w) (která nezávisí na vstupu v), { 0 když u v T(x, x, u) φ g(x) (v) jinak, (i) W g(x) = { v ; u v wt(x, u, w) }, { N když x K (j) W g(x) = {x} jinak. Návod. V (d) platí NE. Množiny { x ; W g(x) } a K by byly rekurzívně spočetné a navzájem komplementární. V (e) také platí NE. 22. Pro každou z následujících množin rozhodněte, zda K a K je na ni m-převeditelná: (a) { x ; W x = }, (b) { x ; φ x je totální }, (c) { x ; W x je jednoprvková }, (d) { x ; W x je konečná }, (e) { x ; W x je rekurzívní }. Návod. K není převeditelná na množinu v (a), protože komplement oné množiny je rekurzívně spočetný. Všechny ostatní převeditelnosti platí a většinou lze využít některou z funkcí z bodů (d) (i) z cvičení 21. 23. Operace je na množinách přirozených čísel definována takto: Dokažte, že platí A B = { 2x ; x A } { 2x + 1 ; x B }. (a) A m A B, B m A B. (b) Je-li X taková, že A m X i B m X, pak A B m X. 24. Pro množiny A, B N označme A B = { (x, y) ; x A & y B }, kde kulaté závorky označují párovací funkci (tedy A B je množina čísel, nikoliv dvojic). (a) Platí A m A B pro každou dvojici množin A a B? 4

(b) (c) (d) (e) Platí K K m K K? Platí K K m (K K)? Je K K m-převeditelná na některou z množin K a K? Je K K m-převeditelná na některou z množin K a K? 25. Dokažte, že množiny Tot = {x; φ x je totální} a Unb = {x; W x je nekonečná} jsou navzájem m-převeditelné. Návod. Pro důkaz, že Tot m Unb, lze také využít jednu z funkcí z cvičení 21. Pro Unb m Tot použijte funkci g, pro kterou platí: pro každé x, funkce v φ g(x) (v) hledá (a vyhledá, pokud existuje) nějaký prvek množiny W x, který je větší než v. K důkazu existence takové funkce použijte cvičení 10. 26. Nechť D je konečná neprázdná množina. Dokažte, že množiny {x; W x = D } a K K jsou na sebe navzájem m-převeditelné (pozor, není zde řeč o množině { x ; W x je konečná }, D je fixní a pracujeme s množinou všech jejích indexů). Návod. Ze Σ 1 kompletnosti množiny K plyne, že kdykoliv A Σ 1 a B Π 1, pak A B m K K. K důkazu, že K K m { x ; W x = D }, užijte obecně rekurzívní funkci g, pro kterou platí: W g(x) =, když l(x) / K a r(x) / K, dále W g(x) = D, když l(x) K a r(x) / K, a konečně W g(x) = N, když r(x) K. 27. Navrhněte aritmetickou klasifikaci pro následující množiny: (a) { x ; W x = }, (b) { x ; W x je konečná }, (c) { x ; W x je konečná }, (d) { x ; W x je Σ 1 kompletní RE množina }. 28. (Věta o rekurzi) Existuje číslo m, pro které platí W m = N {m}? Existuje číslo m splňující podmínku W m = { x ;!φ m (x) }? 29. Dokažte, že pro každou dvojici obecně rekurzívních funkcí g a h existují čísla a a b taková, že zároveň platí W a = W g(a,b), W b = W h(a,b). Návod. Použijte dvakrát větu o rekurzi. Nejprve sestavte rovnici pro neznámou funkci. S užitím oné funkce pak sestavte rovnici pro neznámé číslo. 5

30. Dokažte, že K K není m-převeditelná na K K. Návod. Kdyby ano, z cvičení 24 by plynulo, že K K je m-převeditelná na svůj komplement. Dále vezměte v úvahu tvrzení z cvičení 26 a Riceovu větu. 31. Dokažte, že průnik dvou prostých množin je opět prostá množina. Sjednocení dvou prostých množin je množina, která je prostá, nebo má konečný doplněk. Sylabus Kurs je sestavena zhruba podle kapitol 1 8 a zčásti 11 a 14 knihy [2]. Úvodní část je mnohem podrobnější než v [2] a využívá ostatní zdroje. Některé ze základních pojmů lze vyčíst také z oddílu 2.2 knihy [3] a z její připravované anglické verze. Reference [1] P. Odifreddi. Classical Recursion Theory. North-Holland, Amsterdam, 1989. [2] H. Rogers, Jr. Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York, 1967. [3] V. Švejdar. Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002. 6