[過去ログ] ナンプレ 数独 Sudoku 9 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
49
(2): 2020/12/20(日)00:06 ID:1aHBW+9h(1/6) AAS
まずは定義
2つの命題P,Qのどちらかが必ず成り立つ時、PとQは強リンクしているという。この時 P ̄Q のように書く
2つの命題P,Qのどちらかが必ず成り立たない時、PとQは弱リンクしているという。この時 P_Q のように書く
P ̄QかつP_Qの時、PとQは完全リンクしているという。

ここでいう命題っていうのは、数独では「ある数字があるマスに入る」というようなことを指す
例えば
P「1行3列目に5が入る」
Q「1行3列目に7が入る」
とすると、この2つはどちらかが必ず成り立たないから PとQは弱リンクしている。
さらに1行3列目に入る数字候補が5と7の2つだけなら、PとQは強リンクしているとも言える。(つまり完全リンク)
省1
1-
あと 953 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.061s*