analiza aiqbench

This research establishes a complete set of rewriting rules for ZX-diagrams with general flow properties, enabling fully graphical reasoning and automated extraction of efficient quantum circuits. By converting complex diagrams into simplified causal forms while preserving information flow, the work addresses a P-hard computational challenge central to optimizing quantum algorithms. This advancement provides researchers with robust tools for analyzing and designing quantum processes without relying on non-graphical methods.