Комбинаторика

@tupik123 · Регистрация: 10.02.2011

Студворк — интернет-сервис помощи студентам

Всем доброго дня!
Пожалуйста, помогите мне с решением задачи.

Задача:
Напишите предикат p(+N, +K, -L) - истинный тогда и только тогда, когда L - список всех последовательностей (списков) длины K из неповторяющихся чисел 1,2,...,N.
Пример:
?- p(3,2,L).
L=[[1,1],[2,2],[3,3],[1,2],[1,3],[2,1],[3,1],[2,3],[3,2]];
No
(элементы списка могут быть в другом порядке).
Подсказка: используйте рекурсию по K.

Есть часть решения:

Prolog
1
2
3
4
5
6
7
p(0,_,[]):-!.
p(N,1,[[N]|Tail]):-!,N1 is N-1,p(N1,1,Tail).
p(N,K,L):-K1 is K-1,p(N,K1,L1),r(1,N,L1,L).
 
r(_,_,[],[]).
r(I,N,[_|Tail],Ans):-I>N,!,r(1,N,Tail,Ans).
r(I,N,[H|Tail],[[I|H]|NewTail]):-I1 is I+1,r(I1,N,[H|Tail],NewTail).

Результатам будет перебор всех вариантов, а как можно убрать подсписки с повторяющимися цифрами (в данном примере 1, 2, 3 подсписки)?

Добавлено через 7 часов 3 минуты
Может у кого свое решение есть, я мучаюсь уже очень долго. Help me!!!

@tupik123 · 18.04.2012, 13:21 **[ТС]**

Дан произвольный список списков, например:

L = [[1 ,1], [2, 2], [3, 3], [1, 2], [1, 3], [2, 1], [3, 1], [2, 3], [3, 2]];
или
L = [[1, 2, 3], [1, 3, 2], [2, 3, 2], [3, 1, 2], [3, 2, 2], [3, 3, 3]];

Как удалить под списки в которых есть одинаковые элементы, что бы получилось:

L= [[1, 2], [1, 3], [2, 1], [3, 1], [2, 3], [3, 2]];
или
L = [[1, 2, 3], [1, 3, 2], [3, 1, 2]];

Помогите, пожалуйста, очень надо.

@Грымзик · 18.04.2012, 14:47

r(I,N,[H|Tail],[[I|H]|NewTail]):-I1 is I+1,r(I1,N,[H|Tail],NewTail).
Меняем на

Prolog
1
2
3
r(I,N,[H|Tail],[[I|H]|NewTail]):-not(member(I,H)),!,
     I1 is I+1,r(I1,N,[H|Tail],NewTail).
r(I,N,L,NewTail):-I1 is I+1,r(I1,N,L,NewTail).

@tupik123 · 18.04.2012, 16:09 **[ТС]**

При компиляции пролог говорит, что предикат member не определен!?

@Грымзик · 18.04.2012, 16:20

Ну так определите. Это стандартный предикат проверки принадлежит ли элемент списку. Если не получается самостоятельно, то воспользуйтесь поиском.

@tupik123 · 18.04.2012, 16:34 **[ТС]**

Предикат определил, все получилось.
Спасибо большое, выручили!! :dance3:

@Siore · 26.12.2014, 12:40

Грымзик, Поясните пожалуйста, что происходит в написанном Вами кусочке кода

Новые блоги и статьи Все статьи Все блоги /
Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .

@tupik123 12 / 4 / 2 Регистрация: 10.02.2011 Сообщений: 50
	18.04.2012, 13:21 [ТС]
	Дан произвольный список списков, например: L = [[1 ,1], [2, 2], [3, 3], [1, 2], [1, 3], [2, 1], [3, 1], [2, 3], [3, 2]]; или L = [[1, 2, 3], [1, 3, 2], [2, 3, 2], [3, 1, 2], [3, 2, 2], [3, 3, 3]]; Как удалить под списки в которых есть одинаковые элементы, что бы получилось: L= [[1, 2], [1, 3], [2, 1], [3, 1], [2, 3], [3, 2]]; или L = [[1, 2, 3], [1, 3, 2], [3, 1, 2]]; Помогите, пожалуйста, очень надо. 0

@tupik123 12 / 4 / 2 Регистрация: 10.02.2011 Сообщений: 50
	18.04.2012, 16:09 [ТС]
	При компиляции пролог говорит, что предикат member не определен!? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.04.2012, 16:20
	Ну так определите. Это стандартный предикат проверки принадлежит ли элемент списку. Если не получается самостоятельно, то воспользуйтесь поиском. 0

@tupik123 12 / 4 / 2 Регистрация: 10.02.2011 Сообщений: 50
	18.04.2012, 16:34 [ТС]
	Предикат определил, все получилось. Спасибо большое, выручили!! :dance3: 0

@Siore 0 / 0 / 0 Регистрация: 21.12.2014 Сообщений: 12
	26.12.2014, 12:40
	Грымзик, Поясните пожалуйста, что происходит в написанном Вами кусочке кода 0