Search for tag: "csat"

Meeting 6.2: More on reversible circuits, and quantum circuits

I follow up more thoroughly on RSAT, an NP-complete satisfiability problem for Boolean reversible circuits. It actually has several variants, of which we discuss 2. (See my Section 2.2 of one of my…

From  Eric Samperton 12 plays 0  

Meeting 6.1: Classical warm-ups to quantum computing

We discuss (classical) probabilistic algorithms and reversible circuits.

+3 More
From  Eric Samperton 16 plays 0