Вот смотрите, мы имеем:
- список тиглей T (10шт.),
- список крышек K (6 шт.),
- список всех возможных пар T+K (T*K=60 шт.) - это массив aM(), он, кстати, для контроля нарисован в столбцах Q:S (в столбце P - индекс массива для данной пары),
- список возможных решений - наборов пар Ti+Kj<->Tm+Kn, это массив aR(), каждая строка массива хранится в виде (индекстнабора1,индекснабора2,отметка), где индекснабора* - это индекс соответствующей пары N+K в массиве aM(). По идее, можно было бы в решении хранить не два индекснабора, а четыре индекса тиглей-крышек - это непринципиально для алгоритма.

Заметим, что для каждой строки aR(), по алгоритму из решения первой части, Ti<>Tm,Ki<>Km, т.е. это пара из двух различных тиглей и двух различных крышек. Также, решение второй части - максимальное количество наборов (T1+K1,T2+K2) - целое число, не превосходящее INT(MIN(T,K)/2) - в нашем конкретном случае MaxRes = int(min(10,6)/2)) = 3. Их может быть меньше, но больше - никак.
Представьте себе, что решение aR() - это граф. Каждая пара T+K - это точка, каждая строка решения aR() - это отрезок, соединяющий две соответствующие точки. Будем искать решение таким образом - нам надо попытаться найти MaxRes независимых (не имеющих одинаковых концов) отрезков этого графа. Что означает - при поиске решения, если мы фиксируем какой-то из отрезков как часть решения - то нам сразу требуется исключить все отрезки, имеющие с зафиксированным общие концы. А затем дейстовать таким же образом далее - выбрать какой-то из оставшихся "свободных" отрезков, зафиксировать, исключить связанные отрезки. Если достигнем MaxRes в количестве зафиксированных отрезков - найдено хотя бы одно решение, выходим; если свободные отрезки кончатся раньше - вернемся в самое начало и будем пытаться искать другое решение, фиксируя в качестве начального другой отрезок. До тех пор, пока не переберем все имеющиеся отрезки в качестве начального. Обратите внимание на выделенное - здесь как раз и кроется отличие от рекурсивного подхода (где мы бы вернулись только на шаг назад для выбора другого отрезка), здесь же и есть небольшая проблема - кажется, что алгоритм может не найти максимальное решение.

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