Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
适合从记录中提取 OneToMany 关系的约束编程
也许有人可以帮助我解决 Prolog 或任何约束编程语言的问题 想象一个项目表 学生与母亲一起做某事的学校项目 每个项目都有一名或多名儿童参与 对于每个孩子 我们存储其姓名及其母亲的姓名 但对于每个项目 只有一个包含所有母亲的单元和一个包含
Prolog
constraints
constraintprogramming
将 Boolean FlatZinc 转换为 CNF DIMACS
为了解决一个布尔方程组 http arxiv org abs 1108 2830 我正在尝试Constraint Programming Solver MiniZinc http www minizinc org 使用以下输入 Solve
constraintprogramming
satisfiability
minizinc
求解序言中极其简单的方程:A = B + C?
我有一个非常简单的方程 我希望能够在序言中求解 A B C 我希望能够编写一个谓词来表达这种关系 它可以处理任何一个未实例化的参数 无需推广到更复杂的关系或方程 myEquation A B C something 我可以使用以下语义进行调
Prolog
constraintprogramming
使 K 不同(基数) google OR-TOOLS
我想知道 google or tools 中是否存在 Solver AllDifferent x 的泛化 允许指定我允许的不同元素的数量 因此 如果 len x 4 则 AllDifferent x 意味着 len set x 4 但是 如
Optimization
linearprogramming
constraintprogramming
ortools
Smullyan 数值机的解决方案
在这里我建议找到 Smullyan 数值机的解决方案 此处定义 http heras gilsanz com manuel smullyan machines html 问题陈述 它们是接受数字列表作为输入 并根据输入模式遵循一些规则将其转
Prolog
constraintprogramming
Google Or-Tools员工排班。条件无法正常工作
我在用着那个护士调度的例子 https developers google com optimization scheduling employee scheduling 我有 3 名员工 2 班次 7 天 我有一个条件 如果一名员工在 1
python
Scheduling
constraintprogramming
ortools
用累积值表示设置时间
调度问题有很多系列 我正在研究一个问题 我有一系列的工作 任务 需要从一个家庭过渡到另一个家庭 需要重新配置机器 设置时间 我在用着cumulatives 2 3 解决这个问题 但我不确定设置时间如何 可以表达 在这个小例子中 我有 10
Prolog
jobscheduling
constraintprogramming
clpfd
sicstusprolog
具有重叠时隙的会议调度算法
我想做类似的事情预约调度算法 N个人 N个忙闲时段 约束满足 https stackoverflow com questions 11143439 appointment scheduling algorithm n people with
Algorithm
Graph
graphalgorithm
matching
constraintprogramming
递归:如何避免Python设置在迭代过程中更改设置 RuntimeError
背景及问题描述 我有一些代码可以解决图着色问题 广义上定义为将 颜色 分配给无向图的问题 确保由边连接的两个顶点没有相同的颜色 我正在尝试使用约束传播来实现一个解决方案 以提高标准递归回溯算法的效率 但遇到以下错误 File C Users
python
Algorithm
recursion
constraintprogramming
如何在 Ortools 中定义约束以设置不同值的限制
我试图定义一个约束来限制求解器生成的唯一值的数量 它可以生成尽可能多的重复项来解决问题 但唯一值有限制 为每个值创建一个布尔变量selected value这是正确的 当且仅当至少为它分配了一个值 为此 您将需要 2 组约束 从左到右 se
c
linearprogramming
constraintprogramming
ortools
为什么我的规则不能用简单的代数方程求解 X?
我是 Prolog 新手 所以请保持温柔 这是我的规则 solve X A B A is 7 X 2 B is 3 X 4 显然 这里的正确答案是6 5 如果我把它交给 Prolog 它会证实 solve 6 5 yes 然而 如果我要求
Prolog
constraintprogramming
来自加德纳的拼图
我试图在 Prolog 中解决以下难题 编号为 0 9 的 10 个单元格刻有一个 10 位数字 每个单元格 例如 i 表示数字 i 在该数字中出现的总数 找到这个号码 答案是6210001000 这是我在 Prolog 中写的 但我被卡住
Prolog
clpfd
constraintprogramming
Google OR 工具:如何评估复杂或多级布尔约束
Set up 我使用 google OR 工具作为约束编程求解器 from ortools sat python import cp model 我定义了以下 BoolVars model cp model CpModel a model
ortools
constraintprogramming
cpsatsolver
OptaPlanner 是否支持连续变量的优化和约束?
我正在阅读文档中矛盾的内容 一方面 这段话似乎表明连续计划变量是可能的 规划值范围是一个可能的规划值的集合 规划变量 该集合可以是离散的 例如第 1 2 3 行 或 4 或连续 例如 0 0 和 1 0 之间的任何双精度值 另一方面 在定义
预约调度算法(N个人,N个忙闲时段,约束-满足)
问题陈述 我们有一位雇主想要面试 N 个人 因此安排了 N 个面试时段 每个人都有一个空闲 忙碌的时间表 给出一个算法 如果可能的话 将 N 个人安排到 N 个位置 如果不可能 则返回一个标志 错误 等 最快的运行时复杂度是多少 到目前为止
Algorithm
Graph
constraintprogramming
多数独人工智能方法
我正在概念化一个求解器的变体sudoku called 多重数独 其中多个板重叠 如下所示 如果我正确理解游戏 那么您必须以这样的方式解决每个网格 即任何两个或多个网格之间的重叠都是每个网格解决方案的一部分 我不确定我应该如何思考这个问题
artificialintelligence
Theory
Sudoku
solver
constraintprogramming
使用 Solver Foundation 进行约束规划的缺点
使用 Microsoft Solver Foundation for CLP 有哪些缺点 Solver 确实在 Express Standard 版本中提供了一些支持 但可以想象 人们需要购买昂贵的 Gurobi Knitro 附加组件才能
constraintprogramming
mssolverfoundation
Microsoft Solver Foundation 对一个简单的 ILP 给出了错误的答案
我想使用 Microsoft Solver Foundation 解决 C 中的二元线性问题 我不知道为什么我得到了错误的答案 目标值应该是 41 1 但我得到 213 5 个变量的值应该是 1 其他变量应该是 0 但是我得到了很多错误值的
约束规划:在最短的时间内安排发言人
我正在尝试通过以下方式调整已经解决的约束规划问题哈坎 凯勒斯特兰德 hakankless 并且需要一些帮助 原来解决的问题 有6个公共演讲者和6个房间 每个发言者应分配到一个房间 没有任何房间是空的 每个发言者只能在一个房间内 解决方案在这
Algorithm
mathematicaloptimization
solver
constraintprogramming
1
2
»