• <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ù)的選擇
    国产成人精品一,二区 | 激情 狠狠 欧美| 亚洲五月天丁香| 久久精品久久久久久久性| 成人美女网站在线观看视频| 国产高清不卡午夜福利| 黄片wwwwww| 一级毛片电影观看 | 国产真实乱freesex| 中文字幕人妻熟人妻熟丝袜美| 天天一区二区日本电影三级| 国产爱豆传媒在线观看| 一边亲一边摸免费视频| 国产片特级美女逼逼视频| 中文字幕人妻熟人妻熟丝袜美| 成年版毛片免费区| 菩萨蛮人人尽说江南好唐韦庄 | 99riav亚洲国产免费| 午夜精品国产一区二区电影 | 色哟哟·www| 春色校园在线视频观看| 精品久久久久久久久久久久久| 国产伦在线观看视频一区| 久久热精品热| 91久久精品国产一区二区三区| 久久久国产成人免费| 十八禁国产超污无遮挡网站| 中文亚洲av片在线观看爽| 九九久久精品国产亚洲av麻豆| av在线播放精品| 干丝袜人妻中文字幕| 久久亚洲国产成人精品v| 亚洲精品乱码久久久久久按摩| 欧美精品国产亚洲| 午夜精品在线福利| 欧美潮喷喷水| 国产极品天堂在线| 99九九线精品视频在线观看视频| 亚洲一区高清亚洲精品| 日韩国内少妇激情av| 亚洲欧美精品专区久久| 日日干狠狠操夜夜爽| 啦啦啦啦在线视频资源| 少妇熟女aⅴ在线视频| 美女大奶头视频| 欧美性感艳星| 校园春色视频在线观看| 波野结衣二区三区在线| 日韩三级伦理在线观看| 简卡轻食公司| 国产伦理片在线播放av一区 | 给我免费播放毛片高清在线观看| av在线老鸭窝| 精品人妻偷拍中文字幕| 青春草亚洲视频在线观看| 国产精品美女特级片免费视频播放器| 亚洲国产日韩欧美精品在线观看| 亚洲精品成人久久久久久| 一夜夜www| 嘟嘟电影网在线观看| 麻豆成人av视频| 久久人人精品亚洲av| 国产精品精品国产色婷婷| 国产麻豆成人av免费视频| 免费一级毛片在线播放高清视频| 12—13女人毛片做爰片一| 国产男人的电影天堂91| 热99re8久久精品国产| 成人欧美大片| 亚洲欧美精品专区久久| 亚洲精品影视一区二区三区av| 亚洲不卡免费看| 久久99热6这里只有精品| 成人午夜精彩视频在线观看| 国产精品福利在线免费观看| 一夜夜www| 人妻久久中文字幕网| 色综合色国产| 久久久久久久久大av| 一本久久中文字幕| 国产精品电影一区二区三区| 日本与韩国留学比较| 久久综合国产亚洲精品| 男人狂女人下面高潮的视频| 网址你懂的国产日韩在线| 成人国产麻豆网| 亚洲aⅴ乱码一区二区在线播放| 午夜福利成人在线免费观看| 人体艺术视频欧美日本| 男女边吃奶边做爰视频| 国产黄色视频一区二区在线观看 | 日韩av不卡免费在线播放| 九色成人免费人妻av| 99在线视频只有这里精品首页| 国产成人a区在线观看| 变态另类成人亚洲欧美熟女| 亚洲成人久久性| 国产美女午夜福利| 国产黄色视频一区二区在线观看 | 观看免费一级毛片| 午夜免费男女啪啪视频观看| 国产黄片美女视频| 男女啪啪激烈高潮av片| 国产精品久久久久久精品电影| 国产一区二区三区在线臀色熟女| 亚洲精品久久国产高清桃花| 一级黄片播放器| 亚洲人成网站高清观看| 黄色配什么色好看| 亚洲激情五月婷婷啪啪| 菩萨蛮人人尽说江南好唐韦庄 | 国产伦精品一区二区三区视频9| 一级毛片电影观看 | 久久久久久国产a免费观看| 国产视频首页在线观看| 午夜福利视频1000在线观看| 免费看日本二区| 国产精品电影一区二区三区| 小说图片视频综合网站| 国产一区二区三区av在线 | 欧美潮喷喷水| 在线观看免费视频日本深夜| 美女大奶头视频| 欧美一区二区国产精品久久精品| 插阴视频在线观看视频| 成人亚洲精品av一区二区| 欧美高清成人免费视频www| 国产亚洲精品久久久久久毛片| 国产亚洲5aaaaa淫片| 久久久久久国产a免费观看| 一个人免费在线观看电影| 在线a可以看的网站| 久久久久久九九精品二区国产| 寂寞人妻少妇视频99o| 国产亚洲5aaaaa淫片| 偷拍熟女少妇极品色| 国产精品美女特级片免费视频播放器| 亚洲不卡免费看| 看片在线看免费视频| 欧美日韩国产亚洲二区| 人人妻人人澡人人爽人人夜夜 | 欧美性猛交╳xxx乱大交人| 亚洲av免费高清在线观看| 校园春色视频在线观看| 欧美日本视频| 人妻夜夜爽99麻豆av| 亚洲av男天堂| 女人十人毛片免费观看3o分钟| 韩国av在线不卡| 国产激情偷乱视频一区二区| 欧美日韩综合久久久久久| 黄片wwwwww| 九色成人免费人妻av| 亚洲成a人片在线一区二区| 少妇熟女aⅴ在线视频| 国产精品免费一区二区三区在线| 婷婷色av中文字幕| 国产精品久久久久久久电影| 一个人免费在线观看电影| 精品久久久久久久久久久久久| 91久久精品电影网| 亚洲欧美日韩卡通动漫| 成人午夜精彩视频在线观看| 99热网站在线观看| 精品欧美国产一区二区三| 亚洲人成网站在线观看播放| 草草在线视频免费看| 日本欧美国产在线视频| 国产精品99久久久久久久久| av又黄又爽大尺度在线免费看 | 欧美3d第一页| 精品不卡国产一区二区三区| 国产精品爽爽va在线观看网站| 男人狂女人下面高潮的视频| 国内精品美女久久久久久| 免费看美女性在线毛片视频| 青春草视频在线免费观看| 只有这里有精品99| 最近手机中文字幕大全| 免费看光身美女| 日日撸夜夜添| 一级黄片播放器| 国语自产精品视频在线第100页| 国产一区亚洲一区在线观看| 中文字幕免费在线视频6| 国产女主播在线喷水免费视频网站 | a级一级毛片免费在线观看| 美女大奶头视频| 国产亚洲精品久久久com| 日韩一本色道免费dvd| 免费观看人在逋| 级片在线观看| av免费观看日本| 久久午夜亚洲精品久久| 老熟妇乱子伦视频在线观看| 哪里可以看免费的av片| 久久精品国产亚洲av天美| 日本免费一区二区三区高清不卡| 日本爱情动作片www.在线观看| 久久久a久久爽久久v久久| 国产亚洲5aaaaa淫片| 在线观看午夜福利视频| 丝袜喷水一区| 插逼视频在线观看| 看片在线看免费视频| 国产成人精品一,二区 | 久久久成人免费电影| av在线播放精品| 夜夜夜夜夜久久久久| 赤兔流量卡办理| 国产精品久久久久久亚洲av鲁大| 国产一区二区激情短视频| 国产精品久久久久久精品电影小说 | 亚洲18禁久久av| 久久九九热精品免费| 中文在线观看免费www的网站| 网址你懂的国产日韩在线| www.色视频.com| 插阴视频在线观看视频| 亚洲欧美日韩高清在线视频| 神马国产精品三级电影在线观看| 国内精品宾馆在线| 亚洲经典国产精华液单| 观看美女的网站| 别揉我奶头 嗯啊视频| 在线观看免费视频日本深夜| 亚洲av电影不卡..在线观看| 国产伦精品一区二区三区四那| 在线a可以看的网站| 久久精品国产清高在天天线| 一边摸一边抽搐一进一小说| 中文字幕人妻熟人妻熟丝袜美| 在线天堂最新版资源| 99久久精品热视频| 欧美成人一区二区免费高清观看| 日本在线视频免费播放| 夫妻性生交免费视频一级片| 亚洲av男天堂| 99久国产av精品国产电影| 欧美最黄视频在线播放免费| 国产女主播在线喷水免费视频网站 | 久久午夜亚洲精品久久| 国产精品野战在线观看| 亚洲av男天堂| 九九爱精品视频在线观看| 久久久午夜欧美精品| 性色avwww在线观看| 中国美白少妇内射xxxbb| 久久久久久久久久黄片| 色尼玛亚洲综合影院| 日本五十路高清| 午夜福利视频1000在线观看| 少妇高潮的动态图| 久久综合国产亚洲精品| 精品99又大又爽又粗少妇毛片| 一级毛片aaaaaa免费看小| 可以在线观看的亚洲视频| 久久久精品大字幕| a级毛色黄片| 少妇高潮的动态图| 国产精品国产三级国产av玫瑰| 毛片女人毛片| 免费一级毛片在线播放高清视频| 哪个播放器可以免费观看大片| 欧美激情在线99| 乱码一卡2卡4卡精品| 国产午夜福利久久久久久| 国产一区二区亚洲精品在线观看| 桃色一区二区三区在线观看| 日韩国内少妇激情av| 26uuu在线亚洲综合色| 嫩草影院入口| av黄色大香蕉| 12—13女人毛片做爰片一| 91麻豆精品激情在线观看国产| 免费观看的影片在线观看| 日本一本二区三区精品| av在线蜜桃| or卡值多少钱| 国产精品永久免费网站| 久久久午夜欧美精品| 日日干狠狠操夜夜爽| 久久久久久久久久久丰满| 九九在线视频观看精品| 又粗又硬又长又爽又黄的视频 | av黄色大香蕉| 国产一级毛片七仙女欲春2| 有码 亚洲区| 日本黄色片子视频| 白带黄色成豆腐渣| 美女大奶头视频| 国产 一区精品| 18禁在线播放成人免费| 亚洲一区高清亚洲精品| 少妇熟女aⅴ在线视频| 国产成人91sexporn| 麻豆成人午夜福利视频| 国产伦在线观看视频一区| 日韩制服骚丝袜av| 欧美色视频一区免费| 成人永久免费在线观看视频| 精品国产三级普通话版| 一本一本综合久久| 午夜免费男女啪啪视频观看| 国产一区二区在线观看日韩| 日韩高清综合在线| 啦啦啦韩国在线观看视频| 久久人人精品亚洲av| 中国美女看黄片| a级一级毛片免费在线观看| 五月伊人婷婷丁香| 精品久久久久久久末码| 成人高潮视频无遮挡免费网站| 狂野欧美激情性xxxx在线观看| 久久久精品大字幕| 欧美精品国产亚洲| 青春草视频在线免费观看| 亚洲一级一片aⅴ在线观看| 午夜精品国产一区二区电影 | 变态另类丝袜制服| 久久九九热精品免费| 国产欧美日韩精品一区二区| 久久人人爽人人爽人人片va| 中文字幕久久专区| 在线免费观看的www视频| 免费黄网站久久成人精品| av免费观看日本| 日本黄色片子视频| 中文欧美无线码| 久久精品国产亚洲网站| 亚洲精品日韩在线中文字幕 | 国产三级在线视频| 美女高潮的动态| 欧美三级亚洲精品| 免费观看人在逋| 午夜老司机福利剧场| 国产精品久久久久久精品电影小说 | 一进一出抽搐gif免费好疼| www.色视频.com| 久久精品夜色国产| 国产成人a区在线观看| 12—13女人毛片做爰片一| 91在线精品国自产拍蜜月| 亚洲在线观看片| 亚洲国产精品sss在线观看| 99久久精品国产国产毛片| 亚洲无线观看免费| 我的女老师完整版在线观看| 美女高潮的动态| 色哟哟哟哟哟哟| 日日摸夜夜添夜夜爱| 精品久久久久久久久久免费视频| 爱豆传媒免费全集在线观看| 国内精品久久久久精免费| 精品午夜福利在线看| 一本精品99久久精品77| 高清日韩中文字幕在线| 久久久a久久爽久久v久久| 美女国产视频在线观看| 亚洲人成网站高清观看| 一边亲一边摸免费视频| 久久久久久久久中文| 欧美性猛交黑人性爽| 国产欧美日韩精品一区二区| 噜噜噜噜噜久久久久久91| 97超碰精品成人国产| 嫩草影院精品99| 欧美日本视频| а√天堂www在线а√下载| 亚洲,欧美,日韩| 一级二级三级毛片免费看| 国产伦理片在线播放av一区 | 亚洲丝袜综合中文字幕| 久久久久久国产a免费观看| 国产精品野战在线观看| 淫秽高清视频在线观看| 国产精品99久久久久久久久| 91久久精品国产一区二区成人| 白带黄色成豆腐渣| 国产成人影院久久av| 亚洲国产高清在线一区二区三| 禁无遮挡网站| 久久热精品热| 美女高潮的动态| 久久国产乱子免费精品| 欧美极品一区二区三区四区| 丰满的人妻完整版| 99久久成人亚洲精品观看| av免费在线看不卡| 联通29元200g的流量卡| 国产精品日韩av在线免费观看| 国产伦精品一区二区三区四那| 欧美性猛交黑人性爽| 亚洲成av人片在线播放无| 99九九线精品视频在线观看视频| 看免费成人av毛片| 久久韩国三级中文字幕| 欧美最新免费一区二区三区| 性色avwww在线观看| 亚洲第一区二区三区不卡| 日韩亚洲欧美综合| 久久欧美精品欧美久久欧美| 91精品国产九色| 看非洲黑人一级黄片| 亚洲国产精品久久男人天堂| 丰满人妻一区二区三区视频av| 男女那种视频在线观看| 国产黄a三级三级三级人| 欧美变态另类bdsm刘玥| 亚洲av一区综合| 少妇熟女aⅴ在线视频| 卡戴珊不雅视频在线播放| 成人亚洲欧美一区二区av| 99riav亚洲国产免费| 色哟哟哟哟哟哟| 一进一出抽搐动态| 国产精品福利在线免费观看| 99热这里只有精品一区| 99热只有精品国产| 波多野结衣巨乳人妻| 黄色视频,在线免费观看| 麻豆成人av视频| 日日摸夜夜添夜夜爱| 在线观看66精品国产| 久久国内精品自在自线图片| 国内少妇人妻偷人精品xxx网站| 久久久久性生活片| 男人舔女人下体高潮全视频| 男女那种视频在线观看| 亚洲精品国产成人久久av| 久久久久久久久久成人| 毛片一级片免费看久久久久| av.在线天堂| 亚洲欧美中文字幕日韩二区| 亚洲成人精品中文字幕电影| 直男gayav资源| 久久久久久久久久黄片| 久久久久久久久中文| 日本免费a在线| 国产毛片a区久久久久| 成人无遮挡网站| 成人毛片60女人毛片免费| 99热全是精品| 成人国产麻豆网| 十八禁国产超污无遮挡网站| 九九热线精品视视频播放| 搞女人的毛片| 嫩草影院入口| 欧美精品一区二区大全| 又爽又黄无遮挡网站| 少妇丰满av| av在线老鸭窝| 99热这里只有精品一区| 久久精品国产清高在天天线| 免费一级毛片在线播放高清视频| 搡老妇女老女人老熟妇| 精品不卡国产一区二区三区| 日韩 亚洲 欧美在线| 成人三级黄色视频| 在线播放国产精品三级| 国产av不卡久久| 国产伦理片在线播放av一区 | 欧美日韩国产亚洲二区| 美女内射精品一级片tv| 亚洲一区二区三区色噜噜| 免费在线观看成人毛片| 热99在线观看视频| 成人一区二区视频在线观看| 一个人免费在线观看电影| 在线a可以看的网站| 成人av在线播放网站| 国产精品福利在线免费观看| 精品久久久久久久久久久久久| 少妇的逼好多水| 国产精品99久久久久久久久| 插阴视频在线观看视频| 日韩人妻高清精品专区| 久久久国产成人精品二区| 国内揄拍国产精品人妻在线| 欧美最黄视频在线播放免费| 国产黄片视频在线免费观看| 亚洲人成网站在线播放欧美日韩| 日韩 亚洲 欧美在线| av国产免费在线观看| 真实男女啪啪啪动态图| 成人漫画全彩无遮挡| 免费av不卡在线播放| 人妻少妇偷人精品九色| 少妇被粗大猛烈的视频| 国产在线精品亚洲第一网站| 欧美性感艳星| 在线天堂最新版资源| 少妇熟女欧美另类| 亚洲欧美成人综合另类久久久 | 日本免费一区二区三区高清不卡| 国产精品蜜桃在线观看 | 国产久久久一区二区三区| 精品午夜福利在线看| 色5月婷婷丁香| 嫩草影院入口| 中文字幕av成人在线电影| 中文字幕制服av| 亚洲精品色激情综合| 18+在线观看网站| 欧美激情在线99| av在线蜜桃| 国产av不卡久久| 国产伦理片在线播放av一区 | 少妇熟女aⅴ在线视频| 春色校园在线视频观看| 村上凉子中文字幕在线| 午夜久久久久精精品| 国产精品爽爽va在线观看网站| h日本视频在线播放| 亚洲av免费高清在线观看| 日本黄大片高清| 亚洲国产精品成人久久小说 | 国产综合懂色| 国产精品一区二区三区四区久久| 成人一区二区视频在线观看| 一级二级三级毛片免费看| 欧美区成人在线视频| 免费在线观看成人毛片| 久久婷婷人人爽人人干人人爱| 直男gayav资源| 99热网站在线观看| 国产亚洲av片在线观看秒播厂 | 99热这里只有是精品在线观看| 国产伦精品一区二区三区视频9| 看片在线看免费视频| 日韩av在线大香蕉| 日韩人妻高清精品专区| 日本在线视频免费播放| 狂野欧美激情性xxxx在线观看| 在线观看66精品国产| 少妇熟女欧美另类| 国产精品一及| 欧美日韩国产亚洲二区| 亚洲最大成人手机在线| 精华霜和精华液先用哪个| 亚洲三级黄色毛片| 69av精品久久久久久| 午夜福利高清视频| 日本三级黄在线观看| 91久久精品国产一区二区三区| .国产精品久久| 久久人人爽人人片av| 色综合亚洲欧美另类图片| 亚洲欧美成人精品一区二区| 午夜福利在线观看吧| ponron亚洲| 欧美高清性xxxxhd video| 欧美性猛交黑人性爽| 国产高清不卡午夜福利| a级毛色黄片| 免费不卡的大黄色大毛片视频在线观看 | 国产麻豆成人av免费视频| 国产伦精品一区二区三区视频9| 久久久久久久久中文| 99riav亚洲国产免费| 亚洲成人精品中文字幕电影| 天堂网av新在线| 日日摸夜夜添夜夜爱| 日韩av不卡免费在线播放| 久久久久久久久久久丰满| 舔av片在线| 99视频精品全部免费 在线| 亚洲一区高清亚洲精品| 长腿黑丝高跟| 伊人久久精品亚洲午夜| 国产人妻一区二区三区在| 久久精品国产亚洲av香蕉五月| 国产精品不卡视频一区二区| 日本一二三区视频观看| av国产免费在线观看| 日韩一区二区视频免费看| 久久午夜福利片| 欧美日本亚洲视频在线播放| 黄色欧美视频在线观看| 国产高清有码在线观看视频| 日本免费一区二区三区高清不卡| 国产乱人偷精品视频| 国产精品精品国产色婷婷| 国产成人精品久久久久久| 极品教师在线视频| 床上黄色一级片| 久久久久久久久久久免费av| 少妇人妻精品综合一区二区 | 欧美高清性xxxxhd video| 亚洲最大成人av| 亚洲电影在线观看av| 成熟少妇高潮喷水视频| 淫秽高清视频在线观看| 欧美三级亚洲精品| 一卡2卡三卡四卡精品乱码亚洲| 91久久精品国产一区二区三区| 亚洲国产高清在线一区二区三| 特大巨黑吊av在线直播| 久久久久久国产a免费观看| 亚洲人成网站在线播放欧美日韩| 91精品国产九色| 成人特级av手机在线观看| 精品不卡国产一区二区三区| 国产精品久久久久久久久免| 丰满乱子伦码专区| 欧美三级亚洲精品| 精品久久久久久成人av| 99九九线精品视频在线观看视频| av在线蜜桃| 亚洲国产精品国产精品| 搡老妇女老女人老熟妇| 亚洲精品亚洲一区二区| 精品久久久久久久久久免费视频| 夜夜爽天天搞| 欧美日韩在线观看h|