Распределение чисел по 3 коробкам

@v0l0d1ka · Регистрация: 14.12.2010

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

Привет! Написал программу, но она работает некоректно.

Условие :
Распределить числа от 1 до n по 3м коробкам A,B,C , таким образом, чтобы выполнялись условия:
- если число i находится в некоторой коробке, тогда число k=2*i+1 (k≤n), не может находиться в этой же коробке;
- если числа i и j находятся в некоторой коробке,тогда число k=i+j-1 (k≤n), не может находиться в этой же коробке.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
domains
i=integer
li=i*
predicates
rez(i)
distrib(i,i,li,li,li)
member(i,li)
mojet(i,li)
summa1(i,li)
clauses
member(X,[X|_]).
member(X,[_|Z]):- member(X,Z).
 
rez(N) :- distrib(N,1,[],[],[]).
distrib(N,M,A,B,C) :- M > N, write(A), nl, 
write(B), nl ,
write(C), nl,
write("-------"), nl. %вывод результата на экран
 
distrib(N,M,A,B,C) :- M <= N, M1=M+1,
mojet(M,A),
distrib(N,M1,[M|A],B,C).
 
distrib(N,M,A,B,C) :- M <= N, M1=M+1,
mojet(M,B),
distrib(N,M1,A,[M|B],C).
 
distrib(N,M,A,B,C) :- M <= N, M1=M+1,
mojet(M,C),
distrib(N,M1,A,B,[M|C]).
 
mojet(_,[]).
mojet(K,L) :- I=K/2-1, not(member(I,L)), summa1(K,L).
 
summa1(_,[]).
summa1(K,[I|L]) :- J=K-I+1, not(member(J,L)), summa1(K,L).

@Black Fregat · 21.03.2016, 23:56

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

Prolog
1
I=(K-1)/2

И обязательно нужно проверить, что К нечётное - можете получить неожиданный результат..

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

Новые блоги и статьи Все статьи Все блоги /
Оттенки серого 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 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .