YES(?,O(n^1))
0.16/0.23	YES(?,O(n^1))
0.16/0.23	
0.16/0.23	Problem:
0.16/0.23	 d(x) -> e(u(x))
0.16/0.23	 d(u(x)) -> c(x)
0.16/0.23	 c(u(x)) -> b(x)
0.16/0.23	 v(e(x)) -> x
0.16/0.23	 b(u(x)) -> a(e(x))
0.16/0.23	
0.16/0.23	Proof:
0.16/0.23	 Complexity Transformation Processor:
0.16/0.23	  strict:
0.16/0.23	   d(x) -> e(u(x))
0.16/0.23	   d(u(x)) -> c(x)
0.16/0.23	   c(u(x)) -> b(x)
0.16/0.23	   v(e(x)) -> x
0.16/0.23	   b(u(x)) -> a(e(x))
0.16/0.23	  weak:
0.16/0.23	   
0.16/0.23	  Matrix Interpretation Processor: dim=1
0.16/0.23	   
0.16/0.23	   max_matrix:
0.16/0.23	    1
0.16/0.23	   interpretation:
0.16/0.23	    [a](x0) = x0,
0.16/0.23	    
0.16/0.23	    [v](x0) = x0 + 128,
0.16/0.23	    
0.16/0.23	    [b](x0) = x0 + 93,
0.16/0.23	    
0.16/0.23	    [c](x0) = x0 + 236,
0.16/0.23	    
0.16/0.23	    [e](x0) = x0 + 128,
0.16/0.23	    
0.16/0.23	    [u](x0) = x0 + 36,
0.16/0.23	    
0.16/0.23	    [d](x0) = x0 + 220
0.16/0.23	   orientation:
0.16/0.23	    d(x) = x + 220 >= x + 164 = e(u(x))
0.16/0.23	    
0.16/0.23	    d(u(x)) = x + 256 >= x + 236 = c(x)
0.16/0.23	    
0.16/0.23	    c(u(x)) = x + 272 >= x + 93 = b(x)
0.16/0.23	    
0.16/0.23	    v(e(x)) = x + 256 >= x = x
0.16/0.23	    
0.16/0.23	    b(u(x)) = x + 129 >= x + 128 = a(e(x))
0.16/0.23	   problem:
0.16/0.23	    strict:
0.16/0.23	     
0.16/0.23	    weak:
0.16/0.23	     d(x) -> e(u(x))
0.16/0.23	     d(u(x)) -> c(x)
0.16/0.23	     c(u(x)) -> b(x)
0.16/0.23	     v(e(x)) -> x
0.16/0.23	     b(u(x)) -> a(e(x))
0.16/0.23	   Qed
0.16/0.24	EOF