Top Banner
Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution
35

Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Dec 25, 2015

Download

Documents

Phebe Clarke
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Spring 2015Mathematics in

Management Science

Conflict Scheduling

Vertex Coloring

Chromatic Number

Conflict Resolution

Page 2: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Resolving Conflicts

Another type of scheduling problem: here want to avoid conflicts in scheduling. For example:

block exams—classes with overlapping students need exams the diff times

equipment—jobs needing same equip can’t be scheduled at the same time

Page 3: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Displaying Conflict Data

Have data describing (potential) conflicts (or lack of) btwn things.

Exs fish, animals in zoo, final exams

Can show via conflict table.• Have columns and rows.• An X means ‘conflict’ (or not).

Can show via conflict graph.

Page 4: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Table

Way to display conflicts.

X in column/row means ‘conflict’.

A, B & A, D & B, C all “conflicted”.

Note symmetry!

Page 5: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example

Block exam conflicts for fall term

(excluding language exams).

Page 6: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example Scheduling Exams

Have eight exams to schedule: French, Math, History, Philosophy, English, Italian, Spanish, Chemistry

Some students are taking two or more classes.

Only two air-conditioned rooms.

Page 7: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Table X if overlapF M H P E I S C

French   X   X X X   XMathematics X       X X    History           X X XPhilosophy X             XEnglish X X       X    Italian X X X   X   X  Spanish     X     X    Chemistry X   X X        

Page 8: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Graphs

Can represent conflicts with a graph:• vertices—things to schedule• vertices connected by an edge if two

have a conflict (i.e, can’t be scheduled at the same time).

Easy to read this off conflict table.

Page 9: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Graph Example

Pix’d table gives graph.

Useful to “clean up” graph.

Page 10: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Graph

Two vtxs connected by an edge need different schedule times.

Use (different) colors for times!

Try to color the vtxs so that any two vtxs connected by an edge have different colors.

This called a vertex coloring of graph.

Page 11: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Vertex Coloring Example

Page 12: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Vertex Colorings

Can always use a different color for each vtx (i.e. schedule everything for unique times), but this is not efficient!

What is fewest number of colors (times) can use to get a sched w/o conflicts?

Page 13: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Vertex ColoringsSometimes have limit on number of

items that can be scheduled at the same time.

This corresponds to limit on number of vertices with same color.

E.g., only 4 rooms available for exams, means can’t schedule more than 4 at the same time.

Page 14: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Vertex Coloring

Color all vertices of graph so that any two vertices joined by an edge have different colors.

The minimum number of colors needed is the chromatic number of the graph.

Page 15: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example

Page 16: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example •

Page 17: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example

Page 18: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example

Page 19: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Vertex Coloring

Minimum number of colors needed (to have a vertex coloring) is the chromatic number of the graph.

To see that a graph has chromatic number CN, must show:• there is vtx coloring with NC colors,• cannot color with less than NC colors.

Page 20: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Coloring Circuits

The length of a circuit isL = # edges = # of vtxs .

Every circuit can be colored using 2 or 3 colors.

The chromatic number of a circuit isCN = 2 if even length,CN = 3 if odd length.

Page 21: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example•

• •

Page 22: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example

Page 23: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Coloring Complete Graphs

A graph is complete if every pair of vtxs is joined by an edge.

Any vertex coloring of a complete graph with N vertices must use N different colors.

The chromatic number of KN is

CN = N .

Page 24: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.
Page 25: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Useful Fact

If a graph has a subgraph with chromatic number N, then the bigger graph will have chromatic number at least N. (Can’t use fewer colors!)

This useful when a bigger graph has a smaller complete graph built into it.

Page 26: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example

Page 27: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Brooks’ Theorem

G a graph which is not complete nor a circuit (of odd length)

G’s chromatic number satisfies

CN ≤ maximum vertex valence.

Page 28: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Chromatic Number

Minimum number of colors need.The chromatic number of a cplt

graph is CN = # of vtxs .The chromatic number of a circuit

CN = 2 if even lengthCN = 3 if odd length

All other graphs have CN at most the maximum vertex valence .

Page 29: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Example Scheduling Exams

Have eight exams to schedule: French, Math, History, Philosophy, English, Italian, Spanish, Chemistry

Some students are taking two or more classes.

Only two air-conditioned rooms.

Page 30: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Table X if overlapF M H P E I S C

French   X   X X X   XMathematics X       X X    History           X X XPhilosophy X             XEnglish X X       X    Italian X X X   X   X  Spanish     X     X    Chemistry X   X X        

Page 31: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Graph

• classes correspond to vertices• edges join conflicted vertices• look for vertex coloring

any two vertices joined by an

edge have different colors• colors are different exam times

Page 32: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.

Conflict Graph

Page 33: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.
Page 34: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.
Page 35: Spring 2015 Mathematics in Management Science Conflict Scheduling Vertex Coloring Chromatic Number Conflict Resolution.