Предикатні моделі логічних просторів в системах подання знань: Автореф. дис… канд. техн. наук / Н.А. Гвоздінська, Харк. держ. техн. ун-т радіоелектр

I?I?NOA?NOAI INA?OE OE?A?IE

OA?E?ANUeEEE AeA?AEAAIEE OAOI?*IEE

OI?AA?NEOAO ?AAe?IAEAEO?II?EE

AAICAe?INUeEA IAOAE?ss AIAOIE??AIA

OAeE 519.7

I?AAeEEAOI? IIAeAE? EIA?*IEO I?INOI??A A

NENOAIAO IIAeAIIss CIAIUe

01.05.02 — iaoaiaoe/ia iiaeaethaaiiy oa ia/enethaaeuei? iaoiaee

AAOI?AOA?AO

aeena?oaoe?? ia caeiaoooy iaoeiaiai nooiaiy

eaiaeeaeaoa oaoi?/ieo iaoe

Oa?e?a — 1999

Aeena?oaoe??th ? ?oeiien.

?iaioa aeeiiaia a Oa?e?anueeiio aea?aeaaiiio oaoi?/iiio oi?aa?neoao?
?aae?iaeaeo?ii?ee, I?i?noa?noai ina?oe Oe?a?ie.

Iaoeiaee ea??aiee aeieoi? oaoi?/ieo iaoe, i?ioani? Oaaaiia-Eooia?aiei
TH??e Iao?iae/, Oa?e?anueeee aea?aeaaiee oaoi?/iee oi?aa?neoao
?aae?iaeaeo?ii?ee, i?ioani? eaoaae?e «I?ia?aiiiai caaacia/aiiy AII»

Io?oe?ei? iiiiaioe: aeieoi? oaoi?/ieo iaoe, i?ioani? Oa?iiiaa Iaoae?y
Aaea???aia, Oa?e?anueeee aoiai?oa?iee ?inoeooo «Ia?iaeia oe?a?inueea
aeaaeai?y», caa?aeoaa/ eaoaae?ith «?ioi?iaoe?eieo oaoiieia?e oa
aeieoiaioiaaaeaiiy», i?i?aeoi? ii IAe?;

eaiaeeaeao oaoi?/ieo iaoe, aeioeaio Nieieia Ieaenaiae? TH??eiae/,
Oa?e?anueeee aea?aeaaiee aa?ieini?/iee oi?aa?neoao ?i. I.?.
AEoeianueeiai «OA?», caa?aeoaa/ eaoaae?ith «?ioi?iaoeee»

I?ia?aeia onoaiiaa ?inoeooo i?iaeai iaoeiiaoaeoaaiiy ?i. A.I.
I?aeai?iiai IAI Oe?a?ie, i.Oa?e?a.

Caoeno a?aeaoaeaoueny «19» aeiaoiy 1999?. i 1300 aiaeei? ia can?aeaii?
niaoe?ae?ciaaii? a/aii? ?aaee Ae 64.052.02 a Oa?e?anueeiio aea?aeaaiiio
oaoi?/iiio oi?aa?neoao? ?aae?iaeaeo?ii?ee, i.Oa?e?a, i?.Eai?ia, 14, fax
(0572) 40-91-13

C aeena?oaoe??th iiaeia iciaeiieoenue o a?ae?ioaoe? Oa?e?anueeiai
aea?aeaaiiai oaoi?/iiai oi?aa?neoaoo ?aae?iaeaeo?ii?ee, i.Oa?e?a,
i?.Eai?ia, 14.

Aaoi?aoa?ao ?ic?neaiee «10» aa?aniy 1999?.

A/aiee nae?aoa?

niaoe?ae?ciaaii? a/aii? ?aaee Aacei?iaaeiee A.A.

CAAAEUeIA OA?AEOA?ENOEEA ?IAIOE

