构造算法是什么
It's an algorithm which builds something. A graph, an array, a matrix etc. It's what test generators use to build test cases.
就是数学中的proof,
constrcutive proof:具体地给出某一对象或者能给出某一对象的计算方法
Non-constructive proof :证明的过程中,不举例而只证明语句是否正确。通常使用反正法
Example:
CF1157D N Problems During K Days
Polycarp has to solve exactly n problems to improve his programming skill before an important programming competition. But this competition will be held very soon, most precisely, it will start in k days. It means that Polycarp has exactly k days for trainin