约束满足 资源专区

本专区汇聚了各类基于 约束满足 开发的源码资源,共计 6 篇资源供开发者免费下载学习。

共找到 6 个资源
其他 1 积分

智能课表自动生成系统源码说明

this time table generation project-this is time table generation project

课表生成 遗传算法 教务管理
0 0 查看详情
其他 1 积分

传教士与野人过河问题求解器

三个野人和三个传教士要过河。 (1). 有三个野人和三个传教士要过河。 (2).只有一条船过河,船上每次只能座最多两个人。 (3).任何时候,野人的数量不能比传教士多。

逻辑谜题 过河问题 算法
0 0 查看详情
其他 1 积分

加法算式谜题求解器

加法难题 有如下的加法算式: donald + gerald = robert 每个字母代表一个不同的数字(0-9),你能否求出每个字母分别代表什么数字?-Adder prob

加法谜题 字母算术 密码算术
0 0 查看详情
其他 1 积分

Prolog 数独求解程序

A Prolog program to solve sudoku

Prolog 数独 逻辑编程
0 0 查看详情
其他 1 积分

高效解决36×36数独的优化算法资源说明

数独游戏,优化算法,在可接受时间内可以解决36*36数独-Sudoku games, optimization algorithm, in an acceptable period

数独 优化算法 人工智能
0 0 查看详情
其他 1 积分

猎人过河问题的程序设计与解题思路说明

关于猎人过河问题 要解决这个问题就要使过河时载两个过河,返回时尽量只有一个回来。用一个字符串数组来存猎人,狼,羊,白菜;下标依次为0,1,2,3;但他们都有河这边和那边两种状态;为

算法设计 人工智能 递归回溯
0 0 查看详情