Aeooaeuei?noue oaie. No/ania aiioa oa?aeoa?ia ao?oeeaei ?icaeoeii
aaeocae canoinoaaiiy iaeiia?oi?oeo ?ioi?iaoe?eieo oaoiieia?e. Aea
aaaaeaiiy ?iio?iaoe?? a eiii’thoa? caeeoeeiny iaci?iiei oa
o?aaeeoe?eiei. A?aenooi? noai?i oi?iae?ciaai? i?aeoiaee aei iiaeaiiy
ciaiue ? i?eaaaeea? iaoiaee iiaeaethaaiiy ciaiue. O ca’yceo c oeei
aeieeea oa iaaoea aaeeei? aeooaeuei?no? i?iaeaia noai?aiiy aia?aoo aeey
oi?iae?caoe?? iieno oa eiii’thoa?iiai iiaeaiiy ??ciiiai?oii?
?ioi?iaoe??, iiaeaii? o aeaeyae? oaeno?a i?e?iaeii? iiae aai eia?/ieo
no?oeoo? ieneaiiy. sse a?aeiii, aeey iiaeaethaaiiy iiae?aieo yaeu oa
i?ioean?a aeei?enoiaothoueny aeai?eoie ooo/iiai ?ioaeaeoo. Aea
iaea?eueoei iaaeie?eii nenoai ooo/iiai ?ioaeaeoo, ui nooo?ai iaiaaeo?
aaeocue ?o i?aeoe/iiai canoinoaaiiy, ? iacaeaoi?noue iaoeie ?icoi?oe
ethaenueeo iiao ?, ye iane?aeie, iacaeaoi?noue ci?noiaii? ia?iaee iath
oaeno?a. Iiooe iaoiae?a oi?iae?caoe?? aeneiaethaaiue i?e?iaeii? iiae
iiaea a?aee?eoe oeyoe aeey oaeineiiaeaiiy ?iaioe ae?aeiaiaeo
ethaeeiii-iaoeiieo nenoai. O ca’yceo c oeei aeieeea iaiao?aei?noue o
iiaeo iaoiaeao iieno iiaii? aca?iiae?? a ae?aeiaiaeo nenoaiao, ca?aeee
aeieea? caaea/a oi?iae?caoe?? iiaeae? ni?eeoaaiiy ye /anoeie nenoaie
iiaeaiiy ciaiue, ai ia?aci?noue oa ae?aci?noue iieno iiaeae? i?aaeiaoii?
iaeano? aanue /an c?inoa?. Aaaaoi no/anieo aeine?aeaeaiue i?enay/aii
?ic?iaoe? iaoaiaoe/iiai aia?aoo aeey oi?iaeueiiai iieno i?e?iaeii? iiae.
Ca iniiao aeey eiai ?ic?iaee iiaeia acyoe aeaaa?o ne?i/aiieo
i?aaeeeao?a, iiaith yei? iiaeia iienaoe aoaeue-yeee caeii ?ioaeaeoo, ui
?aae?co?oueny ia AII. Aiane?aeie oeueiai iaea?eueo ia?niaeoeaiei ?
aeei?enoaiiy oaeiai ?icae?eo iaoaiaoeee ye eia?/iee aiae?c. Ca
aeiiiiiaith oaei? eiai /anoeie ye eia?/ia aeaaa?a iiaeia aanoe
aeine?aeaeaiiy ?iaioe ?ioaeaeoo ethaeeie.

Aaaeeea? ?acoeueoaoe iiaeia io?eiaoe, yeui i?iaanoe aiaeia?th i?ae
e?i?eiith aeaaa?ith, caniaaie yei? oi?iae?cothoueny ??ciiiai?oi? nenoaie
o aeaeyae? iaoaiaoe/ieo iiaeaeae, ? eia?/iith aeaaa?ith, ui ? iniiaith
ieneaiiy ethaeeie. Na?aae iai?yie?a eia?/iiai aiae?co iaeiaio
aeine?aeaeaiei ? iaoaiaoe/iee aia?ao aaeoi?ieo eia?/ieo i?inoi??a.
Noai?aiiy iaoaiaoe/ieo cania?a aeey iieno oaeeo i?ioi??a ia? caiiaieoe
?nioth/o i?iaaeeio oa iaaeaoe iiaeeea?noue ?ic?iaeyoe iaoaiaoe/i?
iiaeae? ?ioi?iaoe?eieo i?ioean?a, iniaeeai iiaeae? i?e?iaeii? iiae.
Ne?ae a?aecia/eoe, ui aaeeeee aianie o ?ica’ycaiiy caaea/? oi?iae?caoe??
i?e?iaeii? iiae c?iaeee A?iia?aae O., Iiiia ?.A., ?oaaoe?i A.O.,
Oaaaiia-Eooia?aiei TH.I., Oa?iiiaa I.A., Aiiaea?aiei I.O., N??iaeaea
?.A. oa ?io?.

