Изначально подумал что это Вербицкий на картинке, лол
http://www.24drs.com/Health_Encyclopedia/article.asp?x_no=0000022259
Только там вместо русских поставили японцев, лол
за ≤20 ходов.
Потом был написан алгоритм который решал одно множество около 20 секунд.
Теория групп и кубик Рубика:http://www.math.kth.se/~boij/kandexjobbVT11/Material/rubikscube.pdf
В 2010 году было доказано, что из любой позиции кубик можно собрать не менее чем за 20 ходов.
Все 4.325*10^19 позиций были разделены на 2217093120 множеств по 19508428800 позиций в каждом.
С помощью симметрии уменьшили количество множеств до 55882296.
Находили не оптимальные решения к каждой позиции, а только решения
Зачем попусту кидать эту картинку?
http://leteha.livejournal.com/963066.html
http://lj.rossia.org/users/anticompromat/494415.html
Еще в 2009 году выяснилось что это такое.