3.5 Optional application 3 – discrete mathematics

3.5.1 DA: Graphs

 Content
DA1

Understand and use the language of graphs including: vertex, edge, trail, cycle, connected, degree, subgraph, subdivision, multiple edge and loop.

 Content
DA2

Identify or prove properties of a graph including that a graph is Eulerian,

semi-Eulerian or Hamiltonian.

 Content
DA3

Understand and use Euler’s formula for connected planar graphs.

 Content
DA4Use Kuratowski’s Theorem to determine the planarity of graphs.
 Content
DA5

Understand and use complete graphs and bipartite graphs, including adjacency matrices and the complement of a graph.

 Content
DA6

Understand and use simple graphs, simple-connected graphs and trees.

 Content
DA7

Recognise and find isomorphism between graphs.

3.5.2 DB: Networks

 Content
DB1

Understand and use the language of networks including: node, arc and weight.

 Content
DB2

Solve network optimisation problems using spanning trees.

 Content
DB3

Solve route inspection problems.

 Content
DB4

Find and interpret upper bounds and lower bounds for the travelling salesperson problem.

 Content
DB5

Evaluate, modify and refine models which use networks.

3.5.3 DC: Network flows

 Content
DC1Interpret flow problems represented by a network of directed arcs.
 Content
DC2Find the value of a cut and understand its meaning.
 Content
DC3Use and interpret the maximum flow-minimum cut theorem.
 Content
DC4Introduce supersources and supersinks to a network.
 Content
DC5Augment flows and determine the maximum flow in a network
 Content
DC6Solve problems involving arcs with upper and lower capacities.

3.5.4 DD: Linear programming

 Content
DD1Formulate constrained optimisation problems.
 Content
DD2

Solve constrained optimisation problems via graphical methods.

 Content
DD3Use the Simplex algorithm for optimising (maximising and minimising) an objective function including the use of slack variables.
 Content
DD4Interpret a Simplex tableau.

3.5.5 DE: Critical path analysis

 Content
DE1

Construct, represent and interpret a precedence (activity) network using

activity-on-node.

 Content
DE2

Determine earliest and latest start and finish times for an activity network.

 Content
DE3

Identify critical activities, critical paths and the float of non-critical activities.

 Content
DE4

Refine models and understand the implications of possible changes in the context of critical path analysis.

 Content
DE5Construct and interpret Gantt (cascade) diagrams and resource histograms.
 Content
DE6Carry out resource levelling (using heuristic procedures) and solve problems where resources are restricted.

3.5.6 DF: Game theory for zero-sum games

 Content
DF1

Understand, interpret and construct pay-off matrices.

 Content
DF2

Find play-safe strategies and the value of the game.

 Content
DF3

Prove the existence or non-existence of a stable solution.

 Content
DF4

Identify and make use of dominated strategies.

 Content
DF5

Find optimal mixed strategies for a game including use of graphical methods.

 Content
DF6Convert and solve higher order games to linear programming problems.

3.5.7 DG: Binary operations

 Content
DG1

Understand and use binary operations including use of modular arithmetic and matrix multiplication.

 Content
DG2

Understand, use and prove the commutativity of a binary operation.

 Content
DG3

Understand, use and prove the associativity of a binary operation.

 Content
DG4

Construct a Cayley table for a given set under a given binary operation.

 Content
DG5Understand and prove the existence of an identity element for a given set under a given binary operation.
 Content
DG6Find the inverse of an element belonging to a given set under a given binary operation.
 Content
DG7

Understand and use the language of groups including: order, period, subgroup, proper, trivial, non-trivial.

 Content
DG8Understand and use the group axioms: closure, identity, inverses and associativity, including use of Cayley tables.
 Content
DG9Recognise and use finite and infinite groups and their subgroups, including: groups of symmetries of regular polygons, cyclic groups and abelian groups.
 Content
DG10Understand and use Lagrange’s theorem.
 Content
DG11Identify and use the generators of a group.
 Content
DG12Recognise and find isomorphism between groups of finite order.