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

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

Сложно ночью соображать. :(