Sta znaci na Srpskom SATISFIABILITY - prevod na Српском

• задовољивости
• САТ
• задовољивост
• задовољства

Примери коришћења Satisfiability на Енглеском и њихови преводи на Српски

Satisfiability of first-order Horn clauses is undecidable.
Задовољивост Хорнових клауза првог реда је неодлучив задатак.

These operations are aimed at making the constraint store simpler to be checked for satisfiability and solved.
Ове операције су усмерене на доношење ограничења продавница једноставније да се провери за задовољивост и решење.

Its proof that satisfiability is NP-complete contains technical details about Turing machines as they relate to the definition of NP.
Њен доказ да је САТ проблем НП-комплетан садржи техничке детаље о Тјуринговим машинама и како се оне односе на дефиницију НП.

A labeling literal over a set of variables enforces a satisfiability check of the constraints over these variables.
Обележавање буквално преко скупа варијабли спроводи проверу задовољивости од ограничења преко ових варијабли.

In practice, satisfiability of the constraint store may be checked using an incomplete algorithm, which does not always detect inconsistency.
У пракси, задовољивости на ограничење продавници може се проверити помоћу непотпуних алгоритама, који не открије увек недоследност.

As a result, using all variables mentioned in the constraint store results in checking satisfiability of the store.
Као резултат тога, користећи све променљиве наведене у резултатима ограничење продавницу у проверу задовољивости у продавници.

SAT and 2-SAT are special cases of k-satisfiability(k-SAT) or simply satisfiability(SAT), when each clause contains exactly k= 3 and k= 2 literals respectively.
Zadovoljivost je specijalni slučaj k-zadovoljivosti( k-SAT) ili prosto SAT, gde svaka klauza sadrži tačno k= 3 literala.

In December 2005, Jeff Stuckman and Guo-Qiang Zhang showed in an arXiv article that the Mastermind satisfiability problem is NP-complete.
У децембру 2005, Jeff Stuckman и Guo-Qiang Zhang показали су у чланкуArXiv да је Проблем задовољства Генијалца НП-комлетан.

In practice, satisfiability is checked using methods that simplify the constraint store, that is, rewrite it into an equivalent but simpler-to-solve form.
У пракси, задовољивости се проверавају помоћу методе које поједностављују наметања радњи, то јест, преписати га у еквивалентне али једноставније облику за решавање.

The first use of the labeling literal is to actual check satisfiability or partial satisfiability of the constraint store.
Прва употреба обележавања либерала је да стварне провере задовољивости или делимично задовољивости на ограничење продавнице.

Satisfiability of the formula is detected either when all variables are assigned without generating the empty clause, or, in modern implementations, if all clauses are satisfied.
Задовољивост формуле се открива било када све променљиве су додељене без стварања празне клаузе, или, у модерним инплементацијама, ако су све клаузе задовољене.

Logic programming clauses in conjunction with constraint handling rules can be used to specify a method for establishing the satisfiability of the constraint store.
Логика програмирања одредби у вези са ограниченим правилима за руковање може да се користи за спецификацију метода за утврђивање задовољивости на ограничење продавнице.

This is the Cook-Levin theorem; its proof that satisfiability is NP-complete contains technical details about Turing machines as they relate to the definition of NP.
Ово је резултат Кук-Левинове теореме; њен доказ да је САТ проблем НП-комплетан садржи техничке детаље о Тјуринговим машинама и како се оне односе на дефиницију НП.

Inference allows for the addition of new constraints, which may lead to proving inconsistency of the constraint store, and may generally reduce the amount of search needed to establish its satisfiability.
Закључак омогућава додавање нових ограничења, што може довести до доказивања недоследности о ограничењу продавнице, а може генерално смањити количину потраге потребне да успостави своју задовољивости.

The labeling literals are used on variables over finite domains to check satisfiability or partial satisfiability of the constraint store and to find a satisfying assignment.
Означавање литерала се користи на варијабли преко коначних доменима да проверите задовољивост или делимичну задовољивост о ограничењу продавница и да нађе задовољавајући задатак.

