YES(?,O(n^2))

Problem:
 w(r(x)) -> r(w(x))
 b(r(x)) -> r(b(x))
 b(w(x)) -> w(b(x))

Proof:
 Matrix Interpretation Processor:
  dimension: 2
  interpretation:
             [1 1]  
   [b](x0) = [0 1]x0,
   
             [1 2]     [0]
   [w](x0) = [0 1]x0 + [1],
   
             [1 2]     [0]
   [r](x0) = [0 1]x0 + [2]
  orientation:
             [1 4]    [4]    [1 4]    [2]          
   w(r(x)) = [0 1]x + [3] >= [0 1]x + [3] = r(w(x))
   
             [1 3]    [2]    [1 3]    [0]          
   b(r(x)) = [0 1]x + [2] >= [0 1]x + [2] = r(b(x))
   
             [1 3]    [1]    [1 3]    [0]          
   b(w(x)) = [0 1]x + [1] >= [0 1]x + [1] = w(b(x))
  problem:
   
  Qed