1. 版本背景
《塞尔达传说：王国之泪》是任天堂企划制作本部开发的动作冒险游戏，为《塞尔达传说》主系列的第20作，于2019年6月12日的网络直播节目“任天堂直面会: E3 2019”中首次公开，并于2023年5月12日在Nintendo Switch上发售。
1.1 游戏背景设定
游戏背景设定在一个名为海拉尔的神秘王国中，玩家扮演的主角需要在这个王国中探索并完成各种任务。玩家在游戏中将操纵林克，去寻找失踪的塞尔达而再次在海拉鲁各处进行冒险，除了辽阔的海拉鲁大地外，林克冒险的舞台还会延伸到天空和地底。
1.2 游戏销量
根据任天堂发布的财报，截至2024年6月末，游戏共售出2080万份，位列Nintendo Switch游戏销量榜单的第9位。
2. 核心技巧
2.1 神庙位置
阿科·瓦塔神庙位于利特村附近。
2.2 进入神庙
进入神庙后，右侧楼梯处射击对面水晶可解锁一个宝箱。
2.3 制冰器拿宝箱
利用制冰器到达河道中间获取另一个宝箱。
2.4 调整风车风向
回到大厅后，打击吹风扇下面的水晶来改变风向。
2.5 解锁祭坛
调整风扇方向，让所有机关转动，即可解锁祭坛。注意部分机关只能被特定风机吹动，排除这些风机可简化过关。
2.6 完成试炼
获得试炼通行证：与神像对话，获得试炼通行证，完成神庙试炼。
3. 实战案例
在实战中，玩家需要按照以下步骤完成阿科瓦塔神庙的试炼：
1. 进入神庙后，射击右侧楼梯对面的水晶，解锁一个宝箱。
2. 利用制冰器到达河道中间，获取另一个宝箱。
3. 回到大厅，打击吹风扇下面的水晶，改变风向。
4. 调整风扇方向，让所有机关转动，解锁祭坛。
5. 与神像对话，获得试炼通行证，完成神庙试炼。
4. 进阶研究
4.1 SMT解法
阿科·瓦塔神庙（风车）要求林克通过旋转风扇的朝向，使所有的风车转动，解开神庙。有玩家使用SMT（satisfiability modulo theories，可满足性模理论）求解器来建模和解决这个问题。具体步骤包括定义变量、建模约束、编写代码和使用SMT求解器得出结果，根据结果就可以解开神庙。
5. 互动问答
5.1 常见问题
1. 阿科瓦塔神庙在哪里？
2. 如何完成阿科瓦塔神庙的试炼？
3. 阿科瓦塔神庙有隐藏宝箱吗？
是的，例如在河道中间和其他区域有隐藏宝箱，需要解决相应谜题或战胜敌人才能获得。