Saltar al contenido

Métodos

Técnicas descritas para su reutilización, en lugar de una única ejecución con puntuación.

5 páginas

concepto
La cola como problema exacto en sí mismo

Un tablero parcial fuerte es una región superior que el productor trabajó más una banda inferior de filas sin terminar. Se congela la parte alta, se entrega la cola a un solucionador de restricciones exacto y se lee qué mitad fija el techo: la estructura del productor o el final de partida abaratado.

página
Cómo está construido el estudio de la reparación

El motor detrás del estudio de reparación: un único bucle componible de destrucción-reparación donde una variante es un cambio declarado sobre un padre, la IO y el scorer que comparte con el estudio DFS, un mapa de desajustes mantenido de forma incremental, y las definiciones de cada estadística que el estudio pone de relieve.

página
Cómo está construido el estudio DFS

El motor detrás del estudio DFS: un backtracker componible donde una variante es un cambio declarado sobre un padre, una capa IO compartida que cada algoritmo habla, y las definiciones de cada estadística que el estudio plantea: tasa de nodos, profundidad, rupturas.

página
Cómo se construye el estudio de las pistas

El aparato detrás del estudio de las pistas: un generador paramétrico de tableros fiel a la receta de colores de Eternity II en todos los tamaños, la familia de backtrackers por orden de relleno, el único puntuador canónico, y la pieza de aritmética que mantiene significativo el eje del número, el suelo de costuras fijadas.

experimento
Una poda correcta por conteo de colores para la búsqueda tolerante a rupturas

Llevar, color a color, la oferta de semiaristas frente a la demanda del frente en un DFS con presupuesto de rupturas, y podar en cuanto el déficit o su paridad superan las rupturas restantes. Correcto por construcción; la ganancia se compone con la profundidad.