資料介紹
研究k-SAT問題實例中每個變元恰好出現r=2s次,且每個變元對應的正、負文字都出現s次的嚴格隨機正則(K,r)-SAT問題.通過構造一個特殊的獨立隨機實驗,結合一階矩方法,給出了嚴格隨機正則(K,r)-SAT問題可滿足臨界值的上界.由于嚴格正則情形與正則情形的可滿足臨界值近似相等,因此得到了隨機正則(K,r)-SAT問題可滿足臨界值的新上界.該上界不僅小于當前已有的隨機正則(K,r)-SAT問題的可滿足臨界值上界,而且還小于一般的隨機k-SAT問題的可滿足臨界值.因此。這也從理論上解釋了在相變點處的隨機正則(k,r)-SAT問題實例通常比在相應相變點處同規模的隨機k-SAT問題實例更難滿足的原因,最后,數值分析結果驗證了所給上界的正確性。
- 基于耦合字典學習與圖像正則化的跨模態檢索 39次下載
- 一種線性插值隨機對偶平均優化方法 4次下載
- 高精度近線性的馬爾可夫隨機場新模型iMRF 2次下載
- 基于k近鄰的完全隨機森林算法KCRForest 18次下載
- 一種基于隨機森林與人工免疫的入侵檢測算法 3次下載
- Python正則表達式指南 10次下載
- 過程控制MATLAB仿真的詳細資料說明 8次下載
- Python正則表達式的學習指南 0次下載
- Python正則表達式教程之標準庫的完整介紹及使用示例說明 3次下載
- 基于硬件可編程邏輯的SAT求解算法研究與進展 0次下載
- 基于快速自編碼的正則化極限學習機 0次下載
- 基于正則化矩陣分解的用戶用電行為分析 0次下載
- 基于硬件模擬的SAT求解框架 0次下載
- 結合AIG和兩變量觀測策略的SAT滿足性算法 0次下載
- 超超臨界發電技術研究與應用
- 什么是正則表達式?正則表達式如何工作?哪些語法規則適用正則表達式? 1666次閱讀
- 求解布爾SAT的方法 905次閱讀
- OpenHarmony中使用正則表達式 1058次閱讀
- shell腳本基礎:正則表達式grep 1043次閱讀
- Python-正則與簡單web服務器 483次閱讀
- 什么是RTOS臨界段 986次閱讀
- C語言如何使用正則表達式 4690次閱讀
- 詳解機器學習和深度學習常見的正則化 2186次閱讀
- SGD的隨機項在其選擇最終的全局極小值點的關鍵性作用 5270次閱讀
- 什么是臨界段 RTOS臨界段的作用是什么 1.1w次閱讀
- 教你如何輕松搞定Linux正則表達式 3523次閱讀
- 3分鐘搞定Linux正則表達式! 2755次閱讀
- 用FPGA硬件實現多路偽隨機序列應用適應光學SPGD控制算法設計 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開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 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 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 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十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多