I Finding the Number of Sets in Two Groups: A Simplified Problem

  • I
  • Thread starter Thread starter ssd
  • Start date Start date
  • Tags Tags
    Counting Sets
ssd
Messages
268
Reaction score
6
Came to know about the following problem from a friend which can be simplified to the following:
A1, A2, ...Am and B1, B2,...Bn are two groups of sets each group spanning the sample space.
Now there are p elements in each of Ai and each element is in exactly p1 of the sets of the A group.
Again there are q elements in each of Bi and each element is in exactly q1 of the sets of the B group.
We have to write, 'n' in terms of m,p,p1,q,q1. Thanks for any ideas.
 
Physics news on Phys.org
Denote the sample space by ##S##. Let us take the set ##\Omega = \{(x,k)~\vert~x\in A_k\}##. Let's count the elements in ##\Omega## in two ways. In the first way, we first choose an element ##x\in S##, this can be done in ##|S|## ways. Then I choose ##k## such that ##x\in A_k##. This can be done in ##p_1## ways. Furthermore every choice I make yields different elements of ##\Omega##. So ##|\Omega| = |S| p_1##.
I can also choose ##k## first, this can be done in ##m## ways. Then I can choose ##x## such that ##x\in A_k##, this can be done in ##p## ways. Every choice I made yields different elements of ##\Omega##. Thus ##|\Omega| = pm##. So we get ##|S| p_1 = pm##. I leave the rest of the solution to you.
 
Thanks a lot.
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.

Similar threads

Back
Top