reach(n,C,C',k)
  if k = 0:
    if C = C': // Shouldn't there be another check?
      return true
    else
      return false
  else
    foreach C'' of size n:
      if reach(n,C,C'',k-1) and reach(n,C'',C',k-1):
        return true
      else
        return false