Combinatorics is one of the oldest and largest branches of mathematics, which mainly studies discrete structures. Its common branches include counting combinatorics, algebraic combinatorics, analytical combinatorics, probability combinatorics, topological combinatorics, discrete geometry, graph theory, logistics, games, logic, machine proof, combinatorial design, combinatorial optimization and so on.