?? 收入證明技術資料

?? 資源總數：868
?? 源代碼：717

?? 收入證明熱門資料

查看全部868個資源 ?

C語言作的四色驗證1．需求分析問題描述：證明了可以用不多于4種顏色對n個區域著色，而滿足相鄰的區域具有不同的顏色輸入形式 ： 暫定最多50個區域，如需證明更多區域，修改#define S 50 即可；以整形形式輸入（取值范圍1-32767）用戶需要證明的區域數目，相聯的一對矩陣； 輸出形式：以0和1...

?? ?? 風之驕子

八數碼難題求解程序本程序所采用的啟發函數,本人不能證明它能解決任何的八數碼難題,如果對于較難的問題會產生很多節點,有可能會使空間不足,所以盡量不要出太難的問題難為它.希望廣大的人工智能愛好者能寫出更好的啟發函數....

?? ?? comua

基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。...

?? ?? GavinNeko
?? 收入證明資料分類