排他的論理和を含む論理式に対する充足可能性問題
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 排他的論理和を含む任意の論理式に対する充足可能性問題を, 論理式内の論理変数の種類数および本文中において定義する任意節の数に対して多項式オーダの変数ならびに制約条件式からなる双線形計画問題として記述する方法を示す. また, 最後に, 今後の研究課題である応用例について触れる.
- 1997-01-25
著者
-
中森 眞理雄
東京農工大学大学院共生科学技術研究部
-
中森 眞理雄
東京農工大学
-
萩原 斉
,東京農工大学工学部情報工学大講座
-
中森 眞理雄
東京農工大 大学院共生科学技術研究院
-
中森 真理雄
東京農工大学工学部数理情報工学科
-
萩原 斉
東京農工大学:(現)株式会社構造計画研究所
関連論文
- (48) 情報系専門学科のカリキュラムのアイデンティティと評価方法(第4セッション 教育評価方法)
- 半導体露光装置におけるディストーション調整の最適化(機械力学,計測,自動制御)
- 選択グラフの性質とフローショップスケジューリング問題(アルゴリズム一般)
- 困難な問題の双線形計画問題を用いたモデル化手法
- 論理式充足可能性,整数計画,および双線形計画について
- 作業場所が小さいマージソートと計算量の評価
- 作業領域が小さいマージソート
- トランスポジショングラフにおける素な経路
- 排他的論理和を含む論理式に対する充足可能性問題
- 特集「情報教育〜理論・評価・発展〜」の編集にあたって
- 資源と作業順序の制約を拡張したスケジューリング問題に対する下界値の計算法
- 情報工学系学科における実験・演習の一設計例
- 基板生産における生産ラインのラインバランシング問題に対するヒューリスティックな解法
- 基板生産における生産ラインのラインバランシング問題に対するヒューリスティックな解法
- 基板生産における生産ラインのラインバランシング問題に対するヒューリスティックな解法
- 基板生産時における部品装着機の部品吸着順序問題に対する近似解法(セッション4)
- 基板生産時における部品装着機の部品配置問題および部品吸着順序問題のモデル化と解法
- 部品装着機における部品供給部への部品割当問題および部品吸着順序問題に対する解法(スケジューリング)
- 基板生産時における部品装着機の部品配置問題および部品吸着順序問題のモデル化と解法
- 変形均衡割当て問題- 2次元ベクトルの場合 -
- ネットワークカメラを用いた監視システムの拡張(分散システム構築運用技術,ユーザ指向の分散システム/インターネットの運用・管理)
- 3層チャネル配線における平面配線可能な最大ネット集合の選択手法
- WWWによるアルゴリズム研究支援環境
- アルゴリズムベースのためのグラフアルゴリズムの部品化
- 電子メールのオブジェクト指向データベースによる管理方法の提案
- 対象の代数構造を重視したアルゴリズム記述法
- 音楽ライブラリデータベースの設計と実装
- 方形チップ格子上のウェーハ配置最適化(VLSI設計技術とCAD)
- 方形チップ格子上のウェーハ配置最適化
- 取得チップ数を最大化するウエハ配置(ケース・スタディ)
- 資源制約と先行制約を拡張したプロジェクトスケジューリング問題とその下界値の計算方法(研究速報)
- ナップザック問題の分枝限定アルゴリズムのランダム化とその解析
- アルゴリズム研究支援環境のためのデータモデルに関する考察
- アルゴリズムの研究支援システムの試作
- オブジェクト指向データベースの電子メールへの適用
- 遺伝的アルゴリズムによる工場設置問題の解法
- CE100パネル討論の報告
- 巡回トーナメント問題に対するタブーサーチ・アルゴリズム
- 拡張型資源制約付プロジェクトスケジューリング問題に対するヒューリスティックな解法(スケジューリング)
- 半導体露光装置における重ね合せ誤差の分析
- 半導体露光装置におけるディストーション計測の高精度化
- 曖昧な問合せに対処可能なデータベースの実現の一手法
- グラフ同形性問題の解法における完全マッチング問題の利用の効果
- グラフ同形性判定アルゴリズムにおける層別グラフ利用による効率性向上について
- グラフの同形性判定における層別グラフ利用の効果
- ナップザック問題の確率アルゴリズムの解析(数理モデルにおける最適化理論)
- CAIの学習者モデルにおける学習者情報の汎用的な利用について
- 情報処理専門教育について 大学等における情報系専門教育の改善への提言
- 特集「情報教育〜理論・評価・展望〜」の編集にあたって
- 2.コンピュータと教育研究会 : 100回開催記念パネル討論(未来のコンピュータ好きを育てる)
- 特集「情報教育~理論・実践・効果~」の編集にあたって
- 資源と作業順序の制約を拡張したスケジューリング問題に対する下界値の計算法
- 資源と作業順序の制約を拡張したスケジューリング問題に対する下界値の計算法
- 7 大学での情報入試(変わりつつある情報教育)
- タイムラグ付きRCPSP/τに対するヒューリスティックな解法
- 特集にあたって(パラレルコンピューティングの応用)
- 特集「情報教育〜理念・理論・実践〜」の編集にあたって(情報教育〜理念・理論・実践〜)
- 総論 : 「情報」・数学・ORの教育(「情報」の教育とOR)
- 特集にあたって(「情報」の教育とOR)
- 情報処理学会論文誌「教育」特集の総括
- 変形均衡割当て問題 : 2次元ベクトルの場合
- ベクトルコスト割当て問題の効率的解法の提案
- 二つの2次元ベクトル列間の1:1対応に関するパラメトリックな方法 : 変形ボトルネック割当て問題(多目的最適化)
- ベクトルコストによる割当て問題について(多目的最適化)
- Extending the Assignment Problem
- 不完全な部品の組合せ問題について(III) : 誤差がベクトルの場合の最大誤差最小化
- 割当て問題の拡張について : 最悪コスト最小化とコストベクトル化割当て問題
- 選択グラフの性質とフローショップスケジューリング問題
- 不完全な部品の組合せによる合格率向上について
- 2108 半導体露光装置におけるディストーション補正の最適化(OS21 設計と最適化II)
- 半導体露光装置のステージ格子計測法
- メッセージ遅延の影響評価のための並列分散プログラムシミュレータの研究
- メッセージ遅延の影響評価のための並列分散プログラムシミュレータの研究
- 確率的なグラフ連結性判定アルゴリズム
- 電子部品装着機の装着順序決定アルゴリズムの研究
- 不完全な部品の組合せ問題について(II) : 誤差がベクトルの場合
- メモリ領域が小さい確率的なグラフ連結性判定アルゴリズムについて
- 局所補間を用いた高精度保存スキーム
- 並列計算におけるネットワーク・モデルと通信量の関係
- 整列問題のネットワークフローモデルによる解釈とその拡張
- WWW上におけるアルゴリズムアニメーションシステムの構築
- WWW上におけるアルゴリズムアニメーションシステムの構築
- コンピュータと教育研究会(研究会千夜一夜)
- 老子が見た最適化モデル(モデリング-さまざまな分野,さまざまな視点から-)
- 資源制約付プロジェクトスケジューリング問題の拡張モデルに対するヒューリスティックな解法
- 3D-12 障害物のある場合の警備員経路問題に関する研究
- 整列問題のネットワークフローモデルによる解釈とその拡張
- 整列問題のネットワークフローモデル
- 論理式充足可能性問題の双線形計画問題としての記述 : 標準形の場合
- 線形計画問題の定式化に関する研究支援環境の検討
- 双線形計画による問題複雑度の分類
- 論理式充足可能性、整数計画、双線形計画
- 充足可能性問題と双線形計画問題との関係
- 障害物のある警備員経路問題に関する研究
- 選択ネットワークにおける最小費用流問題の解法と集積回路の配置配線設計への応用(グラフ理論とその応用)
- 情報リテラシー教育におけるコンピュータ操作の内部動作シミュレータの開発と実験
- 部品装着におけるラインバランシング問題のための発見的解法--- 装着順序が所与の場合 ---
- 部品装着機におけるノズル割当を考慮した装着順序問題に対するヒューリスティックな解法
- 基板生産ラインの部品装着順序を考慮したラインバランシング問題に対するヒューリスティックな解法
- 衝突回避のためのアルゴリズムの研究