مخرج مكافأة بيتكوين: لماذا لا يكفي رقم التأكيدات وحده؟

لمخرج الإصدار فرق ارتفاع الإنفاق والبداية مئة فأعلى. [1] نعطي البداية 500؛ الإنفاق المفترض في 599 يترك 99 فلا يفي، وفي 600 يعطي 100 فيفي بهذا الشرط فقط. ولا تثبت المساواة ملكية أو إنفاقًا أو قبولًا مكتملًا.

• إذا اخترنا إدراجًا عند 500 وطرف سلسلة 598 ، يكون عدد التأكيدات وفق تعريف مثالنا 99 ؛ والكتلة التالية 599 لا تعطي فرق الإنفاق المطلوب مئة.
• عند طرف 599 يكون العدد 100 ، بينما الإنفاق الذي نفترضه في التالية 600 يحقق فرق 100. الفرق بين السؤالين هو استعمال مدخل مختلف، لا خطأ في العد.
• مخرجا إصدار ببدايتين 500 و 503 يحتاجان أول ارتفاعين 600 و 603 ؛ اجتماع الشرطين يحتاج 603 ، لا متوسط 601.5.
• لا نفرض هذا القيد الخاص على مخرج عادي في المقارنة نفسها، ولا نجعل غيابه إلغاءً لسائر الفحوص. [1]
• إذا استبدل الفرع بداية 500 ب 502 ، ينتقل حده إلى 602 ؛ إبقاء ملخص سابق دون تعديل البداية يعطي نتيجة تخص حالة أخرى.
• موعد 603 وحده لا يكشف أي المدخلين كان الأشد أو أصل جميع المخرجات؛ ومع بداية معلومة 503 يصبح فرق الحد مئة، لكن بيانات مجهولة أخرى تظل مجهولة.
• وترتيب أثمان مؤلفة للمرشحين يحتاج جميع أثمانهم؛ المتوسط لا يحدد الأرخص، وغياب ثمن قد يمنع ترتيب القائمة كاملة.

نختار مخرجًا من معاملة إصدار أدرج عند 500. ننشئ فروعًا مستقلة نسأل فيها عن إنفاق افتراضي عند 599 أو 600 أو 601. نطبق شرط الخلاصة. [1] تعيد فروعنا 99 و 100 و 101 ؛ الأول لا يفي، والثاني والثالث يفيان بالمقارنة التي نعزلها. لم نقرر أن أيًا منها معاملة صحيحة مكتملة أو أنها ستقع عند تلك الكتل.

يحدد ذلك أيضًا أول رقم يسمح به هذا السؤال في شروطنا: 500 زائد 100 يساوي 600. أما 599 فهو الرقم السابق، لا جوابًا آخر صنعه التقريب. إذا كتب شخص «بعد 600» فقد يستبعد المساواة التي أجازتها المقارنة المحددة؛ وإذا كتب «بعد 599» فقد يقصد 600 فما فوق. الأوضح عرض العملية وموقع المساواة، بدل ترك كلمة بعد تحمل معنيين مختلفين في تقريرين.

في هذه المسألة لا تعمل الساعة بالتقويم مدخلًا للحساب. حتى لو أعطينا وصول رسالة يوم الاثنين أو الثلاثاء، لا ينشأ منها رقم 599 أو 600. قد تكون الرسالة متأخرة أو مبكرة في قصة أخرى، لكننا لم نقدم علاقة تحول التاريخ إلى البيانات التي استعملها الفرع. لذلك نبقي وصف الزمن الإنساني منفصلًا عن الطرح، ولا نحاول سد معطى مفقود بعدد ساعات افترضناه.

ولو عرفنا البداية فقط، عرفنا أين يبدأ نطاق الإجابات الموافقة، ولم نعرف موضع الإنفاق الذي يسأل عنه تقرير مجهول. ولو عرفنا رقم الإنفاق فقط، فلا نملك الفرق دون البداية. تسمية هاتين الحالتين مهمة: الأولى تسمح بحساب حد مشروط، والثانية تسمح بكتابة طرف من الطرح فقط. لا يسند أحدهما جوابًا عن الفرق الفعلي في حالة لم تعط الطرف الآخر.

