12、XBOOLE-CUDA与吉布斯二元导数的高效计算

XBOOLE-CUDA与吉布斯二元导数的高效计算

1. XBOOLE-CUDA的性能评估

XBOOLE-CUDA旨在利用GPU加速布尔问题的计算。为了评估其性能，我们进行了一系列实验，对比了CPU和GPU解决布尔问题所需的时间。
- XBOOLE-CUDA操作的加速比
| 操作 | ∅ | σ | 最小值 | 最大值 |
| — | — | — | — | — |
| CPL() | 5.04× | 2.21 × | 2.11× | 8.11× |
| ISC() | 54.90 × | 7.48 × | 43.54 × | 67.32 × |
| UNI() | 34.25 × | 15.57 × | 13.83 × | 61.44 × |
| DIF() | 19.63 × | 15.03 × | 2.22 × | 43.15 × |
| SYD() | 17.61 × | 5.40 × | 11.02 × | 24.74 × |
| CSD() | 197.58 × | 287.55 × | 3.47 × | 843.54 × |
| DERK() | 29.95 × | 10.26 × | 19.90 × | 52.63 × |
| MINK() | 68.78 × | 30.31 × | 41.06 × | 136.75 × |
| MAXK() | 56.24 × | 16.80 × | 42.25 × | 95.97 × |
| DERV() | 18.84 × | 2.63 × | 16.24 × | 24.01 × |
| M