Proofs of Existence and Optimality · Proofs of Nonexistence

Lesson 7

Nikolai Chukhin · Alexander S. Kulikov

Problem. Is this a correct proof?

There cannot be more than eight queens because in each of the eight columns there cannot be more than one queen.

This problem can only be submitted at Cogniterra.
  1. Yes, it is correct.

  2. No, it is incorrect.