U-PAK GitHub avatar

constraint-solver

U-PAK

一个回溯算法,用于解决一个特定的三人赛程安排问题,每个玩家有指定的参与次数目标。

Stars

0

7 天增长

暂无数据

Fork 数

0

开放 Issue

0

开源协议

MIT

最近更新

2026-07-08

AI 仓库情报摘要
FR-AI / ANALYSIS

为什么值得关注

该仓库展示了如何利用带剪枝的回溯搜索找出所有有效的比赛序列,源自阿德里安·帕恩萨的著名数学谜题。

适合谁使用

  • 学习约束满足与回溯算法的学生
  • 数学谜题爱好者
  • 对搜索和剪枝技术感兴趣的开发者
  • 需要具体CSP求解示例的教育工作者

典型使用场景

  • 解决类似的小规模调度或分配问题
  • 回溯与剪枝的教学演示
  • 探索给定规则下的所有可能结果
  • 演示经典的趣味数学问题

项目优势

  • 当某玩家超过比赛次数上限时高效剪枝
  • 能找出所有有效及无效的“宇宙”序列
  • 固定21场比赛上限简化了搜索空间
  • 针对非平凡约束问题的清晰、自包含实现

使用前须知

  • 仅适用于该特定三人21场的场景,未通用化
  • 未提供性能指标或与其他方法的对比
  • 需手动复制代码到在线环境中运行,无自动配置

README 快速开始

Solucionador de Restricciones

Un algoritmo de retroceso para resolver un problema de programación de torneos de 3 jugadores.

Descripción del problema

Hay 3 jugadores: A, B y C.

  • Juegan un total de 21 partidas.

  • Objetivos de participación final:

  • A: 17 partidas

  • B: 15 partidas

  • C: 10 partidas

Reglas

  • Solo 2 jugadores juegan cada partida (uno descansa).

  • El ganador permanece en la mesa.

  • El perdedor es reemplazado por el jugador que estaba descansando.

Cómo funciona

Este programa utiliza una búsqueda en profundidad (retroceso) con poda para explorar todas las secuencias posibles de victorias y derrotas, comenzando con A vs B (C descansando), hasta encontrar historiales de torneos válidos que coincidan exactamente con el número de participaciones objetivo.

Características

  • Poda eficiente cuando un jugador supera su límite de partidas
  • Encuentra todo tipo de "universos" (válidos y no validos)
  • No puede superar los 21 partidos (sumatoria de los 3 jugadores)
  • Imprime las primeras partidas de cada solución válida
  • Demuestra la resolución de problemas de satisfacción de restricciones

Primeros pasos

Uso

# Usar Replit
https://replit.com/

# Ejecutar la simulación
pega el archivo "sc.py" y ejecutalo

Origen del Problema

Este problema matemático fue creado por Adrián Paenza.
Ver en Wikipedia

项目描述

Este es un algoritmo de búsqueda por retroceso que simula los posibles resultados de un torneo de 3 jugadores.

相关仓库与替代方案

根据分类、Topic 和编程语言匹配的相似项目。

lopopolo
精选
lopopolo GitHub avatar

harness-engineering

Harness Engineering is a methodology for improving coding agent outputs by carefully crafting the environment around them—providing curated context, tools, and executable constraints that encode an organization’s nonfunctional requirements and cumulative lessons.

AI 与机器学习AI 智能体
2,390
slvDev
精选
slvDev GitHub avatar

esp32-ai

A 28.9 million parameter language model runs on an $8 ESP32-S3 microcontroller entirely on-device, generating simple stories at about 9.5 tokens per second.

AI 与机器学习大语言模型
1,960
littledivy
精选
littledivy GitHub avatar

mimic

mimic captures traffic from any iOS or web app and automatically generates a Python client library that lets you call the app's API like a regular library.

AI 与机器学习
1,482