Смирнов А.Ю.делал я на прологе такое, но давно, не помню. Но очень подходит язык для таких целей.Гадость этот ваш пролог :) В студенческие годы тоже рисовал составлялку расписания на прологе, вылилось оно у меня тогда во что-то очень даже монстрообразное. Впрочем, может это просто я с Прологом в недостаточной степени дружил, но вот пару лет назад опять понадобилось решать эту задачу, на WatcomSQL это уложилось в одну хранимую процедуру в три килобайта весом.

Сергей ФроловНекоторые докторские и кандидатские защищают на теме "составление расписаний", а тут всего 3 кб на SQL Теперь ты знаешь сколько воды нужно накопить чтобы такую кандидатскую или докторскую диссертацию написать :)

apapacyЗадачу составления расписания (в смыле оптимального и эффективного) еще не решил никто.
Просто бывают алгоритмы укладки более или менее разумные.
Ну разве что на Прологе (без иронии)А что ты тогда называешь решением задачи если не написание работающего алгоритма?
И при чем здесь Пролог? Он всего-лишь немножко по другому описывает исходные данные и правила манипуляции данными по сравнению с традиционными ЯП, но на разумность алгоритма или результаты укладки это не влияет :)

apapacyЯ понимаю, что работающий алгоритм это алгоритм, заканчивающийся за конечное число шагов?
Но вопрос сколько будет этих шагов (хватит ли ресурсов всех компов мира для решения задачи 100 станков?)
И насколько оптимальное (даже не лучшее из лучших, а просто лучшее, чем случайный выбор) будет расписание.У меня есть сильное впечатление, что как только комбинаторная задача переходит в разряд классических и ее начинают описывать в учебниках - люди сразу решают что эта задача чрезвычайно сложна и ужасающе требовательна к ресурсам.

apapacyЭта задача не описывается в учебниках, так как учебники пишут специалисты по теме, которые знают, что эффективного решения нет (комбинаторного во всяком случае). Вся наука пишет диссеры на 3-4 станках,либо доказывают, что да для такого-то количества станков задача точно NP. То есть даже не предлагают алгоритмы, а только оценивают вычислительную сложность.Эффективного решения нету значит? Гуглю фразу, "составление расписания" и на первой же странице я вижу несколько программ занимающихся этим невозможным с точки зрения науки делом. И ведь что самое странное эти программы работают и вполне эффективно.

У "составления расписания" есть только одна сложность - надо четко себе представлять какие ограничения накладываются на объекты участвующие в расписании и какие у этих объектов приоритеты друг перед другом. Твои 100 станков на самом деле не равноценны и не взаимо-заменяемы, у них есть износ, расстояние до ворот цеха/склада заготовок, умелости рабочих прикрепленных к этим станкам в конце-концов. Если про это вспомнить, то и задача превращается всего-лишь в укладку нескольких рюкзаков. Надо только сесть и подумать что у тебя в реальном мире соответсвует рюкзаку а что предметам. Подскажу, что станок это не всегда рюкзак.