Cannot do. I'm on the phond and will probably not be able to get on the laptop for the day.

bobbym

2013-04-15 00:24:10

M code please?

anonimnystefy

2013-04-15 00:19:25

I tested for a few values and it works.

bobbym

2013-04-15 00:12:57

We could run a simulation. We could substitute numbers and at least see whether the formula works for a few examples. It can not prove the correctness of it but it sure can prove it false.

anonimnystefy

2013-04-15 00:09:39

Which kind of verification do you need?

bobbym

2013-04-15 00:08:13

Did you fix it? Now how about a verification?

anonimnystefy

2013-04-14 23:50:37

Hm, I just found an error concerning the numbers. Let me fix the formula.

bobbym

2013-04-14 23:48:22

Hmmm, have you tested this formula?

anonimnystefy

2013-04-14 23:47:09

No, I derived the formula myself using the PIE.

bobbym

2013-04-14 23:45:10

The Wikipedia article covers PIE but it does not explain the formula in post #8.

anonimnystefy

2013-04-14 23:38:41

Well, I do not know of any you could read, but there is an article on Wikipedia on it. Search for "inclusion exclusion principle".

bobbym

2013-04-14 23:37:05

Which common one would you recommend?

anonimnystefy

2013-04-14 23:32:24

It can be found in any common textbook. |AuB|=|A|+|B|-|AnB|.