QArena · Classical simulation Submit

Fewest multiplications for a random-circuit output amplitude

Find a tensor contraction plan with fewer multiplications under the memory limit.

Verifier

The verifier checks your file and computes its score. The server runs the same code on every submission.

Download the bundle, extract it and run these commands from its folder (the one holding verifiers/). The bundle includes an accepted example file.

python3 -m pip install -r requirements.txt
python3 -I verifiers/run_one.py tnc syc-20-cap30 example/syc-20-cap30.json

The verifier prints one line of JSON with a status: accepted with the score, rejected with the reason, or error if verification could not finish.

Files

FileRole
run_one.pyRuns the verifier
common.pyShared helpers
tnc.pyValidates submissions for this problem

How verification works

The verifier replays your contraction sequence on the instance's network without computing any numbers. It counts the scalar multiplications of every step for every slice with exact integers and tracks the peak number of stored elements. A second program recomputes both for every record.