SAT -- NP-полная задача, соответственно, если вы утверждаете, что с удвоением сложности формулы сложность растёт пусть даже не линейно, а полиномиально, то можете утверждать, что решили P=NP и претендовать на все Нобелевки сразу.
График этой функции является фракталом, т.к. обладает нецелой хаусдорфовой размерностью (конкретное значение зависит от её параметров, но всегда строго между 1 и 2). Но доказали точную формулу размерности лишь в 2018 году.
Вот, человек разбирается.
А я томат.
Сложность SAT -- не линейная.
SAT -- NP-полная задача, соответственно, если вы утверждаете, что с удвоением сложности формулы сложность растёт пусть даже не линейно, а полиномиально, то можете утверждать, что решили P=NP и претендовать на все Нобелевки сразу.
Но нет сырья и кадров.
А минусы есть?
Там тоже платят не так, чтобы хорошо.
Если не ошибаюсь, автор текста -- Аркадий Арканов. Я его видел в напечатанном виде в каком-то журнале в доинтернетную эру.
Где тэг "импортозамещение"?
... и не имеющей аппаратной реализации сложения с переносом?
Тогда это задача ради задачи.
Крипта -- это не только про переводы. NFT -- это тоже крипта в широком смысле этого слова.
Как будто с криптой было по-другому.
Строго говоря, документ (как и оригинальный RFC) такой случай не описывает. Кроме того, `cargo fix --edition` этот код не меняет.
Обсуждение:
https://github.com/rust-lang/rust/issues/111376
Мы вообще-то и так налоги платим! Какой ещё взнос!
Для этого они могли бы не добавлять загрузку из raw image вместо образов Mach-O, а почему-то добавили в 2021 году...
obese -- страдающий ожирением.
Откуда там 30 набралось? "Рога и Копыта" включили?
График этой функции является фракталом, т.к. обладает нецелой хаусдорфовой размерностью (конкретное значение зависит от её параметров, но всегда строго между 1 и 2). Но доказали точную формулу размерности лишь в 2018 году.
"планируете" -- очень смешное слово для первой половины 2020-х годов.