SLAB/WhyNotOK — различия между версиями
Материал из DISCOPAL
< SLAB
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | <slideshow style="ispras"/> | + | <noinclude><slideshow style="ispras" headingmark="." scaled=1 /></noinclude> |
| − | === Ошибки в коде === | + | === Ошибки в коде .=== |
| + | * Отдельный рассказ | ||
| + | * Денис пошел «путем исправления» | ||
| − | + | === Неоптимальная дискретизация .=== | |
| − | === Неоптимальная дискретизация === | + | |
* Неравномерное измерение («слоты») | * Неравномерное измерение («слоты») | ||
* Огромный размер | * Огромный размер | ||
| Строка 12: | Строка 13: | ||
*** переключений в слоты | *** переключений в слоты | ||
| − | === Переключения === | + | === Переключения .=== |
* Не очень понял «моделирование переключений через плавки» | * Не очень понял «моделирование переключений через плавки» | ||
** Трудно адаптировать | ** Трудно адаптировать | ||
| Строка 21: | Строка 22: | ||
| − | === Требует проработки === | + | === Требует проработки .=== |
* Тема склада | * Тема склада | ||
* Тема вывоза | * Тема вывоза | ||
| − | === Глобальная целевая функция === | + | === Глобальная целевая функция .=== |
* Продумать экономику | * Продумать экономику | ||
* Не сумма локальных штрафов «недоиспользование ресурса X» | * Не сумма локальных штрафов «недоиспользование ресурса X» | ||
| Строка 35: | Строка 36: | ||
*** Сам увидел («перенастраиваем, лишь бы не били»©) | *** Сам увидел («перенастраиваем, лишь бы не били»©) | ||
| − | === Не работает === | + | === Не работает .=== |
* Запускали на входных данных | * Запускали на входных данных | ||
* За недели не досчитало | * За недели не досчитало | ||
| Строка 49: | Строка 50: | ||
| − | === Эвристики === | + | === Эвристики .=== |
* Скользящее окно | * Скользящее окно | ||
** И при этом «борьба за 99%» | ** И при этом «борьба за 99%» | ||
* См. «[http://lib.custis.ru/Toc-lp Теория ограничений и Линейное Программирование]» | * См. «[http://lib.custis.ru/Toc-lp Теория ограничений и Линейное Программирование]» | ||
** «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.» | ** «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.» | ||
Версия 12:16, 5 сентября 2022
- Заголовок
- SLAB/WhyNotOK
- Автор
- Стас Фомин
- Нижний колонтитул
- SLAB/WhyNotOK
- Дополнительный нижний колонтитул
- Стас Фомин, 21:44, 8 сентября 2022
Содержание
Ошибки в коде .
- Отдельный рассказ
- Денис пошел «путем исправления»
Неоптимальная дискретизация .
- Неравномерное измерение («слоты»)
- Огромный размер
- Куча допущений
- запихивание
- плавок в слоты
- переключений в слоты
- запихивание
Переключения .
- Не очень понял «моделирование переключений через плавки»
- Трудно адаптировать
- Нужны отдельные переменные «first-class citizen» — есть переключения
- Переключения — редкая штука
- разговаривал с технологами
- можно превратить ограничение (<=2) в суть модели.
Требует проработки .
- Тема склада
- Тема вывоза
Глобальная целевая функция .
- Продумать экономику
- Не сумма локальных штрафов «недоиспользование ресурса X»
- Классическая проблема «мерило работы — усталость», «локальная оптимизация станков ставит раком завод», см. «Цель»
- Часто нужно «платить, чтобы не работали»©
- Полно примеров типа
- Классическая проблема «мерило работы — усталость», «локальная оптимизация станков ставит раком завод», см. «Цель»
- Сам увидел («перенастраиваем, лишь бы не били»©)
Не работает .
- Запускали на входных данных
- За недели не досчитало
- Размер двухсменной модели
- 10 → 7120x1670
- 20 → 25294x2790
- 40 → 100974x5030
- 80 → 399662x9510
- 100 → 633605x11750
- 200 → «2751810x22950
- Так нельзя
Эвристики .
- Скользящее окно
- И при этом «борьба за 99%»
- См. «Теория ограничений и Линейное Программирование»
- «Человек не рожден для вычислений … Человеческие эвристики фейлятся … нужно составить математическую модель. Человеку ее легко верифицировать, а машине — легко решать.»