Search arXiv⌕ Search

arXiv · 2610.32836

Compressed Boolean Matrix Multiplication using Bicliques

Abstract

Boolean matrix multiplication is a fundamental operation in many graph-based applications, including web and social network analysis, information retrieval, and graph query evaluation. However, conventional sparse representations such as CSR}/CSC still incur significant space and time costs on large graphs. In this work, we introduce a method for multiplying Boolean matrices based on a biclique-based compressed representation that decomposes them into dense bipartite subgraphs, thereby capturing large sets of implicit edges. We first improve the iterative biclique extraction algorithm of Hernández and Navarro by introducing percentile-based parameter adaptation that dynamically adjusts its parameters according to the degree distribution, enhancing both extraction efficiency and compression ratio. We then extend the Schoor multiplication algorithm to operate directly on biclique-encoded matrices, thereby enabling a compositional form of multiplication where the output can also be represented as a collection of bicliques. Our experimental results on large real-world web and social graphs show that our approach achieves substantial reductions in space and computation time with respect to CSR/CSC-based representations. For example, using biclique extraction just as a tool to speed up multiplication (but retaining the CSR/CSC format) yields up to 34-fold speedups. Further, using the biclique-based representation for input and output yields up to a 10-fold reduction in space and up to a 290-fold speedup for matrix multiplication. These results demonstrate that our representation based on bicliques is both space- and time-effective to support an algebra of Boolean matrices.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nicolás Araya, José Zagal, Cecilia Hernández, Gonzalo Navarro. 2026-10-23. Compressed Boolean Matrix Multiplication using Bicliques. https://arxiv.org/abs/2610.32836

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Exploration of Always $S$-Connected Temporal Graphs

\emph{Temporal graphs} are a generalisation of (static) graphs, defined by a sequence of \emph{snapshots}, each a static graph defined over a common set of vertices. \emph{Exploration} problems are one of the most fundamental and most heavily studied problems on temporal graphs, asking if a set of $m$ agents can visit every vertex in the graph, with each agent only allowed to traverse a single edge per snapshot. In this paper, we introduce and study \emph{always $S$-connected} temporal graphs, a generalisation of always-connected temporal graphs where, rather than forming a single connected component in each snapshot, we have at most $\vert S \vert$ components, each defined by the connection to at least one vertex in the set $S$. We use the model of always $S$-connected temporal graphs to study \emph{subgraphs} of always-connected temporal graphs, with motivation coming from networks with a small number of ``choke-points'', such as rail networks, where all external traffic into a subnetwork comes from a limited number of external connections. We use this formulation as a tool for exploring always-connected temporal graphs admitting an \emph{$(r,b)$-division}, a partitioning of the vertex set into $r$ components, each of which is $S$-connected, where $\vert S \vert \leq b$. We show that an always $S$-connected temporal graph with $m = \vert S \vert$ and an average degree of $Δ$ can be explored by $m$ agents in $O(n^{3/2} m^2 Δ^{3/2}\log^{3/2}(n) + + nm^3)$ snapshots. Using this result as a subroutine, we show that any always-connected temporal graph with treewidth at most $k$ can be explored by a single agent in $O\left(n^{4/3} k^{9/2}\log^{5/2}(n)\right)$ snapshots, improving on the current state-of-the-art for small values of $k$.

cs.DS↗

The Price of Universal Temporal Reachability

Dynamic networks are graphs in which edges are available only at specific time instants, modeling connections that change over time. The dynamic network creation game studies this setting as a strategic interaction where a set of $n$ vertices represents players. Players can add or remove time-labelled edges in order to minimize their personal cost. This cost has two components: a construction cost, calculated as the number of time instants during which a player maintains edges multiplied by a constant $α$, and a communication cost, defined as the sum of temporal distances to all other vertices in the network. Communication occurs through temporal paths, which are sequences of adjacent edges with strictly increasing time labels and no repeated vertices. For the strict temporal shortest distance, we show a constant bound for the price of anarchy for $α<2$. When $α\geq\frac{1}{8}n^2$, we show Nash equilibria with a communication cost asymptotically higher than $\frac{1}{49}n^3$. We prove that the game admits a best response cycle: there exists a sequence of individually rational strategy changes that returns to the initial strategy profile without ever reaching a Nash equilibrium. This establishes that the dynamic network creation game is not a potential game and that best response dynamics may cycle indefinitely, so convergence to a Nash equilibrium or a socially optimal outcome is not guaranteed in general.

cs.DS↗

Dynamic $(Δ+1)$-Coloring Against an Adaptive Adversary: Faster, Simpler, Worst-Case, and Bounded Recourse

We study fully dynamic $(Δ+1)$-coloring against an adaptive adversary. Behnezhad, Rajaraman, and Wasim (SODA 2025) gave the first algorithm with $\tilde O(n^{8/9})$ amortized update time, later improved to $\tilde O(n^{2/3})$ by Flin and Halldórsson (ICALP 2025). We give a fully dynamic $(Δ+1)$-coloring algorithm with $\tilde O(\sqrt n)$ \textbf{worst-case} update time. Unlike previous algorithms, it avoids sparse-dense decompositions and relies only on elementary data structures, resulting in a short self-contained algorithm and analysis. Moreover, it avoids global recoloring, resulting in a worst-case recourse of $3$.

cs.DS↗