SLAB/WhyNotOK — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Не работает)
Строка 47: Строка 47:
 
* 200 → «{{@|2751810x22950}}
 
* 200 → «{{@|2751810x22950}}
 
* Так нельзя
 
* Так нельзя
 +
 +
 +
=== Эвристики ===
 +
* Скользящее окно
 +
** И при этом «борьба за 99%»
 +
* См. «[http://lib.custis.ru/Toc-lp  Теория ограничений и Линейное Программирование]»
 +
** «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.»

Версия 12:12, 5 сентября 2022

Заголовок

SLAB/WhyNotOK
Автор
Стас Фомин
Нижний колонтитул
SLAB/WhyNotOK
Дополнительный нижний колонтитул

Стас Фомин, 21:44, 8 сентября 2022

Ошибки в коде

Неоптимальная дискретизация

  • Неравномерное измерение («слоты»)
  • Огромный размер
  • Куча допущений
    • запихивание
      • плавок в слоты
      • переключений в слоты

Переключения

  • Не очень понял «моделирование переключений через плавки»
    • Трудно адаптировать
    • Нужны отдельные переменные «first-class citizen» — есть переключения
  • Переключения — редкая штука
    • разговаривал с технологами
    • можно превратить ограничение (<=2) в суть модели.


Требует проработки

  • Тема склада
  • Тема вывоза


Глобальная целевая функция

  • Продумать экономику
  • Не сумма локальных штрафов «недоиспользование ресурса X»
    • Классическая проблема «мерило работы — усталость», «локальная оптимизация станков ставит раком завод», см. «Цель»
      • Часто нужно «платить, чтобы не работали»©
      • Полно примеров типа
ATARI-лодка-оптимизация-очков.gif
      • Сам увидел («перенастраиваем, лишь бы не били»©)

Не работает

  • Запускали на входных данных
  • За недели не досчитало
  • Размер двухсменной модели
  • 10 → 7120x1670
  • 20 → 25294x2790
  • 40 → 100974x5030
  • 80 → 399662x9510
  • 100 → 633605x11750
  • 200 → «2751810x22950
  • Так нельзя


Эвристики

  • Скользящее окно
    • И при этом «борьба за 99%»
  • См. «Теория ограничений и Линейное Программирование»
    • «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.»