YES(?,O(n^2))
11.36/5.79	YES(?,O(n^2))
11.36/5.79	
11.36/5.79	Problem:
11.36/5.79	 a(b(x)) -> b(a(x))
11.36/5.79	 a(c(x)) -> x
11.36/5.79	
11.36/5.79	Proof:
11.36/5.79	 Complexity Transformation Processor:
11.36/5.79	  strict:
11.36/5.79	   a(b(x)) -> b(a(x))
11.36/5.79	   a(c(x)) -> x
11.36/5.79	  weak:
11.36/5.79	   
11.36/5.79	  Matrix Interpretation Processor: dim=1
11.36/5.79	   
11.36/5.79	   max_matrix:
11.36/5.79	    1
11.36/5.79	   interpretation:
11.36/5.79	    [c](x0) = x0 + 128,
11.36/5.79	    
11.36/5.79	    [a](x0) = x0 + 33,
11.36/5.79	    
11.36/5.79	    [b](x0) = x0 + 224
11.36/5.79	   orientation:
11.36/5.79	    a(b(x)) = x + 257 >= x + 257 = b(a(x))
11.36/5.79	    
11.36/5.79	    a(c(x)) = x + 161 >= x = x
11.36/5.79	   problem:
11.36/5.79	    strict:
11.36/5.79	     a(b(x)) -> b(a(x))
11.36/5.79	    weak:
11.36/5.79	     a(c(x)) -> x
11.36/5.79	   Matrix Interpretation Processor: dim=2
11.36/5.79	    
11.36/5.79	    max_matrix:
11.36/5.79	     [1 1]
11.36/5.79	     [0 1]
11.36/5.79	    interpretation:
11.36/5.79	                    [1]
11.36/5.79	     [c](x0) = x0 + [0],
11.36/5.79	     
11.36/5.79	               [1 1]  
11.36/5.79	     [a](x0) = [0 1]x0,
11.36/5.79	     
11.36/5.79	                    [0]
11.36/5.79	     [b](x0) = x0 + [1]
11.36/5.79	    orientation:
11.36/5.79	               [1 1]    [1]    [1 1]    [0]          
11.36/5.79	     a(b(x)) = [0 1]x + [1] >= [0 1]x + [1] = b(a(x))
11.36/5.79	     
11.36/5.79	               [1 1]    [1]         
11.36/5.79	     a(c(x)) = [0 1]x + [0] >= x = x
11.36/5.79	    problem:
11.36/5.79	     strict:
11.36/5.79	      
11.36/5.79	     weak:
11.36/5.79	      a(b(x)) -> b(a(x))
11.36/5.79	      a(c(x)) -> x
11.36/5.79	    Qed
11.51/5.80	EOF