




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、實(shí)驗(yàn)一 真值計(jì)算1、實(shí)驗(yàn)?zāi)康?熟悉五個(gè)常用聯(lián)結(jié)詞合取、析取、條件和雙條件的概念,掌握真值表技術(shù)。2、實(shí)驗(yàn)內(nèi)容與要求定義1設(shè)P表示一個(gè)命題,由命題聯(lián)結(jié)詞和命題P連接成P,稱P為P的否定式復(fù)合命題, P讀“非P”。稱為否定聯(lián)結(jié)詞。P是真,當(dāng)且僅當(dāng)P為假;P是假,當(dāng)且僅當(dāng)P為真。定義2設(shè)P和Q為兩個(gè)命題,由命題聯(lián)結(jié)詞將P和Q連接成PQ,稱PQ為命題P和Q的合取式復(fù)合命題,PQ讀做“P與Q”,或“P且Q”。稱為合取聯(lián)結(jié)詞。當(dāng)且僅當(dāng)P和Q的真值同為真,命題PQ的真值才為真;否則,PQ的真值為假。定義3設(shè)P和Q為兩個(gè)命題,由命題聯(lián)結(jié)詞把P和Q連接成PQ,稱PQ為命題P和Q的析取式復(fù)合命題,PQ讀做“P或Q
2、”。稱為析取聯(lián)結(jié)詞。當(dāng)且僅當(dāng)P和Q的真值同為假,PQ的真值為假;否則,PQ的真值為真。定義4設(shè)P和Q為兩個(gè)命題,由命題聯(lián)結(jié)詞把P和Q連接成PQ,稱PQ為命題P和Q的條件式復(fù)合命題,簡(jiǎn)稱條件命題。PQ讀做“P條件Q”或者“若P則Q”。稱為條件聯(lián)結(jié)詞。當(dāng)P的真值為真而Q的真值為假時(shí),命題PQ的真值為假;否則,PQ的真值為真。定義5令P、Q是兩個(gè)命題,由命題聯(lián)結(jié)詞«把P和Q連接成P « Q,稱P « Q為命題P和Q的雙條件式復(fù)合命題,簡(jiǎn)稱雙條件命題,P « Q讀做“P當(dāng)且僅當(dāng)Q”,或“P等價(jià)Q”。稱«為雙條件聯(lián)結(jié)詞。當(dāng)P和Q的真值相同時(shí),P
3、1; Q的真值為真;否則,P « Q的真值為假。本實(shí)驗(yàn)要求從鍵盤(pán)輸入兩個(gè)命題P和Q的真值,求它們的合取、析取、條件和雙條件的真值。用C語(yǔ)言或MATLAB實(shí)現(xiàn)。3. 實(shí)驗(yàn)步驟: 在輸入P、Q真值后,會(huì)依次輸出合取、析取、條件、雙條件的真值。本實(shí)驗(yàn)源程序力求簡(jiǎn)潔易懂,所以在設(shè)計(jì)時(shí)應(yīng)用簡(jiǎn)單的語(yǔ)句并省去了許多繁雜的選擇,如1與T、0與F的置換等。但本實(shí)驗(yàn)在操作易于理解方面也有很大的體現(xiàn)。4.源程序:(1)方法一:#include<stdio.h>void main(void)printf("輸入P、Q的真值(1為T(mén),0為F):n");int P,Q;scanf
4、("%d",&P); /輸入P、Q的值scanf("%d",&Q); /求真值printf("合取:%dn",P&&Q);printf("析?。?dn",P|Q);printf("條件:%dn",!P|Q);printf("雙條件:%dn",P&&Q+!P&&!Q);(2)方法二:#include<iostream>using namespace std;int main()char P,Q;int
5、i;cout<<"請(qǐng)輸入兩個(gè)命題的真值(T/F):"<<endl;for(i=1;i<=4;i+)cin>>P;cin>>Q;if(P='T'&&Q='T')cout<<"合取為T(mén),析取為T(mén),條件為T(mén),雙條件為T(mén)"<<endl;else if(P='T'&&Q='F')cout<<"合取為F,析取為T(mén),條件為F,雙條件為F"<<endl;e
6、lse if(P='F'&&Q='T')cout<<"合取為F,析取為T(mén),條件為T(mén),雙條件為F"<<endl;else if(P='F'&&Q='F')cout<<"合取為F,析取為F,條件為T(mén),雙條件為T(mén)"<<endl;5.實(shí)驗(yàn)結(jié)果:(1)方法一:(2)方法二:實(shí)驗(yàn)二 關(guān)系閉包計(jì)算1、實(shí)驗(yàn)?zāi)康?熟悉Warshall算法,掌握求關(guān)系的自反閉包、對(duì)稱閉包和傳遞閉包的方法。2、實(shí)驗(yàn)內(nèi)容與要求定義6 設(shè)R是A上的二元關(guān)
7、系,R的自反(對(duì)稱、傳遞)閉包是關(guān)系R1,則 R1是自反的(對(duì)稱的、傳遞的) RÍR1 對(duì)任何自反的(對(duì)稱的、傳遞的)關(guān)系R2,若RÍR2,則R1ÍR2。R的自反、對(duì)稱和傳遞閉包分別記為r(R)、s(R)和t(R)。定理1 令RÍA´A,則 r(R)=RIA s(R)=RR-1 t(R)=RR2R3Warshall算法:設(shè)R是n個(gè)元素集合上的二元關(guān)系,M是R的關(guān)系矩陣;(1) 置新矩陣A:=M(2) 置i:=1;(3) for j=1 to n do if Aj,i=1 then do for k=1 to n do Aj,k:=Aj,k+Ai
8、,k(4) i=i+1;(5) if i<=n then to (3)(6) (7)(8)(9)(10)(11)(12)(13)(14)(15)(16)(17)(18)(19)(20)(21)(22)(23)(24)else stop本實(shí)驗(yàn)要求從鍵盤(pán)輸入一個(gè)關(guān)系的關(guān)系矩陣,計(jì)算其自反閉包、對(duì)稱閉包和傳遞閉包,計(jì)算傳遞閉包時(shí)使用Warshall算法。用C語(yǔ)言或MATLAB實(shí)現(xiàn)。3.實(shí)驗(yàn)步驟: 輸入一個(gè)3*3維矩陣 由r(R)=RIA;s(R)=RR-1;t(R)=RR2R3列出的算法計(jì)算自反、對(duì)稱、傳遞閉包并輸出。 本實(shí)驗(yàn)源程序力求簡(jiǎn)潔易懂,所以在設(shè)計(jì)時(shí)應(yīng)用簡(jiǎn)單的語(yǔ)句并省去了許多繁雜的選擇
9、,且每步均有注釋,使程序更清晰。但本實(shí)驗(yàn)在操作易于理解方面也有很大的體現(xiàn)。4.源程序:/*熟悉Warshall算法,掌握求關(guān)系的自反閉包、對(duì)稱閉包和傳遞閉包的方法令R AXA,則 r(R)=RIA s(R)=RR-1 t(R)=RR2R3*/#include<stdio.h>void main(void)int i,j,k;int I33=1,0,0,0,1,0,0,0,1;int a33,b33,c33;printf("請(qǐng)輸入3x3的二維矩陣:n");for(i=0;i<3;i+) /輸入矩陣for(j=0;j<3;j+)scanf("%
10、d",&aij);printf("自反閉包:n");for(i=0;i<3;i+) /自反閉包for(j=0;j<3;j+)bij=aij|Iij;printf("%3d",bij);printf("n");printf("對(duì)稱閉包:n");for(i=0;i<3;i+) /對(duì)稱閉包for(j=0;j<3;j+)cij=aij|aji;printf("%3d",cij);printf("n");printf("傳遞閉包:n&
11、quot;);for(i=0;i<3;i+) /傳遞閉包for(j=0;j<3;j+)if(aji=1)for(k=0;k<3;k+)ajk=ajk|aik;for(i=0;i<3;i+) /傳遞閉包的輸出for(j=0;j<3;j+)printf("%3d",aij);printf("n");5.實(shí)驗(yàn)結(jié)果:實(shí)驗(yàn)三 計(jì)算兩結(jié)點(diǎn)間長(zhǎng)度為m的路的數(shù)目1、實(shí)驗(yàn)?zāi)康?熟悉鄰接矩陣和兩結(jié)點(diǎn)間長(zhǎng)度為m的路的數(shù)目的關(guān)系并編程計(jì)算。2、實(shí)驗(yàn)內(nèi)容與要求定義7 給定簡(jiǎn)單圖G=<V,E>,V=v1,v2,vn,V中的結(jié)點(diǎn)按下標(biāo)由小到大
12、編序,則n階方陣A=(aij)稱為圖G的鄰接矩陣。其中 i,j=1,2,n。定理2 設(shè)A為簡(jiǎn)單圖G的鄰接矩陣,則Am中的i行j列元素amij等于G中聯(lián)結(jié)vi到vj的長(zhǎng)度為m的鏈(或路)的數(shù)目。本實(shí)驗(yàn)要求從鍵盤(pán)輸入圖的鄰接矩陣和一正整數(shù)m,計(jì)算結(jié)點(diǎn)兩兩之間長(zhǎng)度為m的路的數(shù)目??紤]有向圖和無(wú)向圖。用C語(yǔ)言或MATLAB實(shí)現(xiàn)。3.實(shí)驗(yàn)步驟: 本實(shí)驗(yàn)在編寫(xiě)源程序時(shí),對(duì)實(shí)驗(yàn)要求進(jìn)行了兩種方式的闡釋:一種是輸入關(guān)系矩陣及其階數(shù),然后依次列出路長(zhǎng)度為1n的關(guān)系矩陣;另一種是輸入關(guān)系矩陣及其階數(shù),然后指定路長(zhǎng)度的關(guān)系矩陣。本實(shí)驗(yàn)源程序力求簡(jiǎn)潔易懂,所以在設(shè)計(jì)時(shí)應(yīng)用簡(jiǎn)單的語(yǔ)句并省去了許多繁雜的選擇,且每步均有注
13、釋,使程序更清晰。但本實(shí)驗(yàn)在操作易于理解方面也有很大的體現(xiàn)。4.程序:(1)方法一:#include<iostream>/計(jì)算兩結(jié)點(diǎn)間長(zhǎng)度為m的路的數(shù)目using namespace std;int main()int i,j,k;int m,n,t;int a100100,b100100;int c100100;int s;cout<<"請(qǐng)輸入關(guān)系矩陣階數(shù):"<<endl;cin>>m;n=m;cout<<"請(qǐng)輸入關(guān)系矩陣:"<<endl;for(i=0;i<m;i+)for
14、(j=0;j<m;j+)cin>>aij;cout<<"/*/"<<endl;for(i=0;i<m;i+)for(j=0;j<m;j+)bij=aij;cout<<"長(zhǎng)度為1的路的矩陣:"<<endl;for(i=0;i<m;i+) /輸出長(zhǎng)度為1的路for(j=0;j<m;j+)cout<<bij<<" "cout<<endl;for(t=0;t<n-1;t+) /求長(zhǎng)度為2n的路cout<&l
15、t;"長(zhǎng)度為"<<t+2<<"的路的矩陣:"<<endl;for(i=0;i<m;i+)for(j=0;j<m;j+)s=0;for(k=0;k<m;k+)s+=aik*bkj;cij=s;for(i=0;i<m;i+)for(j=0;j<m;j+)bij=cij;for(i=0;i<m;i+) /輸出長(zhǎng)度為2n的路for(j=0;j<m;j+)cout<<bij<<" "cout<<endl;return 0;運(yùn)行結(jié)果:
16、(2)方法二#include<iostream>/計(jì)算兩結(jié)點(diǎn)間長(zhǎng)度為m的路的數(shù)目using namespace std;int main()int i,j,k;int m,n,t;int a100100,b100100;int c100100;int s;cout<<"請(qǐng)輸入關(guān)系矩陣階數(shù):"<<endl;cin>>m;cout<<"請(qǐng)輸入路的長(zhǎng)度:"<<endl;cin>>n;cout<<"請(qǐng)輸入關(guān)系矩陣:"<<endl;for
17、(i=0;i<m;i+)for(j=0;j<m;j+)cin>>aij;cout<<"/*/"<<endl;for(i=0;i<m;i+)for(j=0;j<m;j+)bij=aij;cout<<"長(zhǎng)度為"<<n<<"的路的矩陣:"<<endl;for(t=0;t<n-1;t+) /求長(zhǎng)度為n的路for(i=0;i<m;i+)for(j=0;j<m;j+)s=0;for(k=0;k<m;k+)s+=aik
18、*bkj;cij=s;for(i=0;i<m;i+)for(j=0;j<m;j+)bij=cij;for(i=0;i<m;i+) /輸出長(zhǎng)度為n的路for(j=0;j<m;j+)cout<<bij<<" "cout<<endl;return 0;5.運(yùn)行結(jié)果:實(shí)驗(yàn)四 最優(yōu)樹(shù)的構(gòu)造1、實(shí)驗(yàn)?zāi)康?熟悉最優(yōu)樹(shù)的構(gòu)造算法,掌握最優(yōu)樹(shù)的構(gòu)造過(guò)程。2、實(shí)驗(yàn)內(nèi)容與要求定義8 在權(quán)分別為w1,w2,wt的加權(quán)二叉樹(shù)T中,若權(quán)是wi的葉結(jié)點(diǎn),其級(jí)為L(zhǎng)(wi),則 稱為加權(quán)二叉樹(shù)T的權(quán),并記為w(T)。已知w1,w2,wt為權(quán),T0為
19、加權(quán)二叉樹(shù),其權(quán)為w(T0),如果對(duì)任意加權(quán)二叉樹(shù)T,它的權(quán)是w(T),均有w(T0)w(T),則稱T0是最優(yōu)樹(shù)或Huffman樹(shù)。定理3 設(shè)T為加權(quán)w1,w2,wt且w1w2wt的最優(yōu)樹(shù),則(1) 加權(quán)w1和w2的葉結(jié)點(diǎn)vw1和vw2是兄弟。(2) 以葉結(jié)點(diǎn)vw1和vw2為兒子的分枝結(jié)點(diǎn),它是所有分枝結(jié)點(diǎn)的級(jí)最高者。定理4 設(shè)T為加權(quán)w1,w2,wt且w1w2wt的最優(yōu)樹(shù),若將以加權(quán)w1和w2的葉結(jié)點(diǎn)為兒子的分枝結(jié)點(diǎn)改為加權(quán)w1+w2的葉結(jié)點(diǎn)而得到一棵新樹(shù)T1,則T1是最優(yōu)樹(shù)。根據(jù)上述兩個(gè)定理,求一棵有t個(gè)權(quán)的最優(yōu)樹(shù),可簡(jiǎn)化為求一棵有t-1個(gè)權(quán)的最優(yōu)樹(shù),而這又可簡(jiǎn)化為求一棵有t-2個(gè)權(quán)的最優(yōu)樹(shù),依此類推。具體作法是:首先找出兩個(gè)最小的權(quán)值,設(shè)w1和w2。然后對(duì)t-1個(gè)權(quán)w1+w2,w3,wt求作一棵最優(yōu)樹(shù),并且將這棵樹(shù)中的結(jié)w1+w2代之以w1 w2,依此類推。本實(shí)驗(yàn)要求從鍵盤(pán)輸入一組權(quán)值,構(gòu)造出對(duì)應(yīng)的最優(yōu)樹(shù),列出構(gòu)造過(guò)程。用C語(yǔ)言或MATLAB實(shí)現(xiàn)。3.實(shí)驗(yàn)步驟: 本實(shí)驗(yàn)要求先輸入葉子節(jié)點(diǎn)的個(gè)數(shù),然后輸入其權(quán)值,最后根據(jù)冒泡法排序并使最小的兩數(shù)相加,最后輸出最優(yōu)樹(shù)的構(gòu)造過(guò)程。本實(shí)驗(yàn)源程序力求簡(jiǎn)潔易懂,所以在設(shè)計(jì)時(shí)應(yīng)用簡(jiǎn)單的語(yǔ)句并省去了許多繁雜的選擇,且每步均有注釋,使程序更清晰。但本實(shí)驗(yàn)在操作易于理解方面也有很大的體現(xiàn)。4.程序:#include<iostream&g
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 單面窗戶采購(gòu)合同范本
- 司機(jī)協(xié)議合同范例
- 業(yè)務(wù)員簡(jiǎn)單辭職報(bào)告
- 通信網(wǎng)絡(luò)管理員高級(jí)考試模擬題含參考答案
- 辦卡會(huì)員合同范本
- 農(nóng)村固體廢物處理合同范本
- 一周總結(jié)30篇模板
- 壓路機(jī)租用合同范本
- 公司出售寫(xiě)合同范例
- 2014旅游協(xié)議合同范本
- 2025年01月中國(guó)疾控中心信息中心公開(kāi)招聘1人筆試歷年典型考題(歷年真題考點(diǎn))解題思路附帶答案詳解
- 北京市豐臺(tái)區(qū)2024-2025學(xué)年高二上學(xué)期期末英語(yǔ)試題
- 2025年高三第二學(xué)期物理備課組教學(xué)工作計(jì)劃
- 丁香園:2024年12月全球新藥月度報(bào)告-數(shù)據(jù)篇
- 生產(chǎn)與運(yùn)作管理-第5版 課件全套 陳志祥 第1-14章 生產(chǎn)系統(tǒng)與生產(chǎn)運(yùn)作管理概述 -豐田生產(chǎn)方式與精益生產(chǎn)
- 2025年湖南理工職業(yè)技術(shù)學(xué)院高職單招職業(yè)技能測(cè)試近5年??及鎱⒖碱}庫(kù)含答案解析
- 2024年西安航空職業(yè)技術(shù)學(xué)院高職單招職業(yè)適應(yīng)性測(cè)試歷年參考題庫(kù)含答案解析
- 2024年港作拖輪項(xiàng)目可行性研究報(bào)告
- 課題申報(bào)書(shū):“四新”建設(shè)與創(chuàng)新創(chuàng)業(yè)人才培養(yǎng)基本范式研究
- 春季高考高職單招數(shù)學(xué)模擬試題七套含答案
- 2024-2025學(xué)年陜西省寶雞市高三上學(xué)期高考模擬檢測(cè)(一)英語(yǔ)試題(含解析)
評(píng)論
0/150
提交評(píng)論