The Mastermind satisfiability problem is a decision problem that asks,"Given a set of guesses and the number of colored and white pegs scored for each guess, is there at least one secret pattern that generates those exact scores?".
Проблем задовољства Генијалца је проблем одлучивања који пита," Дат је скуп покушаја и број црних и белих чиода са резултатима за сваки покушај, да ли постоји макар једна комбинација која генерише баш те резултате?".

Since modern answer-set solvers make use of boolean SAT algorithms to very rapidly ascertain satisfiability, this implies that action languages can also enjoy the progress being made in the domain of boolean SAT solving.
Пошто савремени одговор-сет решавају и користе булов САТ за алгоритаме да врло брзо утврдие задовољивост, то значи да језици дејства уживају у напретку који је у домену буловог САТ-а.

Constraint propagation may solve the problem by reducing all domains to a single value, it may prove that the problem has no solution by reducing a domain to the empty set, but may also terminate without proving satisfiability or unsatisfiability.
Пропагирање ограничења може решити проблем смањивањем свих домена на само једну вредност, може се показати да проблем нема решење сужавањем домена на празан скуп, али такође се може завршити без доказивања задовољивости или незадовољивости.

As Williams(2010) shows, if there exists an algorithm A that solves Boolean circuit satisfiability in time 2n/ƒ(n) for some superpolynomially growing function ƒ, then NEXPTIME is not a subset of P/poly.
Kako je Vilijams pokazao 2010. godine, ako postoji algoritam A koji rešava Bulov krug zadovoljivosti u vremenu 2n/ ƒ( n) za neke superpolinomijalne rastuće funkcije ƒ, onda NEXPTIME nije podskup P/ poly.

The limiting value s∞ of the sequence of numbers sk is at most equal to sCNF, where sCNF is the infimum of the numbers δ such that satisfiability of conjunctive normal form formulas without clause length limits can be solved in time O(2δn).
Granična vrednost s∞ sekvence brojeva sk je najviše jednaka sCNF, gde je sCNF infimum brojeva δ takvih da zadovoljivost vezivnih formula normalne forme bez limita dužine može biti rešeno u O( 2δn).

Another application that often involves DPLL is automated theorem proving or satisfiability modulo theories(SMT), which is a SAT problem in which propositional variables are replaced with formulas of another mathematical theory.
Још једна апликација која често укључује ДПЛЛ је аутоматизована теорема доказивања или задовољивости модуло теорије које је САТ проблем у којем исказне променљиве су замењене са формулама других математичких теорија.

Procedurally, subgoals whose predicates are defined by the program are solved by goal-reduction, as in ordinary logic programming, but constraints are checked for satisfiability by a domain-specific constraint-solver, which implements the semantics of the constraint predicates.
Процедурално, субгоалс чији предикате су дефинисани програмом се решава гол-редукције, као у обичном логичко програмирање, али ограничења су проверени за задовољивости од домена специфичне ограничење-солвер, који спроводи семантику ограничење предиката.

This approach is used for a number of NP-hard problems Integer programming Nonlinear programming Travelling salesman problem( TSP) Quadratic assignment problem( QAP) Maximum satisfiability problem( MAX-SAT) Nearest neighbor search Flow shop scheduling Cutting stock problem False noise analysis( FNA) Computational phylogenetics Set inversion Parameter estimation 0/1 knapsack problem Feature selection in machine learning Structured prediction in computer vision Branch-and-bound may also be a base of various heuristics.
Ovaj pristup se koristi za veliki broj NP-teških problema: Celobrojno programiranje Nelinearno programiranje Problem putujućeg prodavca( TSP) Problem kvadratne dodele Maksimalno zadovoljavajući problem( MAX-SAT) Pretrega za najbližim susedom( NNS) Problem sečenja zalihe Analiza lažne buke( FNA) Računarska filogenija Inverzija skupova Procene parametara Algoritam separacije i evaluacije može takođe da bude baza za razne heuristike.