如何识别并打印OptaPy中被违反的约束条件？

我正在使用OptaPy开展调度优化项目，已定义房间冲突、教师冲突、学生组冲突等硬约束与软约束。项目求解成功，但需要了解求解后具体哪些约束被违反。

约束定义示例 #

from optapy import constraint_provider
from optapy.constraint import Joiners, ConstraintFactory
from optapy.score import HardSoftScore

@constraint_provider
def define_constraints(constraint_factory: ConstraintFactory):
    return [
        room_conflict(constraint_factory),
        teacher_conflict(constraint_factory),
        student_group_conflict(constraint_factory),
        # other constraints...
    ]

def room_conflict(constraint_factory: ConstraintFactory):
    return constraint_factory.for_each(Lesson) \
        .join(Lesson,
              Joiners.equal(lambda lesson: lesson.timeslot),
              Joiners.equal(lambda lesson: lesson.allotted_room),
              Joiners.less_than(lambda lesson: lesson.id)) \
        .penalize("Room conflict", HardSoftScore.ONE_HARD)

遇到的问题 #

尝试使用solution.getScore().explain()获取约束违规信息时，触发错误：

AttributeError: 'proxy.TimeTable' object has no attribute 'getScore'

解决方法 #

1. 确保Solution类包含评分字段与装饰器 #

OptaPy的@planning_solution类必须显式定义评分属性，并通过@planning_score装饰器标记对应的getter方法，这样求解器才能将计算后的评分注入到Solution对象中。以你的TimeTable类为例：

from optapy import planning_solution, planning_entity_collection_property, planning_score
from optapy.score import HardSoftScore

@planning_solution
class TimeTable:
    def __init__(self, timeslot_list, room_list, lesson_list, score=None):
        self.timeslot_list = timeslot_list
        self.room_list = room_list
        self.lesson_list = lesson_list
        self.score = score

    @planning_entity_collection_property(Lesson)
    def get_lesson_list(self):
        return self.lesson_list

    # 其他必要的属性与方法（比如时间段、房间的value_range_provider）...

    @planning_score(HardSoftScore)
    def get_score(self):
        return self.score

    def set_score(self, score):
        self.score = score

2. 获取并解释约束违规详情 #

求解完成后，从Solver获取最优解，调用评分对象的explain()方法即可输出详细的约束违规信息，包括每个约束的名称、违规次数、涉及的实体实例等：

from optapy import solver_factory_create

# 初始化Solver配置
solver_config = ... # 你的Solver配置（比如从XML加载或代码定义）
solver = solver_factory_create(solver_config).build_solver()

# 执行求解
best_solution = solver.solve(initial_time_table)

# 获取并打印约束违规详情
score_explanation = best_solution.get_score().explain()
print(score_explanation)

3. 手动检查约束违规（可选） #

如果需要定制化的输出格式，可以遍历Solution中的实体，手动实现约束检查逻辑。比如检查房间冲突：

def check_room_conflicts(time_table):
    lessons_map = {}
    conflicts = []
    for lesson in time_table.lesson_list:
        key = (lesson.timeslot, lesson.allotted_room)
        if key in lessons_map:
            conflicts.append((lessons_map[key], lesson))
        else:
            lessons_map[key] = lesson
    return conflicts

# 检查并打印房间冲突
room_conflicts = check_room_conflicts(best_solution)
if room_conflicts:
    print("=== 房间冲突详情 ===")
    for lesson_a, lesson_b in room_conflicts:
        print(f"时间段{lesson_a.timeslot.id}，房间{lesson_a.allotted_room.id}：课程{lesson_a.id}与课程{lesson_b.id}冲突")

内容的提问来源于stack exchange，提问作者Muhammed Rinshid