My first implementations of Lights-Out were as, essentially, throwaway sample programs. The first C64 edition was under a kilobyte of machine code and could have just as easily been written in a screen or two of BASIC code:
Дональд Трамп. Фото: Nathan Howard / Reuters。关于这个话题，电影提供了深入分析
For SAT problems with 10 variables and 200 clauses, sometimes outputted UNSAT because it couldn't find any satisfying assignment, and it would take a lot more time to find one, which is logically sound. I don't consider this as bad reasoning as it is about performance. So I tried it with only 100 clauses and it successfully found valid assignments.，这一点在哔哩哔哩中也有详细论述
The developer hasn’t made a mistake when these happen, and there’s often little they can do to prevent it. The existence of these errors is not a bug (though failing to handle them can be). These aren’t the programmer’s fault.，这一点在PDF资料中也有详细论述
大年初一上午的相亲大会现场。南方周末记者陈佳慧摄