可逆邏輯綜合

前言
第1章　緒論
  1．1　引言
  1．2　可逆計算
  1．3　可逆計算中的邏輯綜合
    1．3．1　可逆邏輯綜合的概念
    1．3．2　可逆邏輯綜合的意義
  1．4　可逆邏輯綜合中的主要問題
    1．4．1　可逆邏輯門的級聯(lián)
    1．4．2　最小代價問題及其實(shí)現(xiàn)
    1．4．3　無用輸出信息位
    1．4．4　可逆邏輯綜合的規(guī)模
    1．4．5　可逆邏輯綜合方法
  1．5　本書的主要任務(wù)和內(nèi)容
第2章　可逆邏輯與可逆邏輯門
  2．1　關(guān)于可逆
  2．2　可逆邏輯中的布爾代數(shù)
  2．3　可逆邏輯函數(shù)
    2．3．1　問題的提出
    2．3．2　可逆邏輯函數(shù)實(shí)現(xiàn)
  2．4　可逆邏輯門
    2．4．1　一位可逆邏輯門
    2．4．2　Feynman門
    2．4．3　簡單交換門
    2．4．4　雙控制門
    2．4．5　控制交換門
    2．4．6　多位控制反門
  2．5　可逆邏輯門的表示
  2．6　可逆邏輯門的通用性
第3章　可逆邏輯門網(wǎng)絡(luò)
  3．1　可逆邏輯網(wǎng)絡(luò)結(jié)構(gòu)
  3．2　可逆網(wǎng)絡(luò)的級聯(lián)
  3．3　可逆網(wǎng)絡(luò)的表示
  3．4　可逆邏輯門網(wǎng)絡(luò)基本元素的產(chǎn)生
  3．5　可逆邏輯門的級聯(lián)
  3．6　可逆網(wǎng)絡(luò)門的計數(shù)
    3．6．1　Toffoli門計數(shù)
    3．6．2　Toffoli門網(wǎng)絡(luò)級聯(lián)
    3．6．3　實(shí)驗(yàn)及結(jié)果分析
第4章　可逆網(wǎng)絡(luò)的構(gòu)造
  4．1　可逆網(wǎng)絡(luò)結(jié)構(gòu)的表示
    4．1．1　平行線與垂直線編號
    4．1．2　可逆網(wǎng)絡(luò)的一種結(jié)構(gòu)編碼
    4．1．3　一種組合可逆網(wǎng)絡(luò)的構(gòu)造
  4．2　一種可逆網(wǎng)絡(luò)輸出向量的序號表示
    4．2．1　序號的定義
    4．2．2　逆序序列與輸出向量的一一對應(yīng)關(guān)系
    4．2．3　輸出向量序號表示
  4．3　一種可逆網(wǎng)絡(luò)構(gòu)造算法
    4．3．1　算法
    4．3．2　實(shí)例
    4．3．3　實(shí)驗(yàn)結(jié)果及分析
第5章　Toffoli門可逆網(wǎng)絡(luò)綜合
  5．1　基本算法
    5．1．1　基本算法的算法實(shí)現(xiàn)
    5．1．2　實(shí)例
  5．2　雙向算法
  　5．2．1　雙向算法的算法實(shí)現(xiàn)
    5．2．2　實(shí)例
  5．3　控制位的優(yōu)化
    5．3．1　雙向最小寬度算法的算法實(shí)現(xiàn)
    5．3．2　實(shí)例
  5．4　三種方法結(jié)果比較
    5．4．1　三種算法之間的比較
　……