哈希 np.array -> int 的确定性方法

Sam*_*fer 3 python hash numpy pyarrow

我正在创建一个将大型 numpy 数组存储在pyarrow.plasma. 我想给每个数组一个唯一的、确定性的 plasma.ObjectIDnp.array遗憾的是不可散列我当前的(损坏的)方法是:

import numpy as np
from pyarrow import plasma
def int_to_bytes(x: int) -> bytes:
    return x.to_bytes(
        (x.bit_length() + 7) // 8, "big"
    )  # /sf/ask/1471238891/
def get_object_id(arr):
    arr_id = int(arr.sum() / (arr.shape[0]))
    oid: bytes = int_to_bytes(arr_id).zfill(20)  # fill from left with zeroes, must be of length 20
    return plasma.ObjectID(oid)
Run Code Online (Sandbox Code Playgroud)

但这很容易失败,例如:

arr = np.arange(12)
a1 = arr.reshape(3, 4)
a2 = arr.reshape(3,2,2)
assert get_object_id(a1) != get_object_id(a2), 'Hash collision'
# another good test case
assert get_object_id(np.ones(12)) != get_object_id(np.ones(12).reshape(4,3))
assert get_object_id(np.ones(12)) != get_object_id(np.zeros(12))
Run Code Online (Sandbox Code Playgroud)

它还涉及对数组求和,这对于大型数组来说可能非常慢。请随意假设的dtype将为arrnp.uintnp.int

我知道认为不可能永远不会发生哈希冲突(我只有 20 个字节的 ID,并且有超过 2^20)可能的输入,所以我只是在寻找 a)计算更便宜 b)更少的东西实践中可能会失败

或者,理想情况下,两者都可以!

Pac*_*ace 5

hashlib 模块有一些用于从字节字符串计算哈希值的例程(通常用于 CRC)。您可以将 ndarray 转换为字节字符串,ndarray.tobytes但是您的示例仍然会失败,因为这些数组具有相同的字节但形状不同。所以你也可以只散列形状。

def hasharr(arr):
  hash = hashlib.blake2b(arr.tobytes(), digest_size=20)
  for dim in arr.shape:
    hash.update(dim.to_bytes(4, byteorder='big'))
  return hash.digest()
Run Code Online (Sandbox Code Playgroud)

示例:

>>> hasharr(a1)
b'\x9f\xd7<\x16\xb6u\xfdM\x14\xc2\xe49.\xf0P\xaa[\xe9\x0bZ'
>>> hasharr(a2)
b"Z\x18+'`\x83\xd6\xc8\x04\xd4%\xdc\x16V)\xb3\x97\x95\xf7v"
Run Code Online (Sandbox Code Playgroud)

我不是 blake2b 方面的专家,因此您必须自己进行研究才能确定发生碰撞的可能性。

我不知道你为什么标记,pyarrow但如果你想在 pyarrow 数组上做同样的事情而不转换为 numpy 那么你可以获取数组的缓冲区并将arr.buffers()这些缓冲区(将有多个,有些可能是None)转换为字节字符串与buf.to_pybytes(). 只需散列所有缓冲区即可。这里无需担心形状,因为 pyarrow 数组始终是一维的。