Computer Science – Discrete Mathematics
Scientific paper
2011-06-22
Computer Science
Discrete Mathematics
5 pages, 10 EPS figures
Scientific paper
We design logic circuits based on the notion of zero forcing on graphs; each gate of the circuits is a gadget in which zero forcing is performed. We show that such circuits can evaluate every monotone Boolean function. By using two vertices to encode each logical bit, we obtain universal computation. We also highlight a phenomenon of "back forcing" as a property of each function. Such a phenomenon occurs in a circuit when the input of gates which have been already used at a given time step is further modified by a computation actually performed at a later stage. Finally, we point out that zero forcing can be also used to implement reversible computation. The model introduced here provides a potentially new tool in the analysis of Boolean functions, with particular attention to monotonicity.
Burgarth Daniel
Giovannetti Vittorio
Hogben Leslie
Severini Simone
Young Michael
No associations
LandOfFree
Logic circuits from zero forcing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Logic circuits from zero forcing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic circuits from zero forcing will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-205673