Minebender가 추측을 줄이는 지뢰찾기 도움 기능을 선보였다

Bend 2로 만든 지뢰찾기 Minebender가 막힌 순간 안전한 칸을 열어 줍니다. 저는 정답을 찍어 주는 대신, 추론으로 안전한 칸을 찾을 수 없는 순간에만 돕는다는 점이 반갑습니다.

Bend 2 공개 소식과 이어지는 사례로, Minebender는 그 언어로 지뢰찾기와 추론 기능을 만들었습니다. 사람이 관리하는 규칙을 코드와 증명으로 대조해, Bend 2의 쓰임새를 작은 게임 안에서 보여 줍니다.

흔한 도움 기능이 정답을 건네는 데 그친다면, Minebender는 다릅니다. 보이는 숫자와 전체 지뢰 수로 안전한 칸을 증명할 수 없을 때만 칸을 엽니다. 막힘을 풀어 주면서도 추론할 몫은 남겨 둡니다.

초급 보드에서는 세 번 클릭한 뒤에도 2×2 구역의 대각선 한쪽에 지뢰 두 개가 있는 두 배치가 같은 숫자를 만들 수 있습니다. 그러면 논리만으로 안전한 칸을 고를 수 없습니다. 반대로 안전한 칸을 추론할 수 있는데 도움을 누르면 패배하고 그 칸이 공개됩니다. 이 규칙은 도움 기능이 개입하는 순간을 분명히 보여 줍니다.

웹 버전에서 먼저 보이는 숫자로 안전한 칸을 찾아본 뒤 도움 기능을 눌러 보십시오. 패배와 함께 칸이 공개되면 규칙이 작동한 것입니다. 다음 판에서는 안전한 칸을 찾지 못했을 때 도움을 써 보며 차이를 확인하십시오.

지뢰찾기에서 막히면 먼저 숫자로 경우를 좁히십니까, 아니면 곧바로 도움 기능을 찾으십니까?