always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

examples: Fix wedding chart in python

Browse Source
This commit is contained in:
Mizux Seiha
2020-07-16 09:40:58 +02:00
parent fe219278f4
commit 2e3c03d6e4
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
examples/python/wedding_optimal_chart_sat.py
View File

@@ -185,12 +185,17 @@ def solve_with_discrete_model():
for t in all_tables) == colocated[(g1, g2)])
# Min known neighbors rule.
for t in all_tables:
for g in all_guests:
model.Add(
sum(same_table[(g1, g2, t)]
for g1 in range(num_guests - 1)
for g2 in range(g1 + 1, num_guests) for t in all_tables
if C[g1][g2] > 0) >= min_known_neighbors)
sum(same_table[(g, g2, t)]
for g2 in range(g + 1, num_guests)
for t in all_tables
if C[g][g2] > 0) +
sum(same_table[(g1, g, t)]
for g1 in range(g)
for t in all_tables
if C[g1][g] > 0)
>= min_known_neighbors)
# Symmetry breaking. First guest seats on the first table.
model.Add(seats[(0, 0)] == 1)