#221 Forcing net path bug

[huaixm]

In this puzzle
8..7.......36......7..9.2...5...7...3..8457...8.1...3...1....68..85...1..9....4..
I Click "Next Hint", and Hoduko give me this Hint:
Forcing Net Verity => r1c2=1
1: r4c5=6 r4c4=3 (r9c9=3 r1c7=3 r1c7<>1) (r3c6=3 r3c8=8 r2c7=1 r1c9<>1) (r9c4=2 r9c3<>2) (r3c4=4 r3c3=5 r9c3<>5) (r9c4=2 r9c8<>2) (r9c9=3 r7c7<>3) r7c4=9 r7c7=5 r9c8=7 r9c3=6 r3c1=6 r3c6=1 (r1c5<>1) r1c2=1
2: r4c7=6 (r3c9=6 r3c9<>3) (r2c7=8 r1c7=1 r1c5<>1) (r2c7=8 r1c7=1 r1c9<>1) r4c8=8 r3c6=8 r3c4=3 (r1c9=3 r9c4=3 r3c4=4 r3c3=5 r9c3<>5) (r9c4=2 r9c3<>2) (r9c4=2 r9c8<>2) (r9c4=2 r4c4<>2) r9c9=3 (r1c7=3 r1c7<>1) (r7c7<>3) (r7c7<>3) r8c7=9 (r6c7<>9) r7c7=5 r6c7=6 r6c6=9 r4c4=3 r7c4=9 r7c7=5 r9c8=7 r9c3=6 r3c1=6 r3c6=1 r1c2=1
3: r4c9=6 (r3c9=3 r1c6=3 r1c6<>1) (r4c9<>1) (r4c7<>6) r1c7=6 (r1c7<>1) r5c2=6 r5c9=1 (r1c9<>1) r4c1=1 r3c6=1 r1c2=1

---

But path 2 is error. because r1c7=1, then r1c5<>1, r1c9<>1 and r1c2 should NOT be 1. But the result is r1c2=1, this is a contradiction. So I say this path is error.

---

My Hodoku version is 2.1.3(Build 51)

[huaixm]

My Hodoku version is 2.1.3(Build 51)

• Description has changed:

Diff:

--- old
+++ new
@@ -7,3 +7,7 @@
 3:  r4c9=6 (r3c9=3 r1c6=3 r1c6<>1) (r4c9<>1) (r4c7<>6) r1c7=6 (r1c7<>1) r5c2=6 r5c9=1 (r1c9<>1) r4c1=1 r3c6=1 r1c2=1
 _______________________________________________________________
 But path 2 is error. because r1c7=1, then r1c5<>1, r1c9<>1 and r1c2 should NOT be 1. But the result is r1c2=1, this is a contradiction. So I say this path is error.
+
+
+________________________________________
+My Hodoku version is 2.1.3(Build 51)

• milestone: -->

[Bernhard Hobiger]

Thanks for your report!

There have been more errors when displaying Forcing Nets, I will address this issue in release 2.3 (I am in feature freeze for 2.2, which will be out in two or three weeks)