Choosing Seminars

13 Students per Seminar

We model a Graph :

  • for every student, have a vertex
  • for each seminar, we create 13 vertices (one vertex per slot)
  • for each student, we add an edge between the student and every slot of every course he applied to (meaning vertices per student)

We are now looking for perfect matchings in our Graph .

Let be an arbitrary subset of students and the slot nodes connected with the students. Let be the number of seminars the students of aplied to.

For the prerequesite to hold we need to show that for all subsets X (Halls Theorem).

The seminars can receive a maximum of combined applications. The students sent out a combined total of applications. We can bound like

The second-last step comes from the fact that there cannot be a -person, so the largest statement we can support is .

We have shown and , so , which per Halls theorem concludes the proof.

12 Students per Seminar

Counterexample:

  • 39 Students (), 3 Seminars ()

  • applications received: ,

  • applications sent. As , this is valid

  • Available slots:

  • , thus not possible