• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    SAT問題子句消去法快速求解

    2017-01-20 02:05:49姜詠江陳躍
    關(guān)鍵詞:子句位數(shù)復(fù)雜度

    姜詠江,陳躍

    (1. 對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué)離退休處,北京朝陽(yáng),100013;2. 西安交通大學(xué),陜西西安,710000)

    SAT問題子句消去法快速求解

    姜詠江1,陳躍2

    (1. 對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué)離退休處,北京朝陽(yáng),100013;2. 西安交通大學(xué),陜西西安,710000)

    布爾可滿足性問題(SAT)是最基本的NPC問題,直接涉及到集成電路設(shè)計(jì)優(yōu)化、生物基因、人工智能、互聯(lián)網(wǎng)等諸多領(lǐng)域的快速計(jì)算。給出了一種子句消去法,運(yùn)用限位數(shù)、子句塊和關(guān)聯(lián)段等概念,探索出了用確定法則快速求出SAT滿足解的計(jì)算方法,為純離散變量計(jì)算找到了一種新途徑。

    SAT問題;限位數(shù);子句消去法;子句塊;關(guān)聯(lián)段;多項(xiàng)式時(shí)間復(fù)雜度

    引言

    P/NP問題是世界難題。這個(gè)問題最早要追溯到上個(gè)世紀(jì)50年代[1],是由數(shù)學(xué)家?guī)鞝柼亍じ绲聽栂蛴?jì)算機(jī)發(fā)明人之一馮·諾依曼提出的。1971年,斯提芬·庫(kù)克給出了NP類問題的定義[2],并指出:只要NP-complete一類問題其中之一存在多項(xiàng)式時(shí)間復(fù)雜度算法,就可以認(rèn)定NP=P。斯提芬·庫(kù)克的觀點(diǎn)已被學(xué)術(shù)界廣泛接受[3]。

    SAT問題被認(rèn)為是NP-complete一類問題中最基本的問題[4],直接涉及到集成電路設(shè)計(jì)優(yōu)化、生物基因、人工智能、互聯(lián)網(wǎng)等諸多領(lǐng)域的快速計(jì)算,但以往沒有學(xué)者找到SAT的多項(xiàng)式時(shí)間復(fù)雜度的快速算法。本文給出的子句消去法能夠快速準(zhǔn)確地求出SAT滿足解。

    1 SAT問題與限位數(shù)

    SAT問題可以用數(shù)碼0和1來表示,這與限位數(shù)理論關(guān)系密切。

    1.1 SAT問題定義

    “邏輯變量和變量非形式組成的多項(xiàng)式若干個(gè),求它們與運(yùn)算結(jié)果為真的解問題”就是SAT問題,每個(gè)邏輯多項(xiàng)式叫子句。嚴(yán)格定義如下:

    1.2 SAT問題的0和1表示

    合取范式CNF可用數(shù)碼“0”表示xij',用“1”表示xij。那么,式(1)的CNF就可通過表1的形式來表達(dá)。

    表 1 CNF的0和1表示

    表1的表頭是邏輯變量,每一行是一個(gè)子句。子句與子句之間是邏輯與運(yùn)算的關(guān)系,子句的列與列之間是邏輯或的關(guān)系。每列的0和1為表頭邏輯變量的表現(xiàn)值。

    從表1可以看到,只要將邏輯變量設(shè)定為0(或1),那么這個(gè)變量所在的一列表現(xiàn)值為0(或1)的子句的邏輯值一定是1。那么就可以將這些值為1的子句消去,剩下的部分不會(huì)影響到CNF=1的繼續(xù)求解。將CNF的所有變量均如此設(shè)定后,如果沒有子句剩下,那么就可以斷定設(shè)定的變量值全體即是CNF=1的一個(gè)滿足解??上У氖牵@種設(shè)定方法具有隨機(jī)性,并不能一次性確定出CNF=1的解。這需要一套準(zhǔn)確無誤設(shè)定變量值的方法,才能保證其不具有隨機(jī)性。為此,需要找出CNF的特有結(jié)構(gòu)關(guān)系。

    定義2 變量相同的子句組成子句塊,這些變量所有可能子句組成的子句塊稱作完全塊。

    1.3 限位數(shù)與子句塊

    位數(shù)一定的數(shù)稱作限位數(shù)。限位數(shù)的無效0不能省略[5]。易知k位二進(jìn)制數(shù)共有2k個(gè)。顯然,k個(gè)變量組成的完全塊共有2k個(gè)子句,超過這個(gè)數(shù)就會(huì)出現(xiàn)子句重復(fù)。

    表2是3位二進(jìn)制完全塊,共有8個(gè)子句。

    表2 3位完全塊

    定理1 完全塊CNF=1無解。

    證明:不失一般性,從表2容易看出,k位完全塊每一個(gè)變量的0和1表現(xiàn)值都有2k-1個(gè)。這一特征表明,無論如何設(shè)定完全塊邏輯變量的值,都不可能使所有的子句值為1,即總有值為0的子句。證畢。

    進(jìn)一步分析完全塊,可見每一個(gè)子句都有一個(gè)反碼數(shù),這樣的兩個(gè)子句就稱作互反子句。容易知道,不是互反子句至少有一位數(shù)碼相同。因此,子句塊中不存在反子句的子句表現(xiàn)值一定能將這個(gè)子句塊的全部子句消去。還可見,如果非完全塊有一個(gè)變量有2k-1個(gè)0或1,這個(gè)變量不設(shè)定這個(gè)表現(xiàn)值,那么就剩下了k-1個(gè)變量的完全塊,就會(huì)造成無法設(shè)定變量值使得CNF=1。

    定義3 變量只有一個(gè)值不使CNF=1無解,這個(gè)值稱作變量唯一解。

    定理2 非完全塊的變量有2k-1個(gè)0(或1)表現(xiàn)值是變量唯一解。

    證明:不失一般性,從表2容易看出,k位非完全塊變量有2k-1個(gè)0(或1)表現(xiàn)值。若設(shè)定0(或1)為這個(gè)變量值,那么這個(gè)變量的表現(xiàn)值為1(或0)的子句,不考慮這個(gè)變量不構(gòu)成完全塊,反之,為0(或1)子句就構(gòu)成完全塊。因此,變量的2k-1個(gè)0(或1)表現(xiàn)值是變量唯一解。證畢。

    定義4 子句塊通過相同變量關(guān)聯(lián)組成關(guān)聯(lián)段。

    定義5 設(shè)定變量值,依據(jù)定理2消去子句,若關(guān)聯(lián)段剩余子句塊沒有變量矛盾值,則稱設(shè)定值為這個(gè)變量的可選解。

    表3是依據(jù)定理2,對(duì)表1設(shè)定x9=1,x10=0消去相關(guān)子句后,得到的剩余部分(淺灰色列已設(shè)定)。這部分均沒有子句塊的變量唯一解,于是需要測(cè)試變量的可選解。

    令x1=1,考慮消去子句(橫向紋理所示)后,出現(xiàn)x3在子句塊x2x3中有唯一解0,而在子句塊x3x4中有唯一解1,如此一來,無論如何都不可能確定x3的值使CNF=1。說明x1沒有可選解1。

    表3 x1=1不是可選解

    再對(duì)x1測(cè)試可選解0,沒有出現(xiàn)變量值矛盾的情況。說明0是變量x1的唯一解。設(shè)定x1=0,消去相關(guān)的子句,就得到了可以繼續(xù)求解的表4。

    表4 設(shè)定變量唯一解消去子句

    2 子句消去法求解與驗(yàn)證

    有了變量唯一解和變量可選解的概念,就可以通過先設(shè)定它們的值,求出CNF=1的滿足解。

    2.1 基本規(guī)則

    用子句消去法求CNF=1的滿足解要用到兩條規(guī)則。

    規(guī)則1:子句塊變量有唯一解必須首先設(shè)定。

    依據(jù)定理2,表1中的子句塊x10和子句塊x8x9有唯一解x10=0和x9=1,消去值為1的那些子句,就得到表3(不包括左上角的x1=1)。

    規(guī)則2:變量有唯一可選解必須優(yōu)先設(shè)定。

    通過表3對(duì)x1=1的檢測(cè)可知,1不是這個(gè)變量的可選解。同理檢測(cè)可知x1=0是可選解。則設(shè)定x1=0,消去相關(guān)子句,得到表4后還可繼續(xù)求解。

    2.2 快速判定可選解

    表4中剩下的子句塊中沒有變量唯一解,需要像測(cè)試x1一樣,檢查這些變量是否有唯一可選解。這個(gè)過程實(shí)際上無需檢測(cè)所有變量。

    引理1 若非完全塊中沒有變量唯一解,則至少?zèng)]有一對(duì)互反子句。

    證明:在k個(gè)變量的非完全塊中,沒有變量唯一解也即無任一變量有2k-1個(gè)相同表現(xiàn)值,從完全塊可知,這至少要有一對(duì)互反子句不存在方可。

    引理2 不在子句塊中互反子句的任意一個(gè)作為塊變量值,都可使子句塊的全部子句值為1。

    證明:因?yàn)樽泳鋲K中的子句都不是這對(duì)互反子句的反子句,那么至少有一個(gè)位置的數(shù)碼與它們相同。因而用這對(duì)互反子句的任意一個(gè)作為子句塊變量設(shè)定值,都可使子句塊的全部子句值為1。

    引理3 CNF=1有解,這個(gè)解也是子集的解。

    證明:顯然,CNF=1的解使每個(gè)子句值為1,因而這個(gè)CNF的子集子句的值也都是1。

    定義6 檢測(cè)變量可選解所涉及的關(guān)聯(lián)段稱為變量關(guān)聯(lián)段。

    定理3 沒有變量唯一解的非完全塊,非關(guān)聯(lián)變量都有2個(gè)可選解。

    證明:根據(jù)引理1,沒有變量唯一解的非完全塊,一定有互反子句能夠消去這個(gè)子句塊的全部子句。那么,非關(guān)聯(lián)變量不論設(shè)定0或1值,都只消去本子句塊的子句,與其它子句塊無關(guān),因而不會(huì)出現(xiàn)剩余完全塊,知此定理成立。

    定理3減少了要判斷可選解變量的數(shù)量,提高了計(jì)算速度。

    定理4 每個(gè)變量都有2個(gè)可選解的CNF,任選一個(gè)變量設(shè)定值,消去剩余子句塊變量唯一解子句,最終可得CNF=1的解。

    證明:根據(jù)變量關(guān)聯(lián)段的定義,設(shè)定一個(gè)變量可選解,消去一些子句,未被消去變量的關(guān)聯(lián)段剩下了原變量關(guān)聯(lián)段的子集,依據(jù)引理3,這并不影響剩余變量的可選解數(shù)量。因而可再如此設(shè)定剩余變量的值,消去相關(guān)子句,最終可得CNF=1的滿足解。

    2.3 子句消去法解題

    根據(jù)規(guī)則1和規(guī)則2,以及定理4,很容易計(jì)算出SAT的滿足解。作為例子,繼續(xù)計(jì)算最初表1給出的CNF=1的滿足解。

    通過檢驗(yàn)知,關(guān)聯(lián)變量x3和x6都有2個(gè)可選解。則依據(jù)定理3知,所有的剩余變量都有2個(gè)可選解。為此任意設(shè)定x3=0,得到x2唯一解0,消去相關(guān)子句后得到表5。

    表5 x3=0,x2=0消去相關(guān)子句

    表5剩下的變量仍然都有2個(gè)可選解,繼續(xù)設(shè)定x6=1,消去子句。進(jìn)而得到x5=0這個(gè)變量唯一解。消去相關(guān)子句,得到表6。

    表6 x6=1,x5=0消去相關(guān)子句

    最終可設(shè)定x7=1,或者x8=0消去相關(guān)子句,得到最后的滿足解如表7上方一行所示,*號(hào)表示該變量取值0或1均可。

    2.4 CNF=1滿足解驗(yàn)證

    對(duì)于子句消去法計(jì)算得到的全體變量值是否是CNF=1的解,是可以驗(yàn)證的。一種辦法是將每個(gè)變量求出的值(*可以任意取值0或1),代入CNF的邏輯表達(dá)式,檢驗(yàn)最終結(jié)果是否是CNF=1。

    表7 CNF=1的解驗(yàn)證

    不妨介紹一個(gè)簡(jiǎn)單的驗(yàn)證方法,即將所求解值置入原題(表1)的上面,檢驗(yàn)每一行是否有與其變量值相同的子句表現(xiàn)值。若有,則將子句消去,若最終沒有子句剩下,就說明得到的解完全正確。

    本題如果x7不選,令x8=0,也可將全部子句消去,從而完成解的驗(yàn)證。

    3 結(jié)論

    本文介紹的子句消去法可以保證快速計(jì)算出SAT問題的一組滿足解,而不是全部解。當(dāng)然全解也可用子句消去法求出,只是還要引入新的概念。

    SAT問題長(zhǎng)期未能找到確定的解題方法,是未能找到其特殊的結(jié)構(gòu)規(guī)律造成的。子句消去法找到了CNF的結(jié)構(gòu)特點(diǎn),遵循首先確定變量唯一解,其次在變量普遍有2個(gè)可選解的情況下,確定出后續(xù)變量解,從而完全以確定的方式實(shí)現(xiàn)了CNF=1滿足解的計(jì)算。

    SAT問題是NP-complete類問題,按照學(xué)術(shù)界的觀點(diǎn),找到了SAT問題的多項(xiàng)式時(shí)間復(fù)雜度算法,就等于證明了NP=P。

    本文的主題是介紹計(jì)算求出SAT滿足解的方法,它適應(yīng)任何SAT問題求解。關(guān)于子句消去法是否是O(nk+1)多項(xiàng)式時(shí)間復(fù)雜度算法,請(qǐng)參考文獻(xiàn)[6],本文不予討論。

    [1]P versus NP problem. https://en.wikipedia.org/wiki/P_versus_ NP_problem [OL].

    [2]Cook S A. The complexity of theorem-proving procedures[C]// ACM Symposium on Theory of Computing. ACM, 1971:151-158.

    [3]Stephen Cook. https://en.wikipedia.org/wiki/Stephen_Cook [OL].

    [4]Boolean satisfiability problem. https://en.wikipedia.org/wiki/ Boolean_satisfability_problem [OL].

    [5]姜詠江. 自己設(shè)計(jì)制作CPU與單片機(jī)[M]. 北京: 人民郵電出版社, 2014: 237-243.

    [6]姜詠江. 論子句消去算法的多項(xiàng)式時(shí)間復(fù)雜度. http://blog. sciencenet.cn/blog-340399-1011907.html [EB/OL].

    姜詠江(1945-),通訊作者,男,北京人,退休教師,中國(guó)計(jì)算機(jī)學(xué)會(huì)、中國(guó)電子學(xué)會(huì)高級(jí)會(huì)員。研究方向:數(shù)學(xué)、計(jì)算機(jī)科學(xué)。

    Email: accsys@126.com

    陳躍(1977-),男,北京人,西安交通大學(xué)博士,中國(guó)計(jì)算機(jī)學(xué)會(huì)會(huì)員。主要研究方向:大數(shù)據(jù)與機(jī)器學(xué)習(xí)、分布式計(jì)算。

    Email: scottchen@163.com

    A Fast Solution for SAT Problem based on Clause Elimination Method

    JIANG Yong-jiang1, CHEN Yue2

    (1. University of International Business and Economics, Chaoyang, Beijing,100013, China; 2. Xi’an Jiaotong University, Xi’an, Shanxi,710000, China)

    Boolean satisfaction problem (SAT) is one of the fundamental problems that was proven to be NP-complete, which involves obtaining fast solution for various fields including integrated circuit design and optimization, biological gene, artificial intelligence and Internet. By using the concepts including Fix-bit number, Clause-block and Relate-section, a clause elimination method is discovered using the determination rule that aims at rapidly obtaining satisfied solution for SAT. A new way is found out for the solution of pure discrete variables.

    SAT problem; Fix-bit Number; Clause Elimination Method; Clause-block; Relate-section; Polynomial Time Complexity

    TP301.6;O158

    A

    2095-8412 (2016) 06-1255-05

    10.14103/j.issn.2095-8412.2016.06.055

    猜你喜歡
    子句位數(shù)復(fù)雜度
    命題邏輯中一類擴(kuò)展子句消去方法
    五次完全冪的少位數(shù)三進(jìn)制展開
    命題邏輯可滿足性問題求解器的新型預(yù)處理子句消去方法
    一種低復(fù)雜度的慣性/GNSS矢量深組合方法
    西夏語的副詞子句
    西夏學(xué)(2018年2期)2018-05-15 11:24:42
    求圖上廣探樹的時(shí)間復(fù)雜度
    某雷達(dá)導(dǎo)51 頭中心控制軟件圈復(fù)雜度分析與改進(jìn)
    命題邏輯的子句集中文字的分類
    出口技術(shù)復(fù)雜度研究回顧與評(píng)述
    遙感衛(wèi)星CCD相機(jī)量化位數(shù)的選擇
    亚洲成人一二三区av| 午夜福利高清视频| 久久人人爽人人爽人人片va| 国模一区二区三区四区视频| 国产v大片淫在线免费观看| 国产色婷婷99| 纵有疾风起免费观看全集完整版| 高清av免费在线| 欧美日韩国产mv在线观看视频 | 国产日韩欧美在线精品| 波野结衣二区三区在线| 国产伦精品一区二区三区视频9| 久久ye,这里只有精品| 在线 av 中文字幕| 免费黄网站久久成人精品| 日韩国内少妇激情av| 免费高清在线观看视频在线观看| 舔av片在线| 国产人妻一区二区三区在| 一区二区av电影网| 色播亚洲综合网| 久热久热在线精品观看| 欧美激情久久久久久爽电影| 日本午夜av视频| 日韩强制内射视频| 三级国产精品片| 成人午夜精彩视频在线观看| av在线观看视频网站免费| 久久久久久国产a免费观看| 国产精品熟女久久久久浪| 精品99又大又爽又粗少妇毛片| 99re6热这里在线精品视频| 免费高清在线观看视频在线观看| 舔av片在线| 99热全是精品| 日韩国内少妇激情av| 精品人妻视频免费看| 我要看日韩黄色一级片| 建设人人有责人人尽责人人享有的 | 狂野欧美激情性xxxx在线观看| 成年人午夜在线观看视频| 日本一本二区三区精品| 日本-黄色视频高清免费观看| 免费av毛片视频| 亚洲aⅴ乱码一区二区在线播放| 欧美 日韩 精品 国产| 搞女人的毛片| 亚洲伊人久久精品综合| 午夜福利视频1000在线观看| 国产淫语在线视频| av在线蜜桃| 国产一区亚洲一区在线观看| 麻豆成人午夜福利视频| 日本一本二区三区精品| 日韩av在线免费看完整版不卡| 亚洲内射少妇av| 亚洲最大成人手机在线| 亚洲三级黄色毛片| 日韩一本色道免费dvd| 色哟哟·www| 国产精品久久久久久精品电影小说 | 成人综合一区亚洲| 男女边摸边吃奶| 久久精品综合一区二区三区| 亚洲精品成人av观看孕妇| 免费看不卡的av| 婷婷色麻豆天堂久久| av一本久久久久| 免费黄色在线免费观看| 久久亚洲国产成人精品v| 午夜福利在线在线| 欧美zozozo另类| 在线亚洲精品国产二区图片欧美 | 久久久久网色| 亚洲欧美成人精品一区二区| 只有这里有精品99| 少妇裸体淫交视频免费看高清| 性色av一级| 亚洲性久久影院| 国产午夜精品久久久久久一区二区三区| 免费大片18禁| 晚上一个人看的免费电影| 成人高潮视频无遮挡免费网站| 美女主播在线视频| 亚洲综合精品二区| 青春草视频在线免费观看| 全区人妻精品视频| a级毛片免费高清观看在线播放| 久久精品夜色国产| 日韩,欧美,国产一区二区三区| 久久精品国产自在天天线| 男男h啪啪无遮挡| av黄色大香蕉| 全区人妻精品视频| 爱豆传媒免费全集在线观看| 亚洲欧美日韩另类电影网站 | 老司机影院毛片| 亚洲av.av天堂| 免费观看的影片在线观看| 精品久久久噜噜| 国产女主播在线喷水免费视频网站| 大片电影免费在线观看免费| 国产中年淑女户外野战色| 亚洲无线观看免费| 亚洲综合色惰| 久久久久国产精品人妻一区二区| 国产欧美亚洲国产| 亚洲美女视频黄频| 午夜爱爱视频在线播放| 精品久久久久久久人妻蜜臀av| 久久99精品国语久久久| 美女内射精品一级片tv| 成人午夜精彩视频在线观看| 又大又黄又爽视频免费| 国产精品熟女久久久久浪| a级一级毛片免费在线观看| 国产精品国产三级专区第一集| 国产综合精华液| 18禁动态无遮挡网站| 插阴视频在线观看视频| 久久精品国产a三级三级三级| 九九在线视频观看精品| 五月玫瑰六月丁香| 日韩一区二区三区影片| 国产精品.久久久| 99热网站在线观看| 日韩 亚洲 欧美在线| 亚洲精品一二三| 中文欧美无线码| 丝袜美腿在线中文| 精品一区二区三卡| 91aial.com中文字幕在线观看| 一二三四中文在线观看免费高清| 精品久久久噜噜| freevideosex欧美| 91精品伊人久久大香线蕉| 老女人水多毛片| 精品国产一区二区三区久久久樱花 | 亚洲精品乱码久久久久久按摩| 亚洲成人av在线免费| 欧美老熟妇乱子伦牲交| 尤物成人国产欧美一区二区三区| 精品亚洲乱码少妇综合久久| 真实男女啪啪啪动态图| 麻豆久久精品国产亚洲av| 69av精品久久久久久| 欧美xxxx性猛交bbbb| 男女无遮挡免费网站观看| 麻豆成人av视频| 成人亚洲精品一区在线观看 | 国产有黄有色有爽视频| 3wmmmm亚洲av在线观看| 精品少妇久久久久久888优播| 秋霞在线观看毛片| 老女人水多毛片| 欧美最新免费一区二区三区| 少妇被粗大猛烈的视频| 一区二区三区四区激情视频| 国产美女午夜福利| 午夜免费观看性视频| 亚洲无线观看免费| 亚洲欧美日韩无卡精品| 嫩草影院新地址| 成年免费大片在线观看| 日本一本二区三区精品| 美女脱内裤让男人舔精品视频| 国内揄拍国产精品人妻在线| 亚洲内射少妇av| 狂野欧美激情性bbbbbb| av在线亚洲专区| 全区人妻精品视频| 婷婷色麻豆天堂久久| 亚州av有码| 男男h啪啪无遮挡| 女的被弄到高潮叫床怎么办| 在线播放无遮挡| 久久久午夜欧美精品| 精品一区在线观看国产| videossex国产| 亚洲成人一二三区av| 在线亚洲精品国产二区图片欧美 | 久久久亚洲精品成人影院| 亚洲怡红院男人天堂| 丝袜美腿在线中文| 国产69精品久久久久777片| av专区在线播放| 亚洲精品一二三| 精品熟女少妇av免费看| 爱豆传媒免费全集在线观看| 久久韩国三级中文字幕| 久久久久久久大尺度免费视频| 人人妻人人爽人人添夜夜欢视频 | 亚洲内射少妇av| 亚洲va在线va天堂va国产| 国产中年淑女户外野战色| 观看免费一级毛片| 搞女人的毛片| 久久久久久九九精品二区国产| 大片电影免费在线观看免费| 丰满少妇做爰视频| 亚洲国产成人一精品久久久| 亚洲精华国产精华液的使用体验| 中文天堂在线官网| 国产男人的电影天堂91| 天天躁日日操中文字幕| 亚洲美女搞黄在线观看| 亚洲精华国产精华液的使用体验| 国产精品偷伦视频观看了| 激情五月婷婷亚洲| 18禁动态无遮挡网站| 免费观看在线日韩| 亚洲色图综合在线观看| 另类亚洲欧美激情| 精品午夜福利在线看| 干丝袜人妻中文字幕| 高清午夜精品一区二区三区| 日韩成人av中文字幕在线观看| 亚洲人成网站高清观看| 久久久久精品久久久久真实原创| 久久久久性生活片| 欧美区成人在线视频| 欧美性猛交╳xxx乱大交人| 新久久久久国产一级毛片| 亚洲精品亚洲一区二区| 国产精品嫩草影院av在线观看| 伊人久久精品亚洲午夜| 国产男女内射视频| 99热这里只有精品一区| 精品人妻视频免费看| 在现免费观看毛片| 欧美日本视频| 看免费成人av毛片| 婷婷色av中文字幕| 婷婷色av中文字幕| 久久精品久久久久久久性| 看黄色毛片网站| 精品人妻偷拍中文字幕| 丰满乱子伦码专区| 国产精品嫩草影院av在线观看| 国产91av在线免费观看| 成人亚洲精品一区在线观看 | videos熟女内射| 亚洲国产精品999| 嫩草影院精品99| 免费观看性生交大片5| 女人被狂操c到高潮| 听说在线观看完整版免费高清| 毛片一级片免费看久久久久| 精品人妻熟女av久视频| 久久精品夜色国产| 女人被狂操c到高潮| 熟女电影av网| 亚洲精品久久久久久婷婷小说| 69av精品久久久久久| 男人狂女人下面高潮的视频| 欧美区成人在线视频| 久久久久久久午夜电影| 秋霞在线观看毛片| 看十八女毛片水多多多| 爱豆传媒免费全集在线观看| 下体分泌物呈黄色| 国产精品99久久久久久久久| 哪个播放器可以免费观看大片| av卡一久久| 国产精品蜜桃在线观看| 成人高潮视频无遮挡免费网站| 免费观看a级毛片全部| 午夜福利视频精品| 成人美女网站在线观看视频| 人体艺术视频欧美日本| 日日撸夜夜添| 午夜福利视频1000在线观看| 黄色欧美视频在线观看| 久久久亚洲精品成人影院| 激情 狠狠 欧美| 青春草国产在线视频| 亚洲在线观看片| av网站免费在线观看视频| 色哟哟·www| 免费在线观看成人毛片| 赤兔流量卡办理| 久久久午夜欧美精品| 丰满乱子伦码专区| 亚洲成人一二三区av| 欧美+日韩+精品| 国产一区二区在线观看日韩| 午夜老司机福利剧场| 欧美激情国产日韩精品一区| 免费大片18禁| 国产欧美日韩精品一区二区| 中文精品一卡2卡3卡4更新| av线在线观看网站| 看非洲黑人一级黄片| 三级国产精品片| 国产永久视频网站| 国产成人aa在线观看| 高清午夜精品一区二区三区| 插阴视频在线观看视频| 国产黄片美女视频| av卡一久久| 国产一区二区三区综合在线观看 | 午夜免费鲁丝| 久久亚洲国产成人精品v| 有码 亚洲区| 国产日韩欧美亚洲二区| 日韩制服骚丝袜av| 精品亚洲乱码少妇综合久久| 男女下面进入的视频免费午夜| 国产精品一二三区在线看| 纵有疾风起免费观看全集完整版| 大香蕉97超碰在线| 三级男女做爰猛烈吃奶摸视频| 精品少妇久久久久久888优播| 亚洲精品一二三| 亚洲国产欧美人成| 免费人成在线观看视频色| 国产精品一及| av在线app专区| 精品国产乱码久久久久久小说| 啦啦啦啦在线视频资源| 日本与韩国留学比较| 熟女人妻精品中文字幕| 日韩人妻高清精品专区| 国产精品99久久99久久久不卡 | 欧美3d第一页| 一区二区三区精品91| 国产人妻一区二区三区在| 制服丝袜香蕉在线| 国产片特级美女逼逼视频| 欧美xxⅹ黑人| 大香蕉97超碰在线| av在线蜜桃| 大香蕉97超碰在线| 日本-黄色视频高清免费观看| 成人无遮挡网站| 成人高潮视频无遮挡免费网站| 观看美女的网站| 97超碰精品成人国产| 一级a做视频免费观看| 99热这里只有是精品50| 久久人人爽人人爽人人片va| 久久这里有精品视频免费| 2018国产大陆天天弄谢| a级一级毛片免费在线观看| 一边亲一边摸免费视频| 秋霞伦理黄片| 欧美另类一区| 国产伦理片在线播放av一区| 国产综合精华液| 亚洲性久久影院| 深爱激情五月婷婷| 亚洲国产日韩一区二区| 毛片一级片免费看久久久久| 国产老妇女一区| 一区二区三区免费毛片| 欧美三级亚洲精品| 亚洲四区av| 亚洲电影在线观看av| 日韩免费高清中文字幕av| 免费av不卡在线播放| 一个人观看的视频www高清免费观看| 免费大片黄手机在线观看| 午夜免费鲁丝| 亚洲色图av天堂| 久久韩国三级中文字幕| 人体艺术视频欧美日本| 久久久色成人| 91午夜精品亚洲一区二区三区| 国产精品久久久久久精品电影小说 | 国内精品美女久久久久久| 日本一二三区视频观看| 交换朋友夫妻互换小说| 少妇 在线观看| 日日啪夜夜撸| 亚洲成人一二三区av| 亚洲天堂av无毛| 男人狂女人下面高潮的视频| 久久久久精品久久久久真实原创| 又爽又黄a免费视频| 亚洲伊人久久精品综合| 丝袜喷水一区| 亚洲精品色激情综合| 男女那种视频在线观看| 国产亚洲午夜精品一区二区久久 | 久久精品久久精品一区二区三区| 国产白丝娇喘喷水9色精品| 亚洲国产精品成人综合色| 久久久久久久久久久免费av| 亚洲综合精品二区| 成人毛片a级毛片在线播放| 国产人妻一区二区三区在| 日韩一本色道免费dvd| 午夜激情福利司机影院| 欧美日韩在线观看h| 欧美 日韩 精品 国产| 久久精品久久久久久噜噜老黄| 九九爱精品视频在线观看| 国产成人91sexporn| 久久久a久久爽久久v久久| 在线观看三级黄色| 成人午夜精彩视频在线观看| 麻豆成人av视频| 男女边吃奶边做爰视频| 免费av观看视频| 欧美一区二区亚洲| 国产精品.久久久| 97热精品久久久久久| 人体艺术视频欧美日本| 亚洲欧美中文字幕日韩二区| 久久久午夜欧美精品| 热re99久久精品国产66热6| 深夜a级毛片| 国产91av在线免费观看| 亚洲一级一片aⅴ在线观看| 一级爰片在线观看| 国国产精品蜜臀av免费| 亚洲无线观看免费| 少妇猛男粗大的猛烈进出视频 | 在线免费观看不下载黄p国产| 蜜臀久久99精品久久宅男| 亚洲精品456在线播放app| 日韩中字成人| 极品少妇高潮喷水抽搐| 777米奇影视久久| 成人午夜精彩视频在线观看| 黄色怎么调成土黄色| 国产白丝娇喘喷水9色精品| 国语对白做爰xxxⅹ性视频网站| 寂寞人妻少妇视频99o| 国产成人aa在线观看| 午夜福利在线观看免费完整高清在| 老司机影院成人| 男人舔奶头视频| 青春草国产在线视频| 日韩中字成人| av在线老鸭窝| av一本久久久久| 一个人看视频在线观看www免费| 卡戴珊不雅视频在线播放| 国产有黄有色有爽视频| 最近的中文字幕免费完整| 自拍偷自拍亚洲精品老妇| 久热久热在线精品观看| 精品久久久久久电影网| 青春草视频在线免费观看| 亚洲最大成人av| 精品少妇黑人巨大在线播放| 国模一区二区三区四区视频| 久久久久久九九精品二区国产| 久久99热6这里只有精品| 精品国产乱码久久久久久小说| 中文在线观看免费www的网站| 一边亲一边摸免费视频| 国产精品99久久久久久久久| 丰满少妇做爰视频| 亚洲激情五月婷婷啪啪| 亚洲精品国产av蜜桃| 国产精品一及| 久久久欧美国产精品| 日韩成人av中文字幕在线观看| 黄色日韩在线| 精品一区二区三区视频在线| 免费看a级黄色片| 内地一区二区视频在线| 高清av免费在线| 国产伦在线观看视频一区| 卡戴珊不雅视频在线播放| 亚洲第一区二区三区不卡| 水蜜桃什么品种好| 国产一区二区在线观看日韩| 国产日韩欧美在线精品| 好男人视频免费观看在线| 激情五月婷婷亚洲| 秋霞伦理黄片| 亚洲欧洲日产国产| 亚洲丝袜综合中文字幕| 亚洲自偷自拍三级| 精品人妻一区二区三区麻豆| 美女主播在线视频| 91精品国产九色| 亚洲精品日韩av片在线观看| 一级av片app| 国产精品福利在线免费观看| 超碰97精品在线观看| 只有这里有精品99| 麻豆乱淫一区二区| 亚洲一区二区三区欧美精品 | 91精品一卡2卡3卡4卡| 久久ye,这里只有精品| 亚洲性久久影院| 青青草视频在线视频观看| 久久久久久久久久成人| 深爱激情五月婷婷| 高清视频免费观看一区二区| 一级毛片久久久久久久久女| 国产成人一区二区在线| 亚洲av福利一区| 国产色爽女视频免费观看| 国产精品秋霞免费鲁丝片| 晚上一个人看的免费电影| 国产午夜精品久久久久久一区二区三区| 日韩 亚洲 欧美在线| 边亲边吃奶的免费视频| 黄色视频在线播放观看不卡| 亚洲激情五月婷婷啪啪| 麻豆精品久久久久久蜜桃| 欧美日韩视频精品一区| 国产精品蜜桃在线观看| 精品国产乱码久久久久久小说| 丝瓜视频免费看黄片| 99热网站在线观看| 国产成人精品一,二区| 亚洲内射少妇av| 亚洲精品一二三| 69人妻影院| 看十八女毛片水多多多| 好男人视频免费观看在线| 色网站视频免费| 欧美xxxx黑人xx丫x性爽| 美女脱内裤让男人舔精品视频| 亚洲综合精品二区| 天堂中文最新版在线下载 | 狂野欧美激情性bbbbbb| 日韩av在线免费看完整版不卡| 欧美3d第一页| 在线观看一区二区三区| 欧美高清性xxxxhd video| 国产精品秋霞免费鲁丝片| 日日啪夜夜爽| 免费电影在线观看免费观看| 99热这里只有精品一区| 在线观看一区二区三区| 极品少妇高潮喷水抽搐| 日韩三级伦理在线观看| 午夜免费观看性视频| 久久久精品欧美日韩精品| 亚洲,欧美,日韩| 国产黄片视频在线免费观看| 成人免费观看视频高清| 欧美日韩国产mv在线观看视频 | 成年女人看的毛片在线观看| 国产免费一区二区三区四区乱码| av福利片在线观看| 亚洲色图综合在线观看| 成人免费观看视频高清| av国产久精品久网站免费入址| 亚洲成人av在线免费| 18禁裸乳无遮挡免费网站照片| 全区人妻精品视频| 亚洲精品日本国产第一区| 久久久久久九九精品二区国产| 亚洲欧美日韩另类电影网站 | 插逼视频在线观看| 99久久精品国产国产毛片| 国产精品一区二区性色av| 少妇人妻精品综合一区二区| 只有这里有精品99| 晚上一个人看的免费电影| 草草在线视频免费看| 国产一区有黄有色的免费视频| 2018国产大陆天天弄谢| 免费av观看视频| 91在线精品国自产拍蜜月| 波野结衣二区三区在线| 亚洲综合精品二区| 亚洲av欧美aⅴ国产| 久久精品国产亚洲网站| av国产免费在线观看| 久久精品国产鲁丝片午夜精品| 国产一区亚洲一区在线观看| 成人欧美大片| 一级二级三级毛片免费看| 伦理电影大哥的女人| 欧美日韩国产mv在线观看视频 | 深夜a级毛片| 亚洲不卡免费看| 亚洲欧美成人综合另类久久久| 日日啪夜夜爽| 久久人人爽人人爽人人片va| 爱豆传媒免费全集在线观看| 99久久精品一区二区三区| 我要看日韩黄色一级片| 特级一级黄色大片| 国产精品久久久久久av不卡| 欧美日韩一区二区视频在线观看视频在线 | 婷婷色综合www| 久久精品人妻少妇| 欧美3d第一页| 一区二区av电影网| 免费少妇av软件| 噜噜噜噜噜久久久久久91| 日韩,欧美,国产一区二区三区| 亚洲国产最新在线播放| 成人毛片60女人毛片免费| 久久精品国产亚洲网站| 日韩精品有码人妻一区| 又黄又爽又刺激的免费视频.| 久久久精品94久久精品| 亚洲国产日韩一区二区| 禁无遮挡网站| 自拍偷自拍亚洲精品老妇| 亚洲图色成人| 国产成人精品婷婷| 久久久久久久久久成人| 日韩欧美精品免费久久| 国产高潮美女av| 国产69精品久久久久777片| 国产精品久久久久久精品电影| 成年女人在线观看亚洲视频 | 欧美激情国产日韩精品一区| 国产免费一区二区三区四区乱码| 欧美精品一区二区大全| 又爽又黄无遮挡网站| av免费在线看不卡| 国产成人午夜福利电影在线观看|