アルゴリズム解析における理論的境界条件の探求