計算量の理論は数学の一分野であって、
プログラマだからと言って詳しいとは限らないけれどな。