Circuits and Cost Functions

In this chapter, we consider the notion of a circuit and the notion of a cost function for this circuit. The circuit builds a set of elements for the optimization (a set of feasible solutions) from one-element sets attached to input nodes using the operation of union of sets attached to unifying nodes and functional operations attached to functional nodes. The cost function corresponds a real number (a cost) to each element. Our goal is to minimize the cost.