WikiDer > Voqealar tarkibi

Event structure

Yilda matematika va Kompyuter fanlari, an voqea tarkibi ifodalaydi o'rnatilgan voqealar, ularning ba'zilari faqat boshqasidan keyin amalga oshirilishi mumkin (a mavjud qaramlik voqealar orasidagi) va ba'zilari birgalikda bajarilmasligi mumkin (a mavjud ziddiyat voqealar orasida).

Rasmiy ta'rif

An voqea tarkibi ${ displaystyle (E, leq, #)}$ dan iborat

to'plam ${ displaystyle E}$ ning voqealar
a qisman buyurtma munosabatlar ${ displaystyle E}$ deb nomlangan sababiy bog'liqlik,
an qaytarilmas nosimmetrik munosabat ${ displaystyle #}$ deb nomlangan mos kelmaslik (yoki ziddiyat)

shu kabi

cheklangan sabablar: har bir tadbir uchun ${ displaystyle e in E}$ , to'plam ${ displaystyle [e] = {f in E | f leq e }}$ ning oldingilari ${ displaystyle e}$ yilda ${ displaystyle E}$ cheklangan
irsiy ziddiyat: har bir voqea uchun ${ displaystyle d, e, f in E}$ , agar ${ displaystyle d leq e}$ va ${ displaystyle d #f}$ keyin ${ displaystyle e #f}$ .