Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. tuned names
  3. finished some proofs about Comb
  4. merge
  5. checkin of COMB: COMB is an 1.6-competitive algorithm for the listupdate problem
Changeset 6283:0a9c5741eca2 by nipkow:
merged
Changeset 6282:0d6aa4cffc7e by nipkow:
tuned names
The file was modified thys/Amortized_Complexity/Competitive_Analysis.thy (diff)
Changeset 6281:c9c5e8507283 by max haslbeck _haslbema@in.tum.de_:
finished some proofs about Comb
The file was modified thys/Amortized_Complexity/BIT_pairwise.thy (diff)
The file was modified thys/Amortized_Complexity/Comb.thy (diff)
The file was modified thys/Amortized_Complexity/TS.thy (diff)
Changeset 6280:2cf2602a9337 by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6279:5b9d04aab674 by max haslbeck _haslbema@in.tum.de_:
checkin of COMB: COMB is an 1.6-competitive algorithm for the listupdate problem
The file was addedthys/Amortized_Complexity/Comb.thy
The file was modified thys/Amortized_Complexity/BIT.thy (diff)
The file was modified thys/Amortized_Complexity/BIT_2comp_on2.thy (diff)
The file was modified thys/Amortized_Complexity/BIT_pairwise.thy (diff)
The file was modified thys/Amortized_Complexity/Competitive_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/TS.thy (diff)