tiandimeiyong

理论上一般的视频格式转换工具都可以做到这一点，转换的时候可以调整分辨率，压缩比等等。
不过就如ls所说，不知道压缩后或变成什么样子了。