Download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
language ESSENCE 1.2.0
$ prob007.essence: All-interval Series
$ Problem details available at http://www.csplib.org/Problems/prob007/
$ 05 September 2007
$
 
given n : int(1..)
 
letting Num be domain int(0..n-1),
        Interval be domain int(1..n-1)
 
find s : function (total, bijective) int(1..n) --> Num,
     v : function (total, bijective) int(1..n-1) --> Interval
 
such that forAll i : int(1..n-1) . v(i) = |s(i+1) - s(i)|