ImageOptim只是个GUI，他实际上调用了很多命令行程序来实现压缩。
每个软件的作用都不太一样，就不具体说了。
下面来谈谈PNG无损压缩吧。
核心原理很简单，通俗的解释一下，就是由于PNG格式的灵活性，他可以有很多种方式表示同一张图片，不同方式有时就会导致文件大小不一样，而到底哪种方式是最好的，除了拿图片来试并没有太好的选择方法，所以一般的软件为了速度，并不会过多的纠结到底要用什么方式，这样必然不是最优的，优化空间就这么产生了。
还有一点是PNG采用的是deflate算法，也非常的灵活，他的压缩率和encoder的实现有关，不同的encoder使用的时间，压缩出来的大小都不一样，即使使用同一encoder，选择的参数不同，也会导致压缩出来的大小不同。一般来讲压缩率排行如下zopfli > kzip > libdeflate > 7zip deflate > zlib 。还有一种程序，DeflOpt和defluff，他们本身并不是encoder，但是他专门负责在不重新压缩的情况下（也就是说他的速度非常快），优化别的encoder压缩的结果，一般都是针对Huffman Tree的一些操作，最终都能抠出几个字节。
当然除了上面这两点是真正的无损压缩以外，还有减小PNG文件大小的方式就是去除一些对图片本身没有任何影响的metadata，比如iTXt、tEXt和zTXt区段可以存任意文本，一般都是生成这个PNG的软件的信息，iCCP区段存的ICC profile，gAMA存的gamma值等等。
下面具体讲一下PNG格式到底有多灵活，有哪些优化空间。
由此可见，给出一个PNG文件，把他压缩成最小，应该是个NP-hard的问题，即使拿一个很小的图片，把以上提到的所有情况都试一遍，也无法证明得到的文件就是最小的，因为deflate的encoder实现也许并不是最优的，比如在2013年Google的zopfli出来之前，没有人知道deflate这个古老的压缩算法还有如此大的优化空间。
