• <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第一区精品v没综合| 国内揄拍国产精品人妻在线| 亚洲成人中文字幕在线播放| 国产蜜桃级精品一区二区三区| av免费在线看不卡| 国产真实伦视频高清在线观看| 99国产极品粉嫩在线观看| 国产精品福利在线免费观看| 亚洲av中文av极速乱| 99国产精品一区二区蜜桃av| 在线观看美女被高潮喷水网站| 一级毛片久久久久久久久女| 亚洲七黄色美女视频| av视频在线观看入口| 插阴视频在线观看视频| 给我免费播放毛片高清在线观看| 禁无遮挡网站| 在线免费观看不下载黄p国产| 99热这里只有是精品在线观看| 嘟嘟电影网在线观看| 亚洲内射少妇av| 亚洲18禁久久av| 狂野欧美激情性xxxx在线观看| 婷婷精品国产亚洲av| 99在线视频只有这里精品首页| 男人的好看免费观看在线视频| 国产成人影院久久av| 久久久久九九精品影院| 亚洲欧美中文字幕日韩二区| 免费观看的影片在线观看| 国产人妻一区二区三区在| 久久久久性生活片| 久久精品夜色国产| 99热这里只有是精品在线观看| 亚洲国产色片| 成人无遮挡网站| 97热精品久久久久久| 久久国内精品自在自线图片| 乱系列少妇在线播放| 啦啦啦啦在线视频资源| 亚洲不卡免费看| 99热这里只有是精品50| 日日摸夜夜添夜夜添av毛片| 久久久久久久久久久免费av| 夜夜看夜夜爽夜夜摸| 亚洲av中文av极速乱| 精华霜和精华液先用哪个| 99热网站在线观看| 国产精品三级大全| 亚洲精品国产av成人精品| 夜夜夜夜夜久久久久| 99热这里只有精品一区| 欧美3d第一页| 熟女人妻精品中文字幕| 久久九九热精品免费| 能在线免费观看的黄片| 热99re8久久精品国产| 日本三级黄在线观看| 精品久久久噜噜| 99久久精品一区二区三区| 国产精品人妻久久久久久| 欧美+日韩+精品| 大香蕉久久网| 亚洲成人av在线免费| 美女脱内裤让男人舔精品视频 | 亚洲成人精品中文字幕电影| 成人国产麻豆网| 国产一区亚洲一区在线观看| 青青草视频在线视频观看| 99riav亚洲国产免费| 久99久视频精品免费| 久久精品国产99精品国产亚洲性色| 国产色爽女视频免费观看| 国产精品人妻久久久久久| 欧美最新免费一区二区三区| 三级国产精品欧美在线观看| 哪个播放器可以免费观看大片| 日日撸夜夜添| 亚洲18禁久久av| 亚洲自偷自拍三级| 丰满人妻一区二区三区视频av| 哪里可以看免费的av片| or卡值多少钱| 99riav亚洲国产免费| 免费看av在线观看网站| 精品人妻一区二区三区麻豆| 联通29元200g的流量卡| 看免费成人av毛片| 国产午夜福利久久久久久| 欧美又色又爽又黄视频| 久久这里只有精品中国| 亚洲国产欧美人成| 综合色丁香网| 国产片特级美女逼逼视频| 成年av动漫网址| 亚洲国产精品国产精品| 天堂网av新在线| av在线亚洲专区| 国产黄片美女视频| 欧美一区二区精品小视频在线| 边亲边吃奶的免费视频| 2022亚洲国产成人精品| 久久精品夜夜夜夜夜久久蜜豆| 丰满乱子伦码专区| 卡戴珊不雅视频在线播放| 国产精品一区www在线观看| 亚洲精品乱码久久久v下载方式| 亚洲欧美日韩高清在线视频| 久久这里有精品视频免费| 白带黄色成豆腐渣| 永久网站在线| 久久99蜜桃精品久久| 国产精品免费一区二区三区在线| 狂野欧美激情性xxxx在线观看| 禁无遮挡网站| 蜜桃亚洲精品一区二区三区| 日韩视频在线欧美| 成人永久免费在线观看视频| 婷婷精品国产亚洲av| 永久网站在线| 久久99蜜桃精品久久| 国产一区亚洲一区在线观看| av视频在线观看入口| 可以在线观看的亚洲视频| 看片在线看免费视频| 亚洲成人久久性| 99热网站在线观看| 亚洲人成网站在线观看播放| 身体一侧抽搐| 免费观看人在逋| 一卡2卡三卡四卡精品乱码亚洲| av福利片在线观看| 欧美一区二区国产精品久久精品| 蜜桃久久精品国产亚洲av| 中文亚洲av片在线观看爽| 国产精品一区二区三区四区久久| 欧美色欧美亚洲另类二区| 伊人久久精品亚洲午夜| 精品午夜福利在线看| 99久久精品国产国产毛片| 亚洲人成网站在线播| 99热精品在线国产| 波多野结衣巨乳人妻| 精品国内亚洲2022精品成人| 免费av不卡在线播放| 26uuu在线亚洲综合色| 久久精品影院6| 男女视频在线观看网站免费| 又爽又黄无遮挡网站| 啦啦啦观看免费观看视频高清| 日日摸夜夜添夜夜添av毛片| 小说图片视频综合网站| 1000部很黄的大片| 波多野结衣高清无吗| 91麻豆精品激情在线观看国产| 一级毛片久久久久久久久女| 婷婷六月久久综合丁香| 99久国产av精品国产电影| 99热这里只有是精品在线观看| 亚洲欧美精品综合久久99| 色5月婷婷丁香| 亚洲第一区二区三区不卡| 黄片wwwwww| 一级毛片电影观看 | a级毛片a级免费在线| 日韩高清综合在线| 非洲黑人性xxxx精品又粗又长| 中出人妻视频一区二区| 级片在线观看| 成人高潮视频无遮挡免费网站| 久久久久久九九精品二区国产| 热99在线观看视频| 国产黄片视频在线免费观看| 在现免费观看毛片| 高清在线视频一区二区三区 | 精品99又大又爽又粗少妇毛片| 国产午夜精品一二区理论片| 免费观看在线日韩| 亚洲av.av天堂| 亚洲高清免费不卡视频| 国产伦理片在线播放av一区 | 久久草成人影院| 在线观看免费视频日本深夜| 欧美性猛交╳xxx乱大交人| 晚上一个人看的免费电影| 午夜福利在线观看免费完整高清在 | 久久精品国产亚洲网站| av天堂中文字幕网| 天美传媒精品一区二区| 国产精品电影一区二区三区| 搡女人真爽免费视频火全软件| 1024手机看黄色片| 免费av不卡在线播放| 欧美一区二区国产精品久久精品| 蜜桃久久精品国产亚洲av| 久久久久久九九精品二区国产| 两个人视频免费观看高清| 国产成人精品一,二区 | 免费人成在线观看视频色| 精品人妻视频免费看| 99riav亚洲国产免费| 国产精品不卡视频一区二区| 国产男人的电影天堂91| 九九爱精品视频在线观看| 日本免费一区二区三区高清不卡| 嫩草影院入口| 啦啦啦韩国在线观看视频| av国产免费在线观看| 男插女下体视频免费在线播放| 18+在线观看网站| 热99在线观看视频| 插阴视频在线观看视频| 国产精品野战在线观看| 成人国产麻豆网| 久久6这里有精品| 国内久久婷婷六月综合欲色啪| 亚洲精品日韩在线中文字幕 | 日韩人妻高清精品专区| 国产成人影院久久av| 国产伦一二天堂av在线观看| 精品久久久久久久久av| 免费黄网站久久成人精品| 久久精品人妻少妇| 毛片女人毛片| 夫妻性生交免费视频一级片| 69人妻影院| 国产欧美日韩精品一区二区| 亚洲一级一片aⅴ在线观看| 欧美丝袜亚洲另类| 久久精品91蜜桃| а√天堂www在线а√下载| 国产精品电影一区二区三区| 久久久久久久久久黄片| 九九爱精品视频在线观看| 日韩精品青青久久久久久| 国模一区二区三区四区视频| 国产精品一区二区三区四区免费观看| 欧美性感艳星| 亚洲在线自拍视频| 久久婷婷人人爽人人干人人爱| 非洲黑人性xxxx精品又粗又长| 日本撒尿小便嘘嘘汇集6| 九九在线视频观看精品| 一区二区三区四区激情视频 | 91久久精品国产一区二区成人| 成人欧美大片| 深夜精品福利| 亚洲国产精品久久男人天堂| 精品久久久久久久久亚洲| 久99久视频精品免费| 日本成人三级电影网站| 夜夜爽天天搞| av在线亚洲专区| 国产男人的电影天堂91| 十八禁国产超污无遮挡网站| 热99在线观看视频| 男人狂女人下面高潮的视频| 久久99精品国语久久久| 午夜激情欧美在线| 亚洲第一区二区三区不卡| 69av精品久久久久久| 日韩欧美在线乱码| 九色成人免费人妻av| 久久精品国产鲁丝片午夜精品| 91aial.com中文字幕在线观看| 国内精品宾馆在线| 小说图片视频综合网站| 国产精品久久久久久av不卡| 婷婷亚洲欧美| 亚洲欧美日韩卡通动漫| 久久久久久久久久成人| 色综合站精品国产| 国产亚洲av片在线观看秒播厂 | 国产精品乱码一区二三区的特点| 舔av片在线| 黄色欧美视频在线观看| 色吧在线观看| 国产91av在线免费观看| 亚洲国产精品sss在线观看| 国产美女午夜福利| 12—13女人毛片做爰片一| 欧美成人一区二区免费高清观看| 欧美激情久久久久久爽电影| 六月丁香七月| 91久久精品国产一区二区三区| 国产成人aa在线观看| 国产精品电影一区二区三区| 22中文网久久字幕| 嫩草影院新地址| 直男gayav资源| 一进一出抽搐gif免费好疼| 中文字幕熟女人妻在线| 成年av动漫网址| 午夜福利在线观看免费完整高清在 | 国产精品日韩av在线免费观看| 欧美色欧美亚洲另类二区| 久久久久免费精品人妻一区二区| 97人妻精品一区二区三区麻豆| 一个人观看的视频www高清免费观看| 一本精品99久久精品77| 国产免费一级a男人的天堂| 狂野欧美激情性xxxx在线观看| 99久国产av精品| 九九在线视频观看精品| 欧美一区二区国产精品久久精品| 人妻系列 视频| 夫妻性生交免费视频一级片| 哪里可以看免费的av片| 桃色一区二区三区在线观看| 欧美日韩综合久久久久久| 少妇的逼好多水| 中出人妻视频一区二区| 夜夜看夜夜爽夜夜摸| 舔av片在线| 国产乱人偷精品视频| 成人毛片60女人毛片免费| 久久久精品欧美日韩精品| 亚洲国产精品国产精品| 少妇人妻一区二区三区视频| 国产老妇伦熟女老妇高清| 97超碰精品成人国产| 久久中文看片网| 久久精品国产亚洲av天美| 国产极品天堂在线| 秋霞在线观看毛片| 1000部很黄的大片| 成人性生交大片免费视频hd| 亚洲成人久久性| 午夜精品在线福利| 永久网站在线| 麻豆成人午夜福利视频| 身体一侧抽搐| 国产人妻一区二区三区在| 人体艺术视频欧美日本| 69av精品久久久久久| 国产精品乱码一区二三区的特点| 一级毛片久久久久久久久女| 搞女人的毛片| 99国产精品一区二区蜜桃av| 亚洲经典国产精华液单| 一区二区三区免费毛片| 亚洲中文字幕日韩| 精品欧美国产一区二区三| 亚洲欧美精品自产自拍| 国产真实乱freesex| 身体一侧抽搐| 国产精品美女特级片免费视频播放器| 人妻夜夜爽99麻豆av| 国产高清有码在线观看视频| 天堂网av新在线| 欧美日本亚洲视频在线播放| 成人午夜高清在线视频| 级片在线观看| 欧美+亚洲+日韩+国产| 国产高清有码在线观看视频| 天堂网av新在线| 精华霜和精华液先用哪个| 日韩亚洲欧美综合| 黄色配什么色好看| 又粗又硬又长又爽又黄的视频 | 欧美日本视频| 久久久成人免费电影| 少妇人妻精品综合一区二区 | 亚洲一级一片aⅴ在线观看| 啦啦啦啦在线视频资源| 亚洲一区二区三区色噜噜| 一区二区三区四区激情视频 | 综合色av麻豆| 级片在线观看| 日韩欧美精品v在线| 欧美色欧美亚洲另类二区| 国产一区二区亚洲精品在线观看| 直男gayav资源| 草草在线视频免费看| 别揉我奶头 嗯啊视频| 久久99热这里只有精品18| 中文字幕免费在线视频6| 欧美日韩精品成人综合77777| 欧美成人精品欧美一级黄| 欧美日韩精品成人综合77777| 成熟少妇高潮喷水视频| 热99在线观看视频| 最近最新中文字幕大全电影3| 久久久久久久久大av| 老师上课跳d突然被开到最大视频| 国产私拍福利视频在线观看| 欧美一级a爱片免费观看看| 长腿黑丝高跟| 国产成人午夜福利电影在线观看| 一个人免费在线观看电影| 日本熟妇午夜| 国产成人a∨麻豆精品| 白带黄色成豆腐渣| 高清毛片免费观看视频网站| av在线蜜桃| 成人性生交大片免费视频hd| av在线观看视频网站免费| 欧美3d第一页| 搡女人真爽免费视频火全软件| 国产av一区在线观看免费| 99久久中文字幕三级久久日本| 国产在线精品亚洲第一网站| 色综合站精品国产| 欧美人与善性xxx| 岛国在线免费视频观看| 国产老妇女一区| 日本欧美国产在线视频| 欧美一区二区精品小视频在线| 国产精品一区www在线观看| 亚洲精品亚洲一区二区| 色视频www国产| 精华霜和精华液先用哪个| 蜜桃久久精品国产亚洲av| 99热网站在线观看| 99精品在免费线老司机午夜| 久久久精品欧美日韩精品| 精品少妇黑人巨大在线播放 | 精品99又大又爽又粗少妇毛片| 久久婷婷人人爽人人干人人爱| 国产 一区 欧美 日韩| 深夜精品福利| 日韩欧美在线乱码| 一区二区三区四区激情视频 | 国产成人aa在线观看| 国产极品天堂在线| 一卡2卡三卡四卡精品乱码亚洲| www.色视频.com| 国产日韩欧美在线精品| or卡值多少钱| 色综合色国产| 高清毛片免费观看视频网站| 日本免费一区二区三区高清不卡| 久久久国产成人精品二区| 国内揄拍国产精品人妻在线| 亚洲av成人精品一区久久| 男女边吃奶边做爰视频| 欧美+日韩+精品| 夜夜爽天天搞| 国产精品一区二区性色av| 非洲黑人性xxxx精品又粗又长| 精品人妻视频免费看| 九九爱精品视频在线观看| 美女黄网站色视频| 久久久久久久久中文| 免费看美女性在线毛片视频| 黄色配什么色好看| 久久国内精品自在自线图片| 欧美又色又爽又黄视频| 亚洲av免费在线观看| 精品久久久久久成人av| 美女黄网站色视频| 人人妻人人看人人澡| 综合色丁香网| 变态另类成人亚洲欧美熟女| 国产真实乱freesex| 亚洲乱码一区二区免费版| 精品日产1卡2卡| 国产成人91sexporn| 欧美最黄视频在线播放免费| 综合色丁香网| 国产老妇女一区| 人妻少妇偷人精品九色| 97人妻精品一区二区三区麻豆| 国产av一区在线观看免费| 少妇的逼好多水| 国产伦在线观看视频一区| 亚洲国产精品成人综合色| 日本-黄色视频高清免费观看| 简卡轻食公司| 亚洲精品日韩av片在线观看| 久久久a久久爽久久v久久| a级毛片免费高清观看在线播放| 伊人久久精品亚洲午夜| 免费观看的影片在线观看| 亚洲精品日韩在线中文字幕 | 国产av不卡久久| 亚洲性久久影院| 毛片一级片免费看久久久久| 精品一区二区三区人妻视频| 成年免费大片在线观看| 亚洲av男天堂| 久久久欧美国产精品| 国产黄色小视频在线观看| 岛国毛片在线播放| 六月丁香七月| 国产高清不卡午夜福利| 国产精品久久久久久av不卡| 亚洲经典国产精华液单| videossex国产| 成人亚洲欧美一区二区av| 一边摸一边抽搐一进一小说| 欧美区成人在线视频| 亚洲精品影视一区二区三区av| 熟妇人妻久久中文字幕3abv| 99九九线精品视频在线观看视频| 青春草视频在线免费观看| АⅤ资源中文在线天堂| 观看免费一级毛片| 亚洲精品色激情综合| 观看免费一级毛片| 国产精品一及| 国产又黄又爽又无遮挡在线| 国产蜜桃级精品一区二区三区| 国产久久久一区二区三区| 亚洲欧美成人综合另类久久久 | 丝袜喷水一区| 日韩欧美一区二区三区在线观看| 午夜福利成人在线免费观看| 日本色播在线视频| 日本撒尿小便嘘嘘汇集6| 日日啪夜夜撸| 桃色一区二区三区在线观看| 国产精品福利在线免费观看| 美女高潮的动态| 深夜a级毛片| 午夜福利成人在线免费观看| 男女下面进入的视频免费午夜| 亚洲久久久久久中文字幕| 搡女人真爽免费视频火全软件| 国产av一区在线观看免费| 日日撸夜夜添| 国产在线精品亚洲第一网站| 国产精品人妻久久久影院| 国产av麻豆久久久久久久| 国产精品三级大全| 国产精品电影一区二区三区| 91久久精品国产一区二区三区| 91狼人影院| 午夜免费激情av| 12—13女人毛片做爰片一| 一进一出抽搐动态| 国产亚洲5aaaaa淫片| 99热这里只有是精品在线观看| 日韩欧美精品v在线| 亚洲av不卡在线观看| 中文欧美无线码| 国产单亲对白刺激| 精华霜和精华液先用哪个| 国产91av在线免费观看| 亚洲精品亚洲一区二区| 国产蜜桃级精品一区二区三区| 人妻久久中文字幕网| 午夜a级毛片| 欧洲精品卡2卡3卡4卡5卡区| 久久这里只有精品中国| 亚洲不卡免费看| 亚洲av.av天堂| 国产成人精品一,二区 | 免费看日本二区| 国产不卡一卡二| 精品人妻一区二区三区麻豆| 五月玫瑰六月丁香| 小蜜桃在线观看免费完整版高清| 99九九线精品视频在线观看视频| 伊人久久精品亚洲午夜| 欧美成人a在线观看| 亚洲国产高清在线一区二区三| 国产老妇伦熟女老妇高清| 国产三级中文精品| 桃色一区二区三区在线观看| 欧美日韩精品成人综合77777| 日日啪夜夜撸| 秋霞在线观看毛片| 亚洲精品久久久久久婷婷小说 | 大又大粗又爽又黄少妇毛片口| 欧美zozozo另类| 成人毛片a级毛片在线播放| 亚洲国产精品久久男人天堂| 乱人视频在线观看| 国产午夜福利久久久久久| 特大巨黑吊av在线直播| 国产黄a三级三级三级人| 九草在线视频观看| 在线免费观看不下载黄p国产| 国产精品,欧美在线| 亚洲在久久综合| 国产人妻一区二区三区在| 菩萨蛮人人尽说江南好唐韦庄 | 欧美最新免费一区二区三区| 国产视频内射| 亚洲av免费在线观看| www.av在线官网国产| 美女 人体艺术 gogo| 亚洲av男天堂| 不卡视频在线观看欧美| 一进一出抽搐动态| 我的女老师完整版在线观看| 精品少妇黑人巨大在线播放 | 在线国产一区二区在线| 能在线免费看毛片的网站| 只有这里有精品99| 国产色婷婷99| 一区二区三区免费毛片| 国产精品无大码| 日韩一区二区视频免费看| 一级毛片我不卡| 亚洲精品成人久久久久久| 中文字幕av在线有码专区| 免费观看的影片在线观看| 男女下面进入的视频免费午夜| 91精品一卡2卡3卡4卡| 亚洲欧美日韩高清专用| 日韩精品有码人妻一区| 91精品一卡2卡3卡4卡| 麻豆国产av国片精品| 日韩欧美一区二区三区在线观看| 内射极品少妇av片p| 狂野欧美白嫩少妇大欣赏| 免费不卡的大黄色大毛片视频在线观看 | 美女高潮的动态| 精品久久久久久久久av| 女同久久另类99精品国产91| 国产精品蜜桃在线观看 | 国产成人精品一,二区 |