|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
By
abstracting we can analyze parts of
|
|
|
an
algorithm …
|
|
|
|
* |
The beta sweep has 4 properties:
|
|
|
|
• |
Exhaustive -- it considers all CDs after alpha
|
|
|
|
• |
Non-redundant -- no slot pair is checked twice
|
|
|
• |
Progressive -- the alphabetically earliest CD
|
|
|
considered so far is always in the alpha slot
|
|
|
|
• |
Effective -- at completion, the alphabetically
|
|
|
earliest CD from alpha to end is in alpha slot
|
|