Не, все там логично.
В сапере не всегда решает обычная арифметика с внимательностью, иногда нужно подобрать варианты и выбрать правильный.
На картинке тьма шакалов, но разобрать можно:
(в начале в низу с лева условие "1" и "2" выполняется только в одном случае, а в конце нужно расположить в 5 клетках 4 мины так что бы все видимые условия не нарушались - все просто)
Если бы без привязки оставались пустые участки - то да рандом. А тут все привязано.
Вот смотри, у меня тут выше 5 картинок. 1-3 это все логично, ведь так? А что тебя в 4-5 не понравилось? Имеем 5 клеток, 4 не открытые мины. Просто логически если подумать: остается только одна свободная клетка. Примеряем ее на все возможные позиции(из всего 5).
Если в нижней строчке то условие "5" не выполняется. А если справа во второй строчке - то не выполняется условие "2". Поэтому имеем только одну возможную пустую клетку.