Function tonty(g As Byte, ys() As Byte, t As Byte, ny As Byte) '列についての3on3解析を行うFunctionプロシージャ
'引数のnyは、内容（naiyou）の略、呼び出し側のライン排除確定プロシージャのiに当たる。
'i + 1は、数独配列p(○, ○)に入力する内容（１から９の値）であった。
'確定法で解く＝仮定法を使わないので復元規定は最初から記述しない。
    Dim i As Byte, j As Byte, k As Byte, l As Byte, m As Byte, o As Byte, w As Byte
    Dim ys1(8) As Byte 'y座標を記録する変数
    Dim ys2(8) As Byte 'y座標を記録する変数
    tonty = 1
    Dim xs1(8) As Byte 'x座標を記録する変数
    Dim xs2(8) As Byte 'x座標を記録する変数
    tonty = 1
    For i = ny + 1 To n_1
    'i + 1 は数独配列p(○, ○)に入れる２番目の内容（１から９の値）
    'もっと正確に説明すると、3on3のセルにおけるリストの２番目となる可能性のある値である。
    '可能性という言い方をしたのは、以下の条件を満たしてはじめて２番目のリストになるから。
        w = 0
        For j = 0 To n_1 'jはx座標(横座標）
            If p(j, t) = 0 Then 's = ys(0)
                If kh(j, t, i) = 1 Then
                    ys1(w) = j
                    w = w + 1
                End If
            End If
        Next
        If w = 3 Then
            If ys(0) = ys1(0) And ys(1) = ys1(1) And ys(2) = ys1(2) Then
                For j = 0 To n_1 'j + 1 は3on3セルの３番目のリスト候補
                    If j <> ny And j <> i Then
                        w = 0
                        For k = 0 To n_1 'kはx座標(横座標）
                            If p(k, t) = 0 Then 's = ys(0)
                                If kh(k, t, j) = 1 Then
                                    ys2(w) = k
                                    w = w + 1
                                End If
                            End If
                        Next
                        If w = 2 Or w = 3 Then
                            If (ys2(0) = ys(0) And ys2(1) = ys(1)) Or (ys2(0) = ys(0) And ys2(2) = ys(2)) Or (ys2(1) = ys(1) And ys2(2) = ys(2)) Then
                                '以降3on3確定による破綻処理
                                For k = 0 To n_1
                                    If k <> ys(0) And k <> ys(1) And k <> ys(2) Then
                                        If p(k, t) = 0 Then
                                            If mx(k, t) = 2 Then
                                                w = 0
                                                For l = 0 To 2
                                                    If rlst(k, t, l) = ny + 1 Or rlst(k, t, l) = i + 1 Or rlst(k, t, l) = j + 1 Then
                                                        w = w + 1
                                                    End If
                                                Next
                                                If w = 3 Then
                                                    tonty = 0
                                                    Exit Function
                                                End If
                                            End If
                                            If mx(k, t) = 1 Then
                                                w = 0
                                                For l = 0 To 1
                                                    If rlst(k, t, l) = ny + 1 Or rlst(k, t, l) = i + 1 Or rlst(k, t, l) = j + 1 Then
                                                        w = w + 1
                                                    End If
                                                Next
                                                If w = 2 Then
                                                    tonty = 0
                                                    Exit Function
                                                End If
                                            End If
                                            If mx(k, t) = 0 Then
                                                If rlst(k, t, 0) = ny + 1 Or rlst(k, t, 0) = i + 1 Or rlst(k, t, 0) = j + 1 Then
                                                    tonty = 0
                                                    Exit Function
                                                End If
                                            End If
                                        End If
                                    End If
                                Next
                                '3on3確定による破綻処理終了
