لیکوالان: نیرجا سوندراسان تېوډور ج. یودر یانګسوک کیم مو یوان لي ایډوارډ ایچ. چین ګریس هارپر تیډ توربیک انډریو ډبلیو. کراس انتونیو ډي. کورکلیس مایکا تاکیت لنډیز د کوانټم خطا سمون د لوړ فایډیلیټي کوانټم محاسباتو ترسره کولو لپاره یوه ژمنه لاره وړاندې کوي. که څه هم په بشپړ ډول د غلطۍ زغم لرونکي الګوریتمونو اجرا لاهم نه ده ترلاسه شوې، په کنټرول الکترونیک او کوانټم هارډویر کې وروستي پرمختګونه د خطا سمون لپاره اړین عملیاتو ډیری پرمختللي مظاهرې وړوي. دلته، موږ د درنو-هیکساګون په جال کې په سوپر کنډکټینګ کیوټس باندې کوانټم خطا سمون ترسره کوو. موږ یو منطقي کیوټ د درې فاصلې سره کوډ کوو او د غلطۍ زغم لرونکي سنډروم اندازه کولو څو پړاوونه ترسره کوو چې د سرکټري کې د هر ډول واحد غلطۍ سمولو ته اجازه ورکوي. د ریښتیني وخت فیډبیک په کارولو سره، موږ د سنډروم استخراج دورې وروسته د سنډروم او فلګ کیوټس په شرطي توګه بیا تنظیم کوو. موږ د ډیکوډر انحصار منطقي غلطۍ راپور کوو، د Z(X)-بیسس کې د هر سنډروم اندازه کولو لپاره اوسط منطقي غلطۍ ~0.040 (~0.088) او ~0.037 (~0.087) د میچینګ او اعظمي احتمال ډیکوډرونو لپاره، په ترتیب سره، د لیکج پوسټ-سلیکټ شوي ډیټا باندې. مقدمه د کوانټم محاسباتو پایلې، په عمل کې، د هارډویر کې د شور له امله غلطې کیدی شي. د پایله شوي غلطیو له منځه وړلو لپاره، د کوانټم خطا سمون (QEC) کوډونه کارول کیدی شي ترڅو د کوانټم معلومات په خوندي شوي، منطقي درجو کې کوډ کړي، او بیا د غلطیو په راټولیدو سره ګړندي غلطیو په سمولو سره د غلطۍ زغم (FT) محاسباتو وړ کړي. د QEC بشپړ اجرا به احتمالاً اړین وي: د منطقي حالتونو چمتو کول؛ د منطقي دروازو یوه نړیواله سیټ درک کول، چې ممکن د جادو حالتونو چمتو کولو ته اړتیا ولري؛ د سنډرومونو مکرر اندازه کول؛ او د غلطیو سمولو لپاره د سنډرومونو ډیکوډ کول. که بریالي شي، د پایله شوي منطقي غلطۍ نرخونه باید د لاندې فزیکي غلطۍ نرخونو څخه کم وي، او د کم شوي کوډ فاصلو سره د نه پام وړ ارزښتونو ته راټیټ شي. د QEC کوډ غوره کول د لاندې هارډویر او د هغې د شور ځانګړتیاوې په پام کې نیولو ته اړتیا لري. د کیوټس د درنو-هیکساګون جال لپاره , ، فرعي سیسټم QEC کوډونه اړین دي ځکه چې دوی د کیوټس سره د کم شوي اړیکو سره ښه مناسب دي. نور کوډونه د FT لپاره د دوی نسبتاً لوړ حد یا د نړیوالو منطقي دروازو لوی شمیر له امله ژمنه ښودلې ده . که څه هم د دوی ځای او وخت اضافي لګښت د پیمانې لپاره یوه مهمه خنډ کیدی شي، د تېروتنې کمولو یو ډول په کارولو سره د خورا ګران سرچینو کمولو لپاره هڅوونکي چلندونه شتون لري . 1 2 3 4 5 6 د ډیکوډینګ په پروسه کې، بریالي سمون نه یوازې د کوانټم هارډویر فعالیت پورې اړه لري، بلکې د کنټرول الکترونیک پلي کولو پورې هم اړه لري چې د سنډروم اندازو څخه د ترلاسه شوي کلاسیک معلوماتو ترلاسه کولو او پروسس کولو لپاره کارول کیږي. زموږ په قضیه کې، د ریښتیني وخت فیډبیک له لارې د سنډروم او فلګ کیوټس دواړه پیل کول د غلطیو کمولو کې مرسته کولی شي. د ډیکوډینګ په کچه، پداسې حال کې چې ځینې پروتوکولونه د FT فارملیزم کې په غیر متناسب ډول QEC ترسره کولو لپاره شتون لري , ، د غلطۍ سنډرومونو ترلاسه کولو نرخ باید د دوی کلاسیک پروسس کولو وخت سره مطابقت ولري ترڅو د سنډروم ډیټا ډیریدو مخه ونیول شي. همدارنګه، ځینې پروتوکولونه، لکه د منطقي -gate لپاره د جادو حالت کارول ، د ریښتیني وخت فیډ-فارورډ پلي کولو ته اړتیا لري. 7 8 T 9 له همدې امله، د QEC اوږدمهاله لید د یو واحد وروستي هدف په شاوخوا کې نه ګرځي بلکه د ژورې اړیکې لرونکي کارونو یو تسلسل په توګه باید وپیژندل شي. د دې ټیکنالوژۍ په پراختیا کې د تجربې لاره به لومړی د دې کارونو مظاهره په انزوا کې او بیا د دوی تدریجي ترکیب پکې شامل وي، تل د دوی اړوند میتریکونو په دوامداره توګه ښه کولو سره. د دې پرمختګونو څخه ځینې د مختلف فزیکي پلیټ فارمونو په اوږدو کې د کوانټم سیسټمونو په شمیر وروستیو پرمختګونو کې منعکس کیږي، کوم چې د FT کوانټم کمپیوټینګ لپاره د ډیری مطلوبو بیلابیلو اړخونو مظاهره یا نږدې مظاهره کړې. په ځانګړې توګه، د FT منطقي حالت چمتو کول په آیونونو ، په الماس کې د نیوکلییر سپنونو او په سوپر کنډکټینګ کیوټس کې ښودل شوي. د سنډروم استخراج مکرر دورې په کوچنیو غلطۍ کشف کونکو کوډونو کې په سوپر کنډکټینګ کیوټس کې ښودل شوي , ، په شمول د جزوي خطا سمون او همدارنګه د واحد-کیوټ دروازو یوه نړیواله (که څه هم نه FT) سیټ . په آیونونو کې په دوه منطقي کیوټونو باندې د نړیوالې دروازې سیټ یوه FT مظاهره په دې وروستیو کې راپور شوې . د خطا سمون په ساحه کې، په سوپر کنډکټینګ کیوټس باندې د درې فاصلې سطح کوډ وروستي پلي شوي دي د ډیکوډینګ او پوسټ-انتخاب سره، او همدارنګه د رنګ کوډ سره د متحرک خوندي شوي کوانټم حافظې FT پلي کول او په آیونونو کې د Bacon-Shor کوډ کې د FT حالت چمتو کول، عملیات، او اندازه کول، په شمول د هغې ثبات کونکي، منطقي حالت , . 10 11 12 13 14 15 16 17 18 19 20 20 21 دلته موږ د سوپر کنډکټینګ کیوټ سیسټم باندې د ریښتیني وخت فیډبیک وړتیا د اعظمي احتمال ډیکوډینګ پروتوکول سره چې تر دې دمه په تجربوي ډول نه وه سپړلې، د منطقي حالتونو د ژوندي پاتې کیدو ښه کولو لپاره ترکیب کوو. موږ دا وسیلې د فرعي سیسټم کوډ ، د درنو-هیکساګون کوډ ، په سوپر کنډکټینګ کوانټم پروسیسر باندې د FT عملیاتو برخې په توګه مظاهره کوو. زموږ د دې کوډ د غلطۍ زغم لرونکي پلي کولو لپاره اړین فلګ کیوټس دي چې کله غیر صفر موندل کیږي، ډیکوډر ته د سرکټ غلطیو خبرداری ورکوي. د هر سنډروم اندازه کولو دورې وروسته د فلګ او سنډروم کیوټس په شرطي توګه بیا تنظیم کولو سره، موږ خپل سیسټم د انرژي آرامۍ ته د طبیعي شور عدم توازن له امله رامینځته شوي غلطیو څخه ساتو. موږ نور د وروستي تشریح شوي ډیکوډینګ ستراتیژیو څخه ګټه پورته کوو او د اعظمي احتمال مفاهیمو , , شاملولو لپاره د ډیکوډینګ مفکورې پراخوو. 22 1 15 4 23 24 پایلې د درنو-هیکساګون کوډ او څو پړاو سرکیټونه د درنو-هیکساګون کوډ چې موږ یې په پام کې نیسو د n = 9 کیوټ کوډ دی چې k = 1 منطقي کیوټ د d = 3 فاصلې سره کوډ کوي . د Z او X ګیج (Fig. 1a وګورئ) او ثبات کونکي ګروپونه له لاندې څخه رامینځته شوي دي 1 د ثبات کونکي ګروپونه د اړوندو ګیج ګروپونو له مرکزونو څخه دي . دا پدې معنی ده چې ثبات کونکي، د ګیج آپریټرونو د محصولاتو په توګه، یوازې د ګیج آپریټرونو له اندازو څخه اخیستل کیدی شي. منطقي آپریټرونه د XL = X1X2X3 او ZL = Z1Z3Z7 په توګه غوره کیدی شي. Z (نیلي) او X (سور) ګیج آپریټرونه (eqs. (1) او (2)) د درې فاصلې درنو-هیکساګون کوډ سره د 23 کیوټس ته نقشه شوي. کوډ کیوټس (Q1 − Q9) په ژیړ کې ښودل شوي، د سنډروم کیوټس (Q17, Q19, Q20, Q22) چې د Z ثبات کونکو لپاره کارول کیږي په نیلي کې، او د فلګ کیوټس او سنډرومونه چې د X ثبات کونکو لپاره کارول کیږي په سپین کې. د CX دروازو ترتیب او لوري چې د فرعي برخې (0 تر 4) دننه پلي کیږي د شمیرل شوي تیرونو لخوا ښودل شوي. د یو سنډروم اندازه کولو دورې سرکټ ډیاګرام، دواړه X او Z ثبات کونکي شامل دي. سرکټ ډیاګرام د دروازې عملیاتو د اجازه شوي موازي کولو ښیې: هغه چې د مهالویش خنډونو (عمودي خړ کرښې) لخوا ټاکل شوي. لکه څنګه چې هر دوه کیوټ دروازه موده توپیر لري، د وروستي دروازې مهالویش د معیاري امکان تر ټولو ناوخته سرکټ ټرانسپیلیشن پاس سره ټاکل کیږي؛ وروسته له هغې چې ډینامیک ډیکوپلینګ د ډیټا کیوټس ته اضافه شي چیرې چې وخت اجازه ورکوي. اندازه کول او بیا تنظیم کول عملیات د خنډونو لخوا د نورو دروازو عملیاتو څخه جلا شوي ترڅو د غیر فعال ډیټا کیوټس ته د یونیفورم ډینامیک ډیکوپلینګ اضافه کولو ته اجازه ورکړي. د دریو دورو لپاره د ډیکوډینګ ګرافونه ( ) Z او ( ) X ثبات کونکي اندازه کول د سرکټ کچې شور سره د X او Z غلطیو سمولو اجازه ورکوي، په ترتیب سره. په ګرافونو کې نیلي او سور نوډونه د توپیر سنډرومونو سره مطابقت لري، پداسې حال کې چې تور نوډونه سرحد دي. څوکۍ په ګیج کې د ثبات کونکي اندازه کولو ډول (Z یا X) سره لیبل شوي، د ثبات کونکي د انډکس کولو سره، او د دورې د یادولو سره. د سایکلونو په اوږدو کې د مختلفو غلطیو د پیښیدو لارې څنګه په متن کې تشریح شوي. تور څوکۍ، د کیوټس باندې د پاولي Y غلطیو له امله (او له همدې امله یوازې د اندازې 2 دي)، په c او d کې دوه ګرافونه سره نښلوي، مګر د میچینګ ډیکوډر لخوا نه کارول کیږي. د اندازې 4 هایپر څوکۍ، چې د میچینګ لخوا نه کارول کیږي، مګر د اعظمي احتمال ډیکوډر لخوا کارول کیږي. رنګونه یوازې د روښانه کولو لپاره دي. په وخت کې د هر یو ترجمه کول هم یوه معتبره هایپر سیټ ورکوي (د وخت له سرحدونو سره یو څه توپیر لري). همدارنګه نه ښودل شوي کوم له اندازې 3 څخه کوچني هایپر سیټونه. a b c d e f دلته موږ په ځانګړي FT سرکټ باندې تمرکز کوو، زموږ ډیری تخنیکونه د مختلف کوډونو او سرکیټونو سره په عمومي ډول کارول کیدی شي. دوه فرعي سرکیټونه، چې په Fig. 1b کې ښودل شوي، د X- او Z-ګیج آپریټرونو اندازه کولو لپاره جوړ شوي دي. د Z-ګیج اندازه کولو سرکټ د فلګ کیوټس په اندازه کولو سره ګټور معلومات هم ترلاسه کوي. موږ کوډ حالتونه په منطقي () حالت کې چمتو کوو د لومړي ځل لپاره نهه کیوټس په () حالت کې چمتو کوو او د X-ګیج (Z-ګیج) اندازه کوو. بیا موږ د r پړاوونو سنډروم اندازه کول ترسره کوو، چیرې چې یو پړاو د Z-ګیج اندازه کول او بیا د X-ګیج اندازه کول (په ترتیب سره، X-ګیج او بیا Z-ګیج) شامل دي. په پای کې، موږ ټول نهه کوډ کیوټس په Z (X) اساس کې لولم. موږ ورته تجربې د لومړني منطقي حالتونو او لپاره هم ترسره کوو، د نهه کیوټس په او کې د پیل کولو سره. ډیکوډینګ الګوریتمونه د FT کوانټم کمپیوټینګ په ترتیب کې، یو ډیکوډر یو الګوریتم دی چې د خطا سمون کوډ څخه د سنډروم اندازو په توګه ان پټ اخلي او د کیوټس یا اندازه کولو ډیټا ته یوه سمون پایله ورکوي. پدې برخه کې موږ دوه ډیکوډینګ الګوریتمونه تشریح کوو: کامل میچینګ ډیکوډینګ او اعظمي احتمال ډیکوډینګ. د ډیکوډینګ هایپرګراف د FT سرکټ لخوا راټول شوي معلوماتو لنډیز دی چې د ډیکوډینګ الګوریتم لپاره شتون لري. دا د راسونو، یا د غلطۍ حساس پیښو، V، او هایپر څوکیو E سیټ لري، چې په سرکټ کې د غلطیو لخوا رامینځته شوي پیښو ترمنځ اړیکې کوډ کوي. Fig. 1c–f د زموږ د تجربې لپاره د ډیکوډینګ هایپرګراف برخې ښیې. 15 د ستونزو لرونکي سرکیټونو سره د سنډروم سرکیټونو لپاره د ډیکوډینګ هایپرګراف جوړول د معیاري ګوټیسمن-نیل simulations یا ورته پولي ټریسینګ تخنیکونو په کارولو سره ترسره کیدی شي. لومړی، د غلطۍ حساس پیښه د هرې اندازې لپاره رامینځته کیږي چې په غلطۍ پاک سرکټ کې قطعي وي. یوه قطعي اندازه کول M یوه اندازه ده چې د هغې پایله m ∈ {0, 1} د مخکینیو اندازو له سیټ F څخه د ماډول دوه د اندازو په اضافه کولو سره وړاندوینه کیدی شي. دا دی، د غلطۍ پاک سرکټ لپاره، ، چیرې چې د F سیټ د سرکټ له شبیه کولو لخوا موندل کیدی شي. د غلطۍ حساس پیښې ارزښت m − FM (mod2) ته وټاکئ، کوم چې په نشتوالي کې صفر (همدارنګه عادي) بلل کیږي. له همدې امله، غیر صفر (همدارنګه عادي) غلطۍ حساس پیښه لیدل کیږي چې لږترلږه یوه غلطۍ یې تجربه کړې ده. زموږ په سرکیټونو کې، د غلطۍ حساس پیښې یا د فلګ کیوټ اندازې دي یا د ورته ثبات کونکي توپیر اندازې (کله ناکله د توپیر سنډرومونو په نوم هم یادیږي). 25 26 بیا، هایپر څوکۍ د سرکټ نیمګړتیاوو په پام کې نیولو سره اضافه کیږي. زموږ ماډل د مختلفو سرکټ اجزاو لپاره د غلطۍ احتمال pC لري دلته موږ د کیوټس باندې د هویت عملیاتو id ترمنځ توپیر کوو کله چې نور کیوټس واحدي ګیټونه لري، د هویت عملیاتو idm څخه کله چې نور اندازه کول او بیا تنظیم کول لري. موږ کیوټس له اندازې وروسته بیا تنظیم کوو، پداسې حال کې چې کیوټس چې لاهم په تجربه کې نه دي کارول شوي پیل کوو. په پای کې cx د کنټرول شوي-نه ګیټ دی، h د هادامارډ ګیټ دی، او x, y, z د پولي ګیټس دي. (د نورو توضیحاتو لپاره میتودونه "IBM_Peekskill او تجربې توضیحات" وګورئ). pC لپاره عددي ارزښتونه میتودونو "IBM_Peekskill او تجربې توضیحات" کې لیست شوي دي. زموږ د غلطۍ ماډل د سرکیټdepolarizing شور دی. د پیل کولو او بیا تنظیم کولو غلطیو لپاره، یو پولي X د اړوندو احتمالونو pinit او presete سره پلي کیږي وروسته له مثالی حالت چمتو کولو څخه. د اندازه کولو غلطیو لپاره، پولي X د مخه مثالی اندازې سره د احتمال p سره پلي کیږي. یو-کیوټ واحدي ګیټ (دوه-کیوټ ګیټ) C د احتمال pC سره له دریو (پنځلس) غیر-هویت یو-کیوټ (دوه-کیوټ) پولي غلطیو څخه یوه لري د مثالی ګیټ وروسته. د دریو (پنلسټ) پولي غلطیو څخه د هرې پیښې لپاره مساوي چانس شتون لري. کله چې په سرکټ کې یوه غلطي پیښیږي، دا د غلطۍ-حساس پیښو یو فرعي سیټ د غیر عادي کیدو لامل کیږي. دا د غلطۍ-حساس پیښو سیټ هایپر څوکی کیږي. د ټولو هایپر څوکیو سیټ E دی. دوه مختلف غلطۍ ممکن ورته هایپر سیټ لامل شي، نو هر هایپر سیټ کیدای شي د غلطیو یوه سیټ استازیتوب وکړي، له کوم څخه چې هر یو په انفرادي ډول د هایپر سیټ پیښې غیر عادي کیدو لامل کیږي. د هر هایپر سیټ سره تړلی یو احتمال شتون لري، کوم چې په لومړي ترتیب کې، په سیټ کې د غلطیو احتمالونو مجموعه ده. یو غلطي کیدای شي داسې غلطي لامل شي چې په سرکټ پای کې خپریږي، د کوډ منطقي آپریټرونو سره ضد همغږي کیږي، چې د منطقي سمون ته اړتیا لري. موږ د عمومیت لپاره فرض کوو چې کوډ k منطقي کیوټس او 2k منطقي آپریټرونو اساس لري، مګر یادونه کوو چې k = 1 د درنو-هیکساګون کوډ لپاره چې په تجربه کې کارول کیږي. موږ د کیو څخه د ویکٹر په کارولو سره د غلطۍ سره ضد همغږي کیږي کوم منطقي آپریټرونه تعقیب کولی شو. . نو، هر هایپر سیټ h هم د دې ویکٹرونو څخه یو سره لیبل شوی دی ، چې د منطقي لیبل په نوم یادیږي. یادونه وکړئ چې که کوډ لږترلږه درې فاصلې ولري، هر هایپر سیټ یو ځانګړی منطقي لیبل لري. په پای کې، موږ یادونه کوو چې د ډیکوډینګ الګوریتم کولی شي د ډیکوډینګ هایپرګراف په مختلفو لارو ساده کولو انتخاب وکړي. یوه لاره چې موږ تل دلته کاروو هغه د فلګ کولو پروسه ده. د کیوټس 16, 18, 21, 23 څخه د فلګ اندازې په ساده ډول له پامه غورځول کیږي پرته له کوم سمون پلي کیدو. که فلګ 11 غیر عادي وي او 12 عادي وي، نو Z په 2 پلي کړئ. که 12 غیر عادي وي او 11 عادي وي، نو Z په کیوټ 6 پلي کړئ. که فلګ 13 غیر عادي وي او 14 عادي وي، نو Z په کیوټ 4 پلي کړئ. که 14 غیر عادي وي او 13 عادي وي، نو Z په کیوټ 8 پلي کړئ. د fault-tolerance لپاره دا کافي دی د دلیلونو لپاره ref. 15 وګورئ. دا پدې معنی ده چې د فلګ کیوټ اندازو څخه د غلطۍ-حساس پیښو په مستقیم ډول شاملولو پرځای، موږ معلومات د مجازی پولي Z سمونونو پلي کولو او وروسته د غلطۍ-حساس پیښو تنظیم کولو لپاره د فلګ معلوماتو په کارولو سره پروسس کوو. د ثبات simulations په شمول د Z سمونونو په واسطه د فلګ شوي هایپرګراف لپاره هایپر څوکۍ موندل کیدی شي. راځئ چې r د دورو شمیر په ګوته کوي. د فلګ کولو وروسته، د V سیټ اندازه د Z (په ترتیب سره X اساس) تجربو لپاره |V| = 6r + 2 (په ترتیب سره 6r + 4) ده، د شپږو ثبات کونکو په اندازه کولو او وروسته له حالت چمتو کولو وروسته دوه (په ترتیب سره څلور) لومړني غلطۍ-حساس ثبات کونکي له امله. د E اندازه هم ورته ده |E| = 60r - 13 (په ترتیب سره 60r - 1) د r > 0 لپاره. په جلا توګه د X او Z غلطیو په پام کې نیولو سره، د سطحې کوډ لپاره د لږ تر لږه غلطۍ سمون موندلو ستونزه د ګراف کې د لږ تر لږه وزن کامل میچینګ موندلو ته کم کیدی شي. میچینګ ډیکوډرونه د دوی د عملي کیدو او پراخه کارونې , له امله مطالعه کیږي. پدې برخه کې، موږ د خپل درې فاصلې درنو-هیکساګون کوډ لپاره د میچینګ ډیکوډر تشریح کوو. 4 27 28 29 د ډیکوډینګ ګرافونه، یو د X-غلطیو لپاره (Fig. 1c) او یو د Z-غلطیو لپاره (Fig. 1d)، د لږ تر لږه وزن کامل میچینګ لپاره په حقیقت کې د پخواني برخې په ډیکوډینګ هایپرګراف کې فرعي ګرافونه دي. راځئ چې دلته د X-غلطیو د سمولو لپاره ګراف باندې تمرکز وکړو، ځکه چې Z-غلطۍ ګراف ورته دی. پدې حالت کې، د ډیکوډینګ هایپرګراف څخه موږ د Z-ثبات کونکي اندازې (د وروستیو توپیر) سره مطابقت لرونکي نوډونه VZ ساتو او د دوی ترمنځ څوکۍ (یعنې د اندازې دوه هایپر څوکۍ). برسېره پردې، یو سرحد نوډ b رامینځته شوی، او د {v} په شکل د اندازې یوه څوکۍ د 1 هایپر څوکۍ، v ∈ VZ، د {v, b} څوکیو په شاملولو سره استازیتوب کیږي. د X-غلطۍ ګراف کې ټول څوکۍ له خپلو اړوندو هایپر څوکیو څخه احتمال او منطقي لیبلونه میراث اخلي (د 2-دورې تجربې لپاره X او Z-غلطۍ څوکۍ ډیټا لپاره Table 1 وګورئ). یو کامل میچینګ الګوریتم یو ګراف د وزن لرونکي څوکیو او روښانه شوي نوډونو یوه جوړه سیټ اخلي، او د ګراف څوکۍ یوه سیټ بیرته راوړي چې ټول روښانه شوي نوډونه په جوړه کې سره نښلوي او د دې په څیر د ټولو څوکۍ سیټونو په مینځ کې لږ تر لږه مجموعي وزن لري. زموږ په قضیه کې، روښانه شوي نوډونه غیر عادي غلطۍ-حساس پیښې دي (که چیرې یوه طاق شمیره وي، د سرحد نوډ هم روښانه کیږي)، او د څوکۍ وزنونه یا د ټولو یو په توګه غوره کیږي (یونيفارم طریقه) یا د دې په توګه ټاکل کیږي ، چیرې چې pe د څوکۍ احتمال دی (تحلیلي طریقه). وروستی انتخاب پدې معنی دی چې د څوکۍ سیټ مجموعي وزن د سیټ لوګ-ایت likelihood سره مساوي دی، او لږ تر لږه وزن کامل میچینګ په ګراف کې د څوکیو څخه دا لوړ likelihood هڅه کوي. د لږ تر لږه وزن کامل میچینګ په پام کې نیولو سره، یو څوک کولی شي د میچینګ کې د څوکیو منطقي لیبلونه وکاروي ترڅو د منطقي حالت سمون پریکړه وکړي. په بدیل سره، د میچینګ ډیکوډر لپاره د X-غلط
