>Я сам этого ни фига не понял - ведь почтовые программы могут
>использовать сразу несколько POP-серверов. Меня гораздо больше интересует динамическая раздача координат
>(IP-номера и порта) HTTP-Proxy сервера.

С этим всё проще..

В dhcpd.conf:

option wpad-curl code 252 = text;
option wpad-curl "http://wpad.domain.name/wpad.dat";

В wpad.dat:
  function FindProxyForURL(url, host)
    {
        if (isPlainHostName(host) || dnsDomainIs(host, ".domain.name"))
            return "DIRECT";
        else if (shExpMatch(host, "*.ru"))
            return "PROXY proxy:8080;DIRECT "
        else
            return "PROXY proxy2;DIRECT "
    }

1) для зона .ру - свой прокси(proxy), если не работает - идем директом.
2) для всего остального второй прокси (proxy2), тоже если не пашет - идем директом.
3) на свой домен идем на прямую всегда.

где почитать:
http://wp.netscape.com/eng/mozilla/2.0/relnotes/demo/proxy-l...
http://susefaq.sourceforge.net/faq/dhcp.html
http://sysoev.ru/web/wpad.html
пример ява скрипта - http://www.etr.ru/proxy.pac