Lisbon Wedding

結婚式（披露宴）の席順で、悩むのは、日本だけかと思っていたら、海外でも普遍的な悩み事のようです。（ナーススケジューリング問題と同様NP困難な問題）　Finding an optimal seating chart という問題らしいです。　MIPソルバーによる解法が一般的だと思うのですが、MaxSATによる解法もあるというこで、MSE2017　Solver　DescriptionのPage25をご覧ください。ちなみにPage12は、私の今年参加ソルバーMaxRosterが載っています。