论数独游戏与人工智能的逻辑与思维