compressed_subword_problem (211B)
1 # Compressed subword problem 2 3 Given two [straight_line_programs], decide if the first generates a [subword] of the second. 4 5 [lohrey2012algorithmics]: this is [pp_hard] and in [pspace] 6 7 Up: [ganardi2024directed]