The false-positive check is trivially just comparing the given key to the key at the resulting index. Trivial.
The only size problem is with non-ordered MPHF's where you need to reference the index through an index order table also.
The SAT approach is cute, but doesn't scale. It might have better runtime costs as you can spare one additional table lookup. Efficient MPHF's are miles better at construction time.
The only size problem is with non-ordered MPHF's where you need to reference the index through an index order table also.
The SAT approach is cute, but doesn't scale. It might have better runtime costs as you can spare one additional table lookup. Efficient MPHF's are miles better at construction time.