Abstract:Consider the following stochastic matching problem. Given a graph $G=(V, E)$, an unknown subgraph $G_p = (V, E_p)$ is realized where $E_p$ includes every edge of $E$ independently with some probability $p \in (0, 1]$. The goal is to query a sparse subgraph $H$ of $G$, such that the realized edges in $H$ include an approximate maximum matching of $G_p$. This problem has been studied extensively over the last decade due to its numerous applications in kidney exchange, online dating, and online labor markets. For any fixed $\epsilon > 0$, [BDH STOC'20] showed that any graph $G$ has a subgraph $H$ with $\text{quasipoly}(1/p) = (1/p)^{\text{poly}(\log(1/p))}$ maximum degree, achieving a $(1-\epsilon)$-approximation. A major open question is the best approximation achievable with $\text{poly}(1/p)$-degree subgraphs. A long line of work has progressively improved the approximation in the $\text{poly}(1/p)$-degree regime from .5 [BDH+ EC'15] to .501 [AKL EC'17], .656 [BHFR SODA'19], .666 [AB SOSA'19], .731 [BBD SODA'22] (bipartite graphs), and most recently to .68 [DS '24]. In this work, we show that a $\text{poly}(1/p)$-degree subgraph can obtain a $(1-\epsilon)$-approximation for any desirably small fixed $\epsilon > 0$, achieving the best of both worlds. Beyond its quantitative improvement, a key conceptual contribution of our work is to connect local computation algorithms (LCAs) to the stochastic matching problem for the first time. While prior work on LCAs mainly focuses on their out-queries (the number of vertices probed to produce the output of a given vertex), our analysis also bounds the in-queries (the number of vertices that probe a given vertex). We prove that the outputs of LCAs with bounded in- and out-queries (in-n-out LCAs for short) have limited correlation, a property that our analysis crucially relies on and might find applications beyond stochastic matchings.

SubIslands: the probabilistic match assignment algorithm for subcircuit recognition

Efficient Subgraph Matching Framework for Fast Subcircuit Identification

Detecting Small Query Graphs in A Large Graph via Neural Subgraph Search

Algorithm based on compressed improved maze-algorithm for isomorphic subcircuit recognition

A Method for Matching Information of Substation Secondary Screen Cabinet Terminal Block Based on Artificial Intelligence

Automatic Discovery of Visual Circuits

ISBA: an Independent Set-Based Algorithm for Automated Partial Reconfiguration Module Generation

Shared Variable Extraction and Hardware Implementation for Nonlinear Boolean Functions Based on Swarm Intelligence

Accelerating stochastic‐based reliability estimation for combinational circuits at RTL using GPU parallel computing

TSCSP: Tabu Search Algorithm for VLSI Module Placement Based on the Clustering Sequence-Pair

Stochastic Matching via In-n-Out Local Computation Algorithms

Vlsi Module Placement Based on Probability Search Space Smoothing

Testing Probabilistic Circuits

Soft Learning Probabilistic Circuits

Between Subgraph Isomorphism and Maximum Common Subgraph

Heuristic Recurrent Algorithms for Photonic Ising Machines

Algorithms by Layer-Decomposition for the Subgraph Recognition Problem with Attributes

Self-similar Magneto-electric Nanocircuit Technology for Probabilistic Inference Engines

Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization

Design of a Stochastic Computing Architecture for the Phansalkar Algorithm

A Novel Algorithm for Circuit Partitioning at Transistor Level