atcoderとwriterの傾向からして極度な数学パズルゲーになってる可能性