To install click the Add extension button. That's it.
The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.
How to transfigure the Wikipedia
Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.
Try it — you can delete it anytime.
Install in 5 seconds
Yep, but later
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
the positive and negative cofactors of with respect to , and
the boolean derivation of with respect to , where denotes the XOR operator.
Then we have for the Reed–Muller or positive Davio expansion:
Description
This equation is written in a way that it resembles a Taylor expansion of about . There is a similar decomposition corresponding to an expansion about (negative Davio expansion):
Repeated application of the Reed–Muller expansion results in an XOR polynomial in :
This representation is unique and sometimes also called Reed–Muller expansion.[1]
E.g. for the result would be
where
.
For the result would be
where
.
Geometric interpretation
This case can be given a cubical geometric interpretation (or a graph-theoretic interpretation) as follows: when moving along the edge from to , XOR up the functions of the two end-vertices of the edge in order to obtain the coefficient of . To move from to there are two shortest paths: one is a two-edge path passing through and the other one a two-edge path passing through . These two paths encompass four vertices of a square, and XORing up the functions of these four vertices yields the coefficient of . Finally, to move from to there are six shortest paths which are three-edge paths, and these six paths encompass all the vertices of the cube, therefore the coefficient of can be obtained by XORing up the functions of all eight of the vertices. (The other, unmentioned coefficients can be obtained by symmetry.)
Paths
The shortest paths all involve monotonic changes to the values of the variables, whereas non-shortest paths all involve non-monotonic changes of such variables; or, to put it another way, the shortest paths all have lengths equal to the Hamming distance between the starting and destination vertices. This means that it should be easy to generalize an algorithm for obtaining coefficients from a truth table by XORing up values of the function from appropriate rows of a truth table, even for hyperdimensional cases ( and above). Between the starting and destination rows of a truth table, some variables have their values remaining fixed: find all the rows of the truth table such that those variables likewise remain fixed at those given values, then XOR up their functions and the result should be the coefficient for the monomial corresponding to the destination row. (In such monomial, include any variable whose value is 1 (at that row) and exclude any variable whose value is 0 (at that row), instead of including the negation of the variable whose value is 0, as in the minterm style.)
Similar to binary decision diagrams (BDDs), where nodes represent Shannon expansion with respect to the according variable, we can define a
decision diagram based on the Reed–Muller expansion. These decision diagrams are called functional BDDs (FBDDs).
Derivations
The Reed–Muller expansion can be derived from the XOR-form of the Shannon decomposition, using the identity :
Derivation of the expansion for :
Derivation of the second-order boolean derivative:
^Kebschull, Udo; Schubert, Endric; Rosenstiel, Wolfgang (1992). "Multilevel logic synthesis based on functional decision diagrams". Proceedings of the 3rd European Conference on Design Automation.
Kebschull, Udo; Rosenstiel, Wolfgang (1993). "Efficient graph-based computation and manipulation of functional decision diagrams". Proceedings of the 4th European Conference on Design Automation: 278–282.
Maxfield, Clive "Max" (2006-11-29). "Reed-Muller Logic". Logic 101. EETimes. Part 3. Archived from the original on 2017-04-19. Retrieved 2017-04-19.
Perkowski, Marek A.; Grygiel, Stanislaw (1995-11-20). "6. Historical Overview of the Research on Decomposition". A Survey of Literature on Function Decomposition. Version IV. Functional Decomposition Group, Department of Electrical Engineering, Portland University, Portland, Oregon, USA. pp. 21–22. CiteSeerX10.1.1.64.1129. (188 pages)
This page was last edited on 10 November 2022, at 21:43