Two-Way Partitioning(Fiduccia & Mattheyses)
Net is critical if there exists a cell on it such that if it were moved it would change the net’s cut state (whether it is cut or not).
Net is critical if A(n)=1 or B(n)=1 or =0
Gain of cell depends only on its critical nets:
- If a net is not critical, its cutstate cannot be affected by the move
- A net which is not critical either before or after a move cannot influence the gains of its cells
This is the basis of the linear-time claim