Algorithms And Complexity Module Definition