安卓手机播放器，使用OpenGL ES 2.0做显示，现在遇到问题，用高分辨率屏幕，收看低分辨率视频时，画面出现比较严重的锯齿。
调查以后发现OpenGL ES 2.0以后需要自己去实现定点像素的变成，实现抗锯齿，需要一定的算法。

求有这方面工作经验的人帮助。