• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2004 Fiscal Year Annual Research Report

論理関数及び関数族の最適展開と特徴付け

Research Project

Project/Area Number 13640136
Research InstitutionCollege of Liberal Arts, International Christian University

Principal Investigator

GRANT R.Pogosyan  国際基督教大学, 教養学部, 教授 (90234640)

Co-Investigator(Kenkyū-buntansha) 高橋 正子  国際基督教大学, 教養学部, 教授 (00015588)
Keywords論理関数 / 最適展開 / ブール代数 / クローン理論 / 多値論理
Research Abstract

本研究の主な目的はブール関数及び多値論理関数の様々な性質を調べ、分類した上で関数及び関数族の最適な表現を得ることである。本年度は次の二つの課題を中心にして研究を行った。
(1)多値論理クローンが作る束の構造は極めて複雑であるが、この束を既約なクローンを用いて代数的な演算でジェネレートする問題を検討した。Post束の場合ジェネレータで全てのクローンは表すことを昨年発表してから、多値論理関数の束における既約なクローンのいくつかのチェーンを発見し、それらの全貌を解明した。その結果は16年5月にカナダで行われたISMVL国際会議で発表しIEEEPress社で会議のProceedingsに出版された。
(2)関数の最適展開に関する重要な研究課題について具体的な形式による展開の問題を研究した。即ち、任意のブール関数のため最短ESOP式を作るアルゴリズムを作成した。昨年9月に日本多値論理研究会で発表した。本年に入りこのアルゴリズムを改善して、その結果は9月にドイツにおけるInternational Workshop on Boolean Problems国際会議で発表した。
また、Post束に現れるブール関数の全てのクローンを簡潔な「項」で表した論文はElsevier出版社のDiscrete Applied Mathematicsの「ブール関数の増刊号」に出版された。

  • Research Products

    (4 results)

All 2004

All Journal Article (4 results)

  • [Journal Article] Post Classes Characterized by Functional Terms2004

    • Author(s)
      Stephan Foldes, Grant R.Pogpsyan
    • Journal Title

      Discrete Applied Mathematics. (Elsevier Publishers, North Holland) Vol.142

      Pages: 35-51

  • [Journal Article] Algebraic Properties of Totally Irreducible Elements of Clone Lattices2004

    • Author(s)
      Grant R.Pogosyan, Ivo G.Rosenberg
    • Journal Title

      Proceedings of 34rd International Symposium on Multiple-Valued Logic. (IEEE Press) ISMVL-2004

      Pages: 109-114

  • [Journal Article] Building Minimum ESOPs Through Redundancy Elimination2004

    • Author(s)
      Grant R.Pogosyan, Ivo G.Rosenberg, Seiya Takada
    • Journal Title

      Proceedings of 6th International Workshop on Boolean Problems. (IEEE Press) WSBP-2004

      Pages: 201-207

  • [Journal Article] On General Recursive Functions2004

    • Author(s)
      Masako Takahashi
    • Journal Title

      Proceedings of the 38th MLG Meeting MLG-2004

      Pages: 14-16

URL: 

Published: 2006-07-12   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi