If you plan on using windows only for games and absolutely nothing else then there isn’t much of a point in making a shared partition between the two OS’es. Just keep them separate, to each partition its own. (So your first example win 100gb, Linux 400gb is what I personally would go with)