資料介紹
研究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次下載
- 超超臨界發電技術研究與應用
- 什么是正則表達式?正則表達式如何工作?哪些語法規則適用正則表達式? 3819次閱讀
- 求解布爾SAT的方法 1142次閱讀
- OpenHarmony中使用正則表達式 1506次閱讀
- shell腳本基礎:正則表達式grep 1285次閱讀
- 正則表達式(RegularExpression)使用指南 1596次閱讀
- Python-正則與簡單web服務器 570次閱讀
- 什么是RTOS臨界段 1128次閱讀
- C語言如何使用正則表達式 4970次閱讀
- 詳解機器學習和深度學習常見的正則化 2353次閱讀
- SGD的隨機項在其選擇最終的全局極小值點的關鍵性作用 5419次閱讀
- 什么是臨界段 RTOS臨界段的作用是什么 1.1w次閱讀
- 教你如何輕松搞定Linux正則表達式 3645次閱讀
- 用FPGA硬件實現多路偽隨機序列應用適應光學SPGD控制算法設計 2030次閱讀
- 快速入門IPv6和正則表達式 9051次閱讀
- 對于無線電全模式短波電臺TS-480SAT/HX詳細剖析 5.8w次閱讀
下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料(電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數發生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評論