When K1=INF
Bugs exist
Wrong Result
A bug fixxed
A bug fixxed; convexity considered
Merge branch 'dev'

The algorithm in Clark & Scarf 1960 added.