Satisfiability - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
satisfactoriness, accomplishability, realizability
Satisfiability (mathematics, of a proposition or formula) Able to be satisfied.
The Boolean satisfiability problem is one of many such NP-complete problems. |
Проблема булевой выполнимости является одной из многих таких NP-полных задач. |
The first use of the labeling literal is to actual check satisfiability or partial satisfiability of the constraint store. |
Первое использование литерала маркировки заключается в фактической проверке выполнимости или частичной выполнимости хранилища ограничений. |
What will you do if no thing has divisibility, comparability, connectivity, disturbability, reorderability, substitutability, and satisfiability? |
Что вы будете делать, если ни одна вещь не обладает делимостью, сопоставимостью, связностью, нарушаемостью, переупорядочиваемостью, заменяемостью и удовлетворяемостью? |
A labeling literal over a set of variables enforces a satisfiability check of the constraints over these variables. |
Литерал маркировки над набором переменных обеспечивает проверку выполнимости ограничений над этими переменными. |
Bucket elimination is a satisfiability algorithm. |
Исключение ведра-это алгоритм выполнимости. |
A common example of an NP problem not known to be in P is the Boolean satisfiability problem. |
Общим примером задачи NP, не известной в P, является задача булевой выполнимости. |
For constraint frameworks which are strictly compositional, graph unification is the sufficient satisfiability and combination function. |
Для структур ограничений, которые являются строго композиционными, объединение графов является достаточной функцией выполнимости и комбинации. |
Therefore, all forms of local consistency can be used as approximations of satisfiability. |
Поэтому все формы локальной согласованности могут быть использованы в качестве аппроксимаций выполнимости. |
These operations are aimed at making the constraint store simpler to be checked for satisfiability and solved. |
Эти операции направлены на то, чтобы сделать хранилище ограничений более простым для проверки на выполнимость и решения. |
The first natural problem proven to be NP-complete was the Boolean satisfiability problem, also known as SAT. |
Первой естественной проблемой, доказавшей свою NP-полноту, была проблема булевой выполнимости, также известная как SAT. |
NP-completeness can be proven by reduction from 3-satisfiability or, as Karp did, by reduction from the clique problem. |
NP-полнота может быть доказана редукцией от 3-выполнимости или, как это сделал Карп, редукцией от задачи клики. |
Second, it may prove satisfiability or unsatisfiability of problems. |
Загадки внутри записываются из каждого эпизода шоу. |
There are several special cases of the Boolean satisfiability problem in which the formulas are required to have a particular structure. |
Существует несколько частных случаев задачи булевой выполнимости, в которых формулы должны иметь определенную структуру. |
Given an instance of this satisfiability problem, construct the following instance of GISDP. |
Учитывая пример этой проблемы выполнимости, постройте следующий экземпляр GISDP. |
The Cook–Levin theorem states that the Boolean satisfiability problem is NP-complete. |
Теорема Кука-Левина утверждает, что Булева задача выполнимости является NP-полной. |
The satisfiability problem, also called the feasibility problem, is just the problem of finding any feasible solution at all without regard to objective value. |
Проблема выполнимости, также называемая проблемой осуществимости, - это просто проблема нахождения любого возможного решения вообще без учета объективной ценности. |
However, constraint propagation can be used to prove satisfiability in some cases. |
Однако распространение ограничений может быть использовано для доказательства выполнимости в некоторых случаях. |
As a result, using all variables mentioned in the constraint store results in checking satisfiability of the store. |
В результате использование всех переменных, упомянутых в хранилище ограничений, приводит к проверке выполнимости хранилища. |
For this reason, an incomplete satisfiability checker may be used instead. |
По этой причине вместо него может использоваться неполная проверка удовлетворяемости. |
The special cases in which satisfiability can be established by enforcing arc consistency and path consistency are the following ones. |
Частными случаями, в которых удовлетворяемость может быть установлена путем обеспечения согласованности дуги и последовательности пути, являются следующие. |
The constraint store contains the constraints that are currently assumed satisfiable. |
Хранилище ограничений содержит ограничения, которые в настоящее время считаются удовлетворяемыми. |
Если это так, то формула называется выполнимой. |
|
This set contains the constraints the interpreter has assumed satisfiable in order to proceed in the evaluation. |
Этот набор содержит ограничения, которые интерпретатор принял удовлетворительными для того, чтобы продолжить оценку. |
Local search methods are incomplete satisfiability algorithms. |
Как долго обычно должен длиться опрос по запрошенному ходу? |
The graph has a c-clique if and only if the formula is satisfiable. |
Граф имеет c-клику тогда и только тогда, когда Формула выполнима. |
Clause learning is the name of this technique when applied to propositional satisfiability. |
Изучение предложений-это название этой техники, когда она применяется к пропозициональной удовлетворяемости. |
A successful termination is generated when the current goal is empty and the constraint store is satisfiable. |
Успешное завершение генерируется, когда текущая цель пуста и хранилище ограничений удовлетворительно. |
This is because the constraint store contains all constraints assumed satisfiable to prove the goal. |
Это происходит потому, что хранилище ограничений содержит все ограничения, предполагаемые удовлетворительными для доказательства цели. |
They may find a solution of a problem, but they may fail even if the problem is satisfiable. |
Они могут найти решение проблемы, но они могут потерпеть неудачу, даже если проблема удовлетворительна. |
- joint satisfiability - совместная выполнимость
- CNF satisfiability - CNF выполнимости
- jointly satisfiable - совместно выполнимый
- jointly satisfiable satisfiables - совместно выполнимые формулы