'                                Cells(4 + Int(cnt / 50), 1 + (cnt Mod 50)) = "X"
'                                cnt = cnt + 1
                                '以降3on3確定による排除解析
                                For k = 0 To n_1
                                    If k <> ys(0) And k <> ys(1) And k <> ys(2) Then
                                        If p(k, t) = 0 Then
                                            For l = 0 To mx(k, t)
                                                If ny + 1 = rlst(k, t, l) Then
                                                    rlst(k, t, l) = rlst(k, t, mx(k, t))
                                                    rlst(k, t, mx(k, t)) = ny + 1
                                                    kh(k, t, ny) = 0
                                                    mx(k, t) = mx(k, t) - 1
                                                    Exit For
                                                End If
                                            Next
                                            For l = 0 To mx(k, t)
                                                If i + 1 = rlst(k, t, l) Then
                                                    rlst(k, t, l) = rlst(k, t, mx(k, t))
                                                    rlst(k, t, mx(k, t)) = i + 1
                                                    kh(k, t, i) = 0
                                                    mx(k, t) = mx(k, t) - 1
                                                    Exit For
                                                End If
                                            Next
                                            For l = 0 To mx(k, t)
                                                If j + 1 = rlst(k, t, l) Then
                                                    rlst(k, t, l) = rlst(k, t, mx(k, t))
                                                    rlst(k, t, mx(k, t)) = j + 1
                                                    kh(k, t, j) = 0
                                                    mx(k, t) = mx(k, t) - 1
                                                    Exit For
                                                End If
                                            Next
                                        End If
                                    End If
                                Next
                                '3on3確定による排除解析終了
                                '以降3on3確定解析
                                Dim kr(2) As Byte
                                For k = 0 To 2
                                    kr(k) = 0
                                Next
                                w = 0
                                For k = 0 To mx(ys(0), t)
                                    If ny + 1 = rlst(ys(0), t, k) Then
                                        kr(0) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                For k = 0 To mx(ys(0), t)
                                    If i + 1 = rlst(ys(0), t, k) Then
                                        kr(1) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                For k = 0 To mx(ys(0), t)
                                    If j + 1 = rlst(ys(0), t, k) Then
                                        kr(2) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                If w = 3 Then
                                    rlst(ys(0), t, 0) = ny + 1
                                    rlst(ys(0), t, 1) = i + 1
                                    rlst(ys(0), t, 2) = j + 1
                                    mx(ys(0), t) = 2
                                End If
                                If w = 2 Then
                                    w = 0
                                    If kr(0) = 1 Then
                                        rlst(ys(0), t, w) = ny + 1
                                        w = w + 1
                                    End If
                                    If kr(1) = 1 Then
                                        rlst(ys(0), t, w) = i + 1
                                        w = w + 1
                                    End If
                                    If kr(2) = 1 Then
                                        rlst(ys(0), t, w) = j + 1
                                        w = w + 1
                                    End If
                                    mx(ys(0), t) = 1
                                End If
                                For k = 0 To 2
                                    kr(k) = 0
                                Next
                                w = 0
                                For k = 0 To mx(ys(1), t)
                                    If ny + 1 = rlst(ys(1), t, k) Then
                                        kr(0) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                For k = 0 To mx(ys(1), t)
                                    If i + 1 = rlst(ys(1), t, k) Then
                                        kr(1) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                For k = 0 To mx(ys(1), t)
                                    If j + 1 = rlst(ys(1), t, k) Then
                                        kr(2) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                If w = 3 Then
                                    rlst(ys(1), t, 0) = ny + 1
                                    rlst(ys(1), t, 1) = i + 1
                                    rlst(ys(1), t, 2) = j + 1
                                    mx(ys(1), t) = 2
                                End If
                                If w = 2 Then
                                    w = 0
                                    If kr(0) = 1 Then
                                        rlst(ys(1), t, w) = ny + 1
                                        w = w + 1
                                    End If
                                    If kr(1) = 1 Then
                                        rlst(ys(1), t, w) = i + 1
                                        w = w + 1
                                    End If
                                    If kr(2) = 1 Then
                                        rlst(ys(1), t, w) = j + 1
                                        w = w + 1
                                    End If
                                    mx(ys(1), t) = 1
                                End If
                                For k = 0 To 2
                                    kr(k) = 0
                                Next
                                w = 0
                                For k = 0 To mx(ys(2), t)
                                    If ny + 1 = rlst(ys(2), t, k) Then
                                        kr(0) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                For k = 0 To mx(ys(2), t)
                                    If i + 1 = rlst(ys(2), t, k) Then
                                        kr(1) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                For k = 0 To mx(ys(2), t)
                                    If j + 1 = rlst(ys(2), t, k) Then
                                        kr(2) = 1
                                        w = w + 1
                                        Exit For
                                    End If
                                Next
                                If w = 3 Then
                                    rlst(ys(2), t, 0) = ny + 1
                                    rlst(ys(2), t, 1) = i + 1
                                    rlst(ys(2), t, 2) = j + 1
                                    mx(ys(2), t) = 2
                                End If
                                If w = 2 Then
                                    w = 0
                                    If kr(0) = 1 Then
                                        rlst(ys(2), t, w) = ny + 1
                                        w = w + 1
                                    End If
                                    If kr(1) = 1 Then
                                        rlst(ys(2), t, w) = i + 1
                                        w = w + 1
                                    End If
                                    If kr(2) = 1 Then
                                        rlst(ys(2), t, w) = j + 1
                                        w = w + 1
                                    End If
                                    mx(ys(2), t) = 1
                                End If
                                '3on3確定解析終了
                                Exit For
                            End If
                        End If
                    End If
                Next
            End If
        End If
    Next
End Function