OCR Further Discrete 2020 November — Question 1 9 marks

Exam BoardOCR
ModuleFurther Discrete (Further Discrete)
Year2020
SessionNovember
Marks9
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicGraph Theory Fundamentals
TypePlanarity algorithm application
DifficultyChallenging +1.2 This is a Further Maths Decision Mathematics question requiring multiple applications of standard graph theory results (Kuratowski's theorem, Euler's formula, Ore's theorem) with some conceptual understanding of contractions. While it involves several parts and Further Maths content, each component is a direct application of learned theorems rather than requiring novel problem-solving insight. The multi-step nature and theoretical content place it above average difficulty.
Spec7.02h Hamiltonian paths: and cycles7.02i Ore's theorem: sufficient condition for Hamiltonian graphs7.02l Planar graphs: planarity, subdivision, contraction7.02m Euler's formula: V + R = E + 27.02n Kuratowski's theorem: K_5 and K_{3,3} subdivisions

1 This question is about the planar graph shown below. \includegraphics[max width=\textwidth, alt={}, center]{cc58fb7a-efb6-4548-a8e1-e40abe1eb722-2_567_1317_395_374}
    1. Apply Kuratowski's theorem to verify that the graph is planar.
    2. Use Euler's formula to calculate the number of regions in a planar representation of the graph.
    1. Write down a Hamiltonian cycle for the graph.
    2. By finding a suitable pair of vertices, show that Ore's theorem cannot be used to prove that the graph, as shown above, is Hamiltonian.
    1. Draw the graph formed by using the contractions AB and CF .
    2. Use Ore's theorem to show that this contracted graph is Hamiltonian.

Question 1:
AnswerMarks Guidance
1For reference:
1(a) (i)
33
vertices with degree ≥ 3
(a sub-division of) K is not a subgraph since there are only 3 vertices
5
with degree (≥) 4
AnswerMarks
Hence graph is planarB1
B1
AnswerMarks
[2]Explaining why K , is not a subgraph (not just stating it)
33
Explaining why K is not a subgraph (not just stating it)
5
Conclusion may be implied
SC B1 for saying 2 vertices with degree 2 but not referring
to total number of vertices
Kuratowski is asked for in question, so just describing e.g.
‘moving arc BG so that it is outside’ gets no credit
AnswerMarks Guidance
1(a) (ii)
⇒ R = 6B1
[1]Correct use of V + R = E + 2 leading to answer 6
Answer 6 with no evidence of Euler ⇒ B0
AnswerMarks Guidance
1(b) (i)
e.g. A – B – G – E – D – F – C – AB1
[1]One of these (or in reverse) with any starting point
Cycle must be closed and must pass through all 7 vertices
AnswerMarks Guidance
1(b) (ii)
deg(A) + deg (G) = 2 + 3 = 5 < 7 (= n)M1
A1
AnswerMarks
[2]Any two non-adjacent vertices and their degrees (or sum)
provided degrees sum to 5 or 6 (but not greater than 6)
Showing that degree sum is not ≥ 7 (compare with 7)
AnswerMarks Guidance
1(c) (i)
[1]Graph with AB and CF contracted
(and labelled using this notation)
AnswerMarks Guidance
1(c) (ii)
d eg(D) + deg(G) = 3 + 3 = 6
n = 5 vertices
and 6 is greater than 5
AnswerMarks
Hence resultM1
A1
AnswerMarks
[2]D and G have degree sum = 6
Showing that degree sum is > 5 (compare with 5)
6 ≥ 5 or 6 > 5, or equivalent, or in words
AnswerMarks Guidance
1–3 1
10 1
Question 1:
1 | For reference:
1 | (a) | (i) | (a sub-division of) K , is not a subgraph since there are only 5
33
vertices with degree ≥ 3
(a sub-division of) K is not a subgraph since there are only 3 vertices
5
with degree (≥) 4
Hence graph is planar | B1
B1
[2] | Explaining why K , is not a subgraph (not just stating it)
33
Explaining why K is not a subgraph (not just stating it)
5
Conclusion may be implied
SC B1 for saying 2 vertices with degree 2 but not referring
to total number of vertices
Kuratowski is asked for in question, so just describing e.g.
‘moving arc BG so that it is outside’ gets no credit
1 | (a) | (ii) | 7 + R = 11 + 2
⇒ R = 6 | B1
[1] | Correct use of V + R = E + 2 leading to answer 6
Answer 6 with no evidence of Euler ⇒ B0
1 | (b) | (i) | e.g. A – B – D – E – G – F – C – A
e.g. A – B – G – E – D – F – C – A | B1
[1] | One of these (or in reverse) with any starting point
Cycle must be closed and must pass through all 7 vertices
1 | (b) | (ii) | e.g. A and G are non-adjacent
deg(A) + deg (G) = 2 + 3 = 5 < 7 (= n) | M1
A1
[2] | Any two non-adjacent vertices and their degrees (or sum)
provided degrees sum to 5 or 6 (but not greater than 6)
Showing that degree sum is not ≥ 7 (compare with 7)
1 | (c) | (i) | B1
[1] | Graph with AB and CF contracted
(and labelled using this notation)
1 | (c) | (ii) | Only non-adjacent vertices are D and G
d eg(D) + deg(G) = 3 + 3 = 6
n = 5 vertices
and 6 is greater than 5
Hence result | M1
A1
[2] | D and G have degree sum = 6
Showing that degree sum is > 5 (compare with 5)
6 ≥ 5 or 6 > 5, or equivalent, or in words
1 | –3 | 1 | 0 | 0 | 0 | 0
1 | 0 | 1 | 1.5 | 1.5 | 0 | 27
1 This question is about the planar graph shown below.\\
\includegraphics[max width=\textwidth, alt={}, center]{cc58fb7a-efb6-4548-a8e1-e40abe1eb722-2_567_1317_395_374}
\begin{enumerate}[label=(\alph*)]
\item \begin{enumerate}[label=(\roman*)]
\item Apply Kuratowski's theorem to verify that the graph is planar.
\item Use Euler's formula to calculate the number of regions in a planar representation of the graph.
\end{enumerate}\item \begin{enumerate}[label=(\roman*)]
\item Write down a Hamiltonian cycle for the graph.
\item By finding a suitable pair of vertices, show that Ore's theorem cannot be used to prove that the graph, as shown above, is Hamiltonian.
\end{enumerate}\item \begin{enumerate}[label=(\roman*)]
\item Draw the graph formed by using the contractions AB and CF .
\item Use Ore's theorem to show that this contracted graph is Hamiltonian.
\end{enumerate}\end{enumerate}

\hfill \mbox{\textit{OCR Further Discrete 2020 Q1 [9]}}