From Leaves to Clusters: Depth-Efficient SAT-Oracle Synthesis Based on the HRSE Model

Zhihang Li, Wei Zi, Shuai Yang, Bei Zhou, Zongjiang Yi, Woji He, Yingjie Lin, Kaixiang Ji, Heru Du, Jinchen Xu

arXivarxiv/2607.11401Jul 13, 2026quant-phscore 0

Quantum oracles are a common building block of many quantum algorithms, where circuit depth is a primary cost that directly affects overall performance. Synthesizing oracles for SAT (CNF) formulas under a limited ancilla budget, however, tends to yield deep circuits, as existing methods underexploit clause-level parallelism. In this work, we present the Clustered Synthesis Tree (CST), a depth-oriented framework whose core idea is to group the individual clause leaves of a hierarchical synthesis tree into clusters, exposing instance-dependent clause-level parallelism under ancilla…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2607.11401
curl -X POST /api/v1/records/arxiv/2607.11401/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.11401/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'