Nurikabe could use an additional rule: any cell that can't possibly be reached by any of the regions must be black