Делаешь класс "слово".
Изначально заполняется нулями.
Список "зависимых объектов-слов" (например указатель на объект - )
(Это м.б. карта(map), т.к. два слова в двух и более местах не пересекаются. Реализация этой функциональности может быть вынесена в отдельный класс. Но можно и тут.)

Он должен уметь:
* Отвечать на вопрос "Заполнено ли слово целиком?" (тут нужны две проверки: 1) все буквы заполнены 2) такое слово есть в словаре)
* отвечать на вопрос "Можно ли вставить заданное слово?" (тут проверяем 1) подходит ли слово по кол-ву букв 2) если некоторые буквы уже заполнены по-другому, то возвращаем false)
* Если карта зависимостей ведется в этом классе, то уметь проставлять буквы в зависимых словах.


Итак, инициализируем vector или list из "слов" (создаем их в нужном количестве и правильно заполняем список зависимостей в каждом объекте)

Дальше приблизительно такой цикл:

* Берем наугад слово из словаря и если его нет среди уже заполненных слов, пытаемся его запихнуть в короссворд.
* если кроссворд заполнен, то улыбаемся и потираем руки (break).
* переходим к следующей итерации цикла (тут вполне можно зациклиться намертво, если ни одно слово из словаря добавить нельзя, а кроссворд еще не заполнен. варианты: 1) по нажатию на клавишу начинать все сначала; 2) Начинать сначала по таймауту или кол-ву итераций цикла; 3) завести массив bool'ов "а это слово уже попробовано. не подошло" и при тотальном его заполнении начинать заново 4, 5, 6 ... :-))

Это навскидку. Конечно, уже сейчас можно начинать оптимизировать метод, но для большого словаря (много больше кроссворда) вполне подойдет. И описывать это imho дольше, чем писать программу :-)

Вместо Gradient(например указатель на объект - ) следует читать "(например указатель на объект - позиция в this - позиция в объекте, на который указатель)"