|
|
chōu xiàng shù jù lèi xíng
(abstractdatatype jiǎn chēng adt)
shì zhǐ yī gè shù xué mó xíng yǐ jí dìng yì zài cǐ shù xué mó xíng shàng de yī zǔ cāo zuò。
chōu xiàng shù jù lèi xíng xū yào tōng guò gù yòu shù jù lèi xíng ( gāo jí biān chéng yǔ yán zhōng yǐ shí xiàn de shù jù lèi xíng ) lái shí xiàn。
chōu xiàng shù jù lèi xíng shì yǔ biǎo shì wú guān de shù jù lèi xíng， shì yī gè shù jù mó xíng jí dìng yì zài gāi mó xíng shàng de yī zǔ yùn suàn。 duì yī gè chōu xiàng shù jù lèi xíng jìn xíng dìng yì shí， bì xū gěi chū tā de míng zì jí gè yùn suàn de yùn suàn fú míng， jí hán shù míng， bìng qiě guī dìng zhè xiē hán shù de cān shù xìng zhì。 yī dàn dìng yì liǎo yī gè chōu xiàng shù jù lèi xíng jí jù tǐ shí xiàn， chéng xù shè jì zhōng jiù kě yǐ xiàng shǐ yòng jī běn shù jù lèi xíng nà yàng， shí fēn fāng biàn dì shǐ yòng chōu xiàng shù jù lèi xíng 。
chōu xiàng shù jù lèi xíng de miáo shù bāo kuò gěi chū chōu xiàng shù jù lèi xíng de míng chēng、 shù jù de jí hé、 shù jù zhī jiān de guān xì hé cāo zuò de jí hé děng fāng miàn de miáo shù。 chōu xiàng shù jù lèi xíng de shè jì zhě gēn jù zhè xiē miáo shù gěi chū cāo zuò de jù tǐ shí xiàn， chōu xiàng shù jù lèi xíng de shǐ yòng zhě yǐ jù zhè xiē miáo shù shǐ yòng chōu xiàng shù jù lèi xíng 。
chōu xiàng shù jù lèi xíng miáo shù de yī bān xíng shì rú xià：
adt chōu xiàng shù jù lèi xíng míng chēng {
shù jù duì xiàng：
……
shù jù guān xì：
……
cāo zuò jí hé：
cāo zuò míng 1：
……
……
cāo zuò míng n：
}adt chōu xiàng shù jù lèi xíng míng chēng
chōu xiàng shù jù lèi xíng dìng yì（ adt）
zuò yòng： chōu xiàng shù jù lèi xíng kě yǐ shǐ wǒ men gèng róng yì miáo shù xiàn shí shì jiè。 lì： yòng xiàn xìng biǎo miáo shù xué shēng chéng jì biǎo， yòng shù huò tú miáo shù yí chuán guān xì。
dìng yì： yī gè shù xué mó xíng yǐ jí dìng yì zài gāi mó xíng shàng de yī zǔ cāo zuò。
guān jiàn： shǐ yòng tā de rén kě yǐ zhǐ guān xīn tā de luó ji tè zhēng， bù xū yào liǎo jiě tā de cún chǔ fāng shì。 dìng yì tā de rén tóng yàng bù bì yào guān xīn tā rú hé cún chǔ。
lì： xiàn xìng biǎo zhè yàng de chōu xiàng shù jù lèi xíng ， qí shù xué mó xíng shì： shù jù yuán sù de jí hé， gāi jí hé nèi de yuán sù yòu zhè yàng de guān xì： chú dì yī gè hé zuì hòu yī gè wài， měi gè yuán sù yòu wéi yī de qián qū hé wéi yī de hòu jì。 kě yǐ yòu zhè yàng yī xiē cāo zuò： chā rù yī gè yuán sù、 shān chú yī gè yuán sù děng。 |
|
chōu xiàng shù jù lèi xíng
abstractdatatype
ChouxiQngshUjUleixing
chōu xiàng shù jù lèi xíng (abstractdata sháo pe) yǔ biǎo shì
wú guān de shù jù lèi xíng。 shù jù lèi xíng yóu yī gè duì xiàng jí hé ( zhí jí )
hé zài gāi jí hé shàng dìng yì de ruò gān hé fǎ yùn suàn suǒ zǔ chéng de yùn suàn jí
hé zǔ chéng。 chōu xiàng shù jù lèi xíng yòng shù xué fāng fǎ dìng yì duì xiàng jí hé hé
yùn suàn jí hé， jǐn tōng guò yùn suàn de xìng zhì kè huà shù jù duì xiàng， ér dú lì
yú jì suàn jī zhōng kě néng de biǎo shì fāng fǎ。 qí mùdì zài yú yǐn bì yùn suàn
shí xiàn xì jié hé nèi bù shù jù jié gòu， tóng shí xiàng yòng hù tí gōng gāi shù jù
lèi xíng de wán zhěng xìn xī。
chōu xiàng shù jù lèi xíng de gài niàn shì zhú bù xíng chéng de。 60 nián dài
mò dào 70 nián dài， rén men jiāng yòng hù zì dìng yì de lèi xíng chēng zuò chōu xiàng shù
jù lèi xíng。 chuán tǒng de suàn fǎ yǔ yán méi yòu yòng hù zì dìng yì lèi xíng de shè
shī。 dào 60 nián dài mò， wèile shí xiàn suàn fǎ xì jié hé shù jù nèi bù jié
gòu de yǐn bì， SIMIJLA67 yǔ yán zhōng yǐn rén liǎo lèi， suí hòu chū xiàn
liǎo mó kuài gài niàn。 mó kuài kě fēn chéng mó kuài shì hé mó kuài tǐ， mó kuài shì
dìng yì wài bù kě jiàn de yùn suàn jiē kǒu， mó kuài tǐ duì wài bù kě jiàn， qí zhōng
kě dìng yì sī yòu de shù jù jié gòu hé yùn suàn。 tōng guò jiē kǒu hé shí xiàn de
fēn lí， mó kuài tí gōng liǎo yòng hù zì dìng yì lèi xíng de shǒu duàn， dá dào shù jù
chōu xiàng、 xìn xī yǐn bì de mùdì。 zài zhè gè yì yì xià， mó kuài suǒ dìng yì
de shù jù lèi xíng chēng zuò chōu xiàng shù jù lèi xíng 。 shí jì shàng， mó kuài tí gōng
liǎo yī zhǒng chōu xiàng shù jù lèi xíng shí xiàn de shǒu duàn。 zhè zhǒng shǒu duàn zài
rù yù yuè ula-2， bā da děng yǔ yán zhōng dé dào jìn yī bù de wán shàn hé fā zhǎn。
yòng hù zì dìng yì shù jù lèi xíng de lìng yī yōu diǎn shì shè jì yǔ shí xiàn xiāng fēn
lí， kě jiāng mó kuài shì kàn zuò shè jì guī yuē， ér mó kuài tǐ shì xiāng yìng de shí
xiàn。 zhè zhǒng fēn lí tuī dòng liǎo ruǎn jiàn guī yuē de yán jiū， yě jìn yī bù tuī
dòng liǎo chōu xiàng shù jù lèi xíng de yán jiū。
dāng yòng yī gè shù jù lèi xíng qù mó nǐ yī lèi kè guān duì xiàng shí， kě
xiān gěi chū gāi lèi xíng de xìng zhì hé gōng néng de miáo shù， rán hòu yòng yǐ yòu de
yǔ yán shè shī hé shù jù lèi xíng shí xiàn suǒ xū de gōng néng， bìng zhèng míng shí xiàn
de zhèng què xìng。 jǐn tōng guò mó kuài shì miáo shù shù jù lèi xíng de xíng gòu shì bù
gòu de， hái bì xū yòng chōu xiàng de fāng fǎ wán zhěng dì miáo shù duì xiàng de xìng tài
hé gōng néng。 zhè jiù shì yòng chōu xiàng shù jù lèi xíng biǎo shì gōng néng guī yuē。 zhè
shí， chōu xiàng shù jù lèi xíng wán quán dú lì yú jù tǐ biǎo shì， fǎn yìng chū chún chōu
xiàng de xìng zhì。 chōu xiàng shù jù lèi xíng de guī yuē fāng fǎ zhù yào yòu 'èr : qí
yī shì dài shù fāng fǎ ; qí 'èr shì mó xíng fāng fǎ。 dài shù fāng fǎ jī yú G.
Birkhoff， J.D.LipSOn děng de yì diào dài shù lǐ lùn， jīng 5.21115，
J.A.Guttag děng rén de fā zhǎn， qí lǐ lùn jī chǔ rì qū wán shàn， bìng zhú
bù yìng yòng yú ruǎn jiàn gōng chéng shí jiàn， chéng wéi yòu dài biǎo xìng de chōu xiàng shù jù
lèi xíng guī yuē fāng fǎ。 mó xíng fāng fǎ jī yú C.A.R.HOare de qián
hòu duàn yán fāng fǎ， tā tōng guò yǐ dìng yì de ( chōu xiàng ) shù jù lèi xíng lái gěi
chū suǒ yào dìng yì de xīn lèi xíng de chōu xiàng mó xíng。
cǎi yòng dài shù fāng fǎ， chōu xiàng shù jù lèi xíng de guī yuē yóu liǎng bù fēn
zǔ chéng， yī shì yǔ fǎ bù fēn， èr shì gōng lǐ bù fēn。 yǔ fǎ bù fēn gěi chū
liǎo chōu xiàng shù jù lèi xíng de míng jí qí shàng yùn suàn de dìng yì yù hé zhí yù，
gōng lǐ bù fēn zé tōng guò gěi chū yī zǔ kè huà gè yùn suàn zhī jiān xiāng hù guān xì
de fāng chéng lái dìng yì gè yùn suàn de hán yì。 cóng yǔ yì de jiǎo dù， dài shù
guī yuē de yǔ yì shì yī lèi dài shù。 zài yǔ fǎ zhèng què de jī chǔ shàng， yǔ
yì zhèng què xìng shì zhǐ xiāng yìng dài shù mǎn zú guī yuē zhōng gōng lǐ bù fēn de suǒ yòu
gōng lǐ。 tōng cháng， jù yǔ yì zhèng què xìng de yǔ yì mó xíng dài shù yòu duō gè |
|
- : abstract data type
|
|
| lèi | shù jù chōu xiàng huà | |
|