Medium問題を開いてみた。ついてはここの読者の皆さんはご存知とは思います。組み合わせが存在するか否か。(存在する場合、その組み合わせを知りたかったりする)上の例ではすべての節が(高々)2変数なので2-SATと呼ばれる。(2-SATは線形時間で解けるらしい)。¬y⇒x)に書き換え可能なことを利用して、論理式を有向グラフに変換してみたり出来上がったdagを強連結成分分解してみる同じ強連結成分に含まれるノード(が表すリテラル、すなわちxなり¬yなり)は同じ真偽値をもつ。いうことは、xと¬xが同じ強連結成分に含まれたらアウト。解説されている(のを以前読んだがすっかり忘れている。p.286のグラフをノートに書いてscc()を手動トレースして一度は納得したはずなのだが)。等しいことを利用すればいいらしい。y⇒¬x」に書き直すことができる。行く経路(とその逆)が存在するかをWFで求めている。O(n^3)ですけど。強連結成分分解をちゃんとやってみよう。強連結成分:強連結な部分集合のうち、これ以上頂点を付け足したら強連結でなくなってしまうもの最大クリーク(無向グラフで、あらゆる2つの頂点を繋ぐ辺が存在する集合(=クリーク)のうち、これ以上頂点を付け足したらクリークでなくなってしまうもの)に似ている。式を満たす具体的な真偽値を求める方法。»@naoya_t自然言語処理とか機械学習とか競技プログラミングとか。競プロ精進記録は別ブログ🔒に移しました。yukicoder遅延伝搬セグメント木の復習をしたので、beetさん作問のセグ木コンテスト(2019/9/6開催)の問題を解いてみた。サウスタワー23Fなんで自分に参加権が来たのかよく分からないオンサイトイベントに参加してきた話。146のQ4でN個の点の3次元マンハッタン距離の最大値を求める問題が出たのでメモ。"なお、接尾辞配列を構成するアルゴリズムは他にも多数存在しています。14:00-FORCIAさんで開催されたオンサイトのゆるふわコンテストに参加。過去問コンテスト後に読んだ問題たち。ここで出てくるテクニックもこの機会にぜひ身につけておきたい。