結果 : write down the basic properties of an algorithm