Skriftlig eksamen

Beregnelighed og kompleksitet

14. februar 2014 kl. 12.30-16.00

Navn

CPR

Læs dette, inden du går i gang!

• Dette eksamenssæt er på i alt 16 sider, inklusive denne forside.
• I besvarelsen skal de tomme kasser udfyldes med tekst og figurer. Nogle af de tomme kasser
fortsætter på den næste side.
• Eneste tilladte hjælpemidler er blyant/kuglepen/viskelæder og den portfolio, som er udleve-
ret sammen med dette eksamenssæt.
• Du kan få kladdepapir ved at henvende dig til den tilsynsførende.
• Du kan kun aflevere selve besvarelsen på disse ark (du kan altså ikke aflevere supplerende
besvarelse på kladdepapir!). Derfor er det en vældig god idé at lave en kladde, inden du
skriver dine svar ind i besvarelsen.

1
1. (10 point) Herunder er en Turing-maskine med starttilstand q0 .

t → t, L
a → a, R b → a, L
q0 q1 qacc

a → a, R
b → a, R
a → b, R
t → t, L
b → a, R
q2

a → a, R
q4 b → b, L

Skriv den følge af konfigurationer, som M vil besøge, når den får strengen bbaabab som input.
Alle transitioner, der ikke er angivet på figuren, antages at gå til tilstanden qrej og flytte
hovedet mod højre.

2. (10 point)

a) En tidligere videnskabsminister blev bedt om at give definitionen på et genkendeligt

sprog og sagde følgende.
Definition 1. Et sprog L er genkendeligt hvis w accepterer den.
Desværre var definitionen ikke korrekt. Skriv den rigtige definition herunder; både L
og w skal indgå.

2
 b) Videnskabsministeren ville hellere tale om afgørbare sprog og kom nu med nedenstående
bud på en definition.
Definition 2. Et sprog L er afgørbart hvis Turing-maskinen altid standser.
Heller ikke denne definition var korrekt. Skriv den rigtige definition herunder; L skal
indgå.

3. (15 point) Herunder er fem sprog.

L1 = {hM, wi | M er en Turing-maskine og M accepterer w}

L2 = {hM i | M er en Turing-maskine og der findes intet input for hvilket M vil standse}
L3 = {hM1 , M2 i | M er Turing-maskiner og L(M1 ) = L(M2 )}
L4 = {hM i | M er en Turing-maskine, hvor tegnet c findes i båndalfabetet}
L5 = {hM i | abba ∈ L(M )}

Angiv for hvert sprog, hvilken af kasserne nedenfor det tilhører.

Afgørbart

Uafgørbart og genkendeligt

Uafgørbart og ko-genkendeligt

Hverken genkendeligt eller ko-genkendeligt

3
4. (20 point) Herunder er et beslutningsproblem.

Givet TM M , vil M da acceptere mindst én streng over alfabetet {a, b} som
indeholder præcis tre forekomster af b?”

a) Angiv det sprog BTM , der svarer til problemet.

b) Bevis at dette sprog er uafgørbart.

4
5. (25 point) Her er et andet beslutningsproblem.

Givet en Turing-maskine M , gælder det da at L(M ) er et uendeligt sprog?

a. Angiv det sprog U EN DELIGTM , der svarer til problemet.

b. Bevis ved en reduktion, at U EN DELIGTM er uafgørbart (der er mere plads på næste
side).

5
6
c. Bevis ved brug af Rice’s sætning at U EN DELIGTM er uafgørbart.

7
6. (25 point)

a) Bevis at hvis A ≤m B og B er genkendeligt, så er A også et genkendeligt sprog.

8
b) Bevis at hvis A ≤m B og A ≤m B og B er genkendeligt, så er A afgørbart. Du må gerne
gøre brug af delopgave a) i din løsning.

9
7. (25 points) Her er et problem.

Givet en ikke-orienteret graf G, gælder det så at G indeholder en klike bestående

af 5 knuder?

a) Definér sproget FEMKLIKE svarende til dette problem.

b) Bevis at FEMKLIKE ∈ NP. Der er mere plads på næste side.

10
c) Bevis at FEMKLIKE ∈ P. Der er mere plads på næste side.

11
 d) I kurset dukker sproget CLIQUE op. Kan vi nu konkludere at CLIQUE ∈ P? Begrund
dit svar.

8. (10 points) En berømt skibsreder skrev en dag dette i sin dagbog:

Hvis et sprog L kan afgøres med en nondeterministisk Turing-maskine M , der har

tidskompleksitet O(6n5 ), siger en sætning at L kan afgøres med en deterministisk
Turing-maskine, der har tidskompleksitet O((6n5 )2 ). Vi ved derfor at nondetermi-
nistiske og deterministiske Turing-maskiner er derfor polynomielt ækvivalente.

Var det korrekt? Begrund dit svar.

12
9. (15 points) En berømt digter skrev en dag dette på Twitter:

Det gælder at hvis der findes et A ∈ NP hvor A ≤P B og B er et NP-fuldstændigt

sprog, så kan vi også konkludere at P 6= NP.

De mange fans begyndte derefter at diskutere om denne påstand var korrekt. Hvis påstanden
er korrekt, så bevis den. Hvis påstanden er falsk, så begrund hvorfor.

13
10. (10 points) Giv et eksempel på en Boolesk formel ϕ på 3-CNF, der samtidig opfylder følgende
fire betingelser:

a) ϕ har 4 klausuler, der alle er forskellige, og tilsammen anvender mindst 3 forskellige

variabler.
b) ϕ er opfyldelig.
c) ¬ϕ er også opfyldelig.
d) Alle literaler i hver klausul er forskellige.

11. (20 points) Bevis at klassen PSPACE er lukket under foreningsmængde, dvs. vis at hvis
L1 ∈ PSPACE og L2 ∈ PSPACE, så har vi også at L1 ∪ L2 ∈ PSPACE.

14
12. (15 points)
a) Giv definitionen af kompleksitetsklassen PSPACE.

15
b) Gælder det at NSPACE(f 2 (n)) ⊆ SPACE(f (n))? Begrund dit svar så præcist som
muligt.

16