DRCC-V3.0: Reconstruction-Width Engineering for Task-Relative State Compression

Reza Hesamiy

PAPER · v1.0 · 2026-09-05 · human

Formal Sciences Computer Science Computational theory and complexity

Abstract

Full-Adder Circuit Verification, LTspice-Validated Speed Optimization, Symmetry Breaking, and Structural Compression. This record evaluates DRCC (Dimensional Reduction via Controlled Combinatorics) through three principal experimental settings, full-adder circuit verification, SAT symmetry breaking, and structural compression, along with 35 additional tests. The full-adder evaluation includes a measured transistor-level Speed Optimizer for a 1-bit full adder and its corresponding circuit-verification results. The results are conditional, not universal: DRCC is advantageous when useful reductions can be discovered at low computational cost, while no advantage is expected when a fair classical baseline already exploits the same structural information.

Keywords

DRCC task-relative reconstruction reconstruction width circuit verification symmetry breaking SAT structural compression SPICE PACE 2017

Download PDF