| Exam Board | OCR |
|---|---|
| Module | Further Discrete (Further Discrete) |
| Year | 2020 |
| Session | November |
| Marks | 9 |
| Paper | Download PDF ↗ |
| Mark scheme | Download PDF ↗ |
| Topic | Graph Theory Fundamentals |
| Type | Planarity algorithm application |
| Difficulty | Challenging +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. |
| Spec | 7.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 |
| Answer | Marks | Guidance |
|---|---|---|
| 1 | For reference: | |
| 1 | (a) | (i) |
| Answer | Marks |
|---|---|
| Hence graph is planar | B1 |
| Answer | Marks |
|---|---|
| [2] | Explaining why K , is not a subgraph (not just stating it) |
| Answer | Marks | Guidance |
|---|---|---|
| 1 | (a) | (ii) |
| ⇒ R = 6 | B1 | |
| [1] | Correct use of V + R = E + 2 leading to answer 6 |
| Answer | Marks | Guidance |
|---|---|---|
| 1 | (b) | (i) |
| e.g. A – B – G – E – D – F – C – A | B1 | |
| [1] | One of these (or in reverse) with any starting point |
| Answer | Marks | Guidance |
|---|---|---|
| 1 | (b) | (ii) |
| deg(A) + deg (G) = 2 + 3 = 5 < 7 (= n) | M1 |
| Answer | Marks |
|---|---|
| [2] | Any two non-adjacent vertices and their degrees (or sum) |
| Answer | Marks | Guidance |
|---|---|---|
| 1 | (c) | (i) |
| [1] | Graph with AB and CF contracted |
| Answer | Marks | Guidance |
|---|---|---|
| 1 | (c) | (ii) |
| Answer | Marks |
|---|---|
| Hence result | M1 |
| Answer | Marks |
|---|---|
| [2] | D and G have degree sum = 6 |
| Answer | Marks | Guidance |
|---|---|---|
| 1 | –3 | 1 |
| 1 | 0 | 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]}}