Ocaaaeueithth/e neacaia, iiaeia ae?eoe aeniiaeo i?i oa, ui i?iaeaia, yea
iia’ycaia c ?ic?iaeith iaoaiaoe/ieo cania?a iiaeaethaaiiy i?iaeoeo?a
ieneaiiy oa eiii’thoa?iiai iiaeaiiy ciaiue, ? aaaeeeaith oa
aeooaeueiith.

Ca’ycie ?iaioe c iaoeiaeie i?ia?aiaie, ieaiaie, oaiaie. Oaia aeaii?
aeena?oaoe?eii? ?iaioe a?aeiia?aea? i?iaeaiaoeoe? athaeaeaoii?
iaoeiai-aeine?aeii? ?iaioe, ui aeeiio?oueny ia eaoaae?? IC AII OOO?A
i?ae ea??aieoeoaii i?io., ae.o.i. Oaaaiiaa-Eooia?aiei TH.I. ii oai? ?
509-1 «?ic?iaea iaoaiaoe/iiai ? i?ia?aiiiai caaacia/aiiy nenoai eia?/ii?
i?aeo?eiee i?iaeooaaiiy nenoai ooo/iiai ?ioaeaeoo».

Iaoith ?iaioe ? ?ic?iaea, oai?aoe/ia iaa?oiooaaiiy oa aenia?eiaioaeueia
ia?aa??ea iaoaiaoe/iiai aia?aoo aaeoi?ieo eia?/ieo i?inoi??a ye
?ino?oiaioaeueieo cania?a aeey ia?iaee ?ioi?iaoe??, ui caa??aa?oueny a
aacao aeaieo, a oaeiae aeey oi?iaeueiiai aiae?co i?e?iaeiiiiaieo
no?oeoo?, oiaoi neiainiieo/aiue ? ?a/aiue i?e?iaeii? iiae, aeey
aeine?aeaeaiiy iiaeeeaino? noai?aiiy i?e?iaeiiiiaieo ?ioa?oaen?a o
eiii’thoa?ieo nenoaiao i?aeo?eiee i?eeiyooy ??oaiue.

Caaea/? aeine?aeaeaiiy:

?ic?iaea oai?aoe/ieo iniia oi?iae?caoe?? i?e?iaeii? iiae ye iiae
iiaeaiiy ciaiue ia aac? iaoaiaoe/iiai aia?aoo aaeoi?ieo eia?/ieo
i?inoi??a, ui i?noeoue:

