[论文解读] A Representation of Binary Matrices

Hristina Kostadinova, Krasimir Yordzhev|arXiv (Cornell University)|Jan 6, 2012

Matrix Theory and Algorithms参考文献 4被引用 4

一句话总结

本文提出了一种基于C++的二值矩阵面向对象表示方法，使用整数的有序n元组，结合位运算以优化内存使用和计算效率。通过将每一行存储为单个整数并应用位运算（AND、OR、NOT、XOR），该方法将内存使用从O(n²)减少到O(n)，并将矩阵乘法等操作的计算时间从O(n³)加速至O(n²)，显著优于传统的二维数组实现方式。

ABSTRACT

In this article we discuss the presentation of a random binary matrix using sequence of whole nonnegative numbers. We examine some advantages and disadvantages of this presentation as an alternative of the standard presentation using two-dimensional array. It is shown that the presentation of binary matrices using ordered n-tuples of natural numbers makes the algorithms faster and saves a lot of memory. In this work we use object-oriented programming using the syntax and the semantic of C++ programming language.

研究动机与目标

• 开发一种比标准二维数组表示更节省内存且运行更快的二值矩阵表示方法。
• 展示在面向对象C++编程中，使用整数有序n元组结合位运算的优势。
• 对比n元组表示与传统二维数组方法在性能和内存使用方面的差异。
• 为计算机代数课程提供一种高效位运算算法设计的实用示例。

提出的方法

• 将n×n二值矩阵的每一行表示为范围[0, 2ⁿ−1]内的单个无符号整数，利用二进制数表示法。
• 使用C++位运算符（&、|、~、^）高效实现矩阵运算（AND、OR、NOT、转置、逻辑乘积）。
• 在C++中运用面向对象编程原则，将矩阵数据和操作封装在类（Bn_tuple）中，确保类型安全与模块化。
• 通过计算转置行之间的按位逻辑AND，优化矩阵乘法操作，减少操作次数。
• 使用位运算和算术运算定义比较和赋值运算符，以支持标准C++语义。
• 以标准C++操作集（Op）的操作数量衡量算法时间复杂度，假设每项操作耗时恒定。

实验结果

研究问题

• RQ1 使用位运算将二值矩阵表示为整数n元组，是否能相比二维数组显著降低内存消耗？
• RQ2 基于位运算的二值矩阵运算（AND、OR、NOT、转置、乘法）是否比传统的数组算法执行得更快？
• RQ3 使用n元组表示法时，矩阵运算的渐近时间复杂度与二维数组表示法相比如何？
• RQ4 Bn_tuple类与Bn_array类在初始化开销和内存占用方面有何比较？
• RQ5 在涉及二值矩阵的计算机代数应用中，位运算能在多大程度上提升性能？

主要发现

• Bn_tuple表示法将内存使用从O(n²)减少到O(n)个整数，显著降低内存占用。
• AND、OR等按位运算及赋值操作现仅需O(n)次操作，而非O(n²)次，显著提升运行速度。
• Bn_tuple中的矩阵转置和取反操作需O(n²)次操作，与数组版本复杂度一致，但具有更好的内存局部性。
• Bn_tuple中的矩阵乘法被优化为O(n²)次操作，相比基于数组方法的O(n³)次操作，性能提升显著。
• Bn_tuple对象的初始化仅需O(n)次操作，而Bn_array需O(n²)次，进一步提升效率。
• 理论分析证实，基于Bn_tuple的算法在渐近意义上比Bn_array实现更快速且更节省内存。