如何检查列表中元素之间的约束/这是约束编程吗?

• 如果有一个元素foo=A,[B,C,D]中就不能有foo的元素
• 如果有一个元素foo=X,那么必须至少有一个元素foo在[Y,Z]
• 最小和最大元素之间可以有foo=BAR

中堂进近应为:

R_CONFLICT={ A: [B,C,D] }
R_DEPENDS ={ X: [ [Y,Z], W, .. } # means: A depends on either Y or Z, and W
R_MIN     ={BAR: n, BAZ: m}
R_MAX     ={BAR: o, BAZ: p}
# now just loop over lists to check them..

这是一个问题吗 Constraint programming ? 我其实不需要 解决

值得一提的是,我正在用Python编写代码,但我欢迎一个通用的编程答案:)如果结果证明我必须深入研究约束编程,我可能会从尝试开始 python-constraint .