Коротко: да, можно при условии, что размеры сравнимы и не противоречат друг другу.
Пояснения:
- Если для любых двух игрушек $x,y$ можно однозначно сказать либо $x<y$, либо $x=y$, либо $x>y$ (то есть задан тотальный порядок по размеру), то игрушки можно расположить в порядке неубывания размера. Результат уникален с точностью до перестановок равных по размеру предметов.
- Необходимое свойство — транзитивность: если $a<b$ и $b<c$, то должно быть $a<c$. Наличие циклов (например, $a<b$, $b<c$, $c<a$) делает упорядочение невозможным.
- Если размеры многомерны (разные критерии: высота, ширина, вес) и некоторые пары некоррелируемы, то исходное отношение может быть частичным. Тогда полное упорядочение можно получить, введя скалярную меру (например, объём) или выбрав линейное расширение (топологическую сортировку) — но это потребует дополнительного правила для разрешения несравнимых пар.
Практическое решение: измерить одну числовую характеристику (диаметр, объём, массу) и отсортировать по возрастанию.