Author: Unknown
Subject: Stopping pruning
Date: Monday, 09 Nov 2020, 15:45:31

Should we ever stop pruning? My intuition is that if every code in the table (except the last) is a prefix of some other code, pruning is inefficient, and so after that we should just stop adding codes to the table.