alpha-max-plus-beta-min