Н>Насколько я могу судить, большинство пробок образуются из-за неправильно настроенных светофоров (аварии, разумеется, не считаем). Так?

Нет.

>Они конечно учитывают трафик, но они статичны. То есть времена переключений в них заданы железно. Так?

Нет.

>Почему бы тому же яндексу не замутить динамическую систему для минимизации пробок? Чтоб сфетофоры учитывали текущую ситуацию на дороге.

Где-то учитывают, но это не решает проблему. Улучшение есть, но совсем небольшое относительно статичного светофора.