Algorithmic Foundations 2 Flashcards

1
Q

Identity Laws

P ∧ true ≡

P ∨ false ≡

A

P ∧ true ≡ P

P ∨ false ≡ P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Domination Laws

P ∨ true ≡

P ∧ false ≡

A

P ∨ true ≡ true

P ∧ false ≡ true

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Idempotent Laws

P ∧ P ≡

P ∨ P ≡

A

P ∧ P ≡ P

P ∨ P ≡ P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Double Negation Law

¬(¬P) ≡ P

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Commutative laws

P ∧ Q ≡

P ∨ Q ≡

A

P ∧ Q ≡ Q ∧ P

P ∨ Q ≡ Q ∨ P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Associative laws

(P ∧ Q) ∧ R ≡

(P ∨ Q) ∨ R ≡

A

(P ∧ Q ) ∧ R ≡ P ∧ (Q ∧ R)

(P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Distributive Laws

P ∨ (Q ∧ R) ≡

P ∧ (Q ∨ R) ≡

A

P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)

P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

De Morgan Laws

¬ (P ∧ Q) ≡

¬ (P ∨ Q) ≡

A

¬ (P ∧ Q) ≡ ¬P ∨ ¬Q

¬ (P ∨ Q) ≡ ¬P ∧ ¬Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Contradiction and Tautology Laws

P ∧ ¬P ≡

P ∨ ¬P ≡

A

P ∧ ¬P ≡ false

P ∨ ¬P ≡ true

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Implication Law

P → Q ≡

A

P → Q ≡ ¬P ∨ Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Exclusive or and Biconditional Laws

P ⊕ Q ≡

P ≡ Q ≡

A

P ⊕ Q ≡ (P ∨ Q) ∧ ¬(P ∧ Q)

P ≡ Q ≡ (P → Q) ∧ (Q → P)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Quantifier L​aw One

∀x. ∀y. Q(x, y) ≡

A

∀x. ∀y. Q(x, y) ≡ ∀y. ∀x. Q(x, y)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Quantifier Law Two

∃x. ∃y. Q(x, y) ≡

A

∃x. ∃y. Q(x, y) ≡ ∃y. ∃x. Q(x, y)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Quantifier Law Three

¬(∃x. ¬P(x)) ≡

A

¬(∃x. ¬P(x)) ≡ ∀x. P(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Quantifier Law Four

¬(∀x. ¬P(x)) ≡

A

¬(∀x. ¬P(x)) ≡ ∃x. P(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Quantifier Law Five

∀x. (P(x) ∧ Q(x)) ≡

A

∀x. (P(x) ∧ Q(x)) ≡ ∀x. P(x) ∧ ∀x. Q(x)

17
Q

Quantifier Law Six

∃x. (P(x) ∨ Q(x)) ≡

A

∃x. (P(x) ∨ Q(x)) ≡ ∃x. P(x) ∨ ∃x. Q(x)

18
Q

P ∨ Q means?

A

P or Q

19
Q

P ∧ Q means?

A

P and Q

20
Q

A fucntion is injective or ‘one-to-one’ if?

A

|X| ≤ |Y|

informally f maps different elements of X to different elements of Y

21
Q

A fucntion is surjective or onto if?

A

|Y| ≤ |X|

informally each value in the codomain has a preimage

∀y. ∃x. (f(x) = y)

22
Q

If a fucntion is bijecitve then?

A

Both injective and surjective

|X| = |Y|

23
Q

Describe what it means for a graph to be connected?

A

A graph is connected if every pair of vertices is joined by a path.

24
Q

Describe what it means when a graph is a clique (complete) ?

A

A graph is complete (a clique) if every pair of vertices is joined by an edge.

25
Q

A binary relation is reflexive if…

A

if a ∈ A then (a,a) ∈ R

every element is related to itself

26
Q

A binary relation is symmetric if…

A

if (a,b) ∈ R and a ≠ b then (b,a) ∈ R

a is related to b if and only if b is related to a

27
Q

A binary relation is anti-symmetric if…

A

if (a,b) ∈ R and a ≠ b then (b,a) ∉ R

if a is related to b, then b is not related to a

28
Q

A binary relation is transitive if…

A

if (a,b) ∈ R and (b,c) ∈ R then (a,c) ∈ R

if a is related to b and b related to c, then a is related to c

29
Q

A relation R is a partial order on S if it is…

A

Reflexive

Anti-Symmetric

Transitive

30
Q

A relation R is called an equivalence reltaion if it is…

A

Reflexive

Symmetric

Transitive

31
Q

What is the Handshaking theorem?

A

The handshaking theorem states that the sum of the degrees is equal to 2·|E| (two multiplied by the number of edges).

32
Q

Describe what it means for a simple graph to be connected

A

A simple graph is connected if every pair of vertices is joined by a path. (A path from vertex u to vertex v is a sequence of edges that take us from u to v).

33
Q

A simple graph is bipartite if?

A

A simple graph is bipartite if the vertices can be divided into two disjoint sets U and W such that every edge joins a vertex in U and a vertex in W.