greedy algorithm式: type; style演算: perform mathematical calcula ...法: law启发式演算法: heuristic相继式演算: sequent calculus下载手机词典可随时随地查词查翻译