> Ничего не знаю о внутренностях провайдерских NAT'ов. Могут ли они отобразить на
> один внешний адрес:порт несколько внутренних? В такой ситуации неразрешимая коллизия должна
> быть, если пользователи будут одновременно подключаться к одному адресу:порту в интернете
> по одному протоколу (TCP/UDP). А в остальных её, кажется, можно разрешать
> - тогда костылей хватит без экономии портов.

Ну вот смотри на одно из нескольких моих соединений с Опеннетом:

TCP    192.168.1.102:49877      217.65.3.21:443        ESTABLISHED

Я подключился к 443 порту Максима со своего 49877 порта. Но Максим не видит ни этот порт ни мой приватный 192.168.1.102 адрес. Он видит мой публичный IPv4 адрес и совершенно другой порт. То есть NAT транслирует 192.168.1.102:49877 в нечто другое, доступное для внешнего мира, отсюда и его название. Номеров портов 2^16 штук и часть из них вообще зарезервированы. Одно дело, когда своим одним публичным адресом пользуюсь лишь один я с небольшим количеством устройств и совсем другое дело, когда таких как я - 100500 клиентов провайдера. Просто запусти у себя netstat -n посчитай количество соединений и представь, что на одном NATе провайдера сидит весь твой город или регион с 4 - 5 устройств на клиента.

NAT - это не просто костыль, это злобное зло.