cda-tum / mqt-limdd Goto Github PK

The LIMDD for a circuit is too large with respect to the canonical one. The non-canonical LIMDD contains edges that are not normalized. The 0-edges are not real values.

Setting the cachingStrategy to 0 sometimes solves the issue and gives (sometimes) a canonical LIMDD (Line 124 in Package.hpp). The runtime increases when doing this.
In some cases, setting the cachingStrategy to 0 increases the LIMDD size. See e.g.
circuit6025.txt which has width 4 when using optimized caching and width 16 when the cachingStrategy is set to 0.

Attached: example of a circuit (original .qasm) and corresponding canonical and non-canonical LIMDD.

circuit6250-width126-2Tgates.txt

Canonical LIMDD (cachingStrategy set to 0):

Non-canonical LIMDD:

Other examples of circuits with similar issues:
circuit1465-width24-3rotations.txt
circuit2192-width3-1rotation.txt