假设您有n个灯泡，其中每个灯泡i = 1，…，n最初都处于关闭状态。您还可以通过m个按钮控制灯光。对于每个按钮j = 1，…，m，我们知道子集 它控制的灯泡的Tj⊂{1，…，n}。按下按钮j时，在 Tj（如果3∈Tj并且灯泡3关闭，则在按下按钮之后，灯泡3将打开，反之亦然）。您的目标是通过按一系列按钮来打开所有灯泡。
a。将此问题称为CSP（明确说明变量，每个变量的域以及每个变量的约束函数）。
b。假设如果连续按下三个连续按钮，则所有指示灯都将熄灭。例如，您可以按下按钮{1、3、4、6}，但不能按下{1、3、4、5}，因为{3,4,5}是连续的。从上方向CSP添加最少数量的约束，以确保不会烧坏所有的灯。