Сгенерируйте несколько отдельных выборок из кадра данных ⇐ Python

[Anonymous]

Я собираю статистику очень большого фрейма данных, который берет суммы нескольких случайных выборок. Я бы хотел, чтобы выборки были разделены (в двух разных выборках не должно быть чисел).
Минимальный пример, в котором некоторые числа могут использоваться несколько раз:
< pre class="lang-py Prettyprint-override">

Код: Выделить всё

import polars as pl
import numpy as np

df = pl.DataFrame(
{"a": np.random.random(1000)}
)

N_samples = 50
N_logs = 20
sums = [
df.sample(N_logs).select(pl.col("a").sum()).item()
for _ in range(N_samples)
]

Как избежать многократного использования одних и тех же номеров?

Подробнее здесь: https://stackoverflow.com/questions/792 ... -dataframe