密码学的计算复杂性理论基础课件.pptVIP

密碼學的計算複雜性理論基礎4.1問題與演算法的複雜性4.1.1問題與語言例4.1.整數的因數分解問題。例4.2.背包問題。 實際應用中的絕大多數問題都可直接或間接地轉化為判定問題。定義4.1的任一子集L稱為一個B－語言（或簡稱語言）。語言L中的字稱為語言L的成員。定義4.2設一個語言已給定。語言L成員的識別問題可描述為：任給（參數），問是否x是L語言的成員（是否）？定義4.3設為一個問題，B為一個字元集。從I到中的一個映射c，滿足條件（空集），稱為問題D的一個B－編碼。若c為D的一個編碼，集稱為D的一個c－語言。引理4.1若c為D的一個編碼，則求解問題D和求解語言的成員識別問題是等價的，即問題D的任一例子，其答案與語言的成員識別問題的例子的答案是相同的。一個合理編碼還應滿足下列兩個基本要求： 1）編碼是容易實現的； 2）求解問題的任一例子的計算複雜性（通常用計算時間來表示）與的長有某種正比關係。4.1.2演算法與圖靈機….-5-4-3-2-1012345678…無限長磁帶有限狀態控制器讀寫頭圖4.1確定性單帶圖靈機示意圖定義4.4一個確定性單帶圖靈機由下列集和函數構成。1. 1）帶中所用字符集B，通常可設，其中表示空。 2）讀寫頭所處的可能狀態集S，其中包含一個初始狀態和若干個停機狀態。 3）讀寫頭所處狀態的轉移函數，它是讀寫頭現在所處狀態s和所讀字元b的函數，表示為。 4）讀寫頭動作的指令函數，它也是讀寫頭現在所處狀態s和所讀字元b的函數，表示為，其中且都不屬於B。若，則讀寫頭寫字符代替b，且保持原位不動。若，則原字元b保持不變，讀寫頭向左（或向右）移動一個小方格。2. 磁帶上的每個小方格用一個整數座標i表示。小方格i中的字元記作t(i)，磁帶表示為函數。3. 圖靈機在某一時刻的形是指一個三元組，它們分別表示該時刻讀寫頭所處狀態，磁帶和讀寫頭所掃描的小方格座標，t(i)為讀寫頭在該時刻所讀字元。一個圖靈機的計算程式（演算法）是一個形的有限或無限序列，其中為圖靈機在初始時刻的形，即為初始狀態，為初始磁帶，它由輸入數據（字）給出，通常存放在小方格中，其他小方格中為空字元，通常。圖靈機在k時刻的形由下麵的遞推式給出。 若存在形使，則計算在時刻終止，同時停機，稱或為計算的輸出結果，K稱為圖靈機（演算法）的運行（計算）時間。否則計算將不終止，不停機，直到無限。定義4.5稱一個圖靈機 M可解一個語言L 的成員識別問題,若對任一輸入數據，M在有限時刻停機，且M的輸出，若。否則。圖靈機的計算複雜性定義為定義4.6設f(n)和g(n)為兩個正整數函數，若存在正整數和常數c使當時有，則記作；若，，則記作定義4.7設和為圖靈機M和的計算複雜性，若，則稱演算法不比演算法M有效；若，則稱演算法M和是等效的；若存在正整數d， ，則稱M為多項式時間演算法，按密碼學中的傳統觀念，認為多項式時間演算法為有效演算法；若，則稱M為亞指數時間演算法；若，則稱M為指數時間演算法。亞指數和指數時間演算法也被稱為超多項式時間演算法，被認為不是有效演算法。4．2