201612-4 压缩编码

问题描述

  给定一段文字,已知单词a1, a2, …, an出现的频率分别t1, t2, …, tn。可以用01串给这些单词编码,即将每个单词与一个01串对应,使得任何一个单词的编码(对应的01串)不是另一个单词编码的前缀,这种编码称为前缀码。
  使用前缀码编码一段文字是指将这段文字中的每个单词依次对应到其编码。一段文字经过前缀编码后的长度为:
 
L=a1的编码长度×t1+a2的编码长度×t2+…+ an的编码长度×tn。

定义一个前缀编码为字典序编码,指对于1 ≤ i < n,ai的编码(对应的01串)的字典序在ai+1编码之前,即a1, a2, …, an的编码是按字典序升序排列的。
  
例如,文字E A E C D E B C C E C B D B E中, 5个单词A、B、C、D、E出现的频率分别为1, 3, 4, 2, 5,则一种可行的编码方案是A:000, B:001, C:01, D:10, E:11,对应的编码后的01串为1100011011011001010111010011000111,对应的长度L为3×1+3×3+2×4+2×2+2×5=34。
 
在这个例子中,如果使用哈夫曼(Huffman)编码,对应的编码方案是A:000, B:01, C:10, D:001, E:11,虽然最终文字编码后的总长度只有33,但是这个编码不满足字典序编码的性质,比如C的编码的字典序不在D的编码之前。
  
在这个例子中,有些人可能会想的另一个字典序编码是A:000, B:001, C:010, D:011, E:1,编码后的文字长度为35。
 
请找出一个字典序编码,使得文字经过编码后的长度L最小。在输出时,你只需要输出最小的长度L,而不需要输出具体的方案。在上面的例子中,最小的长度L为34。

输入格式
 
输入的第一行包含一个整数n,表示单词的数量。
 
第二行包含n个整数,用空格分隔,分别表示a1, a2, …, an出现的频率,即t1, t2, …, tn。请注意a1, a2, …, an具体是什么单词并不影响本题的解,所以没有输入a1, a2, …, an。

输出格式
  
输出一个整数,表示文字经过编码后的长度L的最小值。

样例输入

5

1 3 4 2 5

样例输出

34

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#include<iostream>
#include<cstring>
using namespace std;
int m[1002][1002],s[1002][1002];
int sum[1002],a[1002],n;
int main(){
cin>>n;
for(int i=1;i<=n;i++)
cin>>a[i];
sum[0]=0;
for(int i=1;i<=n;i++){
sum[i]=sum[i-1]+a[i];
m[i][i]=0;
// cout<<sum[i]<<endl;
}
memset(s,0,sizeof(s));
for(int v=2;v<=n;v++){
for(int i=1;i<=n-v+1;i++){
int j=i+v-1;
int l1=(s[i][j-1]>i)?s[i][j-1]:i;
int l2=(s[i+1][j]<j)?s[i+1][j]:j;
s[i][j]=l1;
m[i][j]=m[i][l1]+m[l1+1][j]+sum[j]-sum[i-1];
for(int k=l1+1;k<=l2;k++){
if(m[i][k]+m[k+1][j]+sum[j]-sum[i-1]<m[i][j]){
m[i][j]=m[i][k]+m[k+1][j]+sum[j]-sum[i-1];
s[i][j]=k;
}
}
}

}

cout<<m[1][n];


return 0;
}

类似 石子合并

题解
维护前缀和,枚举分割点k

dp[i][j]表示第i到第j堆石子合并的最优值,sum[i][j]表示第i到第j堆石子的总数量。

平行四边形优化

设m[i,j]表示动态规划的状态量。
m[i,j]有类似如下的状态转移方程:
m[i,j]=min{m[i,k]+m[k,j]}(i≤k≤j)

定义s(i,j)为函数m(i,j)对应的使得m(i,j)取得最大值的k值。

我们可以证明,s[i,j-1]≤s[i,j]≤s[i+1,j]
那么改变状态转移方程为:
m[i,j]=min{m[i,k]+m[k,j]}(s[i,j-1]≤k≤s[i+1,j])
记录最佳分割点point[i][j],k从point[i][j- 1]枚举到point[i + 1][j]即可