Английская Википедия:Certifying algorithm: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

16 февраля 2024

  • текущ.пред. 11:3911:39, 16 февраля 2024‎ EducationBot обсуждение вклад‎ 5376 байт +5376‎ Новая страница: «{{Английская Википедия/Панель перехода}} In theoretical computer science, a '''certifying algorithm''' is an algorithm that outputs, together with a solution to the problem it solves, a proof that the solution is correct. A certifying algorithm is said to be ''efficient'' if the combined runtime of the algorithm and a proof checker is slower by at most a constant factor than the best known non-certifying algorithm for...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Certifying_algorithm