10、商业对商业会议调度与决策树嵌入约束规划的研究

商业对商业会议调度与决策树嵌入约束规划的研究

1. B2B会议调度问题概述

在商业对商业（B2B）会议调度领域，相关研究工作相对较少。此前有公司使用的系统在某些方面与我们的不同，比如不考虑禁止时段和公平性。我们聚焦于“具有均匀性d的B2B调度优化问题”（B2BSOP - d），其目标是找到会议到时段和地点的映射，满足以下条件：
- 每个参与者在每个时段最多安排一场会议。
- 任何会议都不能安排在其参与者的禁止时段。
- 有上午或下午时段要求的会议，需安排在相应时段。
- 每对参与者的空闲时段数量差异最多为d。
- 空闲时段总数最小化。

2. B2BSOP - d的MaxSAT编码

2.1 参数与变量

每个实例由以下参数定义：
|参数|含义|
| ---- | ---- |
|nMeetings|会议数量|
|nTimeSlots|可用时段数量|
|nMorningSlots|上午时段数量|
|nTables|可用地点（桌子）数量|
|nParticipants|参与者数量|
|morningMeetings|需安排在上午时段的会议子集|
|afternoonMeetings|需安排在下午时段的会议子集|
|meetings|每个参与者涉及的会议集合|
|forbidden|每个参与者的禁止时段集合|

定义的命题变量如下：
- schedulei,j：会议i在时段j举行。
- usedSlotp,j：参与者p在时段j有会议安排。
- fromSlo