2 ms·
They could make it a chip to efficiently solve Cuckatoo32 [1], using 1GB of SRAM (or 0.5GB SRAM and 0.5GB off-chip DRAM) to find cycles in bipartite random grap
by tromp 6y ago
They could make it a chip to efficiently solve Cuckatoo32 [1], using 1GB of SRAM (or 0.5GB SRAM and 0.5GB off-chip DRAM) to find cycles in bipartite random graphs with 2^32 edges.
[1] https://github.com/tromp/cuckoo https://github.com/tromp/cuckoo