Optimal military strength allocation for campaign between single-kind arms and multi-kind arms