prolog 找路例子程序： === === === === === === Part 1-Adding connections Part 2-Simple Path example | ?- path1(a,b,P,T). will produce the response: T = 15 P = [a,b] ? Part 3 - Non-repeating path As an example, the query: ?- path2(a,h,P,T). will succeed and may produce the bindings: P = [a,depot,b,d,e,f,h] T = 155 Part 4 - Generating a path below a cost threshold As an example, the query: ?- path_below_cost(a,[a,b,c,d,e,f,g,h],RS,300). returns: RS = [a,b,depot,c,d,e,g,f,h] ? RS = [a,c,depot,b,d,e,g,f,h] ? no ==================================
標簽： Part connections example prolog
上傳時間： 2015-04-24
上傳用戶：ljt101007
裝備盒問題。 大意是給出一個矩形地板，你有一個底面為矩形的盒子必須放在上面而不超過地板邊界。 現(xiàn)在給出地板的長(X)和寬(Y)，以及盒子的長(a)和寬(b)，問是否可能達到要求（即放上去不超過邊界）
標簽： 矩形
上傳時間： 2015-04-28
上傳用戶：gundamwzc
5 ledblink -- 跑馬燈程序 該項目在SDT2.51下編譯調(diào)試。最簡單的demo程序，運行后3個發(fā)光二極管輪流點亮。 6 timerint -- 定時器中斷demo程序 該項目在SDT2.51下編譯調(diào)試。將子目錄timerint拷貝到c:\ 下。 該demo程序的主程序是while空循環(huán)，定時器中斷服務(wù)程序每500ms將3個LED反相。 在57600超級終端里也可以看到中斷發(fā)生時的信息。 7 uart -- 串口測試程序 該項目在SDT2.51下編譯調(diào)試。運行后在57600的超級終端里等待PC鍵盤的輸入，當按下 a 或 b 或 c 按鍵時，超級終端里將顯示 You Pressed a ,You Pressed b ,You Pressed c .
上傳時間： 2015-05-05
上傳用戶：aix008
二分圖是一個無向圖，它的n 個頂點可二分為集合A和集合B，且同一集合中的任意兩個頂點在圖中無邊相連（即任何一條邊都是一個頂點在集合A中，另一個在集合B中）。當且僅當B中的每個頂點至少與A中一個頂點相連時，A的一個子集A 覆蓋集合B（或簡單地說，A 是一個覆蓋）。覆蓋A 的大小即為A 中的頂點數(shù)目。當且僅當A 是覆蓋B的子集中最小的時，A 為最小覆蓋。
上傳時間： 2015-05-07
上傳用戶：alan-ee
十部經(jīng)典算法合集 .chm Fundamentals of Data Structures by Ellis Horowitz and Sartaj Sahni PREFACE CHAPTER 1: INTRODUCTION CHAPTER 2: ARRAYS CHAPTER 3: STACKS AND QUEUES CHAPTER 4: LINKED LISTS CHAPTER 5: TREES CHAPTER 6: GRAPHS CHAPTER 7: INTERNAL SORTING CHAPTER 8: EXTERNAL SORTING CHAPTER 9: SYMBOL TABLES CHAPTER 10: FILES APPENDIX A: SPARKS APPENDIX B: ETHICAL CODE IN INFORMATION PROCESSING APPENDIX C: ALGORITHM INDEX BY CHAPTER
標簽： Fundamentals Structures Horowitz PREFACE
上傳時間： 2015-05-19
上傳用戶：維子哥哥
數(shù)字運算，判斷一個數(shù)是否接近素數(shù) A Niven number is a number such that the sum of its digits divides itself. For example, 111 is a Niven number because the sum of its digits is 3, which divides 111. We can also specify a number in another base b, and a number in base b is a Niven number if the sum of its digits divides its value. Given b (2 <= b <= 10) and a number in base b, determine whether it is a Niven number or not. Input Each line of input contains the base b, followed by a string of digits representing a positive integer in that base. There are no leading zeroes. The input is terminated by a line consisting of 0 alone. Output For each case, print "yes" on a line if the given number is a Niven number, and "no" otherwise. Sample Input 10 111 2 110 10 123 6 1000 8 2314 0 Sample Output yes yes no yes no
上傳時間： 2015-05-21
上傳用戶：daguda
LCS（最長公共子序列）問題可以簡單地描述如下： 一個給定序列的子序列是在該序列中刪去若干元素后得到的序列。給定兩個序列X和Y，當另一序列Z既是X的子序列又是Y的子序列時，稱Z是序列X和Y的公共子序列。例如，若X={A，B，C，B，D，B，A}，Y={B，D，C，A，B，A}，則序列{B，C，A}是X和Y的一個公共子序列，但它不是X和Y的一個最長公共子序列。序列{B，C，B，A}也是X和Y的一個公共子序列，它的長度為4，而且它是X和Y的一個最長公共子序列，因為X和Y沒有長度大于4的公共子序列。 最長公共子序列問題就是給定兩個序列X={x1,x2,...xm}和Y={y1,y2,...yn}，找出X和Y的一個最長公共子序列。對于這個問題比較容易想到的算法是窮舉，對X的所有子序列，檢查它是否也是Y的子序列，從而確定它是否為X和Y的公共子序列，并且在檢查過程中記錄最長的公共子序列。X的所有子序列都檢查過后即可求出X和Y的最長公共子序列。X的每個子序列相應(yīng)于下標集{1,2,...,m}的一個子集。因此，共有2^m個不同子序列，從而窮舉搜索法需要指數(shù)時間。
上傳時間： 2015-06-09
上傳用戶：氣溫達上千萬的
電力系統(tǒng)在臺穩(wěn)定計算式電力系統(tǒng)不正常運行方式的一種計算。它的任務(wù)是已知電力系統(tǒng)某一正常運行狀態(tài)和受到某種擾動，計算電力系統(tǒng)所有發(fā)電機能否同步運行 1運行說明： 請輸入初始功率S0，形如a+bi 請輸入無限大系統(tǒng)母線電壓V0 請輸入系統(tǒng)等值電抗矩陣B 矩陣B有以下元素組成的行矩陣 1正常運行時的系統(tǒng)直軸等值電抗Xd 2故障運行時的系統(tǒng)直軸等值電抗X d 3故障切除后的系統(tǒng)直軸等值電抗 請輸入慣性時間常數(shù)Tj 請輸入時段數(shù)N 請輸入哪個時段發(fā)生故障Ni 請輸入每時段間隔的時間dt
標簽： 電力系統(tǒng) 正 計算 運行
上傳時間： 2015-06-13
上傳用戶：it男一枚
本文描述了TrackBack, 一個點對點通信和網(wǎng)站間互相通告的框架. TrackBack的中心思想是TrackBack ping的概念, 從本質(zhì)上講，TrackBack ping是一個請求，通告“資源A與資源B相關(guān)，或有鏈接到資源B.” 一個TrackBack “資源” 用一個TrackBack Ping URL表示, 這是一個標準的URI.
標簽： TrackBack ping 點對點通信 網(wǎng)站
上傳時間： 2013-12-12
上傳用戶：123456wh
上下文無關(guān)文法（Context-Free Grammar, CFG）是一個4元組G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一組有限的產(chǎn)生式規(guī)則集，形如A→α，其中A∈V，且α∈(V∪T)*。V的元素稱為非終結(jié)符，T的元素稱為終結(jié)符，S是一個特殊的非終結(jié)符，稱為文法開始符。 設(shè)G=(V, T, S, P)是一個CFG，則G產(chǎn)生的語言是所有可由G產(chǎn)生的字符串組成的集合，即L(G)={x∈T* | Sx}。一個語言L是上下文無關(guān)語言（Context-Free Language, CFL），當且僅當存在一個CFG G，使得L=L(G)。 *⇒ 例如，設(shè)文法G：S→AB A→aA|a B→bB|b 則L(G)={a^nb^m | n,m>=1} 其中非終結(jié)符都是大寫字母，開始符都是S，終結(jié)符都是小寫字母。
標簽： Context-Free Grammar CFG
上傳時間： 2013-12-10
上傳用戶：gaojiao1999
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
