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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Эвристики .)
 
(не показаны 2 промежуточные версии этого же участника)
Строка 57: Строка 57:
 
* См. «[http://lib.custis.ru/Toc-lp  Теория ограничений и Линейное Программирование]»
 
* См. «[http://lib.custis.ru/Toc-lp  Теория ограничений и Линейное Программирование]»
 
** «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.»
 
** «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.»
 +
 +
 +
=== Боремся за постановку . ===
 +
 +
[[File:WhyNotOK_2022-09-09_00-44-03_image0.png||800px]]

Текущая версия на 21:44, 8 сентября 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%»
  • См. «Теория ограничений и Линейное Программирование»
    • «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.»


Боремся за постановку .

WhyNotOK 2022-09-09 00-44-03 image0.png