YES(?,O(n^1))
0.16/0.21	YES(?,O(n^1))
0.16/0.21	
0.16/0.21	Problem:
0.16/0.21	 f(g(x,y),f(y,y)) -> f(g(y,x),y)
0.16/0.21	
0.16/0.21	Proof:
0.16/0.21	 Complexity Transformation Processor:
0.16/0.21	  strict:
0.16/0.21	   f(g(x,y),f(y,y)) -> f(g(y,x),y)
0.16/0.21	  weak:
0.16/0.21	   
0.16/0.21	  Matrix Interpretation Processor: dim=1
0.16/0.21	   
0.16/0.21	   max_matrix:
0.16/0.21	    1
0.16/0.21	   interpretation:
0.16/0.21	    [f](x0, x1) = x0 + x1 + 9,
0.16/0.21	    
0.16/0.21	    [g](x0, x1) = x0 + x1 + 61
0.16/0.21	   orientation:
0.16/0.21	    f(g(x,y),f(y,y)) = x + 3y + 79 >= x + 2y + 70 = f(g(y,x),y)
0.16/0.21	   problem:
0.16/0.21	    strict:
0.16/0.21	     
0.16/0.21	    weak:
0.16/0.21	     f(g(x,y),f(y,y)) -> f(g(y,x),y)
0.16/0.21	   Qed
0.16/0.21	EOF