Submit Search
Upload
2SAT(充足可能性問題)の解き方
•
Download as PPTX, PDF
•
1 like
•
6,731 views
Tsuneo Yoshioka
Follow
2SAT(充足可能性問題)の解き方
Read less
Read more
Software
Report
Share
Report
Share
1 of 10
Download now
Recommended
abc032
abc032
AtCoder Inc.
AtCoder Beginner Contest 032 解説
AtCoder Beginner Contest 010 解説
AtCoder Beginner Contest 010 解説
AtCoder Inc.
AtCoder Beginner Contest 010 解説
abc027
abc027
AtCoder Inc.
AtCoder Beginner Contest 027 解説
AtCoder Regular Contest 036 解説
AtCoder Regular Contest 036 解説
AtCoder Inc.
AtCoder Regular Contest 036 解説
Abc009
Abc009
AtCoder Inc.
AtCoder Beginner Contes
プログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズム
Takuya Akiba
最小カットを使って「燃やす埋める問題」を解く
最小カットを使って「燃やす埋める問題」を解く
shindannin
最小カットを使って「燃やす埋める問題」を解く方法について、問題とソースコードつきで、まとめました。ニコニコ生放送「TopCoderでプログラムしてみた」2000回記念放送の資料です。
AtCoder Regular Contest 039 解説
AtCoder Regular Contest 039 解説
AtCoder Inc.
AtCoder Regular Contest 039 解説
Recommended
abc032
abc032
AtCoder Inc.
AtCoder Beginner Contest 032 解説
AtCoder Beginner Contest 010 解説
AtCoder Beginner Contest 010 解説
AtCoder Inc.
AtCoder Beginner Contest 010 解説
abc027
abc027
AtCoder Inc.
AtCoder Beginner Contest 027 解説
AtCoder Regular Contest 036 解説
AtCoder Regular Contest 036 解説
AtCoder Inc.
AtCoder Regular Contest 036 解説
Abc009
Abc009
AtCoder Inc.
AtCoder Beginner Contes
プログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズム
Takuya Akiba
最小カットを使って「燃やす埋める問題」を解く
最小カットを使って「燃やす埋める問題」を解く
shindannin
最小カットを使って「燃やす埋める問題」を解く方法について、問題とソースコードつきで、まとめました。ニコニコ生放送「TopCoderでプログラムしてみた」2000回記念放送の資料です。
AtCoder Regular Contest 039 解説
AtCoder Regular Contest 039 解説
AtCoder Inc.
AtCoder Regular Contest 039 解説
AtCoder Beginner Contest 014 解説
AtCoder Beginner Contest 014 解説
AtCoder Inc.
AtCoder Beginner Contest 014 解説
AtCoder Beginner Contest 021 解説
AtCoder Beginner Contest 021 解説
AtCoder Inc.
AtCoder Beginner Contest 021 解説
ウェーブレット木の世界
ウェーブレット木の世界
Preferred Networks
2013/1/9に統数研チャンネルにて、ウェーブレット木の解説をしました。岩波書店より出版されました「高速文字列解析の世界」の解説になっています。
Binary indexed tree
Binary indexed tree
HCPC: 北海道大学競技プログラミングサークル
BIT
AtCoder Beginner Contest 005 解説
AtCoder Beginner Contest 005 解説
AtCoder Inc.
AtCoder Beginner Contest 005 解説
AtCoder Beginner Contest 007 解説
AtCoder Beginner Contest 007 解説
AtCoder Inc.
AtCoder Beginner Contest 007 解説
CODE FESTIVAL 2014 本選 解説
CODE FESTIVAL 2014 本選 解説
AtCoder Inc.
CODE FESTIVAL 2014 本選 解説
AtCoder Beginner Contest 024 解説
AtCoder Beginner Contest 024 解説
AtCoder Inc.
AtCoder Beginner Contest 024 解説
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
AtCoder Inc.
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
双対性
双対性
Yoichi Iwata
JOI春合宿2018講義資料
指数時間アルゴリズム入門
指数時間アルゴリズム入門
Yoichi Iwata
情オリ2012春合宿講義資料
AtCoder Regular Contest 046
AtCoder Regular Contest 046
AtCoder Inc.
AtCoder Regular Contest 046 解説
動的計画法を極める!
動的計画法を極める!
HCPC: 北海道大学競技プログラミングサークル
2016年7月28日 HCPC勉強会
AtCoder Beginner Contest 030 解説
AtCoder Beginner Contest 030 解説
AtCoder Inc.
AtCoder Beginner Contest 030 解説
AtCoder Beginner Contest 012 解説
AtCoder Beginner Contest 012 解説
AtCoder Inc.
AtCoder Beginner Contest 012 解説
AtCoder Beginner Contest 025 解説
AtCoder Beginner Contest 025 解説
AtCoder Inc.
AtCoder Beginner Contest 025 解説
AtCoder Beginner Contest 006 解説
AtCoder Beginner Contest 006 解説
AtCoder Inc.
AtCoder Beginner Contest 006 解説
直交領域探索
直交領域探索
okuraofvegetable
JOI夏季セミナー2016 コンピュータ・ジオメトリ
AtCoder Beginner Contest 015 解説
AtCoder Beginner Contest 015 解説
AtCoder Inc.
AtCoder Beginner Contest 015 解説
Convex Hull Trick
Convex Hull Trick
HCPC: 北海道大学競技プログラミングサークル
HCPC 勉強会 (2019/4/4) - Convex Hull Trick ※文字が見えない場合は、ダウンロードするかフルスクリーンにしてご覧ください
Create twitter-ios-app
Create twitter-ios-app
Tsuneo Yoshioka
A presentation about creating twitter app on iOS at HelsinkiOS on 27th-Sep-2012
[ACM-ICPC] Dinic's Algorithm
[ACM-ICPC] Dinic's Algorithm
Chih-Hsuan Kuo
More Related Content
What's hot
AtCoder Beginner Contest 014 解説
AtCoder Beginner Contest 014 解説
AtCoder Inc.
AtCoder Beginner Contest 014 解説
AtCoder Beginner Contest 021 解説
AtCoder Beginner Contest 021 解説
AtCoder Inc.
AtCoder Beginner Contest 021 解説
ウェーブレット木の世界
ウェーブレット木の世界
Preferred Networks
2013/1/9に統数研チャンネルにて、ウェーブレット木の解説をしました。岩波書店より出版されました「高速文字列解析の世界」の解説になっています。
Binary indexed tree
Binary indexed tree
HCPC: 北海道大学競技プログラミングサークル
BIT
AtCoder Beginner Contest 005 解説
AtCoder Beginner Contest 005 解説
AtCoder Inc.
AtCoder Beginner Contest 005 解説
AtCoder Beginner Contest 007 解説
AtCoder Beginner Contest 007 解説
AtCoder Inc.
AtCoder Beginner Contest 007 解説
CODE FESTIVAL 2014 本選 解説
CODE FESTIVAL 2014 本選 解説
AtCoder Inc.
CODE FESTIVAL 2014 本選 解説
AtCoder Beginner Contest 024 解説
AtCoder Beginner Contest 024 解説
AtCoder Inc.
AtCoder Beginner Contest 024 解説
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
AtCoder Inc.
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
双対性
双対性
Yoichi Iwata
JOI春合宿2018講義資料
指数時間アルゴリズム入門
指数時間アルゴリズム入門
Yoichi Iwata
情オリ2012春合宿講義資料
AtCoder Regular Contest 046
AtCoder Regular Contest 046
AtCoder Inc.
AtCoder Regular Contest 046 解説
動的計画法を極める!
動的計画法を極める!
HCPC: 北海道大学競技プログラミングサークル
2016年7月28日 HCPC勉強会
AtCoder Beginner Contest 030 解説
AtCoder Beginner Contest 030 解説
AtCoder Inc.
AtCoder Beginner Contest 030 解説
AtCoder Beginner Contest 012 解説
AtCoder Beginner Contest 012 解説
AtCoder Inc.
AtCoder Beginner Contest 012 解説
AtCoder Beginner Contest 025 解説
AtCoder Beginner Contest 025 解説
AtCoder Inc.
AtCoder Beginner Contest 025 解説
AtCoder Beginner Contest 006 解説
AtCoder Beginner Contest 006 解説
AtCoder Inc.
AtCoder Beginner Contest 006 解説
直交領域探索
直交領域探索
okuraofvegetable
JOI夏季セミナー2016 コンピュータ・ジオメトリ
AtCoder Beginner Contest 015 解説
AtCoder Beginner Contest 015 解説
AtCoder Inc.
AtCoder Beginner Contest 015 解説
Convex Hull Trick
Convex Hull Trick
HCPC: 北海道大学競技プログラミングサークル
HCPC 勉強会 (2019/4/4) - Convex Hull Trick ※文字が見えない場合は、ダウンロードするかフルスクリーンにしてご覧ください
What's hot
(20)
AtCoder Beginner Contest 014 解説
AtCoder Beginner Contest 014 解説
AtCoder Beginner Contest 021 解説
AtCoder Beginner Contest 021 解説
ウェーブレット木の世界
ウェーブレット木の世界
Binary indexed tree
Binary indexed tree
AtCoder Beginner Contest 005 解説
AtCoder Beginner Contest 005 解説
AtCoder Beginner Contest 007 解説
AtCoder Beginner Contest 007 解説
CODE FESTIVAL 2014 本選 解説
CODE FESTIVAL 2014 本選 解説
AtCoder Beginner Contest 024 解説
AtCoder Beginner Contest 024 解説
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
Disco Presents ディスカバリーチャンネルプログラミングコンテスト2016 本選 解説
双対性
双対性
指数時間アルゴリズム入門
指数時間アルゴリズム入門
AtCoder Regular Contest 046
AtCoder Regular Contest 046
動的計画法を極める!
動的計画法を極める!
AtCoder Beginner Contest 030 解説
AtCoder Beginner Contest 030 解説
AtCoder Beginner Contest 012 解説
AtCoder Beginner Contest 012 解説
AtCoder Beginner Contest 025 解説
AtCoder Beginner Contest 025 解説
AtCoder Beginner Contest 006 解説
AtCoder Beginner Contest 006 解説
直交領域探索
直交領域探索
AtCoder Beginner Contest 015 解説
AtCoder Beginner Contest 015 解説
Convex Hull Trick
Convex Hull Trick
Viewers also liked
Create twitter-ios-app
Create twitter-ios-app
Tsuneo Yoshioka
A presentation about creating twitter app on iOS at HelsinkiOS on 27th-Sep-2012
[ACM-ICPC] Dinic's Algorithm
[ACM-ICPC] Dinic's Algorithm
Chih-Hsuan Kuo
OR学会 2015/9/11 組合せ最適化の体系化とフリーソフトによる最適化
OR学会 2015/9/11 組合せ最適化の体系化とフリーソフトによる最適化
SaitoTsutomu
OR学会
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
Yusuke Matsushita
型理論の啓蒙
証明プログラミング超入門
証明プログラミング超入門
Kyoko Kadowaki
20150124若手の会@明治大学中野キャンパス
平面グラフと交通ネットワークのアルゴリズム
平面グラフと交通ネットワークのアルゴリズム
Takuya Akiba
2013/09/12 PFI セミナー「平面グラフと交通ネットワークのアルゴリズム」
組合せ最適化を体系的に知ってPythonで実行してみよう PyCon 2015
組合せ最適化を体系的に知ってPythonで実行してみよう PyCon 2015
SaitoTsutomu
https://pycon.jp/2015/ja/schedule/presentation/44/
最適化超入門
最適化超入門
Takami Sato
TokyoWebMining #40のトーク3の資料です
Viewers also liked
(8)
Create twitter-ios-app
Create twitter-ios-app
[ACM-ICPC] Dinic's Algorithm
[ACM-ICPC] Dinic's Algorithm
OR学会 2015/9/11 組合せ最適化の体系化とフリーソフトによる最適化
OR学会 2015/9/11 組合せ最適化の体系化とフリーソフトによる最適化
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
証明プログラミング超入門
証明プログラミング超入門
平面グラフと交通ネットワークのアルゴリズム
平面グラフと交通ネットワークのアルゴリズム
組合せ最適化を体系的に知ってPythonで実行してみよう PyCon 2015
組合せ最適化を体系的に知ってPythonで実行してみよう PyCon 2015
最適化超入門
最適化超入門
2SAT(充足可能性問題)の解き方
1.
2-SATの解き方 吉岡恒夫(@yoshiokatsuneo) 2017/02/21
2.
SATとは? • 充足可能性問題(satisfiability problem) •
論理式 (A∨B∨C∨…)∧(D∨E∨F∨…)∧… # CNF, Conjunctive Normal Form, 連現標準形 • 論理式を満たす(真にする)ことができるか? (そのような、A,B,C,D…が存在するか?)
3.
2-SATとは? • 論理式 (A∨B)∧(D∨E)∧… #かっこの中(クロージャ)が最大2個まで • 論理式を満たす(真にする)ことができるか? (そのような、A,B,C,D…が存在するか?)
4.
論理包含(implication) • A→B (AならばB) (注:
Aが偽の場合もBは真になる) • A→B かつ B→C ならば A→C (三段論法) A B A→B 真 真 真 真 偽 偽 偽 真 真 偽 真 真
5.
論理式と論理包含 • A∨B ≡
¬B→A≡ ¬A→B ¬A B ¬A→B A B 真 真 真 偽 真 真 偽 偽 偽 偽 偽 真 真 真 真 偽 真 真 真 真
6.
2-SATの「ならば(→)」表記 • (A∨B)∧(C∨D)∧… は (¬B→A)∧(¬A→B)∧(¬D→C)∧(¬C→D)∧… と表せる
7.
2-SATのグラフ表記 B ¬A A
¬B A B A→B 真 真 真 真 偽 偽 偽 真 真 偽 真 真 • X→YでXとYが反対でも成立 するのはX:偽, Y:真の組み合 わせ • ¬A→Aの場合、¬Aを偽に、 Aを真にする。 B ¬A A ¬B 偽 偽 真 真
8.
矛盾の検出 • ¬AとAがループしていると、¬AとAを同時に 満たす必要が出て来て矛盾する A ¬A
9.
強連結成分分解 • 強連結成分分解で同じループの中に、Aと¬A が存在するか検出。 A B C D E F G H 強連結成分 強連結成分
10.
まとめ • 論理式: (A∨B)∧(D∨E)∧… •
ならばに変換: (¬B→A)∧(¬A→B)∧… • グラフを作成 • 強連結成分分解でAと¬Aが同じ成分か検出 • ¬A→Aがあれば、Aを偽にする
Download now