Alright, here's a quick and dirty example of what I'm talking about.
Bill Clinton is giving a lecture series throughout the country. It just so happens to coincide with some of the Top 10 party schools (OU, Georgia, Iowa, UCSB, PSU, FSU, UF, WVU, Ole Miss). His travel adviser has broken these schools up into the following groups: SOUTH (Ole Miss, UF, FSU), EAST COAST (PSU, WVU, Georgia), MIDWEST (OU, IOWA), WEST COAST (UCSB) (yes, I realize that these make about as much sense as the NFL division splits - just bear with me). Bill Clinton gets final say on his travel arrangements. He's picking 5 of the 9 to travel to, based on the following conditions:
1) He must visit at least two Southern school (because he knows about those southern girls)
2) He visits exactly one more East Coast school than West Coast school
3) etc...
We're going to set up an IN group to put all the schools that he's visiting, and an OUT group to put all the schools that he's not visiting. However, we don't know any specifics, just info about the subgroups so far.
I know that he's visiting, at the very least, 2 schools from our SOUTH subgroup and 1 school from our EAST COAST subgroup (because we need more than the WEST COAST; this also means that he can't visit more than 2 of those EAST COAST schools, since there's only lonely UCSB on the west coast, so at least one of those schools is OUT).
IN:__ __ __ __ __
OUT: __ __ __ __
That's the basic setup. Now, I'm going to label some of those slots with subgroup labels so I don't forget to 'reserve' them for the rules that I know:
Code: Select all
IN: __ __ __ __ __
(S) (S) (EC)
OUT: __ __ __ __
(EC)
From here, there are other deductions to be made. However, this should give you a basic method for attacking these problems.