Translation of satisfiability into Russian
Noun
mathematics
- The satisfiability of the equation was proven by the mathematician.Выполнимость уравнения была доказана математиком.
Synonyms and analogies of satisfiability in English
Examples of satisfiability in a sentence
The satisfiability of logical statements is crucial in computer science.
Translations of "satisfiability" in Context ordered by category and frequency
Students learn about the key concepts of logic, including validity, soundness, consistency, and satisfiability.
Учащиеся узнают о ключевых понятиях логики, включая достоверность, надежность, последовательность и выполнимость.
Validit, validity, satisfiability, and unsatisfiability, are properties of individual sentences.
Справедливость, выполнимость и невыполнимость - это свойства индивидуальных предложений.
And there are very efficient inference mechanisms for determining validity and satisfiability, alhough we haven't discussed them.
Существует к тому же очень эффективные механизмы для определения обоснованности и выполнимости, хотя мы их не рассматривали.
The problem of propositional satisfiability (SAT) is the classic NP-complete problem.
Задача пропозициональной выполнимости (satisfiability problem, SAT) является одной из наиболее известных NP-полных задач.
satisfiability: Examples and translations in context
Also it's worth pointing out that satisfiability solvers have had huge advances in the past decade and are now able to do really amazing things.
Также стоит отметить, что выполнимости решателей имели огромные достижения в последние десятилетия и в настоящее время в состоянии сделать действительно удивительные вещи.
The satisfiability problem for a formula of monadic second-order logic is the problem of determining whether there exists at least one graph (possibly within a restricted family of graphs) for which the formula is true.
Проблема выполнимости для формул логики второго порядка является задачей определения, существует ли по меньшей мере один граф (возможно, принадлежащий ограниченному семейству графов), для которого формула верна.
Therefore, if the strong exponential time hypothesis is true, then there would be no algorithm for general CNF satisfiability that is significantly faster than testing all possible truth assignments.
Таким образом, если сильная гипотеза об экспоненциальном времени верна, то не существует алгоритма для общей задачи CNF выполнимости, который существенно быстрее, чем проверка всех возможных высказываний на истинность.
Don Knuth: My current draft about satisfiability already mentions 25 research problems, most of which are not yet well known to the theory community.
Дон Кнут: Мой текущий черновик на тему выполнимости уже содержит 25 исследовательских задач, большинство из которых еще не достаточно хорошо известны сообществу теоретиков.
The NP-completeness of the problem can be shown, for example, by a reduction from maximum 2-satisfiability (a restriction of the maximum satisfiability problem).
NP-полноту задачи можно показать, например, приведением от задачи максимальной 2-выполнимости (задача максимальной выполнимости с ограничениями).
The core NP-complete problem is known as the "satisfiability problem": Given a host of logical constraints, is it possible to satisfy them all?
Основная NP-полная задача известна как «задача выполнимости»: учитывая множество логических ограничений, можно ли выполнить их все?
See also: