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

@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.

@Грымзик · 21.11.2011, 16:45

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).

@tupik123 · 22.11.2011, 19:33 **[ТС]**

А как убрать повторяющиеся подсписки с повторяющимися числами?
Например [1 2 1] - повторяется единица, значит этот подсписок в список не включать.

Новые блоги и статьи Все статьи Все блоги /
Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .	Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .
Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .	Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при создании или изменении элементов справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи электронной. . .

@tupik123 12 / 4 / 2 Регистрация: 10.02.2011 Сообщений: 50

	Комбинаторика 21.11.2011, 07:14. Показов 2027. Ответов 2 Метки нет (Все метки) Всем доброго дня! Пожалуйста, помогите мне с решением задачи. Не могу понять логику пролога. Задача: Напишите предикат 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. 0

@tupik123 12 / 4 / 2 Регистрация: 10.02.2011 Сообщений: 50
	22.11.2011, 19:33 [ТС]
	А как убрать повторяющиеся подсписки с повторяющимися числами? Например [1 2 1] - повторяется единица, значит этот подсписок в список не включать. 0