展开 霍夫曼定理的定义