Формула включений-исключений

[vlad_light]

Что сейчас sota в приближении формулы включений-исключений? Т.е. мне нужно посчитать $p(\cup _{i=1}^n A_i)$ как можно быстрее, жертвуя точностью. Также, в моей задаче $p(\cap _{i \in S}A_i)$ считаются за время, не зависящее от $|S|$, а $n\sim50-200$.

[svv]

(sota)

vlad_light в сообщении #1604426 писал(а):

sota

[ozheredov]

(state of the art)

svv

Аааааа, вон оно что Михайлович! А Вам встречалась где-то такая аббревиатура - sota?

P.S. State of the art программных пакетов, считающих формулу включений-исключений - это романтично, с моей точки зрения )

[tolstopuz]

Не помогут ли тут приближенные алгоритмы для подсчета уникальных элементов типа HyperLogLog?

[vlad_light]

tolstopuz в сообщении #1604480 писал(а):

Не помогут ли тут приближенные алгоритмы для подсчета уникальных элементов типа HyperLogLog?

Самих множеств у меня нет, я могу только считать $p(\cap _{i \in S}A_i)$ для произвольного $S$.

(Оффтоп)

Я не про программные пакеты, а скорее алгоритм. Но будет полезно, если есть что-то на python.