数独：dfs+剪枝+位运算+排除冗余+优化搜索顺序（未完）