Search for tag: "np-hard"

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

01:10:53

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 9 plays 0  
Date of creation
3/4/2021 12:00 AM
Thumbnail for entry Meeting 4.1: Complexity

01:17:58

Meeting 4.1: Complexity

Meeting 4.1: Complexity

Meeting 4.1: Complexity

I continue to review some of the usual suspects in complexity: P, NP, PSPACE, EXP and such. I then introduce two basic notions of reduction: polynomial-time many-one reductions (aka Karp reductions)…

unlink
np-hard
np-complete
reduction
complexity class
From  Eric Samperton 19 plays 0  
Date of creation
2/16/2021 12:00 AM