(module tsp-show (lib "run.ss" "slideshow")
  (require (lib "symbol.ss" "texpict"))
  (require (lib "step.ss" "slideshow"))
 
   (define (highlight-step str) (colorize (it str) "blue"))
  
  (with-steps
     (start spanner thinning dp lifting start2 spanner2 thinning2 dp2 lifting2)
  (slide/title
     "Overview of algorithm"
  ;((vafter start2) )
  ((vafter start2) (ht-append (colorize (it "more details: ") "red")(t "Given input graph ") )
  (page-item (highlight-step "Spanner Step:"))
  ((vafter spanner) (before spanner2 (page-para "Delete some edges of the input graph while approximately preserving the optimal value.") (page-para "more complicated")))
  (page-item (highlight-step "Thinning Step:"))
  ((vafter thinning)(before thinning2 (page-para  "Contract a small-weight set of edges, reducing the branchwidth to constant")
                           (page-para "more complicated")))
  (page-item (highlight-step "Dynamic-Programming Step:"))
  ((vafter dp) (before dp2 (page-para "Find optimal tour of contracted graph")(page-para "more here")))
  ;(page-item (highlight-step "Lifting Step:"))
  ;((vafter lifting) (before lifting2 (page-para "ds" (page-para "so")))
     )
  )
  
  )