Python components for testing list colourings of graphs.
EXAMPLES:
Decides whether or not ‘colour’ is a member of the list assigned to ‘vertex’ by the ‘list_assignment’.
Decides whether exactly every vertex of ‘graph’ is coloured.
Decides whether of not the subgraph of ‘graph’ induced by nodes in ‘nodes’ is an independent set or not.
Decides whether or not ‘colouring’ is a list colouring of ‘graph’, according to the ‘list_assignment’ given.
Decides whether or not ‘colouring’ is a proper colouring of the vertices of ‘graph’.
Decides whether or not ‘colouring’ is a proper list colouring of ‘graph’, according to the ‘list_assignment’ given.