Search for tag: "csat"

Thumbnail for entry Meeting 6.2: More on reversible circuits, and quantum circuits

Meeting 6.2: More on reversible circuits, and…

duration 1 hour 10 minutes

Meeting 6.2: More on reversible circuits, and…

Meeting 6.2: More on reversible circuits, and quantum circuits

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…

np-complete
np-hard
csat
reversible circuits
quantum circuits
From  Eric Samperton 10 plays 0  
Date of creation
3/4/2021 12:00 AM
Thumbnail for entry Meeting 6.1: Classical warm-ups to quantum computing

Meeting 6.1: Classical warm-ups to quantum…

duration 1 hour 7 minutes

Meeting 6.1: Classical warm-ups to quantum…

Meeting 6.1: Classical warm-ups to quantum computing

Meeting 6.1: Classical warm-ups to quantum computing

We discuss (classical) probabilistic algorithms and reversible circuits.

bpp
merlin-arthur
csat
reversible circuits
From  Eric Samperton 13 plays 0  
Date of creation
3/3/2021 12:00 AM