Binary ဆက်ဆံရေးနှင့်၎င်းတို့၏ဂုဏ်သတ္တိများ

သူတို့ရဲ့အဓိပ္ပာယ်နှင့်ဝိရောဓိအဆုံးသတ်၏ခွဲခြမ်းစိတ်ဖြာဆန်းစစ်ကတည်းကသဘောတရား၏ကြီးမားသောအရေအတွက်အားဖြင့်လိုက်ပါသွားဥပမာစုံဘို့ဆက်ဆံရေး၏ကျယ်ပြန့်။ အစဉ်အမြဲထားပေါ်ဆောငျးပါးတှငျဆှေးနှေးသဘောတရားများကိုတစ်အမျိုးမျိုး။ အဆိုပါ dual-type ကိုအကြောင်းပြောနေတာသည့်အခါပေမယ့်, ဒီနေဖြင့်အများအပြား variable တွေကိုအကြားတစ်ဦးနဲ့ Binary ဆက်ဆံရေးမျိုးကိုဆိုလိုသည်။ လည်းအရာဝတ္ထုသို့မဟုတ်ပြောသမျှကိုအမှားအယွင်းအကြား။

အတွေး၏အရာဝတ္ထုကိုဖန်ဆင်းသည်, R ကိုတစ်ဦးချင်းစီအကြားဆက်ဆံရေးဟာအချို့ကိုပုံစံ၏လက္ခဏာသက်သေဖြစ် - စည်းကမ်းအတိုင်း, binary ဆက်ဆံရေး R ကိုတို့ကညွှန်ပြနေကြသည် xRx R ကို၏လယ်ပြင်တွင် x ကိုမဆိုတန်ဖိုး, ထိုကဲ့သို့သောအိမ်ခြံမြေ x နှင့် x ကိုဘယ်မှာ, reflex ခေါ်တော်မူလျှင်, အကြောင်း, ဖြစ်ပါတယ် ။ " ... ပြီးတော့ ... ပါလျှင်" ၏ပြည်ထောင်စုအလားတူအကျိုးဆက်မှာမိမိတို့နိမိတ်နောက်ဆုံးအပြင်ကျောက်စာ (xRy Ùy Rz) - တစ်ချိန်တည်းမှာအမြန်သို့မဟုတ်xRy® yRx လျှင်, သူကဘယ်မှာ® symmetry ပြည်နယ်အကြောင်းကိုပြော၏။ ဦး၏လက္ခဏာသက်သေနှင့်အတူအကူးအပြောင်းကြားဆက်ဆံရေးနှင့် ပတ်သက်. ပြောပြ®xRz - ဒီတွဲဖက်ဖြစ်ပါတယ်။

, reflex အချိုးကျနှင့် Transit အနေနဲ့ညီမျှဆက်ဆံရေးမျိုးကိုခေါ်ခြင်းဖြစ်သည်နှစ်ဦးစလုံးကြောင်းကိုတစ်ဦးက binary စပ်လျဉ်း။ အဆိုပါ, f ၏အချိုးအစား - တစ် function ကိုနှင့်များ၏ I, f နဲ့ <က x, z> I, f = z ဟာတန်းတူညီမျှမှု y ကိုဆိုလို။ ရိုးရှင်းသော binary function ကိုအလွယ်တကူမတယောနိုင်ရန်အတွက်, သာဤကိစ္စတွင်အတွက်စီစဉ်ပေးနှစ်ခုရိုးရှင်းသောအငြင်းပွားမှုများမှလျှောက်ထားနိုင်ပါသည်, အဲဒါကိုမှတန်ဖိုးတစ်ခုပေးမယ့်အထူးသဖြင့်အမှု၌ခေါ်ဆောင်သွားသည်ဤနှစ်ခုအသုံးအနှုန်းတွေ, ညွှန်ကြားခဲ့သည်။

ဒါဟာ y ကမှ, f မြေပုံက x ပြောသင့်, , f ဟာဇုန်နှင့်အဓိပ္ပါယ်ဧရိယာတန်ဖိုးများကို x နှင့် y ကိုတစ် function ကိုဖြစ်တယ်ဆိုရင်။ y ကပေါ်, f x ကို extrapolates နှင့် y ကိုငါ z ရသောအခါမည်သို့ပင်ဖြစ်စေ, သို့ဖြစ်လျှင်ဤက x z အတွက်, f ရှိုးဆိုတဲ့အချက်ကိုစေပါတယ်။ တစ်ဦးကရိုးရှင်းတဲ့ဥပမာ: f (x) = 2x မျှမျှတတမတရားကိန်း x ကိုများအတွက်တရားဝင်သည်မှန်လျှင်, ကျွန်တော်, f အတူတူတပြင်လုံးကိုအများအပြားမှလူသိအားလုံးကိန်းတစ်ခုလက်မှတ်ရေးထိုးထား Maps, ဒါပေမဲ့ဒီအချိန်ပင်နံပါတ်များကိုပြောကြတယ်။ အထက်တွင်ဖော်ပြခဲ့သည့်အတိုင်း, ထိုတစ်ပြိုင်နက် reflex, အချိုးကျနှင့် Transit အတွက်ဒွိဆက်ဆံရေးနှင့်ညီမျှ၏ဆက်ဆံရေးဖြစ်ပါတယ်။

