Griddings of permutations and hardness of pattern matching - Vít Jelínek; Michal Opler; Jakub Pekárek (2021)