"The core of most of the fundamental questions in theoretical computer science is combinatorial, as the notion of computation is based on manipulations with finite structures. The investigation of the limits of computation leads to basic combinatorial questions, and much of the design and analysis of efficient algorithms is also combinatorial in nature"