Suche senden
Hochladen
2SAT(充足可能性問題)の解き方
•
Als PPTX, PDF herunterladen
•
1 gefällt mir
•
6,696 views
Tsuneo Yoshioka
Folgen
2SAT(充足可能性問題)の解き方
Weniger lesen
Mehr lesen
Software
Melden
Teilen
Melden
Teilen
1 von 10
Jetzt herunterladen
Empfohlen
JOI春合宿2018講義資料
双対性
双対性
Yoichi Iwata
2013/1/9に統数研チャンネルにて、ウェーブレット木の解説をしました。岩波書店より出版されました「高速文字列解析の世界」の解説になっています。
ウェーブレット木の世界
ウェーブレット木の世界
Preferred Networks
前編 (平衡二分探索木編) はこちら http://www.slideshare.net/iwiwi/2-12188757
プログラミングコンテストでのデータ構造 2 ~動的木編~
プログラミングコンテストでのデータ構造 2 ~動的木編~
Takuya Akiba
情オリ2012春合宿講義資料
指数時間アルゴリズム入門
指数時間アルゴリズム入門
Yoichi Iwata
Competitive Programming Advent Calendar 2016の16日目の記事ですよ! http://www.adventar.org/calendars/1466
AtCoderに毎回参加したくなる仕組み
AtCoderに毎回参加したくなる仕組み
AtCoder Inc.
色々なダイクストラ高速化とありますが結局はRadixHeapの解説です
色々なダイクストラ高速化
色々なダイクストラ高速化
yosupo
Competitive Programming Advent Calendar 2012の12/01担当分の記事です。
Re永続データ構造が分からない人のためのスライド
Re永続データ構造が分からない人のためのスライド
Masaki Hara
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Inc.
Empfohlen
JOI春合宿2018講義資料
双対性
双対性
Yoichi Iwata
2013/1/9に統数研チャンネルにて、ウェーブレット木の解説をしました。岩波書店より出版されました「高速文字列解析の世界」の解説になっています。
ウェーブレット木の世界
ウェーブレット木の世界
Preferred Networks
前編 (平衡二分探索木編) はこちら http://www.slideshare.net/iwiwi/2-12188757
プログラミングコンテストでのデータ構造 2 ~動的木編~
プログラミングコンテストでのデータ構造 2 ~動的木編~
Takuya Akiba
情オリ2012春合宿講義資料
指数時間アルゴリズム入門
指数時間アルゴリズム入門
Yoichi Iwata
Competitive Programming Advent Calendar 2016の16日目の記事ですよ! http://www.adventar.org/calendars/1466
AtCoderに毎回参加したくなる仕組み
AtCoderに毎回参加したくなる仕組み
AtCoder Inc.
色々なダイクストラ高速化とありますが結局はRadixHeapの解説です
色々なダイクストラ高速化
色々なダイクストラ高速化
yosupo
Competitive Programming Advent Calendar 2012の12/01担当分の記事です。
Re永続データ構造が分からない人のためのスライド
Re永続データ構造が分からない人のためのスライド
Masaki Hara
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Inc.
指数時間アルゴリズムの最先端
指数時間アルゴリズムの最先端
Yoichi Iwata
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
AtCoder Inc.
二部グラフで最小点被覆、最大安定集合、最小辺被覆を具体的に構成する方法についてです。
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
Kensuke Otsuki
HCPC 勉強会 (2019/4/4) - Convex Hull Trick ※文字が見えない場合は、ダウンロードするかフルスクリーンにしてご覧ください
Convex Hull Trick
Convex Hull Trick
HCPC: 北海道大学競技プログラミングサークル
AtCoder Beginner Contest 022 解説
AtCoder Beginner Contest 022 解説
AtCoder Beginner Contest 022 解説
AtCoder Inc.
Nov 05, 2018 北海道大学競技プログラミングサークル勉強会
最大流 (max flow)
最大流 (max flow)
HCPC: 北海道大学競技プログラミングサークル
そのロリハ(Rolling Hash)、大丈夫ですか? 衝突するケースが構成できるかもしれません・・
Rolling Hashを殺す話
Rolling Hashを殺す話
Nagisa Eto
AtCoder Beginner Contest 034 解説
AtCoder Beginner Contest 034 解説
AtCoder Beginner Contest 034 解説
AtCoder Inc.
AtCoder Regular Contest 039 解説
AtCoder Regular Contest 039 解説
AtCoder Regular Contest 039 解説
AtCoder Inc.
AtCoder Beginner Contest 032 解説
abc032
abc032
AtCoder Inc.
AtCoder Regular Contest 028 解説
AtCoder Regular Contest 028 解説
AtCoder Regular Contest 028 解説
AtCoder Inc.
グラフ:最小全域木
全域木いろいろ
全域木いろいろ
HCPC: 北海道大学競技プログラミングサークル
プログラミングコンテストでのデータ構造
プログラミングコンテストでのデータ構造
Takuya Akiba
JOI夏季セミナー2016で発表したスライドです
ユークリッド最小全域木
ユークリッド最小全域木
理玖 川崎
AtCoder Beginner Contest 002の解説です
AtCoder Beginner Contest 002 解説
AtCoder Beginner Contest 002 解説
AtCoder Inc.
AtCoder Regular Contest 027 解説
AtCoder Regular Contest 027 解説
AtCoder Regular Contest 027 解説
AtCoder Inc.
AtCoder Regular Contest 030 解説
AtCoder Regular Contest 030 解説
AtCoder Regular Contest 030 解説
AtCoder Inc.
2013 JOI春合宿 二日目講義
様々な全域木問題
様々な全域木問題
tmaehara
灘校パソコン研究部の夏合宿(2022)でしゃべった内容です。
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
catupper
KMCの例会講座で用いたスライドを一部編集したものです。 ビット演算を組み合わせたトリッキーな方法で様々な操作を高速に行う方法を紹介します。
明日使えないすごいビット演算
明日使えないすごいビット演算
京大 マイコンクラブ
A presentation about creating twitter app on iOS at HelsinkiOS on 27th-Sep-2012
Create twitter-ios-app
Create twitter-ios-app
Tsuneo Yoshioka
[ACM-ICPC] Dinic's Algorithm
[ACM-ICPC] Dinic's Algorithm
Chih-Hsuan Kuo
Weitere ähnliche Inhalte
Was ist angesagt?
指数時間アルゴリズムの最先端
指数時間アルゴリズムの最先端
Yoichi Iwata
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
AtCoder Inc.
二部グラフで最小点被覆、最大安定集合、最小辺被覆を具体的に構成する方法についてです。
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
Kensuke Otsuki
HCPC 勉強会 (2019/4/4) - Convex Hull Trick ※文字が見えない場合は、ダウンロードするかフルスクリーンにしてご覧ください
Convex Hull Trick
Convex Hull Trick
HCPC: 北海道大学競技プログラミングサークル
AtCoder Beginner Contest 022 解説
AtCoder Beginner Contest 022 解説
AtCoder Beginner Contest 022 解説
AtCoder Inc.
Nov 05, 2018 北海道大学競技プログラミングサークル勉強会
最大流 (max flow)
最大流 (max flow)
HCPC: 北海道大学競技プログラミングサークル
そのロリハ(Rolling Hash)、大丈夫ですか? 衝突するケースが構成できるかもしれません・・
Rolling Hashを殺す話
Rolling Hashを殺す話
Nagisa Eto
AtCoder Beginner Contest 034 解説
AtCoder Beginner Contest 034 解説
AtCoder Beginner Contest 034 解説
AtCoder Inc.
AtCoder Regular Contest 039 解説
AtCoder Regular Contest 039 解説
AtCoder Regular Contest 039 解説
AtCoder Inc.
AtCoder Beginner Contest 032 解説
abc032
abc032
AtCoder Inc.
AtCoder Regular Contest 028 解説
AtCoder Regular Contest 028 解説
AtCoder Regular Contest 028 解説
AtCoder Inc.
グラフ:最小全域木
全域木いろいろ
全域木いろいろ
HCPC: 北海道大学競技プログラミングサークル
プログラミングコンテストでのデータ構造
プログラミングコンテストでのデータ構造
Takuya Akiba
JOI夏季セミナー2016で発表したスライドです
ユークリッド最小全域木
ユークリッド最小全域木
理玖 川崎
AtCoder Beginner Contest 002の解説です
AtCoder Beginner Contest 002 解説
AtCoder Beginner Contest 002 解説
AtCoder Inc.
AtCoder Regular Contest 027 解説
AtCoder Regular Contest 027 解説
AtCoder Regular Contest 027 解説
AtCoder Inc.
AtCoder Regular Contest 030 解説
AtCoder Regular Contest 030 解説
AtCoder Regular Contest 030 解説
AtCoder Inc.
2013 JOI春合宿 二日目講義
様々な全域木問題
様々な全域木問題
tmaehara
灘校パソコン研究部の夏合宿(2022)でしゃべった内容です。
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
catupper
KMCの例会講座で用いたスライドを一部編集したものです。 ビット演算を組み合わせたトリッキーな方法で様々な操作を高速に行う方法を紹介します。
明日使えないすごいビット演算
明日使えないすごいビット演算
京大 マイコンクラブ
Was ist angesagt?
(20)
指数時間アルゴリズムの最先端
指数時間アルゴリズムの最先端
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
Convex Hull Trick
Convex Hull Trick
AtCoder Beginner Contest 022 解説
AtCoder Beginner Contest 022 解説
最大流 (max flow)
最大流 (max flow)
Rolling Hashを殺す話
Rolling Hashを殺す話
AtCoder Beginner Contest 034 解説
AtCoder Beginner Contest 034 解説
AtCoder Regular Contest 039 解説
AtCoder Regular Contest 039 解説
abc032
abc032
AtCoder Regular Contest 028 解説
AtCoder Regular Contest 028 解説
全域木いろいろ
全域木いろいろ
プログラミングコンテストでのデータ構造
プログラミングコンテストでのデータ構造
ユークリッド最小全域木
ユークリッド最小全域木
AtCoder Beginner Contest 002 解説
AtCoder Beginner Contest 002 解説
AtCoder Regular Contest 027 解説
AtCoder Regular Contest 027 解説
AtCoder Regular Contest 030 解説
AtCoder Regular Contest 030 解説
様々な全域木問題
様々な全域木問題
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
明日使えないすごいビット演算
明日使えないすごいビット演算
Andere mochten auch
A presentation about creating twitter app on iOS at HelsinkiOS on 27th-Sep-2012
Create twitter-ios-app
Create twitter-ios-app
Tsuneo Yoshioka
[ACM-ICPC] Dinic's Algorithm
[ACM-ICPC] Dinic's Algorithm
Chih-Hsuan Kuo
OR学会
OR学会 2015/9/11 組合せ最適化の体系化とフリーソフトによる最適化
OR学会 2015/9/11 組合せ最適化の体系化とフリーソフトによる最適化
SaitoTsutomu
型理論の啓蒙
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
Yusuke Matsushita
20150124若手の会@明治大学中野キャンパス
証明プログラミング超入門
証明プログラミング超入門
Kyoko Kadowaki
2013/09/12 PFI セミナー「平面グラフと交通ネットワークのアルゴリズム」
平面グラフと交通ネットワークのアルゴリズム
平面グラフと交通ネットワークのアルゴリズム
Takuya Akiba
https://pycon.jp/2015/ja/schedule/presentation/44/
組合せ最適化を体系的に知ってPythonで実行してみよう PyCon 2015
組合せ最適化を体系的に知ってPythonで実行してみよう PyCon 2015
SaitoTsutomu
TokyoWebMining #40のトーク3の資料です
最適化超入門
最適化超入門
Takami Sato
Andere mochten auch
(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を偽にする
Jetzt herunterladen