Пусть есть функция принимающая несколько целых чисел и по определенному алгоритму возвращающая результат истина/ложь. Задача в том, чтобы компьютер мог проверить, что возвращает функция для переданных ему чисел, но не мог эти числа узнать. (возможно эти числа зашифровываются, и следовательно требуется модифицировать функцию) Согласен, что задача совсем не конкретная, но сама идея я думаю ясна. Какие разделы математики стоит почитать, чтобы понять как эту задачу решить?
|