コンピュータ・サイエンスでは、このように分割できる問題の事を「(optimal substructure)を持つ」と表現する。