keywords Computer Science Computer Science, Theory & Methods Science & Technology Technology proof complexity string algorithms