The Algorithm Design Manual Second Edition



Download 5,51 Mb.
Pdf ko'rish
bet276/488
Sana31.12.2021
Hajmi5,51 Mb.
#273936
1   ...   272   273   274   275   276   277   278   279   ...   488
Bog'liq
2008 Book TheAlgorithmDesignManual

9.11

Exercises

Transformations and Satisfiability

9-1. [2] Give the 3-SAT formula that results from applying the reduction of SAT to

3-SAT for the formula:

(v)

· (v· (v· (y)



9 . 1 1

E X E R C I S E S



351

9-2. [3] Draw the graph that results from the reduction of 3-SAT to vertex cover for

the expression

(z)



· (z· (z· (x)

9-3. [4]

Suppose we are given a subroutine which can solve the traveling salesman

decision problem of page

318

in, say, linear time. Give an efficient algorithm to find



the actual TSP tour by making a polynomial number of calls to this subroutine.

9-4. [7] Implement a translator that translates satisfiability instances into equivalent

3-SAT instances.

9-5. [7] Design and implement a backtracking algorithm to test whether a set of formulae

are satisfiable. What criteria can you use to prune this search?

9-6. [8] Implement the vertex cover to satisfiability reduction, and run the resulting

clauses through a satisfiability testing code. Does this seem like a practical way to

compute things?

Basic Reductions

9-7. [4] An instance of the set cover problem consists of a set of elements, a family



of subsets of X, and an integer k. The question is, does there exist subsets

from whose union is X?

For example, if =

{1234and {{12}, {23}, {4}, {24}}, there does not

exist a solution for = 2, but there does for = 3 (for example,



{12}, {23}, {4}).

Prove that set cover is NP-complete with a reduction from vertex cover.

9-8. [4] The baseball card collector problem is as follows. Given packets P

1

, . . . , P



m

, each


of which contains a subset of this year’s baseball cards, is it possible to collect all

the year’s cards by buying



≤ k packets?

For example, if the players are



{Aaron, Mays, Ruth, Skiena} and the packets are

{{Aaron, Mays}, {Mays, Ruth}, {Skiena}, {Mays, Skiena}},

there does not exist a solution for = 2, but there does for = 3, such as



{Aaron, Mays}, {Mays, Ruth}, {Skiena}

Prove that the baseball card collector problem is NP-hard using a reduction from

vertex cover.

9-9. [4] The low-degree spanning tree problem is as follows. Given a graph and an

integer k, does contain a spanning tree such that all vertices in the tree have

degree at most k (obviously, only tree edges count towards the degree)? For example,

in the following graph, there is no spanning tree such that all vertices have a degree

less than three.

(a) Prove that the low-degree spanning tree problem is NP-hard with a reduction

from Hamiltonian path.

(b) Now consider the high-degree spanning tree problem, which is as follows. Given

a graph and an integer k, does contain a spanning tree whose highest

degree vertex is at least k? In the previous example, there exists a spanning

tree with a highest degree of 8. Give an efficient algorithm to solve the high-

degree spanning tree problem, and an analysis of its time complexity.



352

9 .


I N T R A C T A B L E P R O B L E M S A N D A P P R O X I M A T I O N A L G O R I T H M S

9-10. [4] Show that the following problem is NP-complete:




Download 5,51 Mb.

Do'stlaringiz bilan baham:
1   ...   272   273   274   275   276   277   278   279   ...   488




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish