數燈的邏輯？ - 拼圖

※ 引述《o012 (光頭正夯)》之銘言：
: 小弟不才最近開始接觸『數燈』遊戲，
: 發現遊戲中雖然有些可尋的邏輯，
: 但是有時候好像要非猜不可才能得到全解？
: 我參考過2731篇的邏輯，發現跟我的思考方式很像，
: 但遇到一些比較大盤的或中級以上難度的有些地方還是要用猜的？
: 還是我道行太低了，其實可以全用邏輯推出來？
: 因為我不喜歡有些時候用猜的，
: 這樣就失去了益智遊戲的樂趣，
: 所以想請問大大，數燈可以全用邏輯去解嗎？


原PO所提的"猜"是否不符合"用邏輯解"?

我不清楚"數學"或"理則學"上對"邏輯"如何定義,
個人認知上"猜"(非亂猜)就是"歸謬法"(錯誤嘗試, 假設法...),
看不出有什麼不符合邏輯的地方.

在niseloli大和turing大的回文提到了一些"樣式"(pattern),
這也可以視為是"歸謬"的結論 -- "簡單""步數少"的歸謬下的結論.

在這樣的觀點下, 數燈無疑是可以全用邏輯去解的,
甚至能說可以全由歸謬法去解.

原PO的提問, 對我個人來說等於"數燈可以全用簡單的邏輯去解嗎?"
答案是不能. 要由出題者來決定.
nikoli.com的快解賽, 11/28出的正好是數燈:
http://www.nikoli.com/en/event/puzzle_hayatoki.html vol.47
冠軍8分6秒解出, 我個人約28分解出, 我認為此題符合簡單邏輯.

對於步數多的歸謬, 有一種樂趣是用"心算",
在2361篇nakururu大介紹的益智小遊戲集, 數燈(lightup.exe)我試過在
"14 x 14 hard" 不用undo(試了4局), 可以解, 不過還蠻累的.

順道一提, 該遊戲集上週下載的是 r8301 版, 數迴(loopy.exe)有令人驚艷的改變,
框架不限定在正方形, 另外提供7種框架, 有興趣的版友可以試試.

"除了燈以外不做記號"也會提高解題的難度, 記號有兩種:
1. 光線照到的地方.
2. 1.以外被排除(打X)的地方.
可以選一種不能做, 也可以什麼都不能做, 我是不敢試, 感覺太累了...

--
我希望用可能的可能去探索盡可能多的可能。

--