YES(?,O(n^2)) 7.76/5.74 YES(?,O(n^2)) 7.76/5.74 7.76/5.74 Problem: 7.76/5.74 .(.(x,y),z) -> .(x,.(y,z)) 7.76/5.74 7.76/5.74 Proof: 7.76/5.74 Complexity Transformation Processor: 7.76/5.74 strict: 7.76/5.74 .(.(x,y),z) -> .(x,.(y,z)) 7.76/5.74 weak: 7.76/5.74 7.76/5.74 Matrix Interpretation Processor: dim=2 7.76/5.74 7.76/5.74 max_matrix: 7.76/5.74 [1 4] 7.76/5.74 [0 1] 7.76/5.74 interpretation: 7.76/5.74 [1 4] [0] 7.76/5.74 [.](x0, x1) = [0 1]x0 + x1 + [1] 7.76/5.74 orientation: 7.76/5.74 [1 8] [1 4] [4] [1 4] [1 4] [0] 7.76/5.74 .(.(x,y),z) = [0 1]x + [0 1]y + z + [2] >= [0 1]x + [0 1]y + z + [2] = .(x,.(y,z)) 7.76/5.74 problem: 7.76/5.74 strict: 7.76/5.74 7.76/5.74 weak: 7.76/5.74 .(.(x,y),z) -> .(x,.(y,z)) 7.76/5.74 Qed 7.76/5.74 EOF