矩陣生成裝置、矩陣生成方法和矩陣生成程序與流程

            文檔序號:12167453閱讀:697來源:國知局
            矩陣生成裝置、矩陣生成方法和矩陣生成程序與流程

            本發明涉及矩陣生成裝置、矩陣生成方法和矩陣生成程序。本發明例如涉及生成加密和解密中使用的密鑰共享矩陣的裝置、方法和程序。



            背景技術:

            在密鑰共享方式中,密鑰信息被分成若干個共享信息。在復原密鑰信息時,必須收集特定組合的共享信息。能夠利用使用邏輯或或邏輯與等的邏輯式來定義收集什么樣的組合的共享信息即可。密鑰共享矩陣是將該邏輯式轉換成矩陣形式而得到的。對密鑰共享矩陣的各行分配邏輯式中包含的要素。密鑰共享矩陣被設計成,滿足邏輯式的要素的行的和或積成為期望值。不管如何組合不滿足邏輯式的要素的行,都無法得到期望值。

            例如,設邏輯式F是變量P與變量Q的邏輯與,對密鑰共享矩陣M的第一行分配變量P,對第二行分配變量Q。該情況下,如果變量P和變量Q雙方為真,則邏輯式F為真。即,變量P和變量Q的組合滿足邏輯式F。變量P和變量Q中的任意變量單獨均不滿足邏輯式F。由此,密鑰共享矩陣M被設計成,第一行和第二行均不是期望值,第一行與第二行的和或積成為期望值。

            密鑰共享矩陣用于函數型加密(例如參照專利文獻1)。

            以往,提出了一些用于生成密鑰共享矩陣的方法(例如參照非專利文獻1、2)。

            現有技術文獻

            專利文獻

            專利文獻1:國際公開第2011/135895號

            非專利文獻

            非專利文獻1:A.Lewko,B.Waters,“Decentralizing Attribute-Based Encryption”,Advances in Cryptology-EUROCRYPT 2011,Lecture Notes in Computer Science Volume 6632,2011,pp 568-588

            非專利文獻2:Z.Liu,Z.Cao,“On Efficiently Transferring the Linear Secret-Sharing Scheme Matrix in Ciphertext-Policy Attribute-Based Encryption”,IACR Cryptology ePrint Archive,374,2010



            技術實現要素:

            發明要解決的課題

            在非專利文獻1所記載的方法中,必須使用1、-1、0這3個值作為矩陣的元素。在非專利文獻2所記載的方法中也使用多個值。在現有的方法中,無法高效地生成密鑰共享矩陣。

            本發明的目的在于,例如根據邏輯式高效地生成矩陣。

            用于解決課題的手段

            本發明的一個方式的矩陣生成裝置具有:樹構造生成部,其接受邏輯式的輸入,生成表現所述邏輯式的樹構造數據;根處理部,其判定所述邏輯式的要素中的、由所述樹構造生成部生成的樹構造數據的根表現的要素的種類,生成與判定出的種類對應的矩陣;以及節點處理部,其在存儲器中存儲由所述根處理部生成的矩陣,并且,依次選擇由所述樹構造生成部生成的樹構造數據的所述根以外的節點,在選擇了具有子節點的節點的情況下,對所述存儲器中存儲的矩陣進行與所述邏輯式的要素中的由選擇出的節點表現的要素的種類對應的操作,在選擇了不具有子節點的節點的情況下,將所述邏輯式的要素中的由選擇出的節點表現的要素即變量與所述存儲器中存儲的矩陣的一行對應起來,在該樹構造數據的節點的選擇結束后,輸出所述存儲器中存儲的矩陣和表示與該矩陣的各行對應的變量的信息。

            發明效果

            在本發明中,最初,生成與由樹構造數據的根表現的要素的種類對應的矩陣。然后,對矩陣進行與由樹構造數據的各節點表現的要素的種類對應的操作。關于表現變量的節點,將該變量與矩陣的一行對應起來。最終,得到變量與各行對應的矩陣。這樣,根據本發明,能夠根據表現邏輯式的樹構造數據高效地生成矩陣。

            附圖說明

            圖1是示出實施方式1中最終生成的矩陣的一例的圖。

            圖2是示出實施方式1的矩陣生成裝置的結構的框圖。

            圖3是示出實施方式1的矩陣生成裝置的樹構造生成部的結構的框圖。

            圖4是示出實施方式1中生成的二叉樹的一例的圖。

            圖5是示出圖4的二叉樹的遞歸構造的圖。

            圖6是示出實施方式1的矩陣生成裝置的根處理部的結構的框圖。

            圖7是示出實施方式1的矩陣生成裝置的節點處理部的結構的框圖。

            圖8是示出實施方式1的矩陣生成裝置的根處理部的動作的流程圖。

            圖9是示出實施方式1的矩陣生成裝置的節點處理部的動作的流程圖。

            圖10是示出實施方式1中生成矩陣的例子的圖。

            圖11是示出本發明的實施方式的矩陣生成裝置的硬件結構的一例的圖。

            具體實施方式

            下面,使用附圖對本發明的實施方式進行說明。

            在實施方式的說明中,使用以下的記法。

            在邏輯式F的變量P的內容是某個種類A的值為a這樣的事象的情況下,利用下式表示變量P。

            A=a

            作為一例,如果種類A為“性別”,則值a為“男性”或“女性”。

            在邏輯式F的變量P的內容是某個種類A的值不是a這樣的事象的情況下,利用下式表示變量P。

            A!=a

            矩陣M的行從上向下以升序進行計數(即,被分配序數)。例如,最上側的行是第一行。接著第一行的下側的行是第二行。

            矩陣M的列從左向右以升序進行計數(即,被分配序數)。例如,最左側的列是第一列。接著第一列的右側的列是第二列。

            在矩陣M的行編號(即序數)與邏輯式F的變量之間,映射成立。如下式那樣記述在行編號ROW與變量P之間映射ρ成立的情況。

            ρ(ROW)=P

            如下所述記述定義了ρ(1)=p1、ρ(2)=p2的映射ρ的情況。

            ρ:{(1,p1),(2,p2)}

            實施方式1

            圖1是示出本實施方式中最終生成的矩陣M的一例的圖。

            在圖1中,矩陣M是L行×r列的密鑰共享矩陣。映射ρ將矩陣M的各行與變量的集合{p1,…,pn}中包含的一個變量對應起來。即,矩陣M的全部行通過映射ρ而與一個變量對應起來。

            在圖1的例子中,L=4、r=3。即,矩陣M是四行三列的矩陣。并且,n=4。變量p1~p4分別是A!=10、B=20、C!=30、D=40。即,變量的集合是{A!=10,B=20,C!=30,D=40}。

            映射ρ能夠如下所述定義。

            ρ:{(1,(A!=10)),(2,(B=20)),(3,(C!=30)),(4,(D=40))}

            在本實施方式中,矩陣M和映射ρ成為最終的輸出。該輸出例如用于函數型加密。

            另外,在本實施方式中,矩陣M也可以是密鑰共享矩陣以外的矩陣。行數L、列數r、變量的數量n能夠適當變更。各變量的內容也能夠適當變更。

            圖2是示出本實施方式的矩陣生成裝置100的結構的框圖。

            在圖2中,矩陣生成裝置100具有樹構造生成部110、根處理部120、節點處理部130。

            樹構造生成部110接受邏輯式F的輸入,生成表現邏輯式F的二叉樹T。

            邏輯式F是組合邏輯與(and)、邏輯或(or)、邏輯非(not)這樣的運算符和變量而生成的。運算符和變量分別是邏輯式F的要素。邏輯式F例如是定義以密鑰共享方式共享的信息的組合的邏輯式。

            二叉樹T是樹構造數據的一例。二叉樹T具有邏輯式F的要素作為節點。對各節點分配節點編號。在本實施方式中,根的節點編號為1,以左側的子節點優先的方式依次對各節點分配節點編號。例如,如果根在左側具有子節點,則該子節點的節點編號為2。如果節點編號為2的節點在左側具有子節點(即,根的孫節點),則該子節點的節點編號為3。如果節點編號為2的節點不具有子節點且根在右側具有子節點,則該子節點的節點編號為3。另外,節點編號的分配方法能夠適當變更。

            樹構造生成部110將生成的二叉樹T和該二叉樹T的節點數N輸出到根處理部120和節點處理部130。

            根處理部120接受由樹構造生成部110生成的二叉樹T和該二叉樹T的節點數N的輸入,判定邏輯式F的要素中的由二叉樹T的根表現的要素的種類。根處理部120生成與判定出的種類對應的矩陣M。

            例如,如果由根表現的要素的種類為邏輯與運算符,則根處理部120執行邏輯與處理。在邏輯與處理中,生成與邏輯與運算符對應的矩陣M。并且,計算根的節點編號的下一個節點編號I。

            如果由根表現的要素的種類為邏輯或運算符,則根處理部120執行邏輯或處理。在邏輯或處理中,生成與邏輯或運算符對應的矩陣M。并且,計算根的節點編號的下一個節點編號I。

            如果由根表現的要素的種類為變量(即,節點數N為1的情況),則根處理部120執行變量處理。在變量處理中,生成與變量對應的矩陣M。并且,計算根的節點編號的下一個節點編號I。進而,通過映射ρ將變量與矩陣M的一行對應起來。

            根處理部120將生成的矩陣M輸出到節點處理部130。根處理部120還將計算出的節點編號I輸出到節點處理部130。如果生成映射ρ,則根處理部120還將映射ρ輸出到節點處理部130。

            節點處理部130接受由樹構造生成部110生成的二叉樹T和該二叉樹T的節點數N、由根處理部120生成的矩陣M和映射ρ(如果存在)、節點編號I的輸入,在存儲器(未圖示)中存儲二叉樹T、節點數N、矩陣M、節點編號I、映射ρ。

            節點處理部130依次選擇二叉樹T的根以外的節點。具體而言,節點處理部130選擇與節點編號I對應的節點。節點編號I每次增加1,直到超過節點數N為止。

            節點處理部130在選擇了具有子節點的節點的情況下,對存儲器中存儲的矩陣M進行與邏輯式F的要素中的由選擇出的節點表現的要素的種類對應的操作。

            例如,如果由選擇出的節點表現的要素的種類為邏輯與運算符,則節點處理部130執行邏輯與處理。在邏輯與處理中,對矩陣M進行與邏輯與運算符對應的操作。

            如果由選擇出的節點表現的要素的種類為邏輯或運算符,則節點處理部130執行邏輯或處理。在邏輯或處理中,對矩陣M進行與邏輯或運算符對應的操作。

            節點處理部130在選擇了不具有子節點的節點(即葉節點)的情況下,將邏輯式F的要素中的由選擇出的節點表現的要素即變量與存儲器中存儲的矩陣M的一行對應起來。

            即,如果由選擇出的節點表現的要素的種類為變量,則節點處理部130執行變量處理。在變量處理中,通過映射ρ將變量與矩陣M的一行對應起來。

            節點處理部130在二叉樹T的節點的選擇結束后,輸出存儲器中存儲的矩陣M和映射ρ。映射ρ是表示與矩陣M的各行對應的變量的信息。

            下面,對樹構造生成部110進行詳細說明。

            圖3是示出樹構造生成部110的結構的框圖。圖4是示出本實施方式中生成的二叉樹T的一例的圖。

            在圖3中,樹構造生成部110具有邏輯式輸入部111、二叉樹生成部112、二叉樹輸出部113。

            下面,使用圖4的例子對樹構造生成部110的各部的動作進行說明。

            邏輯式輸入部111接受組合邏輯與(and)、邏輯或(or)、邏輯非(not)而成的以下邏輯式F的輸入。

            A!=10and((B=20and C!=30)or D=40)

            在A不是10、B是20且C不是30的情況下,或A不是10且D是40的情況下,該邏輯式F成立。

            二叉樹生成部112將由邏輯式輸入部111得到的邏輯式F轉換成二叉樹T。

            邏輯式F中的運算的優先順位是括弧內的邏輯式、邏輯與(and)、邏輯或(or)的順序。由此,邏輯式F的運算順序成為括弧內的邏輯與(and)、括弧內的邏輯或(or)、括弧外的邏輯與(and)的順序。二叉樹生成部112在將邏輯式F轉換成二叉樹T時,按照邏輯式F的運算順序的相反順序,從根開始配置邏輯式F的要素。具體而言,首先,二叉樹生成部112在根配置最后運算的運算符X(在圖4的例子中為括弧外的邏輯與)。二叉樹生成部112在運算符X的左側的子節點配置運算符X的左側的邏輯式中最后運算的運算符Y1或變量Y2(在圖4的例子中為A!=10)。二叉樹生成部112在運算符X的右側的子節點同樣配置運算符X的右側的邏輯式中最后運算的運算符Z1(在圖4的例子中為括弧內的邏輯或)或變量Z2。接著,二叉樹生成部112著眼于運算符X的左側的子節點。如果運算符X的左側的子節點為運算符Y1,則二叉樹生成部112在運算符Y1的左側的子節點配置運算符Y1的左側的邏輯式中最后運算的運算符或變量。二叉樹生成部112在運算符Y1的右側的子節點同樣配置運算符Y1的右側的邏輯式中最后運算的運算符或變量。然后,二叉樹生成部112對運算符X的右側的子節點進行同樣的處理。另一方面,如果運算符X的左側的子節點為變量Y2,則二叉樹生成部112直接進行運算符X的右側的子節點的處理。二叉樹生成部112交替反復進行左側的子節點的處理和右側的子節點的處理,直到在全部葉節點中配置變量結束為止。

            如果二叉樹T已完成,則二叉樹生成部112對各節點賦予節點編號。對根賦予1。以左側優先的方式對其他節點賦予2以后的編號。二叉樹生成部112記錄節點編號的最大值作為節點數N。

            在圖4的例子中,生成具有以下7個節點的二叉樹T。

            ·節點編號1(根):邏輯與(and)

            ·節點編號2(葉節點):A!=10

            ·節點編號3:邏輯或(or)

            ·節點編號4:邏輯與(and)

            ·節點編號5(葉節點):B=20

            ·節點編號6(葉節點):C!=30

            ·節點編號7(葉節點):D=40

            二叉樹輸出部113輸出由二叉樹生成部112生成的二叉樹T和由二叉樹生成部112記錄的節點數N。

            下面,對根處理部120和節點處理部130進行詳細說明。使用圖5所示的遞歸構造進行處理。

            圖6是示出根處理部120的結構的框圖。圖7是示出節點處理部130的結構的框圖。圖8是示出根處理部120的動作的流程圖。圖9是示出節點處理部130的動作的流程圖。

            在圖6中,根處理部120具有根判定部121、邏輯與處理部122a、邏輯或處理部122b、變量處理部122c、處理結果輸出部123。

            在圖7中,節點處理部130具有節點判定部131、邏輯與處理部132a、邏輯或處理部132b、變量處理部132c、處理數判定部133、處理結果輸出部134。

            下面,參照圖8對根處理部120的各部的動作進行說明。

            在S21中,根判定部121接受二叉樹T和節點數N的輸入。

            在S22中,根判定部121對從行編號到變量的映射ρ進行初始化。

            在S23中,根判定部121判定二叉樹T的根是邏輯與還是邏輯或還是變量。如果根是邏輯與,則流程進入S24a。如果根是邏輯或,則流程進入S24b。如果根是變量,則流程進入S24c。

            在S24a中,邏輯與處理部122a從根判定部121接受二叉樹T的輸入,生成以下的矩陣M。流程進入S25a。

            【數式1】

            在S25a中,邏輯與處理部122a在二叉樹T的根的節點編號中加上1,得到節點編號I。流程進入S26。

            在S24b中,邏輯或處理部122b從根判定部121接受二叉樹T的輸入,生成以下的矩陣M。流程進入流程はS25b。

            【數式2】

            在S25b中,邏輯或處理部122b在二叉樹T的根的節點編號中加上1,得到節點編號I。流程進入S26。

            在S24c中,變量處理部122c從根判定部121接受二叉樹T和映射ρ的輸入,生成以下的矩陣M。流程進入S25c。

            (1)

            在S25c中,變量處理部122c在二叉樹T的根的節點編號中加上1,得到節點編號I。并且,變量處理部122c定義以下的映射ρ。

            ρ(1)=p1

            即,變量處理部122c如下所述對映射ρ進行更新。流程進入S26。

            ρ:{(1,p1)}

            在S26中,處理結果輸出部123輸出由邏輯與處理部122a、邏輯或處理部122b、變量處理部122c中的任意一方生成的矩陣M。處理結果輸出部123還輸出由邏輯與處理部122a、邏輯或處理部122b、變量處理部122c中的任意一方計算出的節點編號I。處理結果輸出部123還輸出初始狀態的映射ρ或由變量處理部122c更新后的映射ρ。

            下面,參照圖9對節點處理部130的各部的動作進行說明。

            在S31中,節點判定部131接受二叉樹T、節點數N、矩陣M、節點編號I、映射ρ的輸入。

            在S32中,節點判定部131將處理行編號CR設定為1。矩陣M的第CR行是接著與變量對應的行。

            在S33中,處理數判定部133判定節點編號I是否大于節點數N。在節點編號I小于節點數N或與節點數N相同(即,I≦N)的情況下,流程進入S34。在節點編號I大于節點數N(即,I>N)的情況下,二叉樹T中沒有進一步要選擇的節點,因此,流程進入S36。

            在S34中,節點判定部131選擇與節點編號I對應的節點。節點判定部131判定選擇出的節點是邏輯與還是邏輯或還是變量。如果節點(該情況下為具有子節點的節點)為邏輯與,則流程進入S35a。如果節點(該情況下為具有子節點的節點)為邏輯或,則流程進入S35b。如果節點(該情況下為葉節點)為變量,則流程進入S35c。

            在S35a中,邏輯與處理部132a從節點判定部131接受二叉樹T、矩陣M、處理行編號CR、節點編號I、映射ρ的輸入,執行邏輯與處理。在邏輯與處理中,對矩陣M和節點編號I進行更新。邏輯與處理將在后面詳細敘述。流程返回S33。

            在S35b中,邏輯或處理部132b從節點判定部131接受二叉樹T、矩陣M、處理行編號CR、節點編號I、映射ρ的輸入,執行邏輯或處理。在邏輯或處理中,對矩陣M和節點編號I進行更新。邏輯或處理將在后面詳細敘述。流程返回S33。

            在S35c中,變量處理部132c從節點判定部131接受二叉樹T、矩陣M、處理行編號CR、節點編號I、映射ρ的輸入,執行變量處理。在變量處理中,對矩陣M、處理行編號CR、節點編號I、映射ρ進行更新。變量處理將在后面詳細敘述。流程返回S33。

            流程返回S33,在再次進入S34的情況下,處理數判定部133將由邏輯與處理部132a、邏輯或處理部132b、變量處理部132c中的任意一方更新后的矩陣M和節點編號I交給節點判定部131。如果由變量處理部132c對處理行編號CR和映射ρ進行了更新,則處理數判定部133還將更新后的處理行編號CR和映射ρ交給節點判定部131。

            在S36中,處理結果輸出部134從處理數判定部133接受矩陣M和映射ρ的輸入,輸出矩陣M和映射ρ。

            下面,對S35a中執行的邏輯與處理進行詳細說明。

            作為輸入,邏輯與處理部132a受理二叉樹T、L’×r’的矩陣M、處理行編號CR、節點編號I、映射ρ。

            邏輯與處理部132a在L’×r’的矩陣M中追加元素全部為0的行作為第(L’+1)行。由于追加了行,因此,矩陣M成為(L’+1)×r’的矩陣。

            邏輯與處理部132a在(L’+1)×r’的矩陣M中追加元素全部為0的列作為第(r’+1)列。由于追加了列,因此,矩陣M成為(L’+1)×(r’+1)的矩陣。

            邏輯與處理部132a在(L’+1)×(r’+1)的矩陣M中,將第CR行的最左側存在1的列定義為第CL列。

            邏輯與處理部132a將i設為r’~CL的值,在(L’+1)×(r’+1)的矩陣M中,利用第i列覆蓋第(i+1)列。即,邏輯與處理部132a將第r’列復制到第(r’+1)列,將第(r’-1)列復制到第r’列,…,最后,將第CL列復制到第(CL+1)列。

            邏輯與處理部132a將j設為L’~CR的值,在(L’+1)×(r’+1)的矩陣M中,利用第j行覆蓋第(j+1)行。即,邏輯與處理部132a將第L’行復制到第(L’+1)行,將第(L’-1)行復制到第L’行,…,最后,將第CR行復制到第(CR+1)行。

            邏輯與處理部132a在(L’+1)×(r’+1)的矩陣M中,將第CR行第CL列的元素改寫為1,將第CR行第(CL+1)列的元素改寫為0,將第(CR+1)行第CL列的元素改寫為0,將第(CR+1)行第(CL+1)列的元素改寫為1。

            邏輯與處理部132a在節點編號I中加上1。

            邏輯與處理部132a輸出二叉樹T、(L’+1)×(r’+1)的矩陣M、處理行編號CR、節點編號I、映射ρ。

            下面,對S35b中執行的邏輯或處理進行詳細說明。

            作為輸入,邏輯或處理部132b受理二叉樹T、L’×r’的矩陣M、處理行編號CR、節點編號I、映射ρ。

            邏輯或處理部132b在L’×r’的矩陣M中追加元素全部為0的行作為第(L’+1)行。由于追加了行,因此,矩陣M成為(L’+1)×r’的矩陣。

            邏輯或處理部132b將j設為L’~CR的值,在(L’+1)×r’的矩陣M中,利用第j行覆蓋第(j+1)行。即,邏輯與處理部132a將第L’行復制到第(L’+1)行,將第(L’-1)行復制到第L’行,…,最后,將第CR行復制到第(CR+1)行。

            邏輯或處理部132b在節點編號I中加上1。

            邏輯或處理部132b輸出二叉樹T、(L’+1)×r’的矩陣M、處理行編號CR、節點編號I、映射ρ。

            下面,對S35c中執行的變量處理進行詳細說明。

            作為輸入,變量處理部132c受理二叉樹T、L’×r’的矩陣M、處理行編號CR、節點編號I、映射ρ。

            變量處理部132c在處理行編號CR與節點編號I的葉節點的變量pk之間定義以下的映射ρ。

            ρ(CR)=pk

            即,變量處理部132c在映射ρ中追加(CR,pk)。

            變量處理部132c在節點編號I中加上1。

            變量處理部132c在處理行編號CR中加上1。

            變量處理部132c輸出二叉樹T、L’×r’的矩陣M、處理行編號CR、節點編號I、映射ρ。

            在本實施方式中,關于由節點處理部130輸出的矩陣M的行中的、對相同列的元素進行相加的情況下全部列的相加結果為1的行的組合,如果與各行對應的變量為真,則邏輯式F為真。相反,關于由節點處理部130輸出的矩陣M的行中的、對相同列的元素進行相加的情況下至少一列的相加結果不為1的行的組合,即使與各行對應的變量為真,邏輯式F也為假。為了生成具有這種性質的矩陣M,在本實施方式中,進行所述根處理和節點處理。

            例如,根處理部120在邏輯式F的要素中的由二叉樹T的根表現的要素的種類為邏輯與運算符的情況下,進行S24a的處理。即,根處理部120生成第一行第一列和第二行第二列的元素為1、第一行第二列和第二行第一列的元素為0的二行二列的矩陣,作為與邏輯與運算符對應的矩陣M。

            例如,根處理部120在邏輯式F的要素中的由二叉樹T的根表現的要素的種類為邏輯或運算符的情況下,進行S24b的處理。即,根處理部120生成全部元素為1的二行一列的矩陣,作為與邏輯或運算符對應的矩陣M。

            例如,節點處理部130在邏輯式F的要素中的由具有子節點的節點表現的要素的種類為邏輯與運算符的情況下,進行S35a的處理。即,節點處理部130對矩陣M進行如下的操作,作為與邏輯與運算符對應的操作:追加新的行和列,并且將接著與變量對應的行設為第CR行,將第CR行的元素為1的列中的序數最小的列設為第CL列,將第CR行第CL列和第(CR+1)行第(CL+1)列的元素設定為1,將第CR行第(CL+1)列和第(CR+1)行第CL列的元素設定為0。

            在S35a的處理中,實質上將第CR行擴展成二行,將第(CR+1)行以后逐行向下偏移。并且,將第CL列擴展成二列,將第(CL+1)列以后逐列向右偏移。由此,能夠將擴展前的第CR行第CL列的元素轉換成與通過S24a的處理而生成的矩陣相同的二行二列的部分矩陣,并且,能夠避免擴展(即,與邏輯與運算符對應的操作)的影響波及其他元素。因此,能夠在矩陣M中適當反映由選擇出的節點表現的邏輯與運算符。

            例如,節點處理部130在邏輯式F的要素中的由具有子節點的節點表現的要素的種類為邏輯或運算符的情況下,進行S35b的處理。即,節點處理部130對矩陣M進行如下的操作,作為與邏輯或運算符對應的操作:追加新的行,并且將接著與變量對應的行設為第CR行,將第(CR+1)行的各元素設定為與第CR行的各元素相同的值。

            在S35b的處理中,實質上將第CR行擴展成二行,將第(CR+1)行以后逐行向下偏移。由此,能夠將擴展前的第CR行中值為1的元素轉換成與通過S24b的處理而生成的矩陣相同的二行一列的部分矩陣,并且,能夠避免擴展(即,與邏輯或運算符對應的操作)的影響波及其他元素。因此,能夠在矩陣M中適當反映由選擇出的節點表現的邏輯或運算符。

            這樣,根據本實施方式,能夠根據表示邏輯式F的二叉樹T高效地生成矩陣M。

            在本實施方式中,節點處理部130通過遞歸調用來執行二叉樹T的每個節點的處理。因此,能夠更加高效地生成矩陣M。

            如以上說明的那樣,本實施方式的矩陣生成方法包括接受邏輯式F的輸入的步驟、生成與邏輯式F等價的樹構造的步驟、對樹構造的根進行處理的步驟、判定樹構造的節點是否具有子節點的步驟、在節點具有子節點的情況下通過遞歸調用對子節點進行處理的步驟、在節點不具有子節點的情況下將變量與行對應起來并返回母節點的步驟。

            在該矩陣生成方法中,生成的矩陣M的元素為0或1。當對由邏輯式F成立的行構成的部分矩陣的行向量進行線性耦合時,能夠生成全部由1構成的向量。即使對由邏輯式F不成立的行構成的部分矩陣的行向量進行線性耦合,也無法生成全部由1構成的向量。

            并且,在該矩陣生成方法中,在節點為邏輯與(and)的情況下,在矩陣M中生成表示邏輯與(and)的部分矩陣。在節點為邏輯或(or)的情況下,在矩陣M中追加與處理行相同的行。

            通過使用該矩陣生成方法,能夠減小矩陣M的尺寸。并且,能夠高效地進行從邏輯式F到矩陣M的轉換處理。進而,能夠減小安裝時的程序尺寸。

            另外,在本實施方式中,能夠根據需要進行各種變更。

            例如,在本實施方式中,通過S24a、S35a的邏輯與處理生成以下的矩陣(或部分矩陣)。

            【數式3】

            但是,也可以通過S24a、S35a的邏輯與處理,生成以下的矩陣(或部分矩陣)。

            【數式4】

            并且,在本實施方式中,矩陣M由0和1構成,但是,矩陣M也可以由0和1以外的整數值或實數值構成。

            圖10是示出本實施方式中生成矩陣M的例子的圖。

            在圖10的例子中,應用圖4的例子。

            下面,參照圖8對圖10的例子中的根處理部120的各部的動作進行說明。

            在S21中,根判定部121接受表現以下的邏輯式F的二叉樹T和節點數N的輸入。

            A!=10and((B=20and C!=30)or D=40)

            具有節點的節點數N為7。二叉樹T具有以下的7個節點。

            ·節點編號1(根):邏輯與(and)

            ·節點編號2(葉節點):A!=10

            ·節點編號3:邏輯或(or)

            ·節點編號4:邏輯與(and)

            ·節點編號5(葉節點):B=20

            ·節點編號6(葉節點):C!=30

            ·節點編號7(葉節點):D=40

            在S22中,根判定部121對映射ρ進行初始化。

            在S23中,根判定部121判定為二叉樹T的根為邏輯與。流程進入S24a。

            在S24a中,邏輯與處理部122a生成以下的矩陣M。流程進入S25a。

            【數式5】

            在S25a中,邏輯與處理部122a將節點編號從1更新為2。流程進入S26。

            在S26中,處理結果輸出部123輸出矩陣M、節點編號I、映射ρ。

            下面,參照圖9對圖10的例子中的節點處理部130的各部的動作進行說明。

            在S31中,節點判定部131接受二叉樹T、節點數N、矩陣M、節點編號I、映射ρ的輸入。節點數N為7。節點編號I為2。

            在S32中,節點判定部131將處理行編號CR設定為1。

            在S33中,處理數判定部133判定為節點編號I小于節點數N(即,由于I=2、N=7,因此I≦N)。流程進入S34。

            在S34中,節點判定部131選擇與節點編號I對應的節點。節點判定部131判定為選擇出的節點為變量(A!=10)。流程進入S35c。

            在S35c中,作為輸入,變量處理部132c接受二叉樹T、2×2的矩陣M、處理行編號CR、節點編號I、映射ρ。處理行編號CR為1。節點編號I為2。

            變量處理部132c在處理行編號CR與節點編號I的葉節點的變量(A!=10)之間定義以下的映射ρ。

            ρ(1)=(A!=10)

            即,變量處理部132c在映射ρ中追加(1,(A!=10))。

            變量處理部132c將節點編號I從2更新為3。

            變量處理部132c將處理行編號CR從1更新為2。

            變量處理部132c輸出二叉樹T、2×2的矩陣M、處理行編號CR、節點編號I、映射ρ。流程返回S33。

            在S33中,處理數判定部133判定為節點編號I小于節點數N(即,由于I=3、N=7,因此I≦N)。流程進入S34。

            在S34中,節點判定部131選擇與節點編號I對應的節點。節點判定部131判定為選擇出的節點為邏輯或。流程進入S35b。

            在S35b中,作為輸入,邏輯或處理部132b接受二叉樹T、2×2的矩陣M、處理行編號CR、節點編號I、映射ρ。處理行編號CR為2。節點編號I為3。映射ρ為{(1,(A!=10))}。

            邏輯或處理部132b在2×2的矩陣M中追加元素全部為0的行作為第三行。由于追加了行,因此,矩陣M成為以下的3×2的矩陣。

            【數式6】

            邏輯或處理部132b在3×2的矩陣M中,將第二行復制到第三行。其結果是,矩陣M成為以下的矩陣。

            【數式7】

            邏輯或處理部132b將節點編號I從3更新為4。

            邏輯或處理部132b輸出二叉樹T、3×2的矩陣M、處理行編號CR、節點編號I、映射ρ。流程返回S33。

            在S33中,處理數判定部133判定為節點編號I小于節點數N(即,由于I=4、N=7,因此I≦N)。流程進入S34。

            在S36中,處理結果輸出部134從處理數判定部133接受矩陣M和映射ρ的輸入,輸出矩陣M和映射ρ。

            在S34中,節點判定部131選擇與節點編號I對應的節點。節點判定部131判定為選擇出的節點為邏輯與。流程進入S35a。

            在S35a中,作為輸入,邏輯與處理部132a受理二叉樹T、3×2的矩陣M、處理行編號CR、節點編號I、映射ρ。處理行編號CR為2。節點編號I為4。映射ρ為{(1,(A!=10))}。

            邏輯與處理部132a在3×2的矩陣M中追加元素全部為0的行作為第四行。由于追加了行,因此,矩陣M成為以下的4×2的矩陣。

            【數式8】

            邏輯與處理部132a在4×2的矩陣M中追加元素全部為0的列作為第三列。由于追加了列,因此,矩陣M成為以下的4×3的矩陣。

            【數式9】

            邏輯與處理部132a在4×3的矩陣M中,將第CR行的最左側存在1的列定義為第CL列。即,邏輯與處理部132a將CL設定為2。

            邏輯與處理部132a在4×3的矩陣M中,將第二列復制到第三列。其結果是,矩陣M成為以下的矩陣。

            【數式10】

            邏輯與處理部132a在4×3的矩陣M中,將第三行復制到第四行,將第二行復制到第三行。其結果是,矩陣M成為以下的矩陣。

            【數式11】

            邏輯與處理部132a在4×3的矩陣M中,將第CR行第CL列的元素改寫為1,將第CR行第(CL+1)列的元素改寫為0,將第(CR+1)行第CL列的元素改寫為0,將第(CR+1)行第(CL+1)列的元素改寫為1。即,邏輯與處理部132a將第二行第二列和第三行第三列的元素設定為1,將第二行第三列和第三行第二列的元素設定為0。其結果是,矩陣M成為以下的矩陣。

            【數式12】

            邏輯與處理部132a將節點編號I從4更新為5。

            邏輯與處理部132a輸出二叉樹T、4×3的矩陣M、處理行編號CR、節點編號I、映射ρ。流程返回S33。

            在S33中,處理數判定部133判定為節點編號I小于節點數N(即,由于I=5、N=7,因此I≦N)。流程進入S34。

            在S34中,節點判定部131選擇與節點編號I對應的節點。節點判定部131判定為選擇出的節點為變量(B=20)。流程進入S35c。

            在S35c中,作為輸入,變量處理部132c接受二叉樹T、4×3的矩陣M、處理行編號CR、節點編號I、映射ρ。處理行編號CR為2。節點編號I為5。映射ρ為{(1,(A!=10))}。

            變量處理部132c在處理行編號CR與節點編號I的葉節點的變量(B=20)之間定義以下的映射ρ。

            ρ(2)=(B=20)

            即,變量處理部132c在映射ρ中追加(2,(B=20))。

            變量處理部132c將節點編號I從5更新為6。

            變量處理部132c將處理行編號CR從2更新為3。

            變量處理部132c輸出二叉樹T、4×3的矩陣M、處理行編號CR、節點編號I、映射ρ。流程返回S33。

            在S33中,處理數判定部133判定為節點編號I小于節點數N(即,由于I=6、N=7,因此I≦N)。流程進入S34。

            在S34中,節點判定部131選擇與節點編號I對應的節點。節點判定部131判定為選擇出的節點為變量(C!=30)。流程進入S35c。

            在S35c中,作為輸入,變量處理部132c接受二叉樹T、4×3的矩陣M、處理行編號CR、節點編號I、映射ρ。處理行編號CR為3。節點編號I為6。映射ρ為{(1,(A!=10)),(1,(B=20))}。

            變量處理部132c在處理行編號CR與節點編號I的葉節點的變量(C!=30)之間定義以下的映射ρ。

            ρ(3)=(C!=30)

            即,變量處理部132c在映射ρ中追加(3,(C!=30))。

            變量處理部132c將節點編號I從6更新為7。

            變量處理部132c將處理行編號CR從3更新為4。

            變量處理部132c輸出二叉樹T、4×3的矩陣M、處理行編號CR、節點編號I、映射ρ。流程返回S33。

            在S33中,處理數判定部133判定為節點編號I與節點數N相同(即,由于I=7、N=7,因此I≦N)。流程進入S34。

            在S34中,節點判定部131選擇與節點編號I對應的節點。節點判定部131判定為選擇出的節點為變量(D=40)。流程進入S35c。

            在S35c中,作為輸入,變量處理部132c接受二叉樹T、4×3的矩陣M、處理行編號CR、節點編號I、映射ρ。處理行編號CR為3。節點編號I為7。映射ρ為{(1,(A!=10)),(1,(B=20)),(3,(C!=30))}。

            變量處理部132c在處理行編號CR與節點編號I的葉節點的變量(D=40)之間定義以下的映射ρ。

            ρ(4)=(D=40)

            即,變量處理部132c在映射ρ中追加(4,(D=40))。

            變量處理部132c將節點編號I從7更新為8。

            變量處理部132c將處理行編號CR從4更新為5。

            變量處理部132c輸出二叉樹T、4×3的矩陣M、處理行編號CR、節點編號I、映射ρ。流程返回S33。

            在S33中,處理數判定部133判定為節點編號I大于節點數N(即,由于I=8、N=7,因此I>N)。流程進入S36。

            在S36中,處理結果輸出部134輸出4×3的矩陣M和映射ρ。映射ρ為{(1,(A!=10)),(1,(B=20)),(3,(C!=30)),(4,(D=40))}。

            圖11是示出本發明的實施方式的矩陣生成裝置100的硬件結構的一例的圖。

            在圖11中,矩陣生成裝置100是計算機,具有輸出裝置910、輸入裝置920、存儲裝置930、處理裝置940這樣的硬件。通過矩陣生成裝置100的各部(在本發明的實施方式的說明中作為“部”進行說明的部分)來利用硬件。

            輸出裝置910例如是LCD(Liquid Crystal Display)等顯示裝置、打印機、通信模塊(通信電路等)。輸出裝置910用于供本發明的實施方式的說明中作為“部”進行說明的部分進行數據、信息、信號的輸出(發送)。

            輸入裝置920例如是鍵盤、鼠標、觸摸面板、通信模塊(通信電路等)。輸入裝置920用于供本發明的實施方式的說明中作為“部”進行說明的部分進行數據、信息、信號的輸入(接收)。

            存儲裝置930例如是ROM(Read Only Memory)、RAM(Random Access Memory)、HDD(Hard Disk Drive)、SSD(Solid State Drive)。在存儲裝置930中存儲有程序931、文件932。在程序931中包含執行本發明的實施方式的說明中作為“部”進行說明的部分的處理(功能)的程序。在文件932中包含通過本發明的實施方式的說明中作為“部”進行說明的部分進行運算、加工、讀取、寫入、利用、輸入、輸出等的數據、信息、信號(值)等。

            處理裝置940例如是CPU(Central Processing Unit)。處理裝置940經由總線等與其他硬件設備連接,對這些硬件設備進行控制。處理裝置940從存儲裝置930中讀出程序931,執行程序931。處理裝置940用于供本發明的實施方式的說明中作為“部”進行說明的部分進行運算、加工、讀取、寫入、利用、輸入、輸出等。

            關于本發明的實施方式的說明中作為“部”進行說明的部分,也可以將“部”改寫為“電路”、“裝置”、“設備”。并且,關于本發明的實施方式的說明中作為“部”進行說明的部分,也可以將“部”改寫為“工序”、“步驟”、“處理”。即,本發明的實施方式的說明中作為“部”進行說明的部分僅通過軟件來實現,僅通過硬件來實現,或者通過軟件和硬件的組合來實現。軟件作為程序931存儲在存儲裝置930中。程序931使計算機作為本發明的實施方式的說明中作為“部”進行說明的部分發揮功能。或者,程序931使計算機執行本發明的實施方式的說明中作為“部”進行說明的部分的處理。

            以上說明了本發明的實施方式,但是,也可以實施該實施方式的一部分。例如,可以僅采用該實施方式的說明中作為“部”進行說明的部分中的任意一方,也可以采用若干個任意的組合。另外,本發明不限于該實施方式,能夠根據需要進行各種變更。

            標號說明

            100:矩陣生成裝置;110:樹構造生成部;111:邏輯式輸入部;112:二叉樹生成部;113:二叉樹輸出部;120:根處理部;121:根判定部;122a:邏輯與處理部;122b:邏輯或處理部;122c:變量處理部;123:處理結果輸出部;130:節點處理部;131:節點判定部;132a:邏輯與處理部;132b:邏輯或處理部;132c:變量處理部;133:處理數判定部;134:處理結果輸出部;910:輸出裝置;920:輸入裝置;930:存儲裝置;931:程序;932:文件;940:處理裝置。

            當前第1頁1 2 3 
            網友詢問留言 已有0條留言
            • 還沒有人留言評論。精彩留言會獲得點贊!
            1
            婷婷六月激情在线综合激情,亚洲国产大片,久久中文字幕综合婷婷,精品久久久久久中文字幕,亚洲一区二区三区高清不卡,99国产精品热久久久久久夜夜嗨 ,欧美日韩亚洲综合在线一区二区,99国产精品电影,伊人精品线视天天综合,精品伊人久久久大香线蕉欧美
            亚洲精品1区 国产成人一级 91精品国产欧美一区二区 亚洲精品乱码久久久久久下载 国产精品久久久久久久伊一 九色国产 国产精品九九视频 伊人久久成人爱综合网 欧美日韩亚洲区久久综合 欧美日本一道免费一区三区 夜夜爽一区二区三区精品 欧美日韩高清一区二区三区 国产成人av在线 国产精品对白交换绿帽视频 国产视频亚洲 国产在线欧美精品 国产精品综合网 国产日韩精品欧美一区色 国产日韩精品欧美一区喷 欧美日韩在线观看区一二 国产区精品 欧美视频日韩视频 中文字幕天天躁日日躁狠狠躁97 视频一二三区 欧美高清在线精品一区二区不卡 国产精品揄拍一区二区久久 99久久综合狠狠综合久久aⅴ 亚洲乱码视频在线观看 日韩在线第二页 亚洲精品无码专区在线播放 成人亚洲网站www在线观看 欧美三级一区二区 99久久精品免费看国产高清 91麻豆国产在线观看 最新日韩欧美不卡一二三区 成人在线观看不卡 日韩国产在线 在线亚洲精品 亚洲午夜久久久久中文字幕 国产精品成人久久久久久久 精品国产一区二区在线观看 欧美精品国产一区二区三区 中文在线播放 亚洲第一页在线视频 国产午夜精品福利久久 九色国产 精品国产九九 国产永久视频 久久精品人人做人人综合试看 国产一区二区三区免费观看 亚洲精品国产电影 9999热视频 国产精品资源在线 麻豆久久婷婷国产综合五月 国产精品免费一级在线观看 亚洲国产一区二区三区青草影视 中文在线播放 国产成人综合在线 国产在线观看色 国产亚洲三级 国产片一区二区三区 久久99精品久久久久久牛牛影视 亚洲欧美日韩国产 四虎永久免费网站 国产一毛片 国产精品视频在 九九热在线精品 99精品福利视频 色婷婷色99国产综合精品 97成人精品视频在线播放 精品久久久久久中文字幕 亚洲欧美一区二区三区孕妇 亚洲欧美成人网 日韩高清在线二区 国产尤物在线观看 在线不卡一区二区 91网站在线看 韩国精品福利一区二区 欧美日韩国产成人精品 99热精品久久 国产精品免费视频一区 高清视频一区 精品九九久久 欧美日韩在线观看免费 91欧美激情一区二区三区成人 99福利视频 亚洲国产精品91 久热国产在线 精品久久久久久中文字幕女 国产精品久久久久久久久99热 成人自拍视频网 国产精品视频久久久久久 久久影院国产 国产玖玖在线观看 99精品在线免费 亚洲欧美一区二区三区导航 久久久久久久综合 国产欧美日韩精品高清二区综合区 国产精品视频自拍 亚洲一级片免费 久久久久久九九 国产欧美自拍视频 视频一区二区在线观看 欧美日韩一区二区三区久久 中文在线亚洲 伊人热人久久中文字幕 日韩欧美亚洲国产一区二区三区 欧美亚洲国产成人高清在线 欧美日韩国产码高清综合人成 国产性大片免费播放网站 亚洲午夜综合网 91精品久久一区二区三区 国产无套在线播放 国产精品视频网站 国产成人亚洲精品老王 91在线网站 国产视频97 欧美黑人欧美精品刺激 国产一区二区三区免费在线视频 久久久国产精品免费看 99re6久精品国产首页 久久精品91 国产成人一级 国产成人精品曰本亚洲 日本福利在线观看 伊人成综合网 久久综合一本 国产综合久久久久久 久久精品成人免费看 久久福利 91精品国产91久久久久久麻豆 亚洲精品成人在线 亚洲伊人久久精品 欧美日本二区 国产永久视频 国产一区二 一区二区福利 国产一毛片 亚洲精品1区 毛片一区二区三区 伊人久久大香线蕉综合影 国产欧美在线观看一区 亚洲国产欧洲综合997久久 国产一区二区免费视频 国产91精品对白露脸全集观看 久久亚洲国产伦理 欧美成人伊人久久综合网 亚洲性久久久影院 久久99国产精一区二区三区! 91精品国产欧美一区二区 欧美日韩亚洲区久久综合 日韩精品一二三区 久久久夜色精品国产噜噜 国产在线精品福利91香蕉 久久久久久久亚洲精品 97se色综合一区二区二区 91国语精品自产拍在线观看性色 91久久国产综合精品女同我 日韩中文字幕a 国产成人亚洲日本精品 久久国产精品-国产精品 久久国产经典视频 久久国产精品伦理 亚洲第一页在线视频 国产精品久久久久三级 日韩毛片网 久久免费高清视频 麻豆国产在线观看一区二区 91麻豆国产福利在线观看 国产成人精品男人的天堂538 一区二区三区中文字幕 免费在线视频一区 欧美日韩国产成人精品 国产综合网站 国产资源免费观看 亚洲精品亚洲人成在线播放 精品久久久久久中文字幕专区 亚洲人成人毛片无遮挡 国产一起色一起爱 国产香蕉精品视频在 九九热免费观看 日韩亚洲欧美一区 九九热精品在线观看 精品久久久久久中文字幕专区 亚洲欧美自拍偷拍 国产精品每日更新 久久久久国产一级毛片高清板 久久天天躁狠狠躁夜夜中文字幕 久久精品片 日韩在线毛片 国产成人精品本亚洲 国产成人精品一区二区三区 九九热在线观看 国产r级在线观看 国产欧美日韩精品高清二区综合区 韩国电影一区二区 国产精品毛片va一区二区三区 五月婷婷伊人网 久久一区二区三区免费 一本色道久久综合狠狠躁篇 亚洲综合色站 国产尤物在线观看 亚洲一区亚洲二区 免费在线视频一区 欧洲精品视频在线观看 日韩中文字幕a 中文字幕日本在线mv视频精品 91精品在线免费视频 精品国产免费人成在线观看 精品a级片 中文字幕日本在线mv视频精品 日韩在线精品视频 婷婷丁香色 91精品国产高清久久久久 国产成人精品日本亚洲直接 五月综合视频 欧美日韩在线亚洲国产人 精液呈暗黄色 亚洲乱码一区 久久精品中文字幕不卡一二区 亚洲天堂精品在线 激情婷婷综合 国产免费久久精品久久久 国产精品亚洲二区在线 久久免费播放视频 五月婷婷丁香综合 在线亚洲欧美日韩 久久免费精品高清麻豆 精品久久久久久中文字幕 亚洲一区网站 国产精品福利社 日韩中文字幕免费 亚洲综合丝袜 91精品在线播放 国产精品18 亚洲日日夜夜 伊人久久大香线蕉综合影 亚洲精品中文字幕乱码影院 亚洲一区二区黄色 亚洲第一页在线视频 一区二区在线观看视频 国产成人福利精品视频 亚洲高清二区 国内成人免费视频 精品亚洲性xxx久久久 国产精品合集一区二区三区 97av免费视频 国产一起色一起爱 国产区久久 国产资源免费观看 99精品视频免费 国产成人一级 国产精品九九免费视频 欧美91精品久久久久网免费 99热国产免费 久久精品色 98精品国产综合久久 久久精品播放 中文字幕视频免费 国产欧美日韩一区二区三区在线 精品久久蜜桃 国产小视频精品 一本色道久久综合狠狠躁篇 91在线免费观看 亚洲精品区 伊人成综合网 伊人热人久久中文字幕 伊人黄色片 99国产精品热久久久久久夜夜嗨 久久免费精品视频 亚洲一区二区三区高清不卡 久久久久国产一级毛片高清板 国产片一区二区三区 久久狠狠干 99久久婷婷国产综合精品电影 国产99区 国产精品成人久久久久 久久狠狠干 青青国产在线观看 亚洲高清国产拍精品影院 国产精品一区二区av 九九热在线免费视频 伊人久久国产 国产精品久久久久久久久久一区 在线观看免费视频一区 国产精品自在在线午夜区app 国产精品综合色区在线观看 国产毛片久久久久久国产毛片 97国产免费全部免费观看 国产精品每日更新 国产尤物视频在线 九九视频这里只有精品99 一本一道久久a久久精品综合 久久综合给会久久狠狠狠 国产成人精品男人的天堂538 欧美一区二区高清 毛片一区二区三区 国产欧美日韩在线观看一区二区三区 在线国产二区 欧美不卡网 91在线精品中文字幕 在线国产福利 国内精品91久久久久 91亚洲福利 日韩欧美国产中文字幕 91久久精品国产性色也91久久 亚洲性久久久影院 欧美精品1区 国产热re99久久6国产精品 九九热免费观看 国产精品欧美日韩 久久久久国产一级毛片高清板 久久国产经典视频 日韩欧美亚洲国产一区二区三区 欧美亚洲综合另类在线观看 国产精品自在在线午夜区app 97中文字幕在线观看 视频一二三区 精品国产一区在线观看 国产欧美日韩在线一区二区不卡 欧美一区二三区 伊人成人在线观看 国内精品91久久久久 97在线亚洲 国产在线不卡一区 久久久全免费全集一级全黄片 国产精品v欧美精品∨日韩 亚洲毛片网站 在线不卡一区二区 99re热在线视频 久久激情网 国产毛片一区二区三区精品 久久亚洲综合色 中文字幕视频免费 国产视频亚洲 婷婷伊人久久 国产一区二区免费播放 久久99国产精品成人欧美 99国产在线视频 国产成人免费视频精品一区二区 国产不卡一区二区三区免费视 国产码欧美日韩高清综合一区 久久精品国产主播一区二区 国产一区电影 久久精品国产夜色 国产精品国产三级国产 日韩一区二区三区在线 久久97久久97精品免视看 久久国产免费一区二区三区 伊人久久大香线蕉综合电影网 99re6久精品国产首页 久久激情网 亚洲成人高清在线 国产精品网址 国产成人精品男人的天堂538 香蕉国产综合久久猫咪 国产专区中文字幕 91麻豆精品国产高清在线 久久国产经典视频 国产精品成人va在线观看 国产精品爱啪在线线免费观看 日本精品久久久久久久久免费 亚洲综合一区二区三区 久久五月网 精品国产网红福利在线观看 久久综合亚洲伊人色 亚洲国产精品久久久久久网站 在线日韩国产 99国产精品热久久久久久夜夜嗨 国产综合精品在线 国产区福利 精品亚洲综合久久中文字幕 国产制服丝袜在线 毛片在线播放网站 在线观看免费视频一区 国产精品久久久精品三级 亚洲国产电影在线观看 最新日韩欧美不卡一二三区 狠狠综合久久综合鬼色 日本精品1在线区 国产日韩一区二区三区在线播放 欧美日韩精品在线播放 亚洲欧美日韩国产一区二区三区精品 久久综合久久网 婷婷六月激情在线综合激情 亚洲乱码一区 国产专区91 97av视频在线观看 精品久久久久久中文字幕 久久五月视频 国产成人福利精品视频 国产精品网址 中文字幕视频在线 精品一区二区三区免费视频 伊人手机在线视频 亚洲精品中文字幕乱码 国产在线视频www色 色噜噜国产精品视频一区二区 精品亚洲成a人在线观看 国产香蕉尹人综合在线 成人免费一区二区三区在线观看 国产不卡一区二区三区免费视 欧美精品久久天天躁 国产专区中文字幕 久久精品国产免费中文 久久精品国产免费一区 久久无码精品一区二区三区 国产欧美另类久久久精品免费 欧美精品久久天天躁 亚洲精品在线视频 国产视频91在线 91精品福利一区二区三区野战 日韩中文字幕免费 国产精品99一区二区三区 欧美成人高清性色生活 国产精品系列在线观看 亚洲国产福利精品一区二区 国产成人在线小视频 国产精品久久久久免费 99re热在线视频 久久久久久久综合 一区二区国产在线播放 成人国产在线视频 亚洲精品乱码久久久久 欧美日韩一区二区综合 精品久久久久免费极品大片 中文字幕视频二区 激情粉嫩精品国产尤物 国产成人精品一区二区视频 久久精品中文字幕首页 亚洲高清在线 国产精品亚洲一区二区三区 伊人久久艹 中文在线亚洲 国产精品一区二区在线播放 国产精品九九免费视频 亚洲二区在线播放 亚洲狠狠婷婷综合久久久久网站 亚洲欧美日韩网站 日韩成人精品 亚洲国产一区二区三区青草影视 91精品国产福利在线观看 国产精品久久久久久久久99热 国产一区二区精品尤物 久碰香蕉精品视频在线观看 亚洲日日夜夜 在线不卡一区二区 国产午夜亚洲精品 九九热在线视频观看这里只有精品 伊人手机在线视频 91免费国产精品 日韩欧美中字 91精品国产91久久久久 国产全黄三级播放 视频一区二区三区免费观看 国产开裆丝袜高跟在线观看 国产成人欧美 激情综合丝袜美女一区二区 国产成人亚洲综合无 欧美精品一区二区三区免费观看 欧美亚洲国产日韩 日韩亚州 国产欧美日韩精品高清二区综合区 亚洲午夜国产片在线观看 精品久久久久久中文字幕 欧美精品1区 久久伊人久久亚洲综合 亚洲欧美日韩精品 国产成人精品久久亚洲高清不卡 久久福利影视 国产精品99精品久久免费 久久久久免费精品视频 国产日产亚洲精品 亚洲国产午夜电影在线入口 精品无码一区在线观看 午夜国产精品视频 亚洲一级片免费 伊人久久大香线蕉综合影 国产精品久久影院 久碰香蕉精品视频在线观看 www.欧美精品 在线小视频国产 亚洲国产天堂久久综合图区 欧美一区二区三区不卡 日韩美女福利视频 九九精品免视频国产成人 不卡国产00高中生在线视频 亚洲第一页在线视频 欧美日韩在线播放成人 99re视频这里只有精品 国产精品91在线 精品乱码一区二区三区在线 国产区久久 91麻豆精品国产自产在线观看一区 日韩精品成人在线 九九热在线观看 国产精品久久不卡日韩美女 欧美一区二区三区综合色视频 欧美精品免费一区欧美久久优播 国产精品网址 国产专区中文字幕 国产精品欧美亚洲韩国日本久久 日韩美香港a一级毛片 久久精品123 欧美一区二区三区免费看 99r在线视频 亚洲精品国产字幕久久vr 国产综合激情在线亚洲第一页 91免费国产精品 日韩免费小视频 亚洲国产精品综合一区在线 国产亚洲第一伦理第一区 在线亚洲精品 国产精品一区二区制服丝袜 国产在线成人精品 九九精品免视频国产成人 亚洲国产网 欧美日韩亚洲一区二区三区在线观看 在线亚洲精品 欧美一区二区三区高清视频 国产成人精品男人的天堂538 欧美日韩在线观看区一二 亚洲欧美一区二区久久 久久精品中文字幕首页 日本高清www午夜视频 久久精品国产免费 久久999精品 亚洲国产精品欧美综合 88国产精品视频一区二区三区 91久久偷偷做嫩草影院免费看 国产精品夜色视频一区二区 欧美日韩导航 国产成人啪精品午夜在线播放 一区二区视频在线免费观看 99久久精品国产自免费 精液呈暗黄色 久久99国产精品 日本精品久久久久久久久免费 精品国产97在线观看 99re视频这里只有精品 国产视频91在线 999av视频 亚洲美女视频一区二区三区 久久97久久97精品免视看 亚洲国产成人久久三区 99久久亚洲国产高清观看 日韩毛片在线视频 综合激情在线 91福利一区二区在线观看 一区二区视频在线免费观看 激情粉嫩精品国产尤物 国产成人精品曰本亚洲78 国产成人精品本亚洲 国产精品成人免费视频 国产成人啪精品视频免费软件 久久精品国产亚洲妲己影院 国产精品成人久久久久久久 久久大香线蕉综合爱 欧美一区二区三区高清视频 99热国产免费 在线观看欧美国产 91精品视频在线播放 国产精品福利社 欧美精品一区二区三区免费观看 国产一区二区免费视频 国产午夜精品一区二区 精品视频在线观看97 91精品福利久久久 国产一区福利 国产综合激情在线亚洲第一页 国产精品久久久久久久久久久不卡 九色国产 在线日韩国产 黄网在线观看 亚洲一区小说区中文字幕 中文字幕丝袜 日本二区在线观看 日本国产一区在线观看 欧美日韩一区二区三区久久 欧美精品亚洲精品日韩专 国产日产亚洲精品 久久综合九色综合欧美播 亚洲国产欧美无圣光一区 欧美视频区 亚洲乱码视频在线观看 久久无码精品一区二区三区 九九热精品免费视频 久久99精品久久久久久牛牛影视 国产精品成久久久久三级 国产一区福利 午夜国产精品视频 日本二区在线观看 99久久网站 国产亚洲天堂 精品国产一区二区三区不卡 亚洲国产日韩在线一区 国产成人综合在线观看网站 久久免费高清视频 欧美在线导航 午夜精品久久久久久99热7777 欧美久久综合网 国产小视频精品 国产尤物在线观看 亚洲国产精品综合一区在线 欧美一区二区三区不卡视频 欧美黑人欧美精品刺激 日本福利在线观看 久久国产偷 国产手机精品一区二区 国产热re99久久6国产精品 国产高清啪啪 欧美亚洲国产成人高清在线 国产在线第三页 亚洲综合一区二区三区 99r在线视频 99精品久久久久久久婷婷 国产精品乱码免费一区二区 国产在线精品福利91香蕉 国产尤物视频在线 五月婷婷亚洲 中文字幕久久综合伊人 亚洲精品一级毛片 99国产精品电影 在线视频第一页 久久99国产精品成人欧美 国产白白视频在线观看2 成人精品一区二区www 亚洲成人网在线观看 麻豆91在线视频 色综合合久久天天综合绕视看 久久精品国产免费高清 国产不卡一区二区三区免费视 欧美国产中文 99精品欧美 九九在线精品 国产中文字幕在线免费观看 国产一区中文字幕在线观看 国产成人一级 国产精品一区二区制服丝袜 国产一起色一起爱 亚洲精品成人在线 亚洲欧美精品在线 国产欧美自拍视频 99精品久久久久久久婷婷 久99视频 国产热re99久久6国产精品 视频一区亚洲 国产精品视频分类 国产精品成在线观看 99re6久精品国产首页 亚洲在成人网在线看 亚洲国产日韩在线一区 久久国产三级 日韩国产欧美 欧美在线一区二区三区 国产精品美女一级在线观看 成人午夜免费福利视频 亚洲天堂精品在线 91精品国产手机 欧美日韩视频在线播放 狠狠综合久久综合鬼色 九一色视频 青青视频国产 亚洲欧美自拍一区 中文字幕天天躁日日躁狠狠躁97 日韩免费大片 996热视频 伊人成综合网 亚洲天堂欧美 日韩精品亚洲人成在线观看 久久综合给会久久狠狠狠 日韩精品亚洲人成在线观看 日韩国产欧美 亚洲成aⅴ人片在线影院八 亚洲精品1区 99久久精品免费 国产精品高清在线观看 国产精品久久久免费视频 在线亚洲欧美日韩 91在线看视频 国产精品96久久久久久久 欧美日韩国产成人精品 91在线亚洲 热久久亚洲 国产精品美女免费视频观看 日韩在线毛片 亚洲永久免费视频 九九免费在线视频 亚洲一区网站 日本高清二区视频久二区 精品国产美女福利在线 伊人久久艹 国产精品久久久久三级 欧美成人精品第一区二区三区 99久久精品国产自免费 在线观看日韩一区 国产中文字幕一区 成人免费午夜视频 欧美日韩另类在线 久久99国产精品成人欧美 色婷婷中文网 久久天天躁夜夜躁狠狠躁2020 欧美成人伊人久久综合网 国产精品福利资源在线 国产伦精品一区二区三区高清 国产精品亚洲综合色区韩国 亚洲一区欧美日韩 色综合视频 国语自产精品视频在线区 国产高清a 成人国内精品久久久久影 国产在线精品香蕉综合网一区 国产不卡在线看 国产成人精品精品欧美 国产欧美日韩综合精品一区二区三区 韩国电影一区二区 国产在线视频www色 91中文字幕在线一区 国产人成午夜免视频网站 亚洲综合一区二区三区 色综合视频一区二区观看 久久五月网 九九热精品在线观看 国产一区二区三区国产精品 99久热re在线精品996热视频 亚洲国产网 在线视频亚洲一区 日韩字幕一中文在线综合 国产高清一级毛片在线不卡 精品国产色在线 国产高清视频一区二区 精品日本久久久久久久久久 亚洲国产午夜精品乱码 成人免费国产gav视频在线 日韩欧美一区二区在线观看 欧美曰批人成在线观看 韩国电影一区二区 99re这里只有精品6 日韩精品一区二区三区视频 99re6久精品国产首页 亚洲欧美一区二区三区导航 欧美色图一区二区三区 午夜精品视频在线观看 欧美激情在线观看一区二区三区 亚洲热在线 成人国产精品一区二区网站 亚洲一级毛片在线播放 亚洲一区小说区中文字幕 亚洲午夜久久久久影院 国产自产v一区二区三区c 国产精品视频免费 久久调教视频 国产成人91激情在线播放 国产精品欧美亚洲韩国日本久久 久久亚洲日本不卡一区二区 91中文字幕网 成人国产在线视频 国产视频91在线 欧美成人精品第一区二区三区 国产精品福利在线 久久综合九色综合精品 欧美一区二区三区精品 久久国产综合尤物免费观看 久久99青青久久99久久 日韩精品免费 久久国产精品999 91亚洲视频在线观看 国产精品igao视频 色综合区 在线亚洲欧国产精品专区 国产一区二区三区在线观看视频 亚洲精品成人在线 一区二区国产在线播放 中文在线亚洲 亚洲精品第一国产综合野 国产一区二区精品久久 一区二区三区四区精品视频 99热精品久久 中文字幕视频二区 国产成人精品男人的天堂538 99精品影视 美女福利视频一区二区 久久午夜夜伦伦鲁鲁片 综合久久久久久久综合网 国产精品国产欧美综合一区 国产99视频在线观看 国产亚洲女在线精品 婷婷影院在线综合免费视频 国产亚洲3p一区二区三区 91成人爽a毛片一区二区 亚洲一区二区高清 国产欧美亚洲精品第二区首页 欧美日韩导航 亚洲高清二区 欧美激情观看一区二区久久 日韩毛片在线播放 亚洲欧美日韩高清中文在线 亚洲日本在线播放 国产精品一区二区制服丝袜 精品国产一区二区三区不卡 国产不卡在线看 国产欧美网站 四虎永久在线观看视频精品 国产黄色片在线观看 夜夜综合 一本色道久久综合狠狠躁篇 欧美亚洲综合另类在线观看 国产91在线看 伊人久久国产 欧美一区二区在线观看免费网站 国产精品久久久久三级 久久福利 日韩中文字幕a 亚洲午夜久久久久影院 91在线高清视频 国产亚洲一区二区三区啪 久久人精品 国产精品亚洲午夜一区二区三区 综合久久久久久 久久伊人一区二区三区四区 国产综合久久久久久 日韩一区精品视频在线看 国产精品日韩欧美制服 日本精品1在线区 99re视频 无码av免费一区二区三区试看 国产视频1区 日韩欧美中文字幕一区 日本高清中文字幕一区二区三区a 亚洲国产欧美无圣光一区 国产在线视频一区二区三区 欧美国产第一页 在线亚洲欧美日韩 日韩中文字幕第一页 在线不卡一区二区 伊人久久青青 国产精品一区二区在线播放 www.五月婷婷 麻豆久久婷婷国产综合五月 亚洲精品区 久久国产欧美另类久久久 99在线视频免费 伊人久久中文字幕久久cm 久久精品成人免费看 久久这里只有精品首页 88国产精品视频一区二区三区 中文字幕日本在线mv视频精品 国产在线精品成人一区二区三区 伊人精品线视天天综合 亚洲一区二区黄色 国产尤物视频在线 亚洲精品99久久久久中文字幕 国产一区二区三区免费观看 伊人久久大香线蕉综合电影网 国产成人精品区在线观看 日本精品一区二区三区视频 日韩高清在线二区 久久免费播放视频 一区二区成人国产精品 国产精品免费精品自在线观看 亚洲精品视频二区 麻豆国产精品有码在线观看 精品日本一区二区 亚洲欧洲久久 久久中文字幕综合婷婷 中文字幕视频在线 国产成人精品综合在线观看 91精品国产91久久久久福利 精液呈暗黄色 香蕉国产综合久久猫咪 国产专区精品 亚洲精品无码不卡 国产永久视频 亚洲成a人片在线播放观看国产 一区二区国产在线播放 亚洲一区二区黄色 欧美日韩在线观看视频 亚洲精品另类 久久国产综合尤物免费观看 国产一区二区三区国产精品 高清视频一区 国产精品igao视频 国产精品资源在线 久久综合精品国产一区二区三区 www.五月婷婷 精品色综合 99热国产免费 麻豆福利影院 亚洲伊人久久大香线蕉苏妲己 久久电影院久久国产 久久精品伊人 在线日韩理论午夜中文电影 亚洲国产欧洲综合997久久 伊人国产精品 久草国产精品 欧美一区精品二区三区 亚洲成人高清在线 91免费国产精品 日韩精品福利在线 国产一线在线观看 国产不卡在线看 久久99青青久久99久久 亚洲精品亚洲人成在线播放 99久久免费看国产精品 国产日本在线观看 青草国产在线视频 麻豆久久婷婷国产综合五月 国产中文字幕一区 91久久精品国产性色也91久久 国产一区a 国产欧美日韩成人 国产亚洲女在线精品 一区二区美女 中文字幕在线2021一区 在线小视频国产 久久这里只有精品首页 国产在线第三页 欧美日韩中文字幕 在线亚洲+欧美+日本专区 精品国产一区二区三区不卡 久久这里精品 欧美在线va在线播放 精液呈暗黄色 91精品国产手机 91在线免费播放 欧美视频亚洲色图 欧美国产日韩精品 日韩高清不卡在线 精品视频免费观看 欧美日韩一区二区三区四区 国产欧美亚洲精品第二区首页 亚洲韩精品欧美一区二区三区 国产精品视频免费 在线精品小视频 久久午夜夜伦伦鲁鲁片 国产无套在线播放 久热这里只精品99re8久 欧美久久久久 久久香蕉国产线看观看精品蕉 国产成人精品男人的天堂538 亚洲人成网站色7799在线观看 日韩在线第二页 一本色道久久综合狠狠躁篇 国产一区二区三区不卡在线观看 亚洲乱码在线 在线观看欧美国产 久久福利青草精品资源站免费 国产玖玖在线观看 在线亚洲精品 亚洲成aⅴ人在线观看 精品91在线 欧美一区二三区 日韩中文字幕视频在线 日本成人一区二区 日韩免费专区 国内精品在线观看视频 久久国产综合尤物免费观看 国产精品系列在线观看 一本一道久久a久久精品综合 亚洲免费播放 久久精品国产免费 久久人精品 亚洲毛片网站 亚洲成a人一区二区三区 韩国福利一区二区三区高清视频 亚洲精品天堂在线 一区二区三区中文字幕 亚洲国产色婷婷精品综合在线观看 亚洲国产成人久久笫一页 999国产视频 国产精品香港三级在线电影 欧美日韩一区二区三区四区 日韩国产欧美 国产精品99一区二区三区 午夜国产精品理论片久久影院 亚洲精品中文字幕麻豆 亚洲国产高清视频 久久免费手机视频 日韩a在线观看 五月婷婷亚洲 亚洲精品中文字幕麻豆 中文字幕丝袜 www国产精品 亚洲天堂精品在线 亚洲乱码一区 国产日韩欧美三级 久久999精品 伊人热人久久中文字幕 久热国产在线视频 国产欧美日韩在线观看一区二区三区 国产一二三区在线 日韩国产欧美 91精品国产91久久久久 亚洲一区小说区中文字幕 精品一区二区免费视频 国产精品视频免费 国产精品亚洲综合色区韩国 亚洲国产精品成人午夜在线观看 欧美国产日韩精品 中文字幕精品一区二区精品