資料介紹
研究k-SAT問(wèn)題實(shí)例中每個(gè)變?cè)『贸霈F(xiàn)r=2s次,且每個(gè)變?cè)獙?duì)應(yīng)的正、負(fù)文字都出現(xiàn)s次的嚴(yán)格隨機(jī)正則(K,r)-SAT問(wèn)題.通過(guò)構(gòu)造一個(gè)特殊的獨(dú)立隨機(jī)實(shí)驗(yàn),結(jié)合一階矩方法,給出了嚴(yán)格隨機(jī)正則(K,r)-SAT問(wèn)題可滿足臨界值的上界.由于嚴(yán)格正則情形與正則情形的可滿足臨界值近似相等,因此得到了隨機(jī)正則(K,r)-SAT問(wèn)題可滿足臨界值的新上界.該上界不僅小于當(dāng)前已有的隨機(jī)正則(K,r)-SAT問(wèn)題的可滿足臨界值上界,而且還小于一般的隨機(jī)k-SAT問(wèn)題的可滿足臨界值.因此。這也從理論上解釋了在相變點(diǎn)處的隨機(jī)正則(k,r)-SAT問(wèn)題實(shí)例通常比在相應(yīng)相變點(diǎn)處同規(guī)模的隨機(jī)k-SAT問(wèn)題實(shí)例更難滿足的原因,最后,數(shù)值分析結(jié)果驗(yàn)證了所給上界的正確性。
- 基于耦合字典學(xué)習(xí)與圖像正則化的跨模態(tài)檢索 39次下載
- 一種線性插值隨機(jī)對(duì)偶平均優(yōu)化方法 4次下載
- 高精度近線性的馬爾可夫隨機(jī)場(chǎng)新模型iMRF 2次下載
- 基于k近鄰的完全隨機(jī)森林算法KCRForest 18次下載
- 一種基于隨機(jī)森林與人工免疫的入侵檢測(cè)算法 3次下載
- Python正則表達(dá)式指南 10次下載
- 過(guò)程控制MATLAB仿真的詳細(xì)資料說(shuō)明 8次下載
- Python正則表達(dá)式的學(xué)習(xí)指南 0次下載
- Python正則表達(dá)式教程之標(biāo)準(zhǔn)庫(kù)的完整介紹及使用示例說(shuō)明 3次下載
- 基于硬件可編程邏輯的SAT求解算法研究與進(jìn)展 0次下載
- 基于快速自編碼的正則化極限學(xué)習(xí)機(jī) 0次下載
- 基于正則化矩陣分解的用戶用電行為分析 0次下載
- 基于硬件模擬的SAT求解框架 0次下載
- 結(jié)合AIG和兩變量觀測(cè)策略的SAT滿足性算法 0次下載
- 超超臨界發(fā)電技術(shù)研究與應(yīng)用
- 什么是正則表達(dá)式?正則表達(dá)式如何工作?哪些語(yǔ)法規(guī)則適用正則表達(dá)式? 3819次閱讀
- 求解布爾SAT的方法 1142次閱讀
- OpenHarmony中使用正則表達(dá)式 1506次閱讀
- shell腳本基礎(chǔ):正則表達(dá)式grep 1285次閱讀
- 正則表達(dá)式(RegularExpression)使用指南 1596次閱讀
- Python-正則與簡(jiǎn)單web服務(wù)器 570次閱讀
- 什么是RTOS臨界段 1128次閱讀
- C語(yǔ)言如何使用正則表達(dá)式 4970次閱讀
- 詳解機(jī)器學(xué)習(xí)和深度學(xué)習(xí)常見(jiàn)的正則化 2353次閱讀
- SGD的隨機(jī)項(xiàng)在其選擇最終的全局極小值點(diǎn)的關(guān)鍵性作用 5419次閱讀
- 什么是臨界段 RTOS臨界段的作用是什么 1.1w次閱讀
- 教你如何輕松搞定Linux正則表達(dá)式 3645次閱讀
- 用FPGA硬件實(shí)現(xiàn)多路偽隨機(jī)序列應(yīng)用適應(yīng)光學(xué)SPGD控制算法設(shè)計(jì) 2030次閱讀
- 快速入門IPv6和正則表達(dá)式 9051次閱讀
- 對(duì)于無(wú)線電全模式短波電臺(tái)TS-480SAT/HX詳細(xì)剖析 5.8w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論
查看更多