Problem 50E Show that a graph is bipartite if, and only if, it does not have a circuit with an odd number of edges. (See exercise for the definition of bipartite graph.) bipartite graph A bipartite graph G is a simple graph whose vertex set can be partitioned into two disjoint nonempty subsets V1 and V2 such that vertices in V1 may be connected to vertices in V2, but no vertices in V1 are connected to other vertices in V1 and no vertices in V2 are connected to other vertices in V2.For example, the graph G illustrated in (i) can be redrawn as shown in (ii). From the drawing in (ii), you can see that G is bipartite with mutually disjoint vertex sets V1 = {v1, v3, v5} and V2 = {v2, v4, v6}. (i) ________________ (ii) Find which of the following graphs are bipartite. Redraw the bipartite graphs so that their bipartite nature is evident a. ________________ b. ________________ c. ________________ d. ________________ e. ________________ f.
Read more
Table of Contents
1.1
Variables
1.1
Variables
1.2
The Language of Sets
1.2
The Language of Sets
1.3
The Language of Relations and Functions
1.3
The Language of Relations and Functions
2.1
Logical Form and Logical Equivalence
2.1
Logical Form and Logical Equivalence
2.2
Conditional Statements
2.2
Conditional Statements
2.3
Valid and Invalid Arguments
2.3
Valid and Invalid Arguments
2.4
Application: Digital Logic Circuits
2.4
Application: Digital Logic Circuits
2.5
Application: Number Systems and Circuits for Addition
2.5
Application: Number Systems and Circuits for Addition
3.1
Predicates and Quantified Statements I
3.2
Predicates and Quantified Statements II
3.2
Predicates and Quantified Statements II
3.3
Statements with Multiple Quantifiers
3.3
Statements with Multiple Quantifiers
3.4
Arguments with Quantified Statements
3.4
Arguments with Quantified Statements
4.1
Direct Proof and Counterexample I: Introduction
4.1
Direct Proof and Counterexample I: Introduction
4.2
Direct Proof and Counterexample II: Rational Numbers
4.2
Direct Proof and Counterexample II: Rational Numbers
4.3
Direct Proof and Counterexample III: Divisibility
4.3
Direct Proof and Counterexample III: Divisibility
4.4
Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem
4.4
Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem
4.5
Direct Proof and Counterexample V: Floor and Ceiling
4.5
Direct Proof and Counterexample V: Floor and Ceiling
4.6
Indirect Argument: Contradiction and Contraposition
4.6
Indirect Argument: Contradiction and Contraposition
4.7
Indirect Argument: Two Classical Theorems
4.7
Indirect Argument: Two Classical Theorems
4.8
Application: Algorithms
4.8
Application: Algorithms
5.1
Sequences
5.1
Sequences
5.2
Mathematical Induction I
5.2
Mathematical Induction I
5.3
Mathematical Induction II
5.3
Mathematical Induction II
5.4
Strong Mathematical Induction and the Well-Ordering Principle for the Integers
5.4
Strong Mathematical Induction and the Well-Ordering Principle for the Integers
5.5
Application: Correctness of Algorithms
5.5
Application: Correctness of Algorithms
5.6
Defining Sequences Recursively
5.6
Defining Sequences Recursively
5.7
Solving Recurrence Relations by Iteration
5.7
Solving Recurrence Relations by Iteration
5.8
Second-Order Linear Homogenous Recurrence Relations with Constant Coefficients
5.8
Second-Order Linear Homogenous Recurrence Relations with Constant Coefficients
5.9
General Recursive Definitions and Structural Induction
5.9
General Recursive Definitions and Structural Induction
6.1
Set Theory: Definitions and the Element Method of Proof
6.1
Set Theory: Definitions and the Element Method of Proof
6.2
Properties of Sets
6.2
Properties of Sets
6.3
Disproofs, Algebraic Proofs, and Boolean Algebras
6.3
Disproofs, Algebraic Proofs, and Boolean Algebras
6.4
Boolean Algebras, Russell’s Paradox, and the Halting Problem
6.4
Boolean Algebras, Russell’s Paradox, and the Halting Problem
7.1
Functions Defined on General Sets
7.1
Functions Defined on General Sets
7.2
One-to-One and Onto, Inverse Functions
7.2
One-to-One and Onto, Inverse Functions
7.3
Composition of Functions
7.3
Composition of Functions
7.4
Cardinality with Applications to Computability
7.4
Cardinality with Applications to Computability
8.1
Relations on Sets
8.1
Relations on Sets
8.2
Reflexivity, Symmetry, and Transitivity
8.2
Reflexivity, Symmetry, and Transitivity
8.3
Equivalence Relations
8.3
Equivalence Relations
8.4
Modular Arithmetic with Applications to Cryptography
8.4
Modular Arithmetic with Applications to Cryptography
8.5
Partial Order Relations
8.5
Partial Order Relations
9.1
Introduction
9.1
Introduction
9.2
Possibility Trees and the Multiplication Rule
9.2
Possibility Trees and the Multiplication Rule
9.3
Counting Elements of Disjoint Sets: The Addition Rule
9.3
Counting Elements of Disjoint Sets: The Addition Rule
9.4
The Pigeonhole Principle
9.4
The Pigeonhole Principle
9.5
Counting Subsets of a Set: Combinations
9.5
Counting Subsets of a Set: Combinations
9.6
r-Combinations with Repetition Allowed
9.6
r-Combinations with Repetition Allowed
9.7
Pascal’s Formula and the Binomial Theorem
9.7
Pascal’s Formula and the Binomial Theorem
9.8
Probability Axioms and Expected Value
9.8
Probability Axioms and Expected Value
9.9
Conditional Probability, Bayes’ Formula, and Independent Events
9.9
Conditional Probability, Bayes’ Formula, and Independent Events
10.1
Graphs: Definitions and Basic Properties
10.1
Graphs: Definitions and Basic Properties
10.2
Trails, Paths, and Circuits
10.2
Trails, Paths, and Circuits
10.3
Matrix Representations of Graphs
10.3
Matrix Representations of Graphs
10.4
Isomorphisms of Graphs
10.4
Isomorphisms of Graphs
10.5
Trees
10.5
Trees
10.6
Rooted Trees
10.6
Rooted Trees
10.7
Spanning Trees and Shortest Paths
10.7
Spanning Trees and Shortest Paths
11.1
Real-Valued Functions of a Real Variable and Their Graphs
11.1
Real-Valued Functions of a Real Variable and Their Graphs
11.2
Notations
11.2
Notations
11.3
Application: Analysis of Algorithm Efficiency I
11.3
Application: Analysis of Algorithm Efficiency I
11.4
Exponential and Logarithmic Functions: Graphs and Orders
11.4
Exponential and Logarithmic Functions: Graphs and Orders
11.5
Application: Analysis of Algorithm Efficiency II
11.5
Application: Analysis of Algorithm Efficiency II
12.1
Formal Languages and Regular Expressions
12.1
Formal Languages and Regular Expressions
12.2
Finite-State Automata
12.2
Finite-State Automata
12.3
Simplifying Finite-State Automata
12.3
Simplifying Finite-State Automata
Textbook Solutions for Discrete Mathematics with Applications
Chapter 10.2 Problem 25E
Question
Problem 25E
Show that none of the graphs in has a Hamiltonian circuit.
Solution
The first step in solving 10.2 problem number 25 trying to solve the problem we have to refer to the textbook question: Problem 25EShow that none of the graphs in has a Hamiltonian circuit.
From the textbook chapter Trails, Paths, and Circuits you will find a few key concepts needed to solve this.
Visible to paid subscribers only
Step 3 of 7)Visible to paid subscribers only
Subscribe to view the
full solution
full solution
Title
Discrete Mathematics with Applications 4
Author
Susanna S. Epp
ISBN
9780495391326