nicka
08.08.2012 20:03 notebook
а вот интересно, есть ли какие-нибудь общие методики (кроме брутфорса) для задач типа "надо подобрать высоту коробки при длине Х..Ъ, ширине Ы..Й чтоб при распиливании запчастей на нее и на коробку размерами АхБхВ (все три порядка фута) было поменьше распилов, поменьше палок по 2м"?
как вариант — система линейных нераввинств или их сово-купность. Есть профит в символьных вычислениях ( = вычислениях над формулами), если вовремя пропихивать ограничения неравенства вглубь. Задачка интересная, но был бы профит и свободное время.
там всё хитрее. надо раскидать по палкам заготовки, потом чуть шевельнуть.
раскидывание, вроде как, только брютфорсом.
каждый шаг брутфорса может являться в том числе шагом "а теперь добавим неравенство и посмотрим, чо-как наебнётся".
В целом, наверное не фтыкал, но LogicM/LogicT как монады ( = способ организации вычислений) — вот они это относительно легко позволяют, если брать детали реализации.