作业11——贪婪算法之最优前缀码

1，问题

代码（码字）：Q{001，00，010，01}表示字符a，b，c，d
同一序列：0100001
产生两种译码（歧义）：01 00 001；010 00 01

二元前缀码：任何字符的代码不能作为其它字符代码的前缀
利用二元前缀码译码：从第一个字符开始依次读入每个字符（0 || 1），如果发现读到的子串与某个码字相等，就将这个子串译作相应的码字；然后从下一个字符开始继续这个过程，直到读完输入的的字符串为止。
二元前缀编码存储：二叉树结构，每个字符作为树叶，对应这个祖父的前缀码看作根到这片叶子的一条路径，每个结点通过左儿子的边记作0，右儿子记作1.

字符集合 C={X1,X2,…,Xn}
F(Xi)表示Xi的频率
D(Xi)表示Xi的码长

2，解析

哈夫曼算法

3，设计

class node //节点
{
public:
node* left, * right; //左右儿子
int val, ID; //频率和对应字符
string code; //编码
node(int val, int ID) //构造函数1
{
this->ID = ID;
this->val = val;
this->left = this->right = nullptr;
this->code = “”;
}
node(int val, node* L, node* R) //构造函数2
{
this->val = val;
this->left = L;
this->right = R;
code = “”;
}
bool morethan(const node* p) const //定义大于规则
{
return this->val > p->val;
}
};
class nodeCompare //优先队列的指针排序规则
{
public:
nodeCompare() {}
bool operator () (const node* p1, const node* p2) const
{
return p1->morethan(p2);
}
};
priority_queue<node*,vector<node*>,nodeCompare>que;//优先队列
void TravelTree(node* root)
{
if (root)
{
if (root->left)root->left->code = root->code + “1”;//左叶子节点的编码修改
if (root->right)root->right->code = root->code + “0”;//右叶子节点的编码修改
if (!root->left && !root->right)printf("%d %s\n", root->ID, root->code.c_str());//叶子节点输出编码
TravelTree(root->left);
TravelTree(root->right);
}
}
node* createHuffmanTree(int fqy[], int n)//创建哈夫曼树
{
for (int i = 1; i <= n; i++)
{
node* tmp = new node(fqy[i - 1], i);
que.push(tmp);
}
while (que.size() != 1) //贪心构造哈夫曼森林，最后形成哈夫曼树
{
node* L = que.top();
que.pop();
node* R = que.top();
que.pop();
node* newNode = new node(L->val + R->val, L, R);
que.push(newNode);
}
TravelTree(que.top());
return nullptr;
}

4，分析

构建最小堆O（nlogn），遍历整个频率序列O（n），插入最小堆O（logn），删除堆顶元素O（logn），构造哈夫曼编码O（n），所以总的时间复杂度为O（nlogn）

哈夫曼算法的正确性证明，实质上也就是证明一棵最优树，最小的两个缩成一个，同时删除最小的两个，得到的新树还是最优树
证明：采用反证法
首先假定 T 是一颗最优树，T这棵树的权值记为W（T）。最小权值的两个A，B一定在最下层，对应的路径权值分别是 Wa, Wb。
倘若删除A和B，A和B的父节C成为一个叶子节点。此时新树为 T1，W(T) = W（T1）+Wa + Wb
倘若T1不是最优树，则必定有最优树 T11。因为T11是最优树，所以必定有W（T11）<= W(T1) ,
此时若把T11中的C展开成A和B,形成新树