discrete mathematics applications and theory 297953