Kỹ thuật Suy luận đường thẳng (Line Solving) trong Nonogram

Khái niệm

Nonogram cho biết với mỗi hàng và cột danh sách các nhóm ô được tô liên tiếp (theo thứ tự, các nhóm cách nhau ít nhất một ô trống).

Suy luận đường thẳng (line solving) xét từng hàng/cột riêng lẻ: nếu một nhóm manh mối quá lớn so với chiều dài, các ô ở khoảng giữa chắc chắn được tô; nếu tổng các nhóm cộng khoảng cách tối thiểu vừa khít chiều dài, cả hàng được xác định duy nhất.

Ví dụ

Hàng dài 5 ô với manh mối "3": ba ô liên tiếp có thể đặt ở vị trí 1–3, 2–4 hoặc 3–5; ô giữa (vị trí 3) nằm trong mọi cách đặt nên chắc chắn được tô.

Manh mối "2 2" trên hàng dài 5: hai nhóm 2 ô cách nhau ít nhất 1 ô trống, tổng tối thiểu 2+1+2 = 5 vừa khít, nên chỉ có đúng một cách đặt: [##.##].

Minh hoạ động