Ваня Дмитриенко выступит на ГАРАЖ ФЕСТ Игора Драйв в Санкт-Петербурге14:45
There are many other kinds of proof objects https://www.philipzucker.com/proof_objects/ . A similar one that is useful is outputting a permutation from a sorting algorithm. Verifying a permutation takes O(n) but sorting under the appropriate assumptions takes O(n ln(n)), so there is a complexity gap there. https://cacm.acm.org/research/program-correctness-through-self-certification/,推荐阅读新收录的资料获取更多信息
02:53, 9 марта 2026Мир,更多细节参见PDF资料
Critics, such as Greg Smith, MP for Mid Buckinghamshire, say soaring costs, delays, abandoned villages and damage to the natural and historic environment mean that it is not worth building.