Сводимости

Перевод сводимости на английский язык

Существительное

Сводимость задачи к другой задаче позволяет упростить её решение.

The reducibility of a problem to another problem allows simplifying its solution.

Существительное

Сводимость - это свойство или возможность чего-либо быть сведённым, упрощённым или приведённым к более простому виду или форме.

Сводимость сложных математических уравнений к более простым формам облегчает их решение.

сводимость задачи

Сводимость задачи к более простой форме упрощает её решение.

reducibility of a problem

The reducibility of a problem to a simpler form facilitates its solution.

сводимость теоремы

Сводимость теоремы позволяет применять её в различных ситуациях.

reducibility of a theorem

The reducibility of a theorem allows it to be applied in various situations.

сводимость системы

Сводимость системы уравнений упрощает их анализ.

reducibility of a system

The reducibility of a system of equations simplifies their analysis.

сводимость алгоритма

Сводимость алгоритма к известному решению ускоряет процесс.

reducibility of an algorithm

The reducibility of an algorithm to a known solution speeds up the process.

сводимость функции

Сводимость функции к базовым операциям облегчает её вычисление.

reducibility of a function

The reducibility of a function to basic operations eases its computation.

"Я взял те же данные, и получил тот же ответ" является довольно низкой формой сводимость.

"I took the same data and got the same answer" is a fairly low form of reducibility.

Может, правила математики специально выбраны так, чтобы продемонстрировать вычислительную сводимость.

Maybe somehow the rules of mathematics are specially chosen to show computational reducibility.

Важность понятия полиномиальная сводимость вытекает из следующей леммы.

The unsolvability of the conjugacy problem follows from the next lemma.

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

Title: Positive preorders and computable reducibility on them as mathematical models of databases.

логическая (дедуктивная) сводимость

Logical (Deductive) Inference