Tag Archives: Greedy Theorem

Maximum Segment Sum and Density with Bounded Lengths

By Shin | Published: June 20, 2007
It may be surprising that variations of the maximum segment sum (MSS) problem, a textbook example for the squiggolists, are still active topics for algorithm designers. These literate Haskell scripts presents a program solving two recently studied variations: computing the maximum sum of segments not longer than an upper-bound, and the maximum density (average) of segments not shorter than a lower-bound. 2007/06/26 Update: fixed binary search.
2007/11/04 Update: linear time algorithm for MSDL.
Posted in Software | Also tagged , , , | Leave a comment

A Calculational Approach to Program Inversion

By Shin | Published: June 20, 2007
S-C. Mu, A Calculational Approach to Program Inversion. D.Phil Thesis. Oxford University Computing Laboratory. March 2003
[GZipped Postscript][PDF]
Posted in Publication | Also tagged , , , , | Leave a comment

Algebraic Methods for Optimisation Problems (Transfering dissertation)

By Shin | Published: June 20, 2007
S-C. Mu, Algebraic Methods for Optimisation Problems. Transfering dissertation.
Posted in Publication | Also tagged , , , | Leave a comment

Optimisation problems in logic programming: an algebraic approach

By Shin | Published: June 20, 2007
S. Seres and S-C. Mu, Optimisation problems in logic programming: an algebraic approach. In Proceedings of LPSE'00, July 2000.
[GZipped Postscript]
Posted in Workshop | Also tagged , , | Leave a comment