Нередко возникает эта задачка. Но, прежде всего, для Windows и Linux существует
GIMP; соответственно - в "Фильтрах" находим "Анимацию" и выбираем там "Оптимизировать". Если старина Джимп не спасает - а бывает, что и не спасает... вы можете попробовать прибегнуть к двум виндовым утилитам -
GIF Resizer и
GIF Optimizer.
Обе утилиты бесплатны, в рунете лежат на каждом шагу... Google в помощь. Скажу лишь, что если
Resizer уменьшает "вес" файла, уменьшая его размеры:
То
Optimizer способен работать сугубо с разрешением:
Клик по картинке, чтобы увеличить; порядок действий таков. Если предложенный сразу после открытия файла в GIF Resizer новый размер не устраивает - придется подработать немного руками. Кликните по
ColorReduction и поиграйте с
Palette и
Dithering. Удачи!