SB

ищем изменения по горизонтали, изменения по вертикали, складываем, проверяем какой из вариантов ответа соответствует

Ну давай: взаимоисключающие классы характеристик (a,b,c) и (1,2)

b1,c2,a1,c2
a1,b1,b1,??

В виденных мной тестах оно было multiple choice. И совершенно тривиальная.

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

Кстати, что за алгоритм, которому можно тупо следовать?

В совсем общем случае это SAT, но большинство конфигураций вырождается в простые булевские уравнения.