• Ei tuloksia

581336 Laskennan teoria (syksy 2003) Harjoitus 6 (25.28.11.2003)

N/A
N/A
Info
Lataa
Protected

Academic year: 2022

Jaa "581336 Laskennan teoria (syksy 2003) Harjoitus 6 (25.28.11.2003)"

Copied!
1
0
0

Kokoteksti

(1)

581336 Laskennan teoria (syksy 2003) Harjoitus 6 (25.28.11.2003)

1. Todista seuraava:

Lause: Olkoot f jag funktioitaN→R+. Jos raja-arvo

n→∞lim f(n) g(n)

on nolla, niin f = o(g). Jos raja-arvo on ∞, niin g = o(f). Jos raja-arvo on jokin positiivinen reaaliluku, niinf = Θ(g).

(Huom. raja-arvo ei välttämättä ole määritelty, jolloin tämä ei sano mitään.) 2. Todista seuraavat kertaluokkien perusominaisuudet:

(a) logan=o(nb)kaikilla a >1,b >0 (b) na =o(2bn)kaikilla a, b >0

(c) jospon astettakoleva polynomi niinp(n) = Θ(nk)

3. Olkoonf(n) =nlnn kaikillan. Osoita, ettänk =o(f(n))kaikillak >0jaf(n) =o(2an)kaikilla a >0.

4. Osoita, että jos SAT ∈ P niin on olemassa polynomisessa ajassa toimiva algoritmi joka löy- tää annetulle toteutuvalle kaavalle φ(x1, . . . , xn) sen toteuttavat muuttujien arvot (ts. jonon (v1, . . . , vn)∈ {0,1}n jollaφ(v1, . . . , vn) = 1).

Vihje: jos φ(x1, x2, . . . , xn) on toteutuva, niin ainakin toinen kaavoista φ(0, x2, . . . , xn) ja φ(1, x2, . . . , xn)on toteutuva.

5. Osoita ettäNP on suljettu leikkausten ja yhdisteiden suhteen, ts. josA ∈NP jaB ∈NP niin A∩B ∈NPjaA∪B∈NP. Voitko sanoa mitään komplementoinnista?

6. Osoita, että seuraavat ongelmat kuuluvat luokkaanNP: Riippumaton joukko (Independent Set, IS)

Annettu: Suuntaamaton verkkoG= (V, E), luonnollinen lukuk

Kysymys: Onko olemassa solmujoukko U ⊆ V jolla |U| ≥ k ja minkään kahden joukossaU olevan solmun välillä ei ole kaarta (ts.E∩(U×U) =∅)

Ositus (Partition, PARTITION)

Annettu: jono(a1, . . . , an)luonnollisia lukuja Kysymys: onko olemassa A⊆ {1, . . . , n} jolla

X

i∈A

ai=X

i6∈A

ai

Viittaukset

LIITTYVÄT TIEDOSTOT

Koska algoritmi voi tuottaa minkä tahansa osajoukon A, se löytää myös tällaisen osajoukon, jos sellainen on olemassa.. Toisaalta algoritmi ei hyväksy syötettä, ellei se löydä

Kuvaa, minkä tyyppisiä arvoja tällainen palautus saa syötteenään ja millaisia palauttaa, ja mitä ehtoja sen pitää toteuttaa.. (c) Esitä varsinainen palautus ja osoita, että

Sanomme, että palautusfunktion syötteitä ovat muotoa hG; ki olevat merkkijonot, ja tulos- teita muotoa hG 1 ; G 2 i olevat merkkijonot... Polynomisen laskenta-ajan takaa se,

Yleisluontoinen vihje: Koska NP on luokka päätösongelmia ja funktion f laskeminen on etsintä- ongelma, sinun pitää palauttaa f jonoksi päätösongelmia samaan tapaan kuin

Kurssia Laskennan teoria ei nykymuodossaan enää tämän jälkeen luennoida, mutta nyt saatava palaute on hyödyllistä opetusohjelmaan tulevien uusien teoriakurssien laati-

kaikki tarvittavat kaaret ovat olemassa) ja laskemalla kutakin laillista läpikäyntijärjestystä vastaavien kaarten kokonaispaino. Ongelma on siis ratkeava, ja näin ollen myös

Usein ajatellaan, ett¨ a polynomisessa ajassa ratkeavat ongelmat ovat. ”k¨ ayt¨ ann¨ oss¨

Tarkastellaan oikealle etenevää Turingin konetta, joka on muuten kuin tavallinen Turingin kone, mutta kullakin askelella voi siirtää nauhapäätään yhden askelen oikealle tai