Метод Zero Knowledge Proofs

Страница: 3/3

Б Д Л и тд.

Пример 3.

Мы можем разбивать сложные графы на более простые, гамильтонов цикл которых нам известен .Покажем это на примере ранее рассмотренных графов.

А A1

B H B1 H1 G R1 T1

E F E1 Y1

C D

1. C1 F1

2. D1

Мы можем пройти цикл 1. и можем пройти цикл 2.А если представить что у нас есть цикл из 1 и 2 когда соединены H и B1, C и D1, то мы можем его пройти его как первый если уверены что можем пройти от B1 до C1 по всем точкам , а так как это легко ( B1 R1 A1 T1 H1 Y1 D1 F1 E1 C1) и следовательно мы можем составить для него гамильтонов цикл и таким же образом мы можем составить гамильтонов цикл для многих сложных графов, правда с затратой времени , главное найти начальную (конечную) точку и несколько графов , по которым можно

пройти так же легко как и по графу в примере .

CHECKING PROGRAM

Checking program – разновидность верификации , но эта на много удобнее и дешевле . СHEKING PROGRAM заключается в том , что команды , которые посылает программа проходят через специально сделанную внутреннюю программу , которая настроена на новую версию, и она просто изменяет те команды, которые не подходят для данной версии.

При изготовлении ракеты надо делать для нее специальную программу, но если раньше такая программа уже была сделана для похожей ракеты, а теперь появились маленькие изменения, то CHECKING PROGRAM будет пропуская через себя команды изменять их, если эта команда не изменена, и не будет изменять если данная команда не требует изменения , таким образом CHECKING PROGRAM экономит время и деньги.

Если человек обладает такими навыками то он может зарабатывать на составлении таких программ неплохие деньги.

Реферат опубликован: 16/06/2007