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