Saltar al contenido
DispatchAtlas
Buscar

Programas de estudio

Los cuatro programas de estudio que organizan los niveles de evidencia de la plataforma: alcance, familias de referencia, plantillas de solucionadores, metodología y estado de las compuertas de afirmación.

La evidencia de la plataforma se organiza en cuatro programas de estudio, uno por cada nivel de evidencia: núcleo, velocidad, calidad y plataforma. Los niveles se anidan: el programa de núcleo admite evidencia de núcleo y pública; el de velocidad añade la de velocidad; el de calidad añade la de calidad; y el de plataforma presenta el campo público completo. Cada programa delimita con exactitud lo que su nivel de evidencia puede revelar, de modo que un programa de nivel inferior nunca expone un mecanismo de nivel superior.

La vitrina de abajo lee cada plantilla, familia de referencia, cohorte de comparación, detalle metodológico y estado de compuerta de afirmación desde el paquete de programas ya confirmado, por lo que las cifras se mantienen al día a medida que la plataforma evoluciona sin texto editado a mano. No se publica ninguna afirmación comparativa hasta que se abre la compuerta de un programa; las exportaciones publicadas hoy solo llevan evidencia de desarrollo de humo.

Four study programs organize the platform’s evidence tiers. Every roster, family list, methodology row, and claim-gate status below is build-inlined metadata from the committed catalog; no comparative claim is published until a program’s claim gate opens.

Study-program breadthCore3 families1 solversSpeed2 families1 solversQuality2 families1 solversPlatform5 families3 solvers
Benchmark families exercised (indigo) and solver-roster size (blue) for each study program — a metadata-only view of program breadth, build-inlined from the committed catalog.

The foundational comparison tier over the baseline solver field.

Publication surface: Evidence-grade exports and the public portal's core catalog.

metadata-only

Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.

Admitted evidence labels: core, public.

Claim gates

  • gate closedfoundation track beats the comparison cohort with Holm-corrected significance before any superiority claim

    No campaign at the statistical-power floor has produced disclosure-filtered comparative evidence on the public surface; published bundles carry smoke-development evidence only.

Benchmark families

Solver roster & comparison cohort

Native solver roster and its comparison cohort for the Core program.
Solver rosterComparison cohort
ndso-corega-int(registry-internal)
brkga(registry-internal)
eda(registry-internal)
tabu-search(registry-internal)

Methodology

Objectives
makespan
Statistics
wilcoxon-signed-rank, friedman-omnibus, holm-post-hoc, nemenyi-critical-difference, vargha-delaney-a12, cliffs-delta, bca-bootstrap-ci
Run-count floor
30 independent runs per stochastic cell before comparative analysis.
Campaign plan
ablation → comparative → pilot → sensitivity → targeted

Planned figures & tables

Figures

  • Convergence trajectory
  • Solver rankings
  • Critical-difference diagram

Tables

  • Solver summary
  • Pairwise comparisons
  • Effect sizes

Evidence pointers

release-gated

A companion write-up is published only from an approved, disclosure-filtered evidence bundle after this program's claim gate and the release gates open.

Future program candidates

Candidate programs staged for a future evidence tier — each doubles as a worked example of the add-a-program recipe.

  • Constraint-and-robustness extension candidate

    rcpspflow-shop

    Defer / retire rule: defer until a robustness-bearing campaign produces a labeled corpus; retire if no advantage clears the gate after one campaign

Top-level policy: Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.

Programa de núcleo

El programa de núcleo estudia el rendimiento objetivo de base sobre el campo de solucionadores de base: la comparación que sustenta a todos los demás. Sus familias de referencia son planificación de máquinas, taller de trabajos y taller de trabajos flexible, y enfrenta la composición nativa de núcleo contra una cohorte de comparación constructiva y metaheurística. Su metodología combina la prueba de Wilcoxon de rangos con signo, un ómnibus de Friedman con corrección posterior de Holm, el análisis de diferencia crítica de Nemenyi y los tamaños de efecto Vargha–Delaney A12 y delta de Cliff con intervalos de confianza BCa, sobre al menos 30 ejecuciones independientes por celda estocástica. Su compuerta comparativa permanece cerrada hasta que una campaña comparativa completa supere las compuertas estadísticas.

Programa de velocidad

El programa de velocidad estudia la eficiencia en tiempo de ejecución y en cualquier instante bajo terminación equiparada: trazas en cualquier instante, perfiles de rendimiento y una compuerta de calidad equiparada con menor presupuesto. Sus familias de referencia son taller de flujo y planificación de proyectos con recursos limitados, y su cohorte de comparación es codicioso iterado, ALNS y VNS. Aplica la misma metodología no paramétrica y el mismo umbral de ejecuciones que el de núcleo.

Programa de calidad

El programa de calidad estudia la calidad de la solución y los indicadores multiobjetivo: brechas de objetivo, vistas de frontera de Pareto y diferencia crítica, tablas de indicadores de calidad y ablación. Sus familias de referencia son la planificación de proyectos con recursos limitados y el taller de trabajos flexible, y su cohorte de comparación es búsqueda memética y NSGA-III. Mantiene la misma disciplina estadística y umbral de ejecuciones que los programas anteriores.

Programa de plataforma

El programa de plataforma presenta el campo más amplio que la plataforma publica: una plantilla curada entre familias que representa cada familia de solucionadores del registro en vez de cada solucionador registrado, con cobertura de características, etiquetas de distancia de distribución y evidencia de reproducibilidad y utillaje. En línea con la vista de inspección de la plataforma, una afirmación no respaldada se encamina a las limitaciones en vez de exagerar. Su postura de cobertura y reproducibilidad se apoya hoy en la inspección de artefactos, una postura de capacidad y no una afirmación de rendimiento; sus compuertas comparativas siguen cerradas como las demás.

Añadir un programa de estudio

Un nuevo programa de estudio sigue la misma ruta de cierre ante fallo que la vitrina muestra para cada uno existente. La fila de candidato futuro de la vitrina es el ejemplo resuelto.

  1. Registrar el nivel. Añade una entrada de nivel al registro de niveles junto con su valor de nivel de evidencia; las pruebas de contrato del registro exigen la integridad.

  2. Declarar la vía de evidencia. Añade una vía de evidencia al atlas de experimentos —sus familias de referencia, plantilla, cohorte, estadísticas, compuerta y umbral de ejecuciones— o inícialo primero como candidato futuro.

  3. Preparar el espacio de trabajo. Crea el directorio de espacio de trabajo del programa con su receta, además de una configuración de piloto y otra comparativa:

    New-Item -ItemType Directory -Path .\experiments\programs\<id>
    Copy-Item .\experiments\configs\core-pilot.json `
      .\experiments\configs\<id>-pilot.json
    Copy-Item .\experiments\configs\core-comparative.json `
      .\experiments\configs\<id>-comparative.json
  4. Ejecutarlo. Ejecuta la campaña piloto para el nuevo nivel y luego cura el paquete por niveles con la herramienta de línea de comandos de analytica:

    uv run python experiments\scripts\regenerate.py `
      --config .\experiments\configs\<id>-pilot.json --tier <id>
  5. Publicar. Regenera el portal para que el programa aparezca aquí de forma automática; la compuerta de frescura hace fallar la compilación si se omite la regeneración:

    uv run python tools\build_site_assets.py
  6. Documentar. Añade la sección del programa a esta página y reprodúcela en los idiomas.