Algorithmic aspects of combinatorics