YES(?,O(n^2))
7.34/5.70	YES(?,O(n^2))
7.34/5.71	
7.34/5.71	Problem:
7.34/5.71	 f(x,g(x)) -> x
7.34/5.71	 f(x,h(y)) -> f(h(x),y)
7.34/5.71	
7.34/5.71	Proof:
7.34/5.71	 Complexity Transformation Processor:
7.34/5.71	  strict:
7.34/5.71	   f(x,g(x)) -> x
7.34/5.71	   f(x,h(y)) -> f(h(x),y)
7.34/5.71	  weak:
7.34/5.71	   
7.34/5.71	  Matrix Interpretation Processor: dim=1
7.34/5.71	   
7.34/5.71	   max_matrix:
7.34/5.71	    1
7.34/5.71	   interpretation:
7.34/5.71	    [h](x0) = x0 + 72,
7.34/5.71	    
7.34/5.71	    [f](x0, x1) = x0 + x1 + 232,
7.34/5.71	    
7.34/5.71	    [g](x0) = x0
7.34/5.71	   orientation:
7.34/5.71	    f(x,g(x)) = 2x + 232 >= x = x
7.34/5.71	    
7.34/5.71	    f(x,h(y)) = x + y + 304 >= x + y + 304 = f(h(x),y)
7.34/5.71	   problem:
7.34/5.71	    strict:
7.34/5.71	     f(x,h(y)) -> f(h(x),y)
7.34/5.71	    weak:
7.34/5.71	     f(x,g(x)) -> x
7.34/5.71	   Matrix Interpretation Processor: dim=2
7.34/5.71	    
7.34/5.71	    max_matrix:
7.34/5.71	     [1 2]
7.34/5.71	     [0 1]
7.34/5.71	    interpretation:
7.34/5.71	                    [1]
7.34/5.71	     [h](x0) = x0 + [6],
7.34/5.71	     
7.34/5.71	                        [1 2]     [0]
7.34/5.71	     [f](x0, x1) = x0 + [0 1]x1 + [6],
7.34/5.71	     
7.34/5.71	               [1 0]     [5]
7.34/5.71	     [g](x0) = [0 0]x0 + [4]
7.34/5.71	    orientation:
7.34/5.71	                     [1 2]    [13]        [1 2]    [1 ]            
7.34/5.71	     f(x,h(y)) = x + [0 1]y + [12] >= x + [0 1]y + [12] = f(h(x),y)
7.34/5.71	     
7.34/5.71	                 [2 0]    [13]         
7.34/5.71	     f(x,g(x)) = [0 1]x + [10] >= x = x
7.34/5.71	    problem:
7.34/5.71	     strict:
7.34/5.71	      
7.34/5.71	     weak:
7.34/5.71	      f(x,h(y)) -> f(h(x),y)
7.34/5.71	      f(x,g(x)) -> x
7.34/5.71	    Qed
7.34/5.71	EOF