[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 http://rio2016.5ch.net/test/read.cgi/math/1571400076/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
938: １３２人目の素数さん [sage] 2019/11/13(水) 21:15:00.86 ID:1CP2V04/ ◆e.a0E5TtKEAIとか騒いでるけど プログラム一つ書いたことなさそう 俺？その昔SATソルバでシステム検証してたけど何か？ https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C http://rio2016.5ch.net/test/read.cgi/math/1571400076/938
942: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/14(木) 06:58:44.57 ID:NfP7KmpG >>936-940 スポーツに例えて ラグビー、サッカー、バスケット、バレー、野球とあったとしましょう ラグビーを見に来た人に、ある社会人チームで補欠の人が、「あなたはラグビーができないじゃない」という でも、そのラグビーを見に来た人は、野球の社会人チームで活躍していました ってことです 数学おサルは、”補欠”で終わったん人なんだ ”ドクターなしで、人間扱いされなかった”んだ だから、ラグビーを見に来た人に、「あんたはラグビーができないじゃないかぁ〜！」と絡んでくるってことでしょ（＾＾ おれからすれば、おれはラグビーを見に来ただけで ラグビーのＷ杯に出ようとか、ラグビーの選手になって活躍しようとか そんな気は、全くないんだよねぇーｗ 「数学は、証明が命だ」 「おまえ、これを証明してみろぉっ〜！」 ？ ”おれは、ラグビーを見に来ただけなんですけど？”ｗｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1571400076/942
967: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/15(金) 07:59:10.80 ID:CbUaYdGK >>938 メモ貼っておく（＾＾ https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C 充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。 SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。 (抜粋) 目次 1 定義 2 問題 2.1 例題 3 NP完全 4 関連項目 NP完全 充足可能性問題はNP（Non-deterministic Polynomial time（非決定性多項式時間）非決定性チューリングマシンによって多項式時間で解くことができる問題）かつNP困難な問題である。このような問題のクラスをNP完全問題という。 充足可能性問題を多項式時間で変形することによって、様々なNP完全問題を構成することができる。 NP問題の補問題、つまり結果のYesとNoを逆転させた問題をco-NP問題という。 充足可能性問題のYesとNoを逆転させ、論理式に否定をかけて変形すると、トートロジー判定問題になる。トートロジー判定問題はco-NP完全問題である。 関連項目 数理論理学 NP完全問題 制約充足問題 デービス・パトナムのアルゴリズム DPLLアルゴリズム タブローの方法 https://en.wikipedia.org/wiki/Boolean_satisfiability_problem (抜粋) In computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY or SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. http://rio2016.5ch.net/test/read.cgi/math/1571400076/967
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s