Landau's inequalities for tournament scores and a short proof of a theorem on transitive sub-tournaments.

Richard A. Brualdi Jian Shen

Published in: J. Graph Theory (2001)

Keyphrases

interactive theorem proving
monte carlo
sufficient conditions
data sets
linear inequalities
linear logic
database
search algorithm
ranked list
integer programming
theorem proving
transitive closure
scoring methods
score distributions