競技プログラマでも $O$-notation についてもうちょっとちゃんと考えたかった話

はじめに アルゴリズムの計算量を表現するツールとして,$O$-notation というのは競技プログラミングの文脈でもよく出てきます.その一方で,$O$-notation の導入が「ふわっ」と行われるケースはかなり多く,厳密に定義して導入する場面というのが実は少ないようにも見受けられます.それはそれで敷居が低くなってよいので…