Mathematical analysis on forwarding information base compression