check rechability is no more intractable