سنعرّف عدًا أصليًا واضحًا للتمرين: من الإدراج إلى طرف السلسلة شاملين الطرفين، أي الأخير ناقص الأول زائد واحد. هذا تعريف العد الذي نفترضه في قصتنا، وليس بديلًا عن اختبار المصدر. عند البداية 500 والطرف 598 نحصل على 99. إذا اخترنا الإنفاق في الكتلة التالية 599 ، يعطي الفحص فرق 99 أيضًا. توافق العددين هنا سببه اختيار التالية تحديدًا؛ لا يحول الاسم الأول إلى الاسم الثاني في جميع الحالات.

عند الطرف 599 تصبح نتيجة العد 100 ، وفي التالية 600 يصبح فرق الإنفاق 100. لا نطرح واحدًا من شاشة تحمل 100 ثم نقول إن شرطنا أخفق؛ في ذلك استعملنا موضع الطرف 599 بدل موضع الإنفاق 600 الذي فرضته الحالة. وبالعكس، إذا نصت مسألة مختلفة على مقارنة عند 599 نفسها، فيجب استعمالها كما وردت، فيكون الفرق 99. يحدد السؤال موقع العدد قبل أن يحدد طريقة الطرح.

لنمنح وصفًا آخر: البداية 500 ، والطرف 600 ، والإنفاق المفترض 602. العد الشامل يعطي 101 ، بينما فرق الإنفاق 102. لم يتناقض الحسابان؛ الفرض لم يختر الكتلة التالية مباشرة، بل 602. يمكن أن يوافق الرقم 101 أحد السؤالين، دون أن يصبح 102 خطأً. كذلك لا نبني على هذا الاختيار توقعًا لوقت انتظار أو إدراج؛ أعطينا الرقم 602 كمعطى ولم ننتجه من سياسة شبكة.

إذا وصلت كلمة «مئة» وحدها، فلا نعرف منها هل كانت عدًا شاملًا، أو فرقًا بين رقمين، أو مبلغًا. نحتاج عنوان الخانة وبدايتها ومرجع نهايتها في مثالنا. وجود رقم مألوف لا يغني عن ذلك، لأن معادلتين مختلفتين قد تعيدان العدد نفسه عند بعض المدخلات. يستطيع الملخص احتواء 100 في خانتين، بشرط أن يوضح ما تقيسه كل خانة بدل دمجهما تحت اسم واحد.

نضيف مخرج إصدار آخر يبدأ عند 503 ، مع إبقاء الأول عند 500. وفق الشرط نفسه يكون أول موضعين يوافقان 600 و 603. [1] في فرع إنفاق عند 600 ، يحقق الأول 100 ويحقق الثاني 97. لا تجمع سما 100 و 97 وتقسمهما على اثنين ثم تعلن موافقة المعاملة؛ يحتاج كل مخرج موصوف بهذا الأصل إلى المقارنة الخاصة به، لا إلى متوسط العمرين.

عند 603 يصبح الفرقان 103 و 100 ، فيفيان بهذا الجزء من الفحص. لا يلزم أن يتساويا؛ الشرط حد أدنى لا مطلب مساواة بين المدخلات. واستعمال أصغر فرق، 100 ، طريقة أصلية مختصرة لوصف الحالة المشتركة في هذه القائمة المعلومة. لكن الاختصار لا يستعيد 103 ، ولا يثبت أن كل المخرجات بدأت من 503 ؛ حذفنا معلومة حين اخترنا رقمًا يصف جانبًا من القائمة فقط.

ننشئ فرعًا جديدًا مستقلًا يبدأ فيه الثاني 497 بدل 503. يصبح حده 597 ، فيكون 600 كافيًا للشرطين. لا يظل الثاني هو المؤخر لأنه كان كذلك في الفرع الأول. مصدر الاختلاف تغيير المعطى ست وحدات، لا تبديل قاعدة النضج. وإذا احتفظ شخص بعنوان الفرع الأول مع نتيجة الفرع الثاني، فقد خلط بيانات حالتين، حتى لو كانت كل عملية طرح منفردة صحيحة في موضعها.

وإذا لم نعرف بداية الثاني، لا يثبت مرور الأول عند 600 أن القائمة كلها مرت. يمكننا أن نقول إن فرق الأول 100 في الفرض، وأن نتيجة الثاني تحتاج مدخله الغائب. لا يصبح المخرج غير الموصوف عاديًا لأننا لم نذكر أصله، ولا تصبح بدايته 500 لأن الرقم ظهر سابقًا. يبقى الجهل بأحد المعطيات ظاهرًا، بدل صنع قائمة سهلة بالنسخ من الصف الذي عرفناه.

نطاق الأصل مُعرّف في الخلاصة. [1] نقرأ المقارنة وحدها؛ ليست القائمة بيانات عن كل ما قد يسأل عنه شخص عند عرض نتيجة على شاشة.

لنفترض في قصتنا مبلغين أصليين 1000 و 700 ساتوشي في مخرجين من الإصدار نفسه عند 500. تحت الفرض ذاته يوافق كل منهما المقارنة عند 600 ، وليس لأن قيمة الأول أكبر. إضافة 300 إلى مبلغ الثاني أو تقسيم الأول إلى وصفين لا يحرك البداية التي منحناها له. لا تعمل القيم المالية عاملًا في الطرح الذي نعزله، فلا نبحث عن مقدار مال يعوض 99 ويجعله 100.

إذا أعلن دفتر مؤلف أن 700 من مكونات رسوم وأن 1000 من مكون آخر، فلا نحذف شرط الأصل عن 700 لهذا العنوان الحسابي وحده. يبقى تصنيف الأصل كما عرّفناه. [1] المثال يحدد علاقة العنوان بالحساب فقط؛ لم نستخرج مكونات معاملة حقيقية أو نفحص مصدر مبالغها من سلسلة فعلية.

ولا يثبت اسم مخرج في ورقة أنه تحت سيطرة سما أو أنه ما زال متاحًا لإنفاق. نستطيع منحها هذه المعلومات لتمرين آخر، لكن لم نفعل ذلك هنا. مرور المقارنة لا يقدمها من تلقاء نفسه. لذلك يمكن تحديد أول موضع يفي بهذا الشرط، مع ترك سؤال الحق في المال أو الحالة الحالية دون جواب؛ المعرفة بأحدهما لا تتضمن معرفة كل شيء عن المخرج.

نبني مقارنة أصلية بين سجلين افتراضيين، وليس وصفًا لإعادة تنظيم حدثت فعلًا. الأول يمنح مخرجًا بداية 500 ، والثاني يمنحه 502. عند موضع 601 يكون الفرق 101 في الأول و 99 في الثاني. الاختلاف في النتيجة جاء من المعطى الذي وضعه كل سجل. لا يصح أخذ 501 بداية وسطى ونسخ جواب 100 إلى الاثنين؛ لم تتضمن أي حالة تلك البداية الوسطى.

لو اخترنا 602 بدل 601 ، يصبح الفرق 102 و 100 ، فيفي السجلان بالمقارنة. تغيرت النهاية وحدة واحدة، بينما بقيت البدايتان مختلفتين. لا يعيد اتفاق الإجابة بنعم دمج السجلين؛ ما زال الفرق 102 غير 100 ، وقد تصبح المقارنة مختلفة عند سؤال آخر. يحتفظ التقرير الذي يعرض مدخلاته بما يحتاجه القارئ لتفسير النتائج، ولا يختصر نعم إلى ادعاء أن البيانات الأصلية متطابقة.

وعندما لا يوضح تقرير جديد أي سجل استعمل، لا ننقل إليه نتيجة الأول لمجرد أنه آخر ما حسبناه. يحتاج السؤال عن المخرج الفعلي إلى معلومات عن حالته وسلسلته، وهي ليست جزءًا من بياناتنا المصطنعة. عرض هذه البدائل لا يقدم تقديرًا لاحتمال وقوع أحدها؛ صممناهما لكي تظهر وظيفة البداية داخل المعادلة، لا لنحكم على استقرار شبكة أو مستوى أمن أموال.

يمكن أيضًا فصل تغير التسمية عن تغير الرقم. لو رتبنا الصفين بعكس ترتيب العرض مع إبقاء جميع المدخلات، فلا يتبدل 101 أو 99 في فرع 601. أما تغيير البداية من 500 إلى 502 فهو تعديل موضوعي للحساب حتى إذا بقي اسم الصف نفسه. هذا فرق يستطيع القارئ فحصه من المعطيات المعلنة، دون أن يعتمد على لون خانة أو مكانها في جدول منسق.

نعطي مسألة عكسية مستقلة: بداية 503 وأول موضع موافق 603 تحت الشرط المحدد. الطرح يعيد 100. لا يستعيد من ذلك قيم المخرجات أو صاحبها أو رسومًا، لأنها لم تدخل العملية. وإذا منحنا 603 وحده باعتباره نتيجة مشتركة لقائمة مجهولة، فلا نعرف عدد صفوفها أو أيها فرضه. قد تتضمن بدايات أصغر مع بقاء 503 أكبرها ضمن هذا الفرع، وقد تتغير بقية التفاصيل دون تغيير النتيجة المختصرة.

وفي نسخة أصلية أخرى نسأل عن بدايات صحيحة ممكنة لمخرج ينفق افتراضيًا عند 603 في هذا الفحص، ونختار المجال من 500 إلى 505. طرح كل مرشح يعطي 103 و 102 و 101 و 100 و 99 و 98. إذن توافق أربعة مرشحين من 500 إلى 503 ، وتخفق 504 و 505. لا نقرب 99 إلى 100 ، ولا نتخذ اختيار الوسط 502.5 حلًا؛ طلبت المسألة بدايات صحيحة واختبار حد معلوم.

نضيف مسألة مقارنة لا تحتاج أرقامًا جديدة من المصدر: نختار في دفترنا مخرجين يوافق أحدهما المقارنة عند 603 ويحتاج الآخر 605. إذا اشترط تمرين مؤلف استعمالهما معًا، فنهاية 603 ليست حلًا لهذا الطلب المشترك. ويمكن تبديل الطلب في فرع آخر إلى استعمال الأول وحده، فتختلف النتيجة دون تغيير بيانات الثاني. لا نسمي الاختيار الجديد إصلاحًا للثاني، بل فصلًا لسؤال آخر. وإذا كان مبلغ الأول 700 والثاني 900 ساتوشي من وضعنا، فإن جمعهما إلى 1600 يصف المطلوب المشترك فقط؛ نتيجة 700 لا تقول إن 900 اجتازت الفحص أو أنها اختفت من البيانات. يبقى نطاق ما اخترناه للعملية مختلفًا عن نطاق ما نعرفه في القائمة، ويجب تحديد هذا النطاق قبل نقل مبلغها أو موضعها النهائي إلى نتيجة.

ولو أعطينا أن المطلوب بداية تجعل الفرق 100 بالضبط، انحصر المرشح في 503. اختلف عدد الأجوبة لأن كلمة بالضبط أضافت شرطًا غير موجود في الطلب السابق. معرفة هذا الفرق تمنع تقديم نتيجة وحيدة لسؤال يسمح بأربع نتائج، كما تمنع توسيع جواب سؤال دقيق باستعمال أمثلة لم تطابقه. يبقى كل حساب مرتبطًا بالمعطيات والمجال اللذين اختارتهما نسخته.

هذه الأمثلة لا تسمي مقدارًا آمنًا من التأكيدات ولا موعدًا صالحًا لأي قارئ لتحريك ماله. فصلنا الأصل والبداية وموضع الإنفاق المفروض وعدًا أصليًا للمقارنة، ثم أعدنا حساب كل فرع. النتيجة المفيدة هي معرفة أي مدخل استعمله الرقم، وأي شرط أجاب عنه، وما الذي لم يثبته. بهذا لا تتحول كلمة «ناضج» في ملخص قصير إلى دعوى ملكية أو اكتمال قبول أو تنفيذ حدث لم نقدم دليله.

ولنقارن المرشحين الأربعة الذين قبلتهم مسألتنا الأصلية من جهة أخرى مستقلة: نمنحهم أثمانًا تعليمية مقدارها ثماني وست وخمس وتسع وحدات، وفق ترتيبهم السابق. أصغر ثمن هو خمس وحدات، وليس متوسط الأثمان السبع. مجموعها ثمان وعشرون، وتقسيمه على أربعة يعيد سبعًا؛ هذه نتيجة إحصاء القائمة لا ثمن المرشح الأرخص. وإذا غاب الثمن الرابع، فلا يصح إعلان الخمس أرخص القائمة كاملة؛ نعرف فقط أنه أصغر الأثمان الثلاثة المعلومة. لا تقدم هذه الأعداد سعرًا أو ترتيبًا عمليًا للمخرجات، بل توضح أن جواب سؤال الاختيار يحتاج معلومات غير جواب سؤال تحقق المقارنة السابقة.