講演抄録/キーワード |
講演名 |
2013-05-18 09:55
Complexity of Counting Output Patterns of Logic Circuits ○Kei Uchizawa(Yamagata Univ.)・Zhenghong Wang(Tohoku Univ.)・Hiroki Morizumi(Shimane Univ.)・Xiao Zhou(Tohoku Univ.) COMP2013-14 |
抄録 |
(和) |
(まだ登録されていません) |
(英) |
Let $C$ be a logic circuit consisting of $s$ gates
$g_1, g_2, dots , g_s$, then
the output pattern of $C$ for an input
$Vec{x} in { 0, 1}^n$ is defined to be a vector
$(g_1(Vec{x}), g_2 (Vec{x}), dots , g_s(Vec{x})) in { 0, 1} ^s$ of the outputs
of $g_1, g_2, dots , g_s$ for $Vec{x}$.
For each $f: { 0, 1} ^2 to {0 ,1}$,
we define an $f$-circuit as a logic circuit where every gate computes $f$, and
investigate computational complexity of the following counting
problem: Given an $f$-circuit $C$, how many
output patterns arise in $C$?
We then provide a dichotomy result on the counting problem:
We prove that the problem is solvable in polynomial time
if $f$ is PARITY or any degenerate function,
while the problem is p-complete even for constant-depth $f$-circuits
if $f$ is one of the other functions, such as
AND, OR, NAND and NOR. |
キーワード |
(和) |
/ / / / / / / |
(英) |
Boolean functions / counting complexity / logic circuits / minimum AND-circuits problem / / / / |
文献情報 |
信学技報, vol. 113, no. 50, COMP2013-14, pp. 97-102, 2013年5月. |
資料番号 |
COMP2013-14 |
発行日 |
2013-05-10 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2013-14 |
研究会情報 |
研究会 |
COMP IPSJ-AL |
開催期間 |
2013-05-17 - 2013-05-18 |
開催地(和) |
小樽商科大学 |
開催地(英) |
Otaru University of Commerce |
テーマ(和) |
|
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
COMP |
会議コード |
2013-05-COMP-AL |
本文の言語 |
英語 |
タイトル(和) |
|
サブタイトル(和) |
|
タイトル(英) |
Complexity of Counting Output Patterns of Logic Circuits |
サブタイトル(英) |
|
キーワード(1)(和/英) |
/ Boolean functions |
キーワード(2)(和/英) |
/ counting complexity |
キーワード(3)(和/英) |
/ logic circuits |
キーワード(4)(和/英) |
/ minimum AND-circuits problem |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
内澤 啓 / Kei Uchizawa / ウチザワ ケイ |
第1著者 所属(和/英) |
山形大学 (略称: 山形大)
Yamagata University (略称: Yamagata Univ.) |
第2著者 氏名(和/英/ヨミ) |
王 征泓 / Zhenghong Wang / |
第2著者 所属(和/英) |
東北大学 (略称: 東北大)
Tohoku University (略称: Tohoku Univ.) |
第3著者 氏名(和/英/ヨミ) |
森住 大樹 / Hiroki Morizumi / |
第3著者 所属(和/英) |
島根大学 (略称: 島根大)
Shimne University (略称: Shimane Univ.) |
第4著者 氏名(和/英/ヨミ) |
周 暁 / Xiao Zhou / |
第4著者 所属(和/英) |
東北大学 (略称: 東北大)
Tohoku University (略称: Tohoku Univ.) |
第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著者 所属(和/英) |
(略称: )
(略称: ) |
第21著者 氏名(和/英/ヨミ) |
/ / |
第21著者 所属(和/英) |
(略称: )
(略称: ) |
第22著者 氏名(和/英/ヨミ) |
/ / |
第22著者 所属(和/英) |
(略称: )
(略称: ) |
第23著者 氏名(和/英/ヨミ) |
/ / |
第23著者 所属(和/英) |
(略称: )
(略称: ) |
第24著者 氏名(和/英/ヨミ) |
/ / |
第24著者 所属(和/英) |
(略称: )
(略称: ) |
第25著者 氏名(和/英/ヨミ) |
/ / |
第25著者 所属(和/英) |
(略称: )
(略称: ) |
第26著者 氏名(和/英/ヨミ) |
/ / |
第26著者 所属(和/英) |
(略称: )
(略称: ) |
第27著者 氏名(和/英/ヨミ) |
/ / |
第27著者 所属(和/英) |
(略称: )
(略称: ) |
第28著者 氏名(和/英/ヨミ) |
/ / |
第28著者 所属(和/英) |
(略称: )
(略称: ) |
第29著者 氏名(和/英/ヨミ) |
/ / |
第29著者 所属(和/英) |
(略称: )
(略称: ) |
第30著者 氏名(和/英/ヨミ) |
/ / |
第30著者 所属(和/英) |
(略称: )
(略称: ) |
第31著者 氏名(和/英/ヨミ) |
/ / |
第31著者 所属(和/英) |
(略称: )
(略称: ) |
第32著者 氏名(和/英/ヨミ) |
/ / |
第32著者 所属(和/英) |
(略称: )
(略称: ) |
第33著者 氏名(和/英/ヨミ) |
/ / |
第33著者 所属(和/英) |
(略称: )
(略称: ) |
第34著者 氏名(和/英/ヨミ) |
/ / |
第34著者 所属(和/英) |
(略称: )
(略称: ) |
第35著者 氏名(和/英/ヨミ) |
/ / |
第35著者 所属(和/英) |
(略称: )
(略称: ) |
第36著者 氏名(和/英/ヨミ) |
/ / |
第36著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2013-05-18 09:55:00 |
発表時間 |
25分 |
申込先研究会 |
COMP |
資料番号 |
COMP2013-14 |
巻番号(vol) |
vol.113 |
号番号(no) |
no.50 |
ページ範囲 |
pp.97-102 |
ページ数 |
6 |
発行日 |
2013-05-10 (COMP) |
|