Сложить камни в сумки [SWI Prolog]

12.12.2010, 14:30. **Показов** 1135. **Ответов** 1

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

доброе время суток...помогите решить задачу на прологе. Цель задачи сложить камни в сумки. Дано: масса каждого из камней и вместимость каждой сумки. (Bin - Packing Problem) Возможно применить такой алгоритм : берём подряд сумки и смотрим есть ли ещё места и вкладываем камень. Дальше берём ещё один камень и проверяем сумки снова. Сеичас имею такой код:

Prolog
1
2
3
test([bin(Name, Capacity, List)|Bins], [Weight|Stones], Goal):-
 Capacity >= Weight, !, insert(Weight, List, ListNew), NewC is Capacity-Weight, test([bin(Name, NewC, ListNew)|Bins], Stones, Goal).
test([bin(_, Capacity, _)|Bins], [Weight|Stones], Goal) :- Capacity < Weight, test(Bins, [Weight|Stones], Goal).

Он вложив камень неподаёт всех сумок на проверку, а начинает от той в которую последнюю был вложен камень. Как я мог бы исправить код? Заранье спасибо.
резуьтат мог бы быть :

Prolog
1
 Goal=[bin(Name, Capacity, список вместившихся елементов(веса)), bin(...)...]

@Грымзик · 12.12.2010, 22:10

Prolog
1
2
3
4
5
6
7
put_stone([bin(Name, Capacity, List)|Bins],Weight, [bin(Name,NewC,ListNew)|Bins]):-
    Capacity >= Weight, !, insert(Weight, List, ListNew),NewC is Capacity-Weight.
put_stone([Bin|Bins], Weight, [Bin|NewBins]) :- test(Bins, Weight, NewBins).
 
put_stones(Bins,[],Bins).
put_stones(Bins,[Weight|Stones],NewBins):-put_stone(Bins,Weight,TempBins),
    put_stones(TempBins,Stones,NewBins).

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