Управление выполнением и планированием
Расписание не принято
Расписание еще нет. Решите стандартный сценарий или загрузите демонстрацию t=4, чтобы заморозить выполненные работы и восстановить их.
Определение работы
Продолжительности редактируемы 1–3 тика. Бригада, кран и предшественники фиксированы.
| Работа | Задача | Бригада | Кран | Пред. | Прод. |
|---|
Конфигурация заблокирована, пока воспроизведение выполняется или активен перерасчет с замороженной историей.
Исполнение
Воспроизведение продвигается на один шаг в секунду. На шаге t, задачи, заканчивающиеся на t , завершены.
Завершено
Работает
Ожидание
Принятый график
График пока отсутствует
| Работа | Задача | Начать | Конец | Бригада | Кран | Статус | Заморожено |
|---|---|---|---|---|---|---|---|
| Расписание не принято. | |||||||
Проверка предшественников
Диаграмма Ганта
Такты от 0 до 16. Выберите планку (кликните или сфокусируйтесь и нажмите Enter), чтобы связать остров. Пунктирный фиолетовый контур = заморожено из-за восстановления.
Закрытия крана нет.
Занятость по тактам
Каждая ячейка учитывает выполняемые работы [tick, tick+1). Числа — использованные единицы, цвет повторяет значение.
| тик |
|---|
Расписание не принято.
Релейная станция острова
Шесть частей станции отслеживают шесть заданий. Маяк остается неосвещенным до завершения G.
Расписание не принято.
Задача не выбрана.
Почему этот план
Ограничения на простом языке и точная запись поиска. Никакой скрытой эвристики.
До / после закрытия крана
Замороженные задания сохраняют свое выполненное начало и конец. Незавершенные задания были решены снова с t=4.
| Работа | Задача | До | После | Маркер |
|---|
Задание, начинающееся точно в t=4, не будет заморожено; здесь каждое замороженное задание началось строго до 4. Замороженное задание крана, пересекающее новое закрытие, считается невыполнимым, а не перемещается — в этом пресете такого конфликта нет.
Ручное время начала
Проверяйте каждый отчет на нарушение и никогда не перемещайте задачу. Действительный ручной план помечен ручной; оптимальность не установлена.
Состояние JSON
Выбираемый текст, без скачивания. Конфигурация, расписание, выполнение и замороженные задачи все читают одно и то же принятое расписание.
Инструкции по эксплуатации
Всё работает оффлайн в этом единственном документе.
- Определить. Измените любую продолжительность на 1–3 и при желании установите закрытие крана
[u, v)с0 ≤ u ≤ v ≤ 16;u = vозначает отсутствие закрытия. Примените конфигурацию. Допустимое редактирование отменяет старое расписание и сбрасывает выполнение на t=0; недопустимое редактирование отклоняется, и принятая конфигурация сохраняется. - Решить. Точный поиск методом ветвей и границ либо доказывает наиближайшее завершение G в пределах горизонта в 16 тиков, либо сообщает «Невозможно составить расписание в пределах 16 тиков». Он никогда не утверждает невозможность за пределами горизонта.
- Запустить. Play продвигает один тик в секунду, Step продвигает один тик, Reset execution перематывает на t=0. Play останавливается на последнем тике завершения. Фонарь светится только при фактическом завершении G.
- Продемонстрировать. «Загрузка демонстрации t=4» восстанавливает установки по умолчанию, решает без закрытия и останавливается точно на t=4. Затем «Закрытие крана [5,7)» замораживает каждую задачу, начинающуюся строго до 4, в момент её выполнения, вводит закрытие и перепланирует остальное с t≥4. Действие существует только в этом приостановленном состоянии.
- Восстановить и вернуть назад. Сброс выполнения возвращает выбранное расписание назад и, после восстановления, очищает режим заморозки/сравнения, так что восстановленное расписание и закрытие становятся обычным сценарием. Сброс сценария восстанавливает стандартные длительности, без закрытия, без расписания и t=0.
- Тестировать вручную. Введите все восемь стартовых тиксов и проверьте. Нарушения охватывают области, горизонт, приоритеты, бригаду, кран и закрытие; ничего не перемещается автоматически. Чистый ручной план можно смоделировать, но он считается непроверенным до запуска Solve.
Клавиатура
- Tab / Shift+Tab охватывает каждый элемент управления; Enter или Space активирует кнопки и выбирает выделенные бары Ганта или части острова.
- Space переключает Воспроизведение/Пауза, → делает один шаг, R сбрасывает выполнение — когда фокус не находится в текстовом поле, select или на кнопке.
- Уменьшенные движения изменяют только визуальную часть; часы с одним тиком в секунду не меняются. Светлый/тёмный режим следует Авто (системным настройкам), если не переопределено выше.
Модель: непредварительные задачи на целых тактах. Задача, начинающаяся в с с длительностью d занимает [s, s+d) и освобождает точно в s+d. Два рабочих экипажа и один кран доступны на протяжении всего времени. Каждый предшественник должен завершиться не позднее начала задачи. Все восемь задач обязательны.