検証テーマ一覧 › 10. 独自制約・数理最適化
変則ナップサック問題
独自制約・数理最適化｜標準問題に独自制約が加わったとき、正しく定式化して解けるか
⚠ 成果物は関数コード（JS/TS）。評価用に固定の入力データセットとチェッカーを tools/ に用意する予定。
固定プロンプト（v2）
全AIモデルに一字も変えずに与える依頼文です。
以下の独自制約を満たすアイテム選択アルゴリズムを、JavaScript（またはTypeScript）の単一関数として実装してください。 制約：容量制限100のリュックに、価値と重量が設定されたアイテムを詰めて総価値を最大化する。ただし、「特定のアイテムAとアイテムBは互いに反発するため同時に入れられない（排他制約）」および「アイテムCを入れる場合は必ずアイテムDもセットで入れなければならない（依存制約）」という2つの条件を同時に満たす必要があります。制約違反を起こさずに最適解（または精度の高い近似解）を導くロジックを組んでください。
このカテゴリで測ること
- 学習データの丸暗記が効かない「意地悪な制約」に対する数式化・アルゴリズム実装力
主な測定内容
- 排他制約（AとBを同時に入れない）を守るか
- 依存制約（Cを入れるならDも必ず入れる）を守るか
- 容量100を超えないか
- 総価値（同一入力で他AIと比較）・厳密解との差
- 解法の筋（分枝限定法・DP・貪欲＋局所探索など）と計算時間
評価ポイント
- 定式化の正しさ（制約を誤解していないか）
- 解法選択の妥当さ
- 戻り値の設計（選んだ品・総価値・制約チェック結果を返すか）
- コードの読みやすさ
- 説明可能性（なぜこの解か）
登録済みの成果物（1件）
| モデル | effort | 生成日 | プロンプト版 | |
|---|---|---|---|---|
| kimi-k3 | high | 2026-09-10 | v2 | 成果物を開く |
他の検証テーマ
- スイカゲーム風合体パズル （物理演算・衝突判定（2D））
- ピンボール （物理演算・衝突判定（2D））
- 特殊ルール付きリバーシ （ターン制・状態遷移）
- カードバトル （ターン制・状態遷移）
- SaaSアナリティクスダッシュボード （モダンUI・デザイン）
- グラスモフィズムLP（スクロール・ホバー演出） （インタラクション・演出）
- リアルタイム検索・ソート・CSV出力SPA （大量データ・テーブル操作）
- ノードベースのワークフローエディタ （2D幾何・ノード操作）
- 国家経営マルチエンディングシミュレータ （文脈維持・シナリオ設計）
- Three.jsパーティクルビジュアライザー （3D空間・数理レンダリング）
- 楽観的UI＋リトライ付きチャット通信モジュール（TypeScript） （非同期・通信耐障害性）
- 配送トラック巡回問題 （独自制約・数理最適化）
- 複数ファイル構成のリポジトリへの新機能追加 （マルチファイル・既存改修）
- 法規制・規約に準拠した業務フロー＋DB設計 （ドメイン知識・仕様整合性）