imageio.mimsave 实现gif 压缩

`imageio.mimsave` 函数可以将多张图像合成为一个 GIF 动画文件。如果需要对 GIF 文件进行压缩，则可以使用 `Pillow` 库中的 `optimize()` 方法来优化 Gif 文件的大小。

以下是一个示例代码，用于将多张图像合成为一个 GIF 文件，并对 GIF 文件进行压缩：

import imageio
from PIL import Image

# 读取所有图像
images = []
for i in range(10):
    images.append(imageio.imread("image{}.png".format(i)))

# 将图像合成为 GIF 文件
imageio.mimsave("animation.gif", images, duration=0.5)

# 读取 GIF 文件并压缩
with Image.open("animation.gif") as im:
    im = im.convert('RGB')
    im.save('compressed.gif', 'gif', optimize=True, quality=85)

在上述代码中，我们首先通过 `imageio.imread` 函数读取了所有的图像，并将它们存储在一个列表中。然后，我们使用 `imageio.mimsave` 函数将这些图像合成为一个 GIF 文件，并指定了每帧的持续时间为 0.5 秒。

接下来，我们使用 `Pillow` 库中的 `Image.open` 函数读取刚刚生成的 GIF 文件，并使用 `convert` 方法将其转换为 RGB 图像。最后，我们使用 `save` 方法将压缩后的 GIF 文件保存到本地磁盘中。在 `save` 方法中，我们使用了 `optimize` 和 `quality` 参数对 GIF 文件进行了压缩。其中，`optimize` 参数用于启用 Gif 文件的压缩优化，而 `quality` 参数则指定了压缩质量。