linear
SAT の制限 の 1 つ
任意の節同士が高々 1 変数のみを共有する
変数を複製できればすぐ帰着できるので余り重要な条件ではない。
https://gyazo.com/39973293cbb6862a53dfbe1127be1b81
関連：n 上界は任意の変数同士が高々 n 節のみを共有する
linear にしても 3 SAT は NP 完全 のまま
グラフの構造から linear とは呼びづらいが、どこかの論文に linear と書いてあった気がする