ဒွိဆက်ဆံရေး၏ဂုဏ်သတ္တိများကဆုံးဖြတ်ညီမျှ၏အထက်, ဆက်ဆံရေးအပေါ်အခြေခံပြီး:

• reflex - အချိုး (M ~ N ကို);
• symmetry - တန်းတူရေး M က ~ N ကိုလိုလျှင်, N ကို ~ M ကရှိလိမ့်မည်,
• အကူးအပြောင်း - နှစ်ခုတန်းတူရေးနှင့် M ~ N က N ကို ~: P, ရလဒ်က M ~ P. လျှင်

အသေးစိတ် binary ဆက်ဆံရေးလျှောက်လွှာဂုဏ်သတ္တိများစဉ်းစားတော်မူပြီးမှ။ reflex - စမ်းသပ်မှုစုံတစျခုစီဒြပ်စင်ဒီတန်းတူရေးသူ့ဟာသူ၌တည်ရှိ၏ရှိရာအချို့သောလင့်များ၏ဝိသေသလက္ခဏာများတစ်ခုဖြစ်သည်။ ဥပမာအားဖြင့်, = အတူက c နဲ့a³နံပါတ်များတစ်ဦးအကြား - reflex ဆက်သွယ်ရေး, တစ်ဦး = က c = c နှင့်a³အတူs³အမြဲရှိပါတယ်။ အကြောင်းမူကား, အဘယ်ကြောင့်ဆိုသော်မညီမျှမှုဟာ> တစ်ဦး၏မဖြစ်နိုင်၏ antireflexive - မညီမျှမှုတစ်ခု> c ဟာတစ်ချိန်တည်းမှာပင်, အချိုး။ ဒီပစ္စည်းဥစ္စာပိုင်ဆိုင်မှု၏ axiom encoded ဇာတ်ကောင်ဖြစ်ပါသည်: - နေဖြင့် "နှင့်" (သို့မဟုတ်တွဲဖက်) ရပ်aRc® Ara U CRC, ဒီမှာသင်္ကေတ®နှုတ်ကပတ်တော်ကို "ဆိုလို" (သို့မဟုတ် "ဆိုလို") နှင့်ဦးသည်နိမိတ်လက္ခဏာကိုဖော်ပြသည်။ ဒီကြေညာချက်ကနေပါလျှင်တစ်ဦးအဆိုပြု၏အမှန်တရားအဖြစ်စစ်မှန်တဲ့နှင့် arc စကားရပ် ara နှင့် CRC ကြောင်းအောက်ပါအတိုင်း။

symmetry ဆက်ဆံရေး၏တည်ရှိမှုပါဝငျနှင့်စိတ်ပိုင်းဆိုင်ရာအရာဝတ္ထုပြောင်းပြန်သည်မှန်လျှင်, အရာဝတ္ထုတစ်ခုအချိုးကျကြားဆက်ဆံရေးပြန်စီစဉ်ပုံစံများ၏အသွင်ပြောင်းဖို့ဦးဆောင်လမ်းပြမပါဘူး ie "binary ဆက်ဆံရေး။ " ဥပမာအားဖြင့်, တန်းတူညီမျှမှုတစ်ဦး = က c ၏ဆက်ဆံရေးကြောင့်တစ်ဦး = c ကိုညီမျှစပ်လျဉ်းမှအချိုးကျဖြစ်၏ ကဆက်သွယ်ရေးs¹aတွေ့ဆုံအဖြစ်ကိုလည်းအညီအမျှa¹sနှင့်တရားသဖြင့်စီရင်။

"ပါလျှင် ... ထို့နောက် ... ": ®စကားမြားကိုအစားထိုးမယ့်နိမိတ်လက္ခဏာအဖြစ်ပြုမူဘယ်မှာ z ငါက x, ®ငါက x မှာ z ငါက y - Transit အစုံကအောက်ပါလိုအပ်ချက်ဖြည့်ဆည်းရသောအိမ်ခြံမြေဖြစ်ပါတယ်။ နှုတ်ဖြင့်ပုံသေနည်းအရှင်အဖြစ်ဖတ်ပါ: "x ကို၏လွတ်လပ်သောလြှငျ, z က x ၏ function ကိုအဖြစ်က y, z ပိုင်။ "