Approximation Ratios and How One Is Proved · seed 1 · A4, ink-friendly. The answer key prints on its own page for grown-ups.

Prove the bound without the optimum

Computing · Algorithms & Data Structures · ages 22-23
Name ______________________   Date ____________
  1. In a ratio proof, what sits between the optimum and the algorithm?

    • A second run of the algorithm
    • The exact optimal value
    • A computable middle bound
  2. An algorithm is a factor 2 approximation for a minimization problem. What is guaranteed?

    • The answer never exceeds twice the optimum
    • The answer always equals the optimum
    • The typical answer is twice the optimum
  3. A proved ratio tells you the typical gap on everyday instances.

    Circle one:   True   False

  4. An instance makes the method return exactly twice the optimum. What does that show?

    • The analysis is tight and cannot be improved
    • The ratio claim is refuted
    • The method is useless in practice
  5. A factor 2 method returns 12 on some instance. Type the smallest value the optimum could have.

    Answer: ______________

  6. B is 10 and your method returns 18 with a claimed factor of 2. Does the claim hold here?

    • Only if the optimum equals 10
    • No, 18 exceeds B
    • Yes, 18 sits below twice B
  7. Your method has a tight factor 4 bound. A rival promises factor 2 unproved. What follows?

    • The tight bound proves your method is worse
    • Tightness says nothing about which method wins in practice
    • An unproved promise beats a tight bound
  8. Theo computes optima on ten test cases, sees gaps near 1.1, and claims factor 1.1. What is wrong?

    • Ten cases are too few to average
    • Measured gaps never certify untested instances
    • Optima cannot be computed on small cases
LightMySky · lightmysky.comW1-mt_8pmBztDkFD-s1

Answer key

For grown-ups. Fold this page away before handing over the rest.

Prove the bound without the optimum W1-mt_8pmBztDkFD-s1

  1. A computable middle bound · Both sides are compared against the middle bound.
  2. The answer never exceeds twice the optimum · The ratio caps the worst case on every instance.
  3. False · It caps the worst case and says nothing typical.
  4. The analysis is tight and cannot be improved · Hitting the bound proves the proof is exact.
  5. 6 · Twice the optimum covers 12, so the optimum is at least 6.
  6. Yes, 18 sits below twice B · Twice B is 20, which covers 18.
  7. Tightness says nothing about which method wins in practice · Tightness rates the proof, not the method.
  8. Measured gaps never certify untested instances · A ratio is a proof over all instances, not a measurement.
Worksheet · LightMySky