Farkas type results are available for solutions to linear systems. These can also include restrictions such as nonnegative solutions or integer solutions. They show that the unsolvability can be reduced to a single constraint that is not solvable and this condition is implied by the original...

Outcome prediction based on historical data has been of practical and theoretical interest in many disciplines. A common type of outcome prediction is binary or discrete outcome prediction, as found in medical diagnosis and firm bankruptcy prediction. The prediction problem studied in this paper...