是的，哈夫曼树一定是二叉树。 哈夫曼树是一种带权路径长度最小的树，它是通过构建二叉树得到的。 在哈夫曼树中，每个节点代表一个字符或者权值，而非叶子节点必须有两个子节点。 通过优先队列和贪心算法构建哈夫曼树时，每次选择两个权值最小的节点合并，直到只剩下一个根节点，这个根节点就是哈夫曼树的根。 因此，哈夫曼树一定是二叉树。