レビュー用の静的な画面案です。入力・再計算は後続 Issue で実装します。表示中の配置は既存 solve で検証した一例です。
切替時は編集した条件と比較結果を置き換えます。
試してみる：ホールの必要人数を変える11:30〜12:00のホールを1人から2人にして、再計算します。
従業員と勤務可能時間
実装時は名前も編集可能。従業員の追加・削除は初版の対象外です。
役割ごとの必要人数
復元すると条件・結果・比較元・ガイドを初期状態に戻します。
担当配置
独立検証：成功条件を満たす配置です OPTIMAL
担当なしは、欠勤・退勤・休憩を意味しません。
元の条件と比較する
元の条件通常のランチ営業
OPTIMAL · 検証成功
現在の条件まだ変更はありません。
条件を変えて再計算してください。
入力の変更 → 担当の変更を表示します。変更量の最小化は行いません。
不足付き担当配置の表示案を見る
必須枠に不足があります。未完成の担当配置を出力しました · PARTIALあおいの勤務可能時間を空にした結果、12:00〜13:00の調理は必要2人・配置1人・不足1人です。不足合計60人分、最小性は証明済みです。
配置できた20人枠の担当表と不足一覧を同時に表示し、元の条件と比較します。独立検証は不足集計・需要以外の必須条件を確認したことを示します。
編集ガイド：必要人数を見直す場合は、あおいを勤務不可のまま12:00〜13:00の調理を2人から1人に明示変更し、再計算する。
需要を減らすかは利用者が選びます。無断で緩和しません。実店舗への推奨ではありません。
計算の詳細と状態の仕様
追加の目的は指定していません。OPTIMAL は入力条件の範囲での状態であり、人選の優劣や変更最小化を保証しません。
編集後は「再計算が必要」と表示し、前回結果を現在の有効な配置として扱いません。UNKNOWN は未確定、通信失敗は取得失敗として区別します。
編集上限・全状態・実行入口・検証記録を読む