06.03.2017 Views

Mathematics for Computer Science

e9ck2Ar

e9ck2Ar

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

“mcs” — 2017/3/3 — 11:21 — page 418 — #426<br />

418<br />

Chapter 10<br />

Directed graphs & Partial Orders<br />

Problem 10.45.<br />

In an n-player round-robin tournament, every pair of distinct players compete in a<br />

single game. Assume that every game has a winner—there are no ties. The results<br />

of such a tournament can then be represented with a tournament digraph where the<br />

vertices correspond to players and there is an edge hx !yi iff x beat y in their<br />

game.<br />

(a) Explain why a tournament digraph cannot have cycles of length one or two.<br />

(b) Is the “beats” relation <strong>for</strong> a tournament graph always/sometimes/never:<br />

asymmetric?<br />

reflexive?<br />

irreflexive?<br />

transitive?<br />

Explain.<br />

(c) Show that a tournament graph is a linear order iff there are no cycles of length<br />

three.<br />

Homework Problems<br />

Problem 10.46.<br />

Let R and S be transitive binary relations on the same set A. Which of the following<br />

new relations must also be transitive? For each part, justify your answer with a brief<br />

argument if the new relation is transitive and a counterexample if it is not.<br />

(a) R 1<br />

(b) R \ S<br />

(c) R ı R<br />

(d) R ı S<br />

Exam Problems<br />

Problem 10.47.<br />

Suppose the precedence constraints on a set of 32 unit time tasks was isomorphic<br />

to the powerset, pow.f1; 2; 3; 4; 5g/ under the strict subset relation .<br />

For example, the task corresponding to the set f2; 4g must be completed be<strong>for</strong>e<br />

the task corresponding to the set f1; 2; 4g because f2; 4g f1; 2; 4g; the task

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

Saved successfully!

Ooh no, something went wrong!