お知らせ 研究会の開催と会場に参加される皆様へのお願い(2021年10月開催~)
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2005-03-18 10:50
単一2負項を加えたホーン関数
川村直輝岩田茂樹電通大
抄録 (和) ホーン関数は高々1個の負リテラルを含む主項を持つブール関数である.
ホーン関数に2個の負リテラルを含む項を1個(論理和で)加えたブール関数のクラスを考える. このクラスに属す関数は3個の負リテラルを持つ主項を含まないことを示す. また,ホーン関数に2個の負リテラルを含む項を2個加えたブール関数は3個の負リテラルを含む主項を数多く持つ場合があることを示す. 積和標準形で与えられたこのクラスに属す関数のトートロジー問題がP完全であることを示す. 
(英) A Horn function is a Boolean function where each of its prime
implicants contains at most one negative literal.
A class of Boolean functions is considered where a single term containing two negative literals is added (logically or-ed) to a Horn function. We show that the function does not contain any prime implicant having three negative literals. We also show that if two terms having two negative literals are added to a Horn function then it may have many prime implicants containing three negative literals. We show that the tautology problem for the considered class of Boolean functions given in disjunctive normal form is P-complete.
キーワード (和) ブール関数 / ホーン関数 / 主項 / P完全 / / / /  
(英) Boolean functions / Horn functions / prime implicants / P-complete / / / /  
文献情報 信学技報, vol. 104, no. 743, COMP2004-77, pp. 33-37, 2005年3月.
資料番号 COMP2004-77 
発行日 2005-03-11 (COMP) 
ISSN Print edition: ISSN 0913-5685  Online edition: ISSN 2432-6380
PDFダウンロード

研究会情報
研究会 COMP  
開催期間 2005-03-18 - 2005-03-18 
開催地(和) 東京工業大学 
開催地(英) Tokyo Institute of Technology 
テーマ(和)  
テーマ(英)  
講演論文情報の詳細
申込み研究会 COMP 
会議コード 2005-03-COMP 
本文の言語 日本語 
タイトル(和) 単一2負項を加えたホーン関数 
サブタイトル(和)  
タイトル(英) Horn functions with single two-negated term 
サブタイトル(英)  
キーワード(1)(和/英) ブール関数 / Boolean functions  
キーワード(2)(和/英) ホーン関数 / Horn functions  
キーワード(3)(和/英) 主項 / prime implicants  
キーワード(4)(和/英) P完全 / P-complete  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 川村 直輝 / Naoki Kawamura / カワムラ ナオキ
第1著者 所属(和/英) 電気通信大学 (略称: 電通大)
The University of Electro-Communications (略称: UEC)
第2著者 氏名(和/英/ヨミ) 岩田 茂樹 / Shigeki Iwata / イワタ シゲキ
第2著者 所属(和/英) 電気通信大学 (略称: 電通大)
The University of Electro-Communications (略称: UEC)
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者
発表日時 2005-03-18 10:50:00 
発表時間 25 
申込先研究会 COMP 
資料番号 IEICE-COMP2004-77 
巻番号(vol) IEICE-104 
号番号(no) no.743 
ページ範囲 pp.33-37 
ページ数 IEICE-5 
発行日 IEICE-COMP-2005-03-11 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会