04.09.2013 Views

Algorithm Design

Algorithm Design

Algorithm Design

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

512<br />

Chapter 8 NP and Computational Intractability<br />

Prove that the problem of Winner Determination in Combinatorial<br />

Auctions is NP-complete.<br />

iw We’ve seen the Interval Scheduling Problem in C.hapteors " 1. a~.d 4~er~ 1<br />

e consider a computationally much harder version oI it mat we l~ can<br />

Multiple Interval Scheduling. As before, you have a processor that is<br />

available to run jobs over some period of time (e.g., 9 A.M. to 5 P.M).<br />

15.<br />

People submit jobs to run on the processor; the processor can only<br />

work on one job at any single point in time. Jobs in this model, however,<br />

are more comphcated than we’ve seen in the past: each job requires a<br />

set of intervals of time during which it needs to use the processor. Thus,<br />

for example, a single job could require the processor from ~0 A.M. tO<br />

11 A.M., and again from 2 P.M. tO 3 P.M.. If you accept this job, it ties up<br />

your processor during those two hours, but you could sti~ accept jobs<br />

that need any other time periods (including the hours from 11 A.M. tO<br />

2 A.M.).<br />

NOW you’re given a set of n jobs, each specified by a set of time<br />

intervals, and you want to answer the following question: For a given<br />

number k, is it possible to accept at least k of the jobs so that no two of<br />

the accepted jobs have any overlap in time?<br />

Show that Ivlultiple Interval Scheduling is NP-complete.<br />

You’re sitting at your desk one day when a FedF~x package arrives for -<br />

you. Inside is a cell phone that begins to ring, and you’re not entixely<br />

surprised to discover that it’s your friend Neo, whom you haven’t heard<br />

from in quite a while. Conversations with Neo al! seem to go the same<br />

way: He starts out with some big melodramatic justification for why he’s<br />

calling, but in the end it always comes down to him trying to get you to<br />

vohinteer your time to help ~th some problem he needs to solve.<br />

This time, for reasons he can’t go into (something having .to do<br />

with protecting an u~derground city from killer robot probes), he and<br />

a few associates need to monitor radio signals at various points on the<br />

electromagnetic spectrum. Specffica~y, there are n different frequencies<br />

that need monitoring, and to do this they have available a collection of<br />

sensors.<br />

There are two components to the monitoring pr oblem.<br />

¯ A set L of m geographic locations at which sensors canbe placed; and<br />

¯ A set $ of b interference sources, each of which blocks certain frequencies<br />

at certain locations. Specifically, each interference source i<br />

is specified by a pair (F~, L~), where F~ is a subset of the frequencies<br />

and L~ is a subset of the locations; it signifies that (due to radio inter-<br />

16.<br />

17.<br />

18.<br />

Exercises<br />

ference) a sensor placed at any location in the set L~ will not be able<br />

to receive signals on any frequency in the set F v<br />

We say that a subset L’ __c L of locations is sufficient if, for each of the n<br />

frequencies j, there is some location in L’ where frequencyj is not blocked<br />

by any interference source. Thus, by placing a sensor at each location in<br />

a sufficient set, you can successfully monitor each of the n fre~luencies.<br />

They have k sensors, and hence they want to know whether ~]~ere is<br />

a sufficient set of locations of size at most k. We’ll call this an instance<br />

of the Nearby Electromagnetic Observation Problem: Given frequencies,<br />

locations, interference sources, and a parameter k, is there a sufficient<br />

set of size at most k?<br />

Example. Suppose we have four frequencies {f~, f2, f~, f4} and four locations<br />

{el, Q, e~, Q}. There are three interference sources, with<br />

(F1, L,) ---- ({fl, f2}, {el, e2, ~3})<br />

(F~, L~) = ({£, f~},<br />

Then there is a sufficient set of size 2: We can choose locations Q and Q<br />

(since f~ and fz are not blocked at Q, and f~ and f~ are not blocked at Q).<br />

Prove that Nearby Electromagnetic Observation is NP-complete.<br />

Consider the problem of reasoning about the identity of a set from the<br />

size of its intersections with other sets. You are given a finite set U of size<br />

n, and a collection A1 ..... Am of subsets of U. You are also given numbers<br />

q ..... cm. The question is: Does there exist a set X ~ U so that for each<br />

i = 1, 2 ..... m, the cardinali W of X ¢~ A~ is equal to Q? We will call this an<br />

instance of the Intersection Inference Problem, with input U, {Ai}, and {q}.<br />

Prove that Intersection Inference is NP-complete.<br />

You are given a directed graph G = (V, E) with weights we on its edges e ~ E.<br />

The weights can be negative or positive. The Zero-Weight-Cycle Problem<br />

is to decide ff there is a simple cycle in G so that the sum of the edge<br />

weights on this cycle is exactly 0. Prove that this problem is NP-complete.<br />

You’ve been asked to help some organizational theorists analyze data on<br />

group decision-making, in particular, they’ve been lboking at a dataset<br />

that consists of decisions made by a particular governmental policy<br />

committee, and they’re trying to decide whether it’s possible to identify<br />

a small set of influential members of the committee.<br />

Here’s how the committee works. It has a set M = {rn~ ..... rn~} of n<br />

members, and over the past year it’s voted on t different issues. On each<br />

issue, each member can vote either "Yes," "No," or "Abstain"; the overall<br />

513

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!