15-344/Classnotes for Tuesday September 15: Difference between revisions

From Drorbn
Jump to navigationJump to search
Line 39: Line 39:
<math>(\leftarrow)</math> Assume <math>I=V-C</math> is independent. Pick any edge <math>e = (ab)\in{E}</math>. As <math>I</math> is independent,
<math>(\leftarrow)</math> Assume <math>I=V-C</math> is independent. Pick any edge <math>e = (ab)\in{E}</math>. As <math>I</math> is independent,
<math>(ab)</math> does not connect any two members of <math>I</math>. Hence, either <math>a\notin{I} \implies a\in{C}</math> or <math>b\notin{I} \implies b\in{C}</math>, which implies <math>e</math> is incident to an element of <math>C</math>. QED
<math>(ab)</math> does not connect any two members of <math>I</math>. Hence, either <math>a\notin{I} \implies a\in{C}</math> or <math>b\notin{I} \implies b\in{C}</math>, which implies <math>e</math> is incident to an element of <math>C</math>. QED


== Scanned Lecture Note for September 15 ==

<gallery>
Image:15-344-Sept15-1.jpg|Page 1
Image:15-344-Sept15-2.jpg|Page 2
</gallery>

Revision as of 08:07, 16 September 2015

We mostly went over Day One Handout today.

Dror's notes above / Students' notes below


Lecture Note for September 15

DEFINITION 1 Graph A graph is a set (usually finite, "vertices") along with a set ("edges") of unordered pairs of distinct elements of .


DEFINITION 2 Incident If an edge , we say that is incident to and .


DEFINITION 3 N-valent In a graph , a vertex is called bivalent if it is incident to precisely two edges and n-valent if incident to precisely n edges, where .


DEFINITION 4 Edge Cover An edge cover for graph is a subset such that every edge of incident to at least one vertex in .


DEFINITION 5 Independent Let be a graph. A subset is called independent if whenever , then .


THEOREM 1 Edge covers are complementary to independent sets. In other words, is an edge cover if and only if the complementary subset is an independent set.


Proof Assume is an edge cover. I assert that is independent. Indeed, if , then since is an edge cover, either or , which implies does not connect any two elements of .

Assume is independent. Pick any edge . As is independent, does not connect any two members of . Hence, either or , which implies is incident to an element of . QED


Scanned Lecture Note for September 15