计算机解题 any legal input characterization of all legal inputs algorithm and A characterization of desired outputs as a function desired of inputs output Algorithmic problem Algorithmic solution计算机解题