PHP实现的数独求解问题示例