Memristor Fixed Point Demo
Eight queens as compiled hardware constraints.把八皇后做成一块编译后的硬件约束面板。
This page turns the eight-queens problem into an interactive $8 \times 8$ memristor crossbar where rows, columns, and diagonals suppress each other until the state reaches a fixed point.这一页把八皇后问题做成一个可交互的 $8 \times 8$ 忆阻交叉阵列，行、列与对角线会彼此抑制，直到状态收敛到不动点。
Manual placement lets you demonstrate local inhibition cell by cell. Automatic mode follows a compiled convergence path and makes the structural interpretation visible without discussing search trees.手动放置适合逐格演示局部抑制；自动模式沿着一条编译后的收敛轨迹推进，让结构解释直接可见，而不必把注意力放在搜索树上。
Figure 2
Physical Mapping物理映射
Crossbar交叉阵列
Each cell $x_{i,c}$ is a 1T1R unit. Row lines encode queens, column lines encode domain values, and diagonal conflicts are compiled into hard gating connections.每个单元 $x_{i,c}$ 对应一个 1T1R 位置。行线编码皇后，列线编码取值，对角冲突被编译成硬门控连线。
Fixed Point
Propagation传播
$$X^{(t+1)} = \widetilde{T}(X^{(t)})$$
The demo updates the grid by repeated inhibition. What remains active after propagation is not a guessed answer but a stable state of the compiled system.演示通过重复抑制更新网格。传播后保留下来的激活，不是猜中的答案，而是编译后系统的稳定态。
Interpretation
The eight-queens problem is not solved by search, but by convergence to a fixed point of a compiled constraint system.八皇后问题不是靠搜索解出来的，而是靠一个已编译约束系统收敛到不动点而得到解。