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
DA4
Use 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
DC1
Interpret flow problems represented by a network of directed arcs.
Content
DC2
Find the value of a cut and understand its meaning.
Content
DC3
Use and interpret the maximum flow-minimum cut theorem.
Content
DC4
Introduce supersources and supersinks to a network.
Content
DC5
Augment flows and determine the maximum flow in a network
Content
DC6
Solve problems involving arcs with upper and lower capacities.
3.5.4 DD: Linear programming
Content
DD1
Formulate constrained optimisation problems.
Content
DD2
Solve constrained optimisation problems via graphical methods.
Content
DD3
Use the Simplex algorithm for optimising (maximising and minimising) an objective function including the use of slack variables.
Content
DD4
Interpret 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
DE5
Construct and interpret Gantt (cascade) diagrams and resource histograms.
Content
DE6
Carry 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
DF6
Convert 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
DG5
Understand and prove the existence of an identity element for a given set under a given binary operation.
Content
DG6
Find 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
DG8
Understand and use the group axioms: closure, identity, inverses and associativity, including use of Cayley tables.
Content
DG9
Recognise and use finite and infinite groups and their subgroups, including: groups of symmetries of regular polygons, cyclic groups and abelian groups.
Content
DG10
Understand and use Lagrange’s theorem.
Content
DG11
Identify and use the generators of a group.
Content
DG12
Recognise and find isomorphism between groups of finite order.