added efficiency, karp-flatt, big-grep results, and grep discussion