По-моему вопрос "Если..?" появляется с начала решения ЯК

Почему ту же 13 в центре мы не закрашиваем с самого начала строки? Потому что
если так сделать, то потом могут быть проблемы.

Просто в данном случае часть с "если" не даёт полезного результата, как в случае с противоречием, и опускается (учитывается по умолчанию).
у
belko61 хороший ход, но состоит из мелких цифр, поэтому в глаза не бросится и до него можно только дойти методично проверяя все столбцы, хорошо, что в данном ЯК он всего лишь 4-й. А я люблю сначала более крупные цифры проверять, и если там противоречие в 1-2 хода, то для меня так будет быстрее

По поводу подбора, раньше я думала, что подбор - это уже когда на однозначный результат никакой логикой не выйдешь, только методом тыка поставить, но здесь на сайте увидела, что есть сложные и простые подборы. Поэтому не знаю, может сложный - это метод тыка, а простой - противоречием

по 2 пункту чуть подробней
если в центральном вертикальном столбце (1:4:3:1) блок 2ч.кл.1бел.кл.1ч.кл. не 4-ка, то верхние 2 клетки принадлежат 4-ке, а нижняя - 3-ке. Между ними пустая клетка, тогда первый ход в строке (1:5:1:1) даёт нам вокруг пустой клетки 5 и 1, а второй ход в столбце (5;3;1) спускает вниз 3-ку и даёт противоречие,
значит всё-таки начальный блок 2ч.кл.1бел.кл.1ч.кл должен быть 4-кой.
SPOILER
не знаю стало ли понятней

, для меня просто уже привычно такие двухходовки проверять