向日葵：具備分層難度引擎的邏輯益智遊戲

向日葵是一種邏輯益智遊戲，玩家根據數字線索放置花朵和叉號。該遊戲透過一套複雜的難度調整系統與眾不同，該系統確保每個生成的網格在提供給玩家之前，都經過邏輯引擎端到端的求解，從而保證謎題可以使用特定的預定義推理技巧來解決。

邏輯難度層級

向日葵謎題的難度由邏輯引擎解決它時必須使用的最難推理技巧決定。遊戲定義了五個不同的邏輯層級，每個層級都是更高層級的先決條件：

當單個線索確定了自己的方格時，會發生基本推論。這發生在線索已經滿足（意味著所有剩餘的方格都是空的）或它剩餘的未知方格數量正好等於它仍需放置的花朵數量時。

中等難度的謎題需要比較兩個線索。當一個線索看到的所有未知方格也被另一個線索看到時，就會發生子集移動。透過從另一個線索的需求中減去一個線索的需求，玩家可以確定只有較大線索看到的方格的狀態。

困難謎題利用重疊移動，其中兩個線索共享一些方格。透過計算共享區域可以容納的花朵的最小和最大上限，玩家可以確定只有其中一個線索看到的方格。困難網格保證至少包含一個子集移動。

極端謎題引入「假設」推論，類似於數獨中的強制鏈。玩家假設在某個方格中種植一朵花或放置一個叉號，然後跟隨由此產生的邏輯。如果這導致矛盾（例如，因為花朵過多或無法達到所需數量而破壞線索），則原始假設被證明是錯誤。這些鏈的長度被限制在少數計數步驟內，以便在不使用鉛筆標記的情況下保持心理可追蹤。

瘋狂謎題是最複雜的，需要超越極端層級上限的假設鏈。它們也引入了「兩-way」技巧（可比擬於數獨著色）。在兩-way 移動中，一個樞紐方格會被兩種方式測試；如果兩種假設都導致另一方格的相同值，不管其他結果如何，則該方格被證明。這是唯一一個層級，遊戲建議保持筆記真的有幫助。

遊戲採用特定的一組度量來確保不同難度級別的一致性。使用 0–100 分數來將網格放置在其層級的範圍內（簡單 4–19，中等 20–39，困難 40–59，極端 60–79，瘋狂 80–100）。

次度量：分數受中等和困難級別的強制子集或重疊移動次數的影響，以及極端級別的 what-if 鏈總深度的影響。
預估時間：遊戲根據加權成本計算預測解題時間：基本推論約需 2 秒，子集約需 14 秒，重疊約需 26 秒，而 what-if 和 either-way 鏈則有更高的成本。
零方格：遊戲對零線索方格遵循嚴格規則。簡單和中等網格有一或兩個 0 方格；困難網格恰好有一個；極端和瘋狂網格則沒有。

儘管該遊戲被形容為「可愛友善」且「設計良好且範圍聚焦」，但一些使用者對將其描述為「反向掃雷」的術語產生了爭議。

"我不明白這怎麼算是反向掃雷，因為它基本上只是把炸彈換成花朵的掃雷。"

其他使用者指出，難度提升的體驗可能會有所不同，有一位使用者提到他們在從中等跳躍到瘋狂時沒有注意到顯著的難度提升，懷疑這些謎題是否是由 AI 代理設計的。