DC: a highly efficient and flexible exact pattern-matching algorithm