Optimality conditions and complete description of polytopes in combinatorial optimization