I need to find a set of hierarchical symbols that can represent input binary data in near optimal space. What algorithms can I look into?