ガイドツアー

DispatchAtlas はスケジューリング問題を 4 つの段階で公開・再現可能なエビデンスへと変換します。ベンチマークインスタンスを生成し、それを解き、実行を分析し、そしてカタログを通じてすべてを探索します。本ツアーは各段階につき 1 つのスニペットで小規模に全体の流れをたどります。チュートリアルは各段階を完全な実行可能スクリプトにします。

まだ実行していない場合は、先にクイックスタートを実行してください。そのスモークキャンペーンが、下記の分析段階が読み取る実行記録を生成します。

1️⃣ 生成 — ベンチマークインスタンス

ベンチマークインスタンスは 1 つのスケジューリング問題です。タスク、それらを実行するリソース、目的、そして制約から成ります。同梱のスモークカタログは単一のシードから小さな決定的インスタンスを具体化するため、同じシードは常に同じ問題を生成します。

from dispatchatlas.bench import smoke_benchmark_provider
 
provider = smoke_benchmark_provider(root_seed=20260527)
problem = provider.get_problem(provider.list_problem_ids()[0])
print(problem.spec.id, len(problem.spec.tasks), "tasks")

完全なアトラスは、古典的なスケジューリングファミリーと Edge–Fog–Cloud ファミリーの連続体にまたがり、それぞれが引用に裏付けられたメタデータと分布距離スコアを備えています。→ ベンチマークモデル

2️⃣ 求解 — ソルバーを実行する

ソルバーはタスクを時間に沿ってリソースへ割り当て、スケジュールを返します。レジストリはあなたの目的をサポートし、所与のエビデンス層で可視なソルバーを選択し、実行用に 1 つを構築します。

from dispatchatlas.core import DisclosureLabel, TerminationPolicy, derive_seed
from dispatchatlas.solve import default_solver_registry
 
registry = default_solver_registry()
candidate = registry.select(objective="makespan", disclosure_label=DisclosureLabel.CORE)[0]
solver = registry.create(candidate.solver_id)
run = solver.solve(
    problem=problem,
    stop=TerminationPolicy(max_iterations=candidate.default_stop.max_iterations),
    seed=derive_seed(20260527, "tour", 0),
)
print(run.result.feasible)

レジストリは構築的ベースライン、厳密解アダプター、メタヒューリスティクス、多様化された競合セット、そしてネイティブのソルバーファミリーを保持します。各エントリはフェイルクローズドな引用契約を備えています。→ ソルバーシステム · アルゴリズム

3️⃣ 分析 — 実行をエビデンスに変える

多くのソルバーで多くの問題を解くと、実行記録から成るキャンペーンが生成されます。分析層は完了したキャンペーンを読み込み、記述統計の要約、効果量を伴う名前付きノンパラメトリック検定、補正済みの有意性、そしてソルバーのランキングを計算します。決して裸の p 値だけを出すことはありません。

from pathlib import Path
from dispatchatlas.analytica import load_campaign_dataset, summarize_dataset
 
campaign_dir = Path("experiments") / "results" / "smoke-pilot"
dataset = load_campaign_dataset(campaign_dir)
summary = summarize_dataset(dataset)
print([s.solver_id for s in summary.solver_summaries])

同じ要約が、決定的な SVG および PGFPlots の図と、開示フィルタ済みのエビデンスバンドルを駆動します。→ キャンペーンエンジン · 分析エクスポート

4️⃣ カタログ — アトラスを探索する

ツアーが生成したものはすべて、コードを書かずに閲覧できます。インタラクティブなポータルは、ベンチマークアトラスをメタデータで検索・フィルタリングし、各ソルバーが宣言する能力を確認し、結果をプレビューし、各ページの背後にある開示フィルタ済みデータセットをダウンロードできるようにします。

ベンチマークカタログ — メタデータでベンチマークインスタンスをフィルタリングしてダウンロードします。
ソルバーレコメンダー — どのソルバーが問題に適合するかの、説明可能でメタデータのみに基づくランキング。
結果とプラットフォーム検査 — エビデンスとプラットフォーム自身の能力面をプレビューします。

🧭 次に進む先

各段階の完全な実行可能版についてはチュートリアルに取り組んでください。
再現可能なキャンペーンワークスペースで、チェックポイント付きで再開可能な実行を構成します。
各パッケージが共有する型についてはドメイン契約をお読みください。