— ?ic?iaeo iaoaiaoe/iiai aia?aoo eia?/ieo iao?eoeue iaae neaey?iei iieai
G={0, 1} aai iieai ne?i/aiieo i?aaeeeao?a aoaeue-yei? a?iino?, ye?
caaeai? ia aeaea?oiaiio aeiaooeo E=E1(…(Kn, (Ki(=k?, ye aia?aoo
oi?iaeueiiai iiaeaiiy ne?a iaei??? e o??? ae naiino?eii? /anoeie iiae;

— ?ic?iaeo iaoaiaoe/ieo iiaeaeae aoeaaeo oa i?aaeeeaoieo aaeoi?ieo
eia?/ieo i?inoi??a ye aia?aoo oi?iae?caoe?? ciaiue, iiaeaieo o aeaeyae?
i?e?iaeiiiiaieo no?oeoo?;

— aeine?aeaeaiiy iaoaiaoe/iiai aia?aoo eia?/ieo iia?aoi??a aeey aoeaaeo
? i?aaeeeaoieo iiaeaeae aaeoi?ieo eia?/ieo i?inoi??a ye aia?aoo ia?iaee
ciaiue, iiaeaieo o aeaeyae? i?e?iaeiiiiaieo no?oeoo?;

— aiae?c iiaeeeaino? oi?iae?caoe?? ?a/aiue i?e?iaeii? iiae ca
aeiiiiiaith iaoaiaoe/iiai aia?aoo aaeoi?ieo eia?/ieo i?inoi??a.

Aiae?c iiaeeeaeo aeaaa?a?/ieo ?ioa?i?aoaoe?e aoeaai? oa i?aaeeeaoii?
iiaeaeae aaeoi?ieo eia?/ieo i?inoi??a.

?ic?iaea aeai?eoi?/iiai oa i?ia?aiiiai caaacia/aiiy aeey nenoaie
eia?/ii? i?aeo?eiee ? i?iaeooaaiiy ?ioi?iaoe?eieo nenoai «EIAIN».

Aenia?eiaioaeueia ia?aa??ea ?ic?iaeaieo iaoaiaoe/ieo iiaeaeae iiaeaiiy
ciaiue i?e ?ica’ycaii? ?iaeaia?ieo caaea/.

Iaoeiaa iiaecia iaea?aeaieo ?acoeueoao?a iieyaa? a oiio, ui

Ia aac? oai??? e?i?eii? aeaaa?e ?ic?iaeai? iaoaiaoe/i? iiaeae? eia?/ieo
iao?eoeue, ui iaaeathoue iiaeeea?noue oi?iaeueii ia?iaeyoe
i?e?iaeiiiiai? no?oeoo?e.

Ii aiaeia?? c e?i?eieie i?inoi?aie ?ic?iaeaii iaoaiaoe/i? iiaeae?
aoeaaeo oa i?aaeeeaoieo aaeoi?ieo eia?/ieo i?inoi??a, aeey yeeo:

— aeiaaaeaii ?nioaaiiy i?oiaiiaeueii? iao?eoe? ia?aoiaeo aei iiaiai
aaceno ? i?oiaiiaeueii? iao?eoe? cai?ioiiai ia?aoiaeo, ye? ? cai?ioieie
a?aeiinii iaeia iaeii?, aeey aoaeue-yeiai eia?/iiai i?inoi?o;

— cai?iiiiiaaii iaoiaeeeo iiaoaeiae aaceno aeineiiaeiai i?aaeeeaoiiai
eia?/iiai i?inoi?o;

— aeiaaaeaii aeineiiae?noue iiaiiai aaeoi?iiai i?aaeeeaoiiai eia?/iiai
i?inoi?o, oiaoi ?aeei?noue ?iceeaaeo aoaeue-yeiai aaeoi?a-neiaa
i?e?iaeii? iiae ca ia?aiei o iia? aacenii;

— cai?iiiiiaaii iaoiae ia/eneaiiy ?ici??iino? aeineiiaeeo eia?/ieo
i?inoi??a, oiaoi ciaoiaeaeaiiy iaeiaioi? e?eueeino? ne?a aeayei?
naiino?eii? /anoeie iiae, /a?ac ye? ia? aooe aecia/aia ?aooa ne?a oe???
iiae, ui iaeaaeaoue aei o??? ae naii? /anoeie iiae;

— iienaii iia?aoe?? iaae aaeoi?aie aeineiiaeeo eia?/ieo i?inoi??a ye
aeaiaioaie i?e?iaeiiiiaieo eiino?oeoe?e;

— aeiaaaeaii, ui iiiaeeio eia?/ieo aaeoi??a iiaeia ?icaeyaeaoe ye
eia?/ia iiea.

Aeine?aeaeaii iaoaiaoe/iee aia?ao eia?/ieo iia?aoi??a, aeey yeeo:

— ?icaeyiooi aeaye? aeaee e?i?eieo eia?/ieo iia?aoi??a ? aeiaaaeaii
iaiao?aei? oa aeinoaoi? oiiae, yeei iiaeii? i?aeei?yoeny iao?eoe?
e?i?eieo eia?/ieo iia?aoi??a aeey oiai, uia aiie iaeaaeaee oiio /e
?ioiio ?c ?icaeyiooeo aeae?a iia?aoi??a;

— iieacaii, ui ia a?aei?io a?ae aoeaaeo i?inoi??a, aeey i?aaeeeaoieo
aaeoi?ieo i?inoi??a ia on?i iao?eoeyi iaae caaeaiei neaey?iei iieai
a?aeiia?aeathoue aeaye? e?i?ei? eia?/i? iia?aoi?e, a oaeiae caaeaii
iaiaaeaiiy, yeiio iiaeiia i?aeei?yoenue ?ici??i?noue iao?eoeue
iia?aoi??a oaeiai i?inoi?o.

Aeiaaaeaii oi?aa?naeuei?noue ?ic?iaeaiiai iaoaiaoe/iiai aia?aoo
aaeoi?ieo eia?/ieo i?inoi??a, a naia aeiaaaeaii, ui eia?/ia aeaaa?a ?
aano?aeoiei aea?aaeaioii aeaaa?e aeai?/ieo eiae?a, aeaaa?e aoeaaeo
ooieoe?e, aeaaa?e iiiaeei, aeaaa?e ?aeae, ?aeyoe?eii? aeaaa?e, aeaaa?e
ne?i/aiieo i?aaeeeao?a aoaeue-yeiai ii?yaeeo oa aeaaa?e i?aaeeeaoieo
iia?aoe?e.

Cae?eniaii aenia?eiaioaeueio ia?aa??eo iaea?aeaieo oai?aoe/ieo
?acoeueoao?a ia aac? ?ic?iaeaiiai i?ia?aiiiai eiiieaeno LSPACE, ui
iieno? eiii’thoa?io ?aae?caoe?th iaoaiaoe/iiai aia?aoo aaeoi?ieo
eia?/ieo i?inoi??a.

I?aeoe/ia cia/aiiy iaea?aeaieo ?acoeueoao?a iieyaa? o oiio, ui
?ic?iaeai? iaoaiaoe/i? iiaeae? aeei?enoai? aeey oi?iae?caoe?? i?inoeo
neiainiieo/aiue i?e?iaeii? iiae, ?o aeaaa?a?/iiai neioaco a
?iciianthaeaeai? ?iciia?aei? ?a/aiiy, aeey eia?/ii? i?aeo?eiee i?eeiyooy
??oaiue, a oaeiae ye ocaaaeueithth/ee aeaaa?a?/iee aia?ao aeey aeayeeo
/anoeiaeo aeaaa?.

Iaoeia? ?acoeueoaoe, iaea?aeai? a oiae? aeeiiaiiy aeaii? aeena?oaoe?eii?
?iaioe, ciaeoee nai? i?aeoe/ia canoinoaaiiy o Oa?e?anueeiio IAe? «OAIC»
aeey ?ic?iaee iaoaiaoe/iiai caaacia/aiiy nenoai i?eeiyooy ??oaiue i?e
eiii’thoa?iiio i?iaeooaaii? neeaaeieo aia?ainenoai, o Oa?e?anueeiio AeI
IAeI? «Nithc» — aeey noai?aiiy iaoaiaoe/iiai oa i?ia?aiiiai caaacia/aiiy
i?iaeooaaiiy ?ioi?iaoe?eii-aiae?oe/ii? nenoaie e?ea?aeaoe?? iane?aee?a
aaeeeeo aaa??e, o AeAAE «Oa?e?aiaeaia?ai» — aeey noai?aiiy
?ioaeaeooaeueii? nenoaie i?eeiyooy ??oaiue ii niiaeeaaiith
aia?ai?ano?n?a, a oaeiae i?e i?aeaioiaoe? eo?n?a «Oai??y ?ioaeaeoo»,
«Aeaaa?a?/ia eia?ea», «Nenoaiiee aiae?c ?ioi?iaoe?eieo i?ioean?a»,
«Eia?/ia i?aeo?eiea i?eeiyooy ??oaiue o NAI?», «Iniiae oai??? ?ioaeaeoo»
ia eaoaae?? IC AII OOO?A.

Iniaenoee aianie caeiaoaa/a. O ?iaioao [1, 2, 6, 7, 8] aeena?oaiooe?
iaeaaeeoue iaoaiaoe/ia iinoaiiaea caaea/? oa ?ic?iaea iaoaiaoe/ieo
eiino?oeoe?e, ui iienothoue eia?/i? iao?eoe? oa aaeoi?i? eia?/i?
i?inoi?e. O ?iaio? [3] aaoi?ii ?ic?iaeaii iaoaiaoe/ia i?aeoaa?aeaeaiiy
a?iioace i?i nii??aeiai?noue iaoaiaoe/ii? oa i?e?iaeii? iia. O ?iaio?
[5] caeiaoaa/oe? iaeaaeeoue ?ic?iaea iaoaiaoe/iiai aia?aoo iao?eoeue
e?i?eieo eia?/ieo iia?aoi??a aeey aoeaaeo oa i?aaeeeaoieo iiaeaeae
aaeoi?ieo eia?/ieo i?inoi??a.

Ai?iaaoe?y ?acoeueoao?a aeena?oaoe??. Iniiai? ?acoeueoaoe aeena?oaoe??
aeiiia?aeaeenue oa iaaiai?thaaeenue ia 1-io oa 2-io i?aeia?iaeieo
iieiae?aeieo oi?oiao «Aeaeo?ii?ea oa iieiaeue o OO? noi??//?» (Oa?e?a,
1997, 1998), ia 3-e oa 4-e i?aeia?iaeieo eiioa?aioe?yo «Oai??y oa
oaoi?ea ia?aaea/?, i?eeiio oa ia?iaee ?ioi?iaoe??» (Ooaina, 1997, 1998)
oa ia i?aeia?iaei?e iieiae?aei?e iaoeia?e eiioa?aioe?? «OOV Aaaa?eineea
/oaiey» (Iineaa, 1999).

Ioae?eaoe??. Iaoa??aee aeena?oaoe?? aeeeaaeai? o 8 iaoeiaeo i?aoeyo (5
noaooyo, ye? on? iioae?eiaaii a aeaeaiiyo, ui caoaa?aeaeai? AAE Oe?a?ie,
oa 3 oacao aeiiia?aeae ia iaoeiaeo eiioa?aioe?yo).

No?oeoo?a oa ianya aeena?oaoe??. Aeena?oaoe?y neeaaea?oueny ?c anooio,
i’yoe ?icae?e?a, aeniiae?a, ia?ae?eo aeei?enoaieo aeaea?ae ? aeiaeaoe?a
caaaeueiei ianyaii 194 noi??iee. Aeena?oaoe?y i?noeoue 13 ?enoie?a
ianyaii noi??iie, 2 oaaeeoe? ianyaii 0,5 noi??iee, aeaa aeiaeaoee
iayaii 35 noi??iie, nienie aeei?eoaieo aeaea?ae ?c 150 iaeiaioaaiue ia
11 noi??ieao.

INIIAIEE CI?NO ?IAIOE

O anooi? iaa?oioiaaii aeooaeuei?noue oaie, ye?e i?enay/aia aeaia
aeena?oaoe?eia ?iaioa, aecia/aii iaoo ?iaioe oa caaaeaiiy
aeine?aeaeaiue, iaaaaeaii a?aeiiino? uiaei iaoeiai? iiaecie, iaoiae?a
aeine?aeaeaiiy, i?aeoe/iiai cia/aiiy ? ai?iaaaeaeaiiy ?acoeueoao?a
?iaioe, ioae?eaoe?e, a yeeo aeeeaaeaii iniiai? ?acoeueoaoe ?iaioe,
no?oeoo?e oa ianyao aeena?oaoe??.

O ia?oiio ?icae?e? aeena?oaoe?eii? ?iaioe i?iaaaeaii iaeyae oi?iaeueieo
cania?a ?ioi?iaoe?eieo nenoai. Iniaeeao oaaao i?eae?eaii nenoaiai
i?aeo?eiee i?eeiyooy ??oaiue ? oaeiio ?o ??ciiaeaeo ye aenia?oi?
nenoaie. ?icaeyiooi i?iaeoeoe?ei? aenia?oi? nenoaie ? iieacaii
iaiao?aei?noue ?ic?iaee aia?aoo eia?/ieo iia?aoi??a aeey ?o aaeaeaaoiiai
iaoaiaoe/iiai iieno. I?iaiae?ciaaii iaoaiaoe/ia caaacia/aiiy ?aeyoe?eieo
aac aeaieo ? c?iaeaii aeniiaie i?i iiaeeea?noue ? iaiao?aei?noue
?ic?iaee eiai aano?aeoiiai aea?aaeaioo o aeaeyae? eia?/ii? aeaaa?e.
?icaeyiooi eia?/i? iiaeae? iiaeaiiy ciaiue, iaei??th c yeeo ? eia?ea
i?aaeeeao?a, o ca’yceo c /ei c?iaeaii aeniiaie i?i aeioe?euei?noue
iiaeaeueoiai aeine?aeaeaiiy oeueiai ?icae?eo iaoaiaoeee, /iio e
i?enay/aia aeaia aeena?oaoe?eia ?iaioa. ?icaeyiooi noai i?iaeaie
oi?iae?caoe?? oaeno?a i?e?iaeii? iiae. Iieacaii, ui iaoaiaoe/iith
iniiaith aaoiiaoe/iiai ?icoi?iiy i?e?iaeiiiiaieo aeneiaethaaiue ?
aeaaa?a ne?i/aiieo i?aaeeeao?a, ?icoe?aiiyi yei? ? ?ic?iaeaiee o aeai?e
aeena?oaoe?ei?e ?iaio? iaoaiaoe/iee aia?ao aaeoi?ieo eia?/ieo i?inoi??a.

O caeeth/i?e /anoei? ?icae?eo noi?ioeueiaaia iaoa ? i?iaeaia
aeine?aeaeaiue, a oaeiae aeeiiaia iinoaiiaea caaea/ aeine?aeaeaiiy.

Ae?oaee ?icae?e i?enay/aiee aeine?aeaeaiith iaoaiaoe/iiai aia?aoo
eia?/ieo iao?eoeue, ui ?ic?iaeaiee ia iniia? aeaaa?e ne?i/aiieo
i?aaeeeao?a iiae?aii aei aia?aoo iao?eoeue o e?i?ei?e aeaaa??. O ?iaio?
?icaeyiooi aoeaai eia?/ia iiea, ui i?noeoue eeoa aeaa aeaiaioe G={0, 1},
oa i?aaeeeaoia eia?/ia iiea, aeaiaioaie yeiai ? an? i-i?ni? ne?i/aii?
i?aaeeeaoe, caaeai? ia aeaea?oiaiio aeiaooeo E=E1(…(Kn, (Ki(=k?.
Eiaeiee aeaiaio oaeiai iiey iiaeia iiaeaoe o aeaeyae? iaeii??aiaaiai
ia?aieeaeueiiai eaioethao c i aoiaeaie oa iaeiei aeoiaeii, ui ?aae?co?
a?aeiia?aeiee eia?/iiio neaey?o i?aaeeeao. Iia?aoe?yi aeec’thieoe??,
eii’thieoe?? oa caia?a/aiiy eia?/ieo neaey??a o oeueiio aeiaaeeo
a?aeiia?aeathoue aeai??aiaa? ia?aieeaeuei? eaioethae, a yeeo ae?oaee
??aaiue ?aae?co? aeaiaio ?ic’?aeiaiiy, ca?aeiino? oa ?iaa?oi?
a?aeiia?aeii.

C ?ioiai aieo, eiaeiee aeaiaio i?aaeeeaoiiai neaey?iiai iiey iiaeia
iiaeaoe ye a?ia?eoa ?ici??iino? i. Oaea iiaeaiiy aeey o?ueioi?niiai
i?aaeeeaoo R(x, y, z) iaae aeaea?oiaei aeiaooeii E={0, 1}3 iiaeaii ia
?en.1, aea eiaei?e aa?oei? a?aeiia?aea? cia/aiiy i?aaeeeaoa ca iaaiei
iaai?ii cia/aiue a?aoiaio?a x, y, z, ui noai?ththoue oeth aa?oeio.
Iaeeie/iiio aeaiaioo a?aeiia?aea? a?ia?eoa, on? aa?oeie yeiai iathoue
cia/aiiy iaeeieoe?, a ioeueiaiio aeaiaioo — a?ia?eoa, on? aa?oeie yeiai
aei??aiththoue ioeth. I?e i?iaaaeaii? iia?aoe?e aeec’thieoe??,
eii’thieoe?? oa caia?a/aiiy neaey??a oe? iia?aoe?? i?iaiaeyoueny iaae
a?aeiia?aeieie aa?oeiaie a?ia?eoa?a, yeeie iiaeai? i?aaeeeaoe, ui
aa?ooue o/anoue a iia?aoe?yo.

Oaeo ?ioa?i?aoaoe?th aeaiaio?a i?aaeeeaoiiai neaey?iiai eia?/iiai iiey
iiaeia ?icoi?oe ye aaiiao?e/io ?ioa?i?aoaoe?th ei?aeooth/eo eiae?a. I?e
oeueiio eiaeiiio i-i??iiio i?inoi?o Oaii?iaa a?aeiia?aea? aeaiaio
neaey?iiai eia?/iiai iiey ne?i/aiieo i?aaeeeao?a a?iino? i, ui iiaeaiee
a?ia?eoaii, o yeiai eeoa ?aeei?e aa?oei? a?aeiia?aea? iaeeieoey, a ?aoo?
aa?oei — ioe?.

; ((AA)=((A)A; A((A)=(A()A; (AA)(=A(A(); (A(A)N=AN(AN, N(A(A)=NA(NA;
A(AN)=(AA)N.

; (AB)T=BTAT; (AB)T=BTAT. Eaaae?aoia eia?/ia iao?eoey iaceaa?oueny
i?oiaiiaeueiith, yeui aeec’thieoe?y on?o aeaiaio?a eiaeiiai ?? ?yaeea oa
aeec’thieoe?y on?o aeaiaio?a eiaeiiai ?? noiaioey aei??aiththoue
oioiaei?e iaeeieoe?, a eii’thieoe?y aoaeue-yeeo aeaio aeaiaio?a o
eiaeiiio ?? ?yaeeo ? eii’thieoe?y aoaeue-yeeo aeaio aeaiaio?a o eiaeiiio
?? noiaioe? aei??aiththoue oioiaeiiio ioeth.

Aeiaaaeaii, ui aeey oiai, uia aeey eaaae?aoieo eia?/ieo iao?eoeue A ? A
iaae iieai eia?/ieo neaey??a G={0, 1} aai iieai ne?i/aiieo i?aaeeeao?a
aoaeue-yei? a?iino? aeeiioaaeinue ??aiyiiy AA=A iaiao?aeii oa
aeinoaoiuei, uia A ? A aoee i?oiaiiaeueieie oa i?aeei?yeenue oiia? A=AO.

O?ao?e ?icae?e i?enay/aii aeine?aeaeaiith i?aaeeeaoii? oa aoeaai?
iiaeaeae aaeoi?ieo eia?/ieo i?inoi??a, ui ?ic?iaeai? ia aac? aeaaa?e
ne?i/aiieo i?aaeeeao?a iiae?aii aei e?i?eieo i?inoi??a o /eneia?e
iaoaiaoeoe?. O ?iaio? ?icaeyaeathoueny aea? iiaeae? aaeoi?ieo eia?/ieo
i?inoi??a. Aoeaaa iiaeaeue: ye eia?/i? aaeoi?e ?icaeyaea?oueny iiiaeeia
eiinoeooaio iaeeieoe? ii o ci?iiei. O ?ie? neaey?iiai iiey aenooia?
aeaioaeaiaioia iiiaeeia G={0, 1}. I?aaeeeaoia iiaeaeue: ca iiiaeeio
eia?/ieo aaeoi??a ?icaeyaea?oueny nenoaia ne?i/aiieo i?aaeeeao?a a?iino?
o ia aeaea?oiaiio aeiaooeo E=E1(…(Eo, (Ei(=ki, ca iiea eia?/ieo
neaey??a aenooia? aoaeue-yea nenoaia on?o ne?i/aiieo i?aaeeeao?a a?iino?
n

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *