اخترع Hlyam Hamilton العديد من الألعاب ، إحداها مشكلة "السفر حول العالم" على طول ثنائي الوجوه. في ذلك ، حملت قمم الثنائي الوجوه أسماء المدن الشهيرة ، وكانت الطرق التي تربطها هي الحواف. كان على اللاعب أن يسافر "حول العالم" ، لإيجاد طريق يمر عبر جميع القمم مرة واحدة بالضبط.
استبدال مثل هذا البناء المعقد برسم بياني مستو متماثل إلى الشكل الأصلي ، نحصل على مشكلة ، والتي سننظر فيها بشكل أكبر في نظام بروتوكولات المعرفة الصفرية.
إثبات المعرفة الصفرية
- . , . , , « » .
( ) , , , , .
, . : " ", . , ( ).
- ,
, 
. G, .
, 
- , : 
, .
.
, . , , , .
, .
:
, . : 
, 
.
C , .
, , :
1 .
, , , G, , . , , , .
, , " ".
, .
- ?
, , , "" .
, , .
, , , , G , – – .
, , , , , G , , .
.
. , , , . , , " ".
, , . , . , , .
:
Manuel Blum "How to Prove a Theorem So No One Else Can Claim It"
Schneier B. التشفير التطبيقي ، الإصدار الثاني: البروتوكولات والخوارزميات وكود المصدر في C // تم تحريره بواسطة PV Semyanov. م ، انتصار. - 2002.