じゅうそくかのうせいもんだいとは？わかりやすく解説

辞書 類語・対義語辞典 英和・和英辞典 日中中日辞典 日韓韓日辞典 古語辞典

その他の辞書▼
- フランス語辞典
- インドネシア語辞典
- タイ語辞典
- ベトナム語辞典

Weblio 辞書ヘルプ

556の専門辞書や国語辞典百科事典から一度に検索!

無料の翻訳ならWeblio翻訳！

初めての方へ参加元一覧

Weblio 辞書 > 学問 > OR事典 > じゅうそくかのうせいもんだいの意味・解説

OR事典

索引トップ用語の索引ランキングカテゴリー

充足可能性問題

読み方：じゅうそくかのうせいもんだい
【英】：satisfiability problem

真または偽を表す論理変数とそれらの否定からなる和積形論理式, 例えば $(x_1 \lor \bar{x}_2 \lor x_3) \land (\bar{x}_1 \lor \bar{x}_3) \land (x_2 \lor \bar{x}_3)\,$ が与えられているとき, この式が真になるような論理変数への割り当てが存在するとき充足可能といい, それを判定する問題をいう. クック (Cook) が1971年にNP完全性を示した最初の問題. デイビス・プットナム (Davis-Putnam) のアルゴリズムなどが知られている. 以上は命題論理における充足可能性問題であるが, 述語論理における充足可能性問題は決定不能である.

「OR事典」の他の用語

組合せ最適化：

ロバース数一般化割当問題並列アルゴリズム充足可能性問題分散アルゴリズム分枝切除法分枝限定法

>> 「じゅうそくかのうせいもんだい」を含む用語の索引
じゅうそくかのうせいもんだいのページへのリンク

辞書ショートカット

1 OR事典

カテゴリ一覧

＋ビジネス

＋業界用語

＋コンピュータ

＋自動車・バイク

＋船

＋建築・不動産

＋ヘルスケア

＋スポーツ

＋辞書・百科事典

すべての辞書の索引

Weblioのサービス

じゅうそくかのうせいもんだいのお隣キーワード

U字型生産ライン

Ε-近似アルゴリズム

かんばん方式

じゅうそくかのうせいもんだい

たたみ込み

たたみ込み法

アウトソーシング

アクティビティ

アクティビティネットワーク

アクティブ運用

検索ランキング

じゅうそくかのうせいもんだいのページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。


	Copyright (C) 2025 （社）日本オペレーションズ・リサーチ学会 All rights reserved.

ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
 文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典

ご利用にあたって

・Weblio辞書とは

・検索の仕方

・利用規約

・プライバシーポリシー

・サイトマップ

便利な機能

・ウェブリオのアプリ

・画像から探す

お問合せ・ご要望

・お問い合わせ

会社概要

・公式企業ページ

・会社情報

・採用情報

ウェブリオのサービス

・Weblio 辞書

・類語・対義語辞典

・英和辞典・和英辞典

・Weblio翻訳

・日中中日辞典

・日韓韓日辞典

・フランス語辞典

・インドネシア語辞典

・タイ語辞典

・ベトナム語辞典

・古語辞典

・おすすめのプログラミングスクール情報「Livifun」

©2025 GRAS Group, Inc.RSS