. "\u5728\u53EF\u8A08\u7B97\u6027\u7406\u8AD6\u8207\u8A08\u7B97\u8907\u96DC\u6027\u7406\u8AD6\u4E2D\uFF0C\u6C7A\u5B9A\u6027\u554F\u984C\uFF0C\u4EA6\u7A31\u5224\u5B9A\u554F\u984C\uFF0C\uFF08\u82F1\u8A9E\uFF1ADecision problem\uFF09\u662F\u4E00\u500B\u5728\u67D0\u4E9B\u5F62\u5F0F\u7CFB\u7D71\u56DE\u7B54\u300C\u662F\u300D\u6216\u300C\u5426\u300D\u7684\u554F\u984C\u3002 \u8209\u4F8B\u4F86\u8AAA\uFF0C\u300C\u5224\u5B9A\u7D66\u5B9A\u7684\u81EA\u7136\u6578\u662F\u5426\u70BA\u8CEA\u6578\u300D\u662F\u4E00\u500B\u6C7A\u5B9A\u6027\u554F\u984C\u3002\u53E6\u4E00\u500B\u5177\u9AD4\u7684\u4F8B\u5B50\u662F\uFF1A\u300C\u7D66\u5169\u500B\u6578\u5B57 x \u8207 y\uFF0Cx \u662F\u5426\u53EF\u4EE5\u6574\u9664 y\uFF1F\u300D\uFF0C\u6B64\u554F\u984C\u4F9D\u64DA\u5176 x \u8207 y \u7684\u503C\u53EF\u56DE\u7B54\u662F\u6216\u5426\u3002\u4EE5\u6F14\u7B97\u6CD5\u5F62\u5F0F\u7D66\u51FA\u7684\u89E3\u6C7A\u6C7A\u5B9A\u6027\u554F\u984C\u7684\u65B9\u6CD5\u7A31\u70BA\u6C7A\u7B56\u7A0B\u5F0F\uFF08decision procedure\uFF09\u3002\u5C0D\u6C7A\u5B9A\u6027\u554F\u984C\u300C\u7D66\u5169\u500B\u6578\u5B57 x \u8207 y\uFF0Cx \u662F\u5426\u53EF\u4EE5\u6574\u9664 y\uFF1F\u300D\u6C7A\u7B56\u7A0B\u5F0F\u5C07\u78BA\u5B9A x \u662F\u5426\u6574\u9664 y\u3002\u4E00\u7A2E\u9019\u6A23\u7684\u6F14\u7B97\u6CD5\u662F\u9577\u9664\u6CD5\uFF0C\u5982\u679C\u9918\u6578\u70BA 0\uFF0C\u5247\u539F\u6C7A\u5B9A\u6027\u554F\u984C\u7684\u7B54\u6848\u70BA\u300C\u662F\u300D\uFF0C\u5426\u5247\u70BA\u300C\u5426\u300D\u3002\u82E5\u67D0\u6C7A\u5B9A\u6027\u554F\u984C\u53EF\u4EE5\u88AB\u4E00\u4E9B\u6F14\u7B97\u6CD5\u6240\u89E3\u6C7A\uFF0C\u5247\u7A31\u6B64\u554F\u984C\u53EF\u6C7A\u5B9A\uFF08decidable\uFF09\u3002 \u6C7A\u5B9A\u6027\u554F\u984C\u8207\u529F\u80FD\u6027\u554F\u984C\uFF08Function problem\uFF0C\u6216\uFF09\u5BC6\u5207\u76F8\u95DC\uFF0C\u529F\u80FD\u6027\u554F\u984C\u7684\u7B54\u6848\u5167\u5BB9\uFF0C\u8F03\u7C21\u55AE\u7684\u662F\u8207\u975E\u8907\u96DC\u8A31\u591A\u3002\u7BC4\u4F8B\u554F\u984C\uFF1A\u300C\u7D66\u4E88\u4E00\u500B\u6B63\u6574\u6578x\uFF0C\u5247\u54EA\u4E9B\u6578\u53EF\u6574\u9664 x\uFF1F\u300D \u53E6\u4E00\u500B\u8207\u4E0A\u8FF0\u5169\u985E\u554F\u984C\u76F8\u95DC\u7684\u662F\u6700\u4F73\u5316\u554F\u984C\uFF08Optimization problem\uFF09\uFF0C\u6B64\u554F\u984C\u95DC\u5FC3\u7684\u662F\u5C0B\u627E\u7279\u5B9A\u554F\u984C\u7684\u6700\u4F73\u7B54\u6848\u3002 \u8A08\u7B97\u8907\u96DC\u5EA6\u7684\u9818\u57DF\u4E2D\uFF0C\u5206\u985E\u53EF\u6C7A\u5B9A\u554F\u984C\u7684\u4F9D\u64DA\u5728\u65BC\u300C\u6B64\u554F\u984C\u6709\u591A\u96E3\u88AB\u89E3\u6C7A\u300D\u3002\u5728\u6B64\u6A19\u6E96\u4E0B\uFF0C\u6240\u8B02\u7684\u300C\u96E3\u300D\u662F\u4EE5\u89E3\u6C7A\u67D0\u554F\u984C\u6700\u6709\u6548\u7387\u7684\u6F14\u7B97\u6CD5\u6240\u82B1\u8CBB\u7684\u8A08\u7B97\u8CC7\u6E90\u70BA\u4F9D\u64DA\u3002\u5728\u905E\u8FF4\u7406\u8AD6\u4E2D\uFF0C\u975E\u6C7A\u5B9A\u6027\u554F\u984C\u7531\u5716\u9748\u5EA6\u6C7A\u5B9A\uFF0C\u6307\u7684\u662F\u4E00\u7A2E\u5728\u4EFB\u4F55\u89E3\u7B54\u4E2D\u96B1\u542B\u7684\u4E0D\u53EF\u8A08\u7B97\u6027\u91CF\u8A5E\u3002"@zh . "En informatique th\u00E9orique, un probl\u00E8me de d\u00E9cision est une question math\u00E9matique dont la r\u00E9ponse est soit \u00AB oui \u00BB, soit \u00AB non \u00BB. Les logiciens s'y sont int\u00E9ress\u00E9s \u00E0 cause de l'existence ou de la non-existence d'un algorithme r\u00E9pondant \u00E0 la question pos\u00E9e. Les probl\u00E8mes de d\u00E9cision interviennent dans deux domaines de la logique : la th\u00E9orie de la calculabilit\u00E9 et la th\u00E9orie de la complexit\u00E9. Parmi les probl\u00E8mes de d\u00E9cision citons par exemple le probl\u00E8me de l'arr\u00EAt, le probl\u00E8me de correspondance de Post ou le dernier th\u00E9or\u00E8me de Fermat."@fr . "In computability theory and computational complexity theory, a decision problem is a computational problem that can be posed as a yes\u2013no question of the input values. An example of a decision problem is deciding by means of an algorithm whether a given natural number is prime. Another is the problem \"given two numbers x and y, does x evenly divide y?\". The answer is either 'yes' or 'no' depending upon the values of x and y. A method for solving a decision problem, given in the form of an algorithm, is called a decision procedure for that problem. A decision procedure for the decision problem \"given two numbers x and y, does x evenly divide y?\" would give the steps for determining whether x evenly divides y. One such algorithm is long division. If the remainder is zero the answer is 'yes', otherwise it is 'no'. A decision problem which can be solved by an algorithm is called decidable. Decision problems typically appear in mathematical questions of decidability, that is, the question of the existence of an effective method to determine the existence of some object or its membership in a set; some of the most important problems in mathematics are undecidable. The field of computational complexity categorizes decidable decision problems by how difficult they are to solve. \"Difficult\", in this sense, is described in terms of the computational resources needed by the most efficient algorithm for a certain problem. The field of recursion theory, meanwhile, categorizes undecidable decision problems by Turing degree, which is a measure of the noncomputability inherent in any solution."@en . . "Decidoproblemo"@eo . . . . . . . . "En teor\u00EDa de la computaci\u00F3n, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes tambi\u00E9n de longitud finita. Un problema de decisi\u00F3n es un problema en donde las respuestas posibles son \u00ABs\u00ED\u00BB o \u00ABno\u00BB."@es . . . . . . . . . "En teoria de la computabilitat i en complexitat computacional, un problema de decisi\u00F3 \u00E9s una q\u00FCesti\u00F3 en algun sistema formal amb una resposta s\u00ED o no. Problemes amb respostes m\u00E9s complexes es coneixen com a . Per exemple, es pot tenir un problema de decisi\u00F3 \u00ABdonats dos nombres x i y, x \u00E9s divisor enter de y?\u00BB. Aquesta \u00E9s una pregunta de resposta s\u00ED o no, i la seva resposta dep\u00E8n dels valors de x i de y. Un algorisme per aquest problema de decisi\u00F3 hauria de contestar com, donats x i y, es pot determinar si x \u00E9s divisor enter de y."@ca . . . "\uACB0\uC815 \uBB38\uC81C"@ko . . . "Beslutsproblem"@sv . . . . . . "\uACC4\uC0B0 \uC774\uB860\uC5D0\uC11C \uACB0\uC815 \uBB38\uC81C(decision problem, \uD310\uC815 \uBB38\uC81C)\uB780 \uC5B4\uB5A4 \uD615\uC2DD \uCCB4\uACC4\uC5D0\uC11C \uC608-\uC544\uB2C8\uC624 \uB2F5\uC774 \uC788\uB294 \uC9C8\uBB38\uC744 \uB9D0\uD55C\uB2E4. \uC608\uB97C \uB4E4\uC5B4 \"\uB450 \uC22B\uC790 x\uC640 y\uAC00 \uC788\uC744 \uB54C, y\uB294 x\uB85C \uB098\uB204\uC5B4\uB5A8\uC5B4\uC9C0\uB294\uAC00?\" \uD558\uB294 \uC9C8\uBB38\uC774 \uC788\uB2E4. \uB2F5\uC740 x\uC640 y \uAC12\uC5D0 \uB530\uB77C '\uC608' \uB610\uB294 '\uC544\uB2C8\uC624' \uC911 \uD558\uB098\uAC00 \uB420 \uC218 \uC788\uB2E4. \uC77C\uBC18\uC801\uC73C\uB85C \uACC4\uC0B0 \uAC00\uB2A5\uD55C \uBB38\uC81C\uC758 \uD574\uC9D1\uD569\uC740 \uC5F4\uAC70 \uAC00\uB2A5\uD55C \uD574\uC9D1\uD569\uC758 \uC720\uD55C\uD55C \uBD80\uBD84\uC9D1\uD569\uC774\uAE30 \uB54C\uBB38\uC5D0, \uBAA8\uB4E0 \uBB38\uC81C\uB294 \uACB0\uC815 \uBB38\uC81C\uB85C \uD658\uC6D0\uB420 \uC218 \uC788\uB2E4. \uD310\uC815 \uBB38\uC81C\uB97C \uD478\uB294 \uB370 \uC4F0\uC778 \uBC29\uBC95\uC744 \uC54C\uACE0\uB9AC\uC998\uC774\uB77C\uACE0 \uD55C\uB2E4. \uC5B4\uB5A4 \uD310\uC815 \uBB38\uC81C\uB97C \uD478\uB294 \uC54C\uACE0\uB9AC\uC998\uC774 \uC788\uC73C\uBA74 \uADF8 \uBB38\uC81C\uB294 \uACB0\uC815 \uAC00\uB2A5\uD558\uB2E4\uACE0 \uD55C\uB2E4. \uC5C6\uC73C\uBA74 \uACB0\uC815 \uBD88\uAC00\uB2A5\uD558\uB2E4\uACE0 \uD55C\uB2E4."@ko . "En kaj de , decidoproblemo estas demando en iu kun jes-a\u016D-ne respondo, depende de la valoroj de kelkaj enigaj parametroj. Decidoproblemoj tipe prezenti\u011Das en matematikaj demandoj de , t.e., la demando pri la ekzisto de determini la ekziston de iu objekto a\u016D \u011Dian membrecon en aro; kelkaj el la plej gravaj problemoj en matematiko estas ."@eo . . . . "9862"^^ . . . . . . . . "Un problema decisionale nell'ambito della matematica riguarda un problema di scelta in cui si deve prendere una decisione tra un elevato numero di soluzioni (ammissibili) alternative, sulla base di uno o pi\u00F9 criteri. Si parla di problemi decisionali soprattutto all'interno del campo della matematica applicata e, pi\u00F9 nello specifico, della ricerca operativa. La versione in Inglese di questa voce definisce un problema decisionale come un problema, appartenente alla teoria della computabilit\u00E0 ed alla teoria della complessit\u00E0 computazionale, che pu\u00F2 essere posto sotto forma di una domanda riguardante i dati in ingresso a cui possa essere data una risposta nella forma \"si\" oppure \"no\". Un esempio di problema decisionale \u00E8, dato un numero naturale, stabilire se si tratta di un numero primo."@it . . . "\u0423 \u0442\u0435\u043E\u0440\u0456\u0457 \u043E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043D\u043E\u0441\u0442\u0456 \u0456 \u0442\u0435\u043E\u0440\u0456\u0457 \u0441\u043A\u043B\u0430\u0434\u043D\u043E\u0441\u0442\u0456 \u043E\u0431\u0447\u0438\u0441\u043B\u0435\u043D\u044C, \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0432\u0438\u0431\u043E\u0440\u0443 \u0430\u0431\u043E \u0437\u0430\u0434\u0430\u0447\u0430 \u043F\u0440\u043E \u0443\u0445\u0432\u0430\u043B\u0435\u043D\u043D\u044F \u0440\u0456\u0448\u0435\u043D\u044C \u2014 \u0446\u0435 \u0437\u0430\u043F\u0438\u0442\u0430\u043D\u043D\u044F \u0432 \u0434\u0435\u044F\u043A\u0456\u0439 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0456\u0439 \u0441\u0438\u0441\u0442\u0435\u043C\u0456 \u0437 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u0434\u044E \u0442\u0430\u043A \u0430\u0431\u043E \u043D\u0456, \u0437\u0430\u043B\u0435\u0436\u043D\u043E \u0432\u0456\u0434 \u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u0434\u0435\u044F\u043A\u0438\u0445 \u0432\u0445\u0456\u0434\u043D\u0438\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u0456\u0432. \u0420\u0456\u0448\u0435\u043D\u043D\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438 \u0437\u0430\u0437\u0432\u0438\u0447\u0430\u0439 \u0437'\u044F\u0432\u043B\u044F\u044E\u0442\u044C\u0441\u044F \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u0445 \u043F\u0438\u0442\u0430\u043D\u043D\u044F\u0445 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u043E\u0433\u043E \u0440\u043E\u0437\u0432'\u044F\u0437\u0430\u043D\u043D\u044F, \u0442\u043E\u0431\u0442\u043E \u0432 \u043F\u0438\u0442\u0430\u043D\u043D\u044F\u0445 \u043F\u0440\u043E \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u0435\u0444\u0435\u043A\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043C\u0435\u0442\u043E\u0434\u0443 \u0434\u043B\u044F \u0432\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u043D\u0430\u044F\u0432\u043D\u043E\u0441\u0442\u0456 \u0431\u0443\u0434\u044C-\u044F\u043A\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0430\u0431\u043E \u0439\u043E\u0433\u043E \u043D\u0430\u043B\u0435\u0436\u043D\u0456\u0441\u0442\u044C \u043C\u043D\u043E\u0436\u0438\u043D\u0456. \u0414\u0435\u044F\u043A\u0456 \u0437 \u0432\u0430\u0436\u043B\u0438\u0432\u0438\u0445 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u0445 \u043F\u0440\u043E\u0431\u043B\u0435\u043C \u043D\u0435\u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u0456. \u041D\u0430\u043F\u0440\u0438\u043A\u043B\u0430\u0434, \u043F\u0438\u0442\u0430\u043D\u043D\u044F \u00AB\u0437\u0430\u0434\u0430\u043D\u0456 \u0434\u0432\u0430 \u0447\u0438\u0441\u043B\u0430 x \u0456 y, \u0447\u0438 \u0434\u0456\u043B\u0438\u0442\u044C\u0441\u044F x \u043D\u0430 y \u0431\u0435\u0437 \u0437\u0430\u043B\u0438\u0448\u043A\u0443?\u00BB \u2014 \u0431\u0443\u0434\u0435 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u043E\u044E \u0432\u0438\u0431\u043E\u0440\u0443. \u0412\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u044C \u043C\u043E\u0436\u0435 \u0431\u0443\u0442\u0438 \u0430\u0431\u043E '\u0442\u0430\u043A' \u0430\u0431\u043E '\u043D\u0456', \u0456 \u0437\u0430\u043B\u0435\u0436\u0438\u0442\u044C \u0432\u0456\u0434 \u0437\u043D\u0430\u0447\u0435\u043D\u044C x \u0456 y. \u041C\u0435\u0442\u043E\u0434 \u0440\u043E\u0437\u0432'\u044F\u0437\u0430\u043D\u043D\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438 \u0432\u0438\u0431\u043E\u0440\u0443 \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u0439 \u0443 \u0444\u043E\u0440\u043C\u0456 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443 \u043D\u0430\u0437\u0438\u0432\u0430\u0454\u0442\u044C\u0441\u044F \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u043C \u0432\u0438\u0431\u043E\u0440\u0443, \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u043C \u0443\u0445\u0432\u0430\u043B\u0435\u043D\u043D\u044F \u0440\u0456\u0448\u0435\u043D\u044C \u0430\u0431\u043E \u0440\u043E\u0437\u0432'\u044F\u0437\u0443\u0432\u0430\u043B\u044C\u043D\u043E\u044E \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u043E\u044E \u0434\u043B\u044F \u0446\u0456\u0454\u0457 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438. \u0420\u043E\u0437\u0432'\u044F\u0437\u0443\u0432\u0430\u043B\u044C\u043D\u0430 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0430 \u0434\u043B\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438 \u0432\u0438\u0431\u043E\u0440\u0443 \u00AB\u0437\u0430\u0434\u0430\u043D\u0456 \u0434\u0432\u0430 \u0447\u0438\u0441\u043B\u0430 x \u0456 y, \u0447\u0438 x \u0434\u0456\u043B\u0438\u0442\u044C\u0441\u044F \u043D\u0430 y \u0431\u0435\u0437 \u0437\u0430\u043B\u0438\u0448\u043A\u0443?\u00BB \u043C\u0430\u0454 \u043D\u0430\u0434\u0430\u0442\u0438 \u043F\u043E\u043A\u0440\u043E\u043A\u043E\u0432\u0438\u0439 \u043D\u0430\u0431\u0456\u0440 \u0434\u0456\u0439 \u0434\u043B\u044F \u0432\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u0447\u0438 \u0434\u0456\u043B\u0438\u0442\u044C\u0441\u044F x \u043D\u0430 y \u0431\u0435\u0437 \u0437\u0430\u043B\u0438\u0448\u043A\u0443 \u0434\u043B\u044F \u0434\u0430\u043D\u0438\u0445 x \u0456 y. \u041E\u0434\u043D\u0438\u043C \u0437 \u0442\u0430\u043A\u0438\u0445 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0432 \u0454 \u0434\u0456\u043B\u0435\u043D\u043D\u044F \u0432 \u0441\u0442\u043E\u0432\u043F\u0447\u0438\u043A. \u042F\u043A\u0449\u043E \u0437\u0430\u043B\u0438\u0448\u043E\u043A \u0432\u0456\u0434 \u0434\u0456\u043B\u0435\u043D\u043D\u044F \u0431\u0443\u0434\u0435 \u043D\u0443\u043B\u0435\u043C, \u0442\u043E \u0442\u043E\u0434\u0456 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u044C '\u0442\u0430\u043A', \u0456\u043D\u0430\u043A\u0448\u0435 '\u043D\u0456'. \u041F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0432\u0438\u0431\u043E\u0440\u0443, \u044F\u043A\u0430 \u043C\u043E\u0436\u0435 \u0431\u0443\u0442\u0438 \u0440\u043E\u0437\u0432'\u044F\u0437\u0430\u043D\u0430 \u0437\u0430 \u0434\u043E\u043F\u043E\u043C\u043E\u0433\u043E\u044E \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443, \u0442\u0430\u043A\u043E\u0433\u043E \u044F\u043A \u0432 \u0446\u044C\u043E\u043C\u0443 \u043F\u0440\u0438\u043A\u043B\u0430\u0434\u0456, \u0437\u0432\u0435\u0442\u044C\u0441\u044F \u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u043E\u044E. \u0422\u0435\u043E\u0440\u0456\u044F \u0441\u043A\u043B\u0430\u0434\u043D\u043E\u0441\u0442\u0456 \u043E\u0431\u0447\u0438\u0441\u043B\u0435\u043D\u044C \u0440\u043E\u0437\u0440\u0456\u0437\u043D\u044F\u0454 \u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u0456 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438 \u0432\u0438\u0431\u043E\u0440\u0443 \u0437\u0430 \u0441\u043A\u043B\u0430\u0434\u043D\u0456\u0441\u0442\u044E \u0457\u0445\u043D\u044C\u043E\u0433\u043E \u0440\u043E\u0437\u0432'\u044F\u0437\u0430\u043D\u043D\u044F. \u00AB\u0421\u043A\u043B\u0430\u0434\u043D\u0438\u0439\u00BB, \u0443 \u0446\u044C\u043E\u043C\u0443 \u0437\u043D\u0430\u0447\u0435\u043D\u0456, \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u0439 \u0432 \u0442\u0435\u0440\u043C\u0456\u043D\u0430\u0445 \u043F\u043E\u0442\u0440\u0456\u0431\u043D\u0438\u0445 \u043D\u0430\u0439\u0435\u0444\u0435\u043A\u0442\u0438\u0432\u043D\u0456\u0448\u043E\u043C\u0443 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443 \u0440\u043E\u0437\u0432'\u044F\u0437\u0430\u043D\u043D\u044F \u043F\u0435\u0432\u043D\u043E\u0457 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438. \u0422\u0435\u043E\u0440\u0456\u044F \u043E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043D\u043E\u0441\u0442\u0456, \u0442\u0438\u043C \u0447\u0430\u0441\u043E\u043C, \u0440\u043E\u0437\u0440\u0456\u0437\u043D\u044F\u0454 \u043D\u0435\u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u0456 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438 \u0432\u0438\u0431\u043E\u0440\u0443 \u0437\u0430 \u0441\u0442\u0435\u043F\u0435\u043D\u0435\u043C \u0422\u044E\u0440\u0456\u043D\u0433\u0430, \u044F\u043A\u0438\u0439 \u0454 \u043C\u0456\u0440\u043E\u044E \u043D\u0435\u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u043E\u0441\u0442\u0456 \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u043E\u044E \u0431\u0443\u0434\u044C-\u044F\u043A\u043E\u043C\u0443 \u0440\u043E\u0437\u0432'\u044F\u0437\u043A\u0443. \u041F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0432\u0438\u0431\u043E\u0440\u0443 \u0442\u0456\u0441\u043D\u043E \u043F\u043E\u0432'\u044F\u0437\u0430\u043D\u0430 \u0437 \u0444\u0443\u043D\u043A\u0446\u0456\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u044E \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u043E\u044E, \u044F\u043A\u0430 \u043F\u0435\u0440\u0435\u0434\u0431\u0430\u0447\u0430\u0454 \u0431\u0456\u043B\u044C\u0448 \u0441\u043A\u043B\u0430\u0434\u043D\u0456 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u0456 \u043D\u0456\u0436 \u0442\u0430\u043A \u0447\u0438 \u043D\u0456. \u0414\u043E\u0441\u043B\u0456\u0434\u0436\u0435\u043D\u043D\u044F \u0432 \u0442\u0435\u043E\u0440\u0456\u0457 \u043E\u0431\u0447\u0438\u0441\u043B\u0435\u043D\u044C \u0437\u0430\u0437\u0432\u0438\u0447\u0430\u0439 \u0441\u0444\u043E\u043A\u0443\u0441\u043E\u0432\u0430\u043D\u0456 \u043D\u0430 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430\u0445 \u0432\u0438\u0431\u043E\u0440\u0443, \u0431\u043E \u0432\u0456\u0434 \u0446\u044C\u043E\u0433\u043E \u043D\u0435 \u0432\u0442\u0440\u0430\u0447\u0430\u0454\u0442\u044C\u0441\u044F \u0437\u0430\u0433\u0430\u043B\u044C\u043D\u0456\u0441\u0442\u044C, \u0442\u043E\u043C\u0443, \u0449\u043E \u043A\u043E\u0436\u043D\u0430 \u0444\u0443\u043D\u043A\u0446\u0456\u043E\u043D\u0430\u043B\u044C\u043D\u0430 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u043C\u043E\u0436\u0435 \u0431\u0443\u0442\u0438 \u043F\u0435\u0440\u0435\u0442\u0432\u043E\u0440\u0435\u043D\u0430 \u0443 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0443 \u0432\u0438\u0431\u043E\u0440\u0443."@uk . "Un problema decisionale nell'ambito della matematica riguarda un problema di scelta in cui si deve prendere una decisione tra un elevato numero di soluzioni (ammissibili) alternative, sulla base di uno o pi\u00F9 criteri. Si parla di problemi decisionali soprattutto all'interno del campo della matematica applicata e, pi\u00F9 nello specifico, della ricerca operativa."@it . "Na teoria da computabilidade e na teoria da complexidade computacional um problema de decis\u00E3o \u00E9 uma quest\u00E3o sobre um sistema formal com uma resposta do tipo sim-ou-n\u00E3o. Por exemplo, o problema: \"dados dois n\u00FAmeros x e y, y \u00E9 divis\u00EDvel por x?\" \u00E9 um problema de decis\u00E3o. Ou ainda: \"Dado um n\u00FAmero inteiro x, x \u00E9 um n\u00FAmero primo?\". A resposta para esses problemas pode ser 'sim' ou 'n\u00E3o', e depende dos valores que as vari\u00E1veis assumem em cada inst\u00E2ncia do problema. Para a seguinte inst\u00E2ncia do segundo problema \"7 \u00E9 um n\u00FAmero primo?\" a resposta \u00E9 sim, j\u00E1 para a inst\u00E2ncia \"8 \u00E9 um n\u00FAmero primo?\" a resposta \u00E9 n\u00E3o."@pt . "\u0417\u0430\u0434\u0430\u0447\u0430 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438"@ru . . "8336"^^ . "Problema de decisi\u00F3n"@es . . . "\u03A3\u03C4\u03B7 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1 \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03B9\u03BC\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2 \u03BA\u03B1\u03B9 \u03C4\u03B7 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1 \u03C0\u03BF\u03BB\u03C5\u03C0\u03BB\u03BF\u03BA\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2, \u03AD\u03BD\u03B1 \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03AD\u03BD\u03B1 \u03B5\u03C1\u03CE\u03C4\u03B7\u03BC\u03B1 \u03C3\u03B5 \u03BA\u03AC\u03C0\u03BF\u03B9\u03BF \u03C4\u03C5\u03C0\u03B9\u03BA\u03CC \u03C3\u03CD\u03C3\u03C4\u03B7\u03BC\u03B1 \u03C0\u03BF\u03C5 \u03B5\u03C0\u03B9\u03B4\u03AD\u03C7\u03B5\u03C4\u03B1\u03B9 \u03BC\u03B9\u03B1\u03C2 \u03BD\u03B1\u03B9 \u03AE \u03CC\u03C7\u03B9 \u03B1\u03C0\u03AC\u03BD\u03C4\u03B7\u03C3\u03B7\u03C2, \u03B1\u03BD\u03AC\u03BB\u03BF\u03B3\u03B1 \u03BC\u03B5 \u03C4\u03B9\u03C2 \u03C4\u03B9\u03BC\u03AD\u03C2 \u03BA\u03AC\u03C0\u03BF\u03B9\u03C9\u03BD \u03C0\u03B1\u03C1\u03B1\u03BC\u03AD\u03C4\u03C1\u03C9\u03BD \u03B5\u03B9\u03C3\u03CC\u03B4\u03BF\u03C5. \u03A4\u03B1 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03B5\u03BC\u03C6\u03B1\u03BD\u03AF\u03B6\u03BF\u03BD\u03C4\u03B1\u03B9 \u03C3\u03C5\u03BD\u03AE\u03B8\u03C9\u03C2 \u03C3\u03B5 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AC \u03B5\u03C1\u03C9\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1 (\u03B1\u03C0\u03BF\u03C6\u03B1\u03C3\u03B9\u03C3\u03B9\u03BC\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2), \u03B4\u03B7\u03BB\u03B1\u03B4\u03AE \u03B5\u03C1\u03C9\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1 \u03C3\u03C7\u03B5\u03C4\u03B9\u03BA\u03AC \u03BC\u03B5 \u03C4\u03B7\u03BD \u03CD\u03C0\u03B1\u03C1\u03BE\u03B7 \u03AE \u03BC\u03B7 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B1\u03C2 \u03C3\u03C5\u03C3\u03C4\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AE\u03C2 \u03BC\u03B5\u03B8\u03CC\u03B4\u03BF\u03C5 \u03B3\u03B9\u03B1 \u03BD\u03B1 \u03C0\u03C1\u03BF\u03C3\u03B4\u03B9\u03BF\u03C1\u03B9\u03C3\u03C4\u03B5\u03AF \u03B1\u03BD \u03BA\u03AC\u03C0\u03BF\u03B9\u03BF \u03B1\u03BD\u03C4\u03B9\u03BA\u03B5\u03AF\u03BC\u03B5\u03BD\u03BF \u03C5\u03C0\u03AC\u03C1\u03C7\u03B5\u03B9 \u03AE \u03B1\u03BD \u03B1\u03BD\u03AE\u03BA\u03B5\u03B9 \u03C3\u03B5 \u03BA\u03AC\u03C0\u03BF\u03B9\u03BF \u03C3\u03CD\u03BD\u03BF\u03BB\u03BF\u00B7 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B1 \u03B1\u03C0\u03CC \u03C4\u03B1 \u03C0\u03B9\u03BF \u03C3\u03B7\u03BC\u03B1\u03BD\u03C4\u03B9\u03BA\u03AC \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03C4\u03C9\u03BD \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03CE\u03BD \u03B5\u03AF\u03BD\u03B1\u03B9 (\u03BC\u03B7 \u03B1\u03C0\u03BF\u03C6\u03B1\u03C3\u03AF\u03C3\u03B9\u03BC\u03B1)."@el . . . . . . . . . "\u6C7A\u5B9A\u554F\u984C\uFF08\u3051\u3063\u3066\u3044\u3082\u3093\u3060\u3044\u3001decision problem\uFF09\u3068\u306F\u3001\u5404\u5165\u529B\u306B\u5BFE\u3057\u3066\u53D7\u7406\u304B\u62D2\u7D76\u304B\u306E\u3046\u3061\u7247\u65B9\u3092\u51FA\u529B\u3059\u308B\u5F62\u5F0F\u306E\u554F\u984C\u3092\u3044\u3046\u3002\u5224\u5B9A\u554F\u984C\u3068\u3082\u547C\u3070\u308C\u308B\u3002\u5F62\u5F0F\u7684\u306B\u306F\u3001\u6587\u5B57\u5217\u5168\u4F53\u306E\u96C6\u5408\u3001\u3042\u308B\u3044\u306F\u306E\u90E8\u5206\u96C6\u5408\u304B\u3089\u3078\u306E\u5199\u50CF\u3067\u3042\u308B\u3002 \u305F\u3068\u3048\u3070\u3001\u3042\u308B\u547D\u984C\u8AD6\u7406\u5F0F\u3092\u5145\u8DB3\u3059\u308B\u771F\u7406\u5024\u5272\u308A\u5F53\u3066\u304C\u3042\u308B\u304B\u306A\u3044\u304B\uFF08\u5145\u8DB3\u53EF\u80FD\u6027\u554F\u984C\uFF09\u3001\u4E0E\u3048\u3089\u308C\u305F\u81EA\u7136\u6570\u304C\u7D20\u6570\u304B\u5426\u304B\uFF08\u7D20\u6570\u5224\u5B9A\u554F\u984C\uFF09\u3001\u3068\u3044\u3063\u305F\u3082\u306E\u304C\u3042\u308B\u3002\u3053\u308C\u306B\u5BFE\u3057\u3001\u53D7\u7406\u304B\u62D2\u7D76\u304B\u3060\u3051\u3067\u306A\u304F\u771F\u7406\u5024\u5272\u308A\u5F53\u3066\u3084\u7D20\u56E0\u6570\u5206\u89E3\u306E\u7D50\u679C\u3068\u3044\u3063\u305F\u3082\u306E\u306E\u51FA\u529B\u3092\u8981\u6C42\u3059\u308B\u554F\u984C\u306F\u51FD\u6570\u554F\u984C\uFF08function problem\uFF09\u3068\u547C\u3070\u308C\u308B\u3002 \u6C7A\u5B9A\u554F\u984C\u306F\u3001\u6570\u5B66\u7684\u306B\u5B9A\u5F0F\u5316\u3057\u3084\u3059\u304F\u3001\u304B\u3064\u51FA\u529B\u306B\u95A2\u308F\u308B\u6642\u9593\u3092\u8003\u616E\u3057\u306A\u304F\u3066\u3088\u3044\u3053\u3068\u304B\u3089\u3001\u8A08\u7B97\u7406\u8AD6\u3067\u3088\u304F\u4F7F\u308F\u308C\u308B\u3002"@ja . . . . "Problema de decis\u00E3o"@pt . "\u0417\u0430\u0434\u0430\u0447\u0430 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438 (\u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438) \u2014 \u0432\u043E\u043F\u0440\u043E\u0441, \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u044B\u0439 \u0432 \u0440\u0430\u043C\u043A\u0430\u0445 \u043A\u0430\u043A\u043E\u0439-\u043B\u0438\u0431\u043E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u0441\u0438\u0441\u0442\u0435\u043C\u044B, \u0442\u0440\u0435\u0431\u0443\u044E\u0449\u0438\u0439 \u043E\u0442\u0432\u0435\u0442\u0430 \u00AB\u0434\u0430\u00BB \u0438\u043B\u0438 \u00AB\u043D\u0435\u0442\u00BB, \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E, \u0437\u0430\u0432\u0438\u0441\u044F\u0449\u0435\u0433\u043E \u043E\u0442 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0432\u0445\u043E\u0434\u043D\u044B\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432. \u041D\u0435 \u0432\u0441\u0435 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u043C\u043E\u0433\u0443\u0442 \u0431\u044B\u0442\u044C \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u044B \u043A\u0430\u043A \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u044B \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438. \u0412\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u043F\u0440\u043E\u0438\u0437\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0434\u0432\u0443\u0445 \u0447\u0438\u0441\u0435\u043B, \u043F\u043E\u0438\u0441\u043A \u043D\u0430\u0438\u0431\u043E\u043B\u0435\u0435 \u0431\u044B\u0441\u0442\u0440\u043E\u0433\u043E \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430 \u0443\u043C\u043D\u043E\u0436\u0435\u043D\u0438\u044F \u0447\u0438\u0441\u0435\u043B \u0438 \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u043E\u043D\u043D\u044B\u0435 \u0437\u0430\u0434\u0430\u0447\u0438, \u0432 \u0447\u0430\u0441\u0442\u043D\u043E\u0441\u0442\u0438 \u0437\u0430\u0434\u0430\u0447\u0430 \u043A\u043E\u043C\u043C\u0438\u0432\u043E\u044F\u0436\u0451\u0440\u0430 \u0432 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043F\u043E\u0441\u0442\u0430\u043D\u043E\u0432\u043A\u0435, \u043D\u0435 \u044F\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430\u043C\u0438 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438, \u043F\u043E\u0441\u043A\u043E\u043B\u044C\u043A\u0443 \u0438\u0445 \u043D\u0435\u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u0442\u044C \u0442\u0430\u043A, \u0447\u0442\u043E\u0431\u044B \u043E\u0442\u0432\u0435\u0442\u043E\u043C \u043A \u0437\u0430\u0434\u0430\u0447\u0435 \u0431\u044B\u043B\u043E \u0431\u044B \u00AB\u0434\u0430\u00BB \u0438\u043B\u0438 \u00AB\u043D\u0435\u0442\u00BB."@ru . . . "\u5728\u53EF\u8A08\u7B97\u6027\u7406\u8AD6\u8207\u8A08\u7B97\u8907\u96DC\u6027\u7406\u8AD6\u4E2D\uFF0C\u6C7A\u5B9A\u6027\u554F\u984C\uFF0C\u4EA6\u7A31\u5224\u5B9A\u554F\u984C\uFF0C\uFF08\u82F1\u8A9E\uFF1ADecision problem\uFF09\u662F\u4E00\u500B\u5728\u67D0\u4E9B\u5F62\u5F0F\u7CFB\u7D71\u56DE\u7B54\u300C\u662F\u300D\u6216\u300C\u5426\u300D\u7684\u554F\u984C\u3002 \u8209\u4F8B\u4F86\u8AAA\uFF0C\u300C\u5224\u5B9A\u7D66\u5B9A\u7684\u81EA\u7136\u6578\u662F\u5426\u70BA\u8CEA\u6578\u300D\u662F\u4E00\u500B\u6C7A\u5B9A\u6027\u554F\u984C\u3002\u53E6\u4E00\u500B\u5177\u9AD4\u7684\u4F8B\u5B50\u662F\uFF1A\u300C\u7D66\u5169\u500B\u6578\u5B57 x \u8207 y\uFF0Cx \u662F\u5426\u53EF\u4EE5\u6574\u9664 y\uFF1F\u300D\uFF0C\u6B64\u554F\u984C\u4F9D\u64DA\u5176 x \u8207 y \u7684\u503C\u53EF\u56DE\u7B54\u662F\u6216\u5426\u3002\u4EE5\u6F14\u7B97\u6CD5\u5F62\u5F0F\u7D66\u51FA\u7684\u89E3\u6C7A\u6C7A\u5B9A\u6027\u554F\u984C\u7684\u65B9\u6CD5\u7A31\u70BA\u6C7A\u7B56\u7A0B\u5F0F\uFF08decision procedure\uFF09\u3002\u5C0D\u6C7A\u5B9A\u6027\u554F\u984C\u300C\u7D66\u5169\u500B\u6578\u5B57 x \u8207 y\uFF0Cx \u662F\u5426\u53EF\u4EE5\u6574\u9664 y\uFF1F\u300D\u6C7A\u7B56\u7A0B\u5F0F\u5C07\u78BA\u5B9A x \u662F\u5426\u6574\u9664 y\u3002\u4E00\u7A2E\u9019\u6A23\u7684\u6F14\u7B97\u6CD5\u662F\u9577\u9664\u6CD5\uFF0C\u5982\u679C\u9918\u6578\u70BA 0\uFF0C\u5247\u539F\u6C7A\u5B9A\u6027\u554F\u984C\u7684\u7B54\u6848\u70BA\u300C\u662F\u300D\uFF0C\u5426\u5247\u70BA\u300C\u5426\u300D\u3002\u82E5\u67D0\u6C7A\u5B9A\u6027\u554F\u984C\u53EF\u4EE5\u88AB\u4E00\u4E9B\u6F14\u7B97\u6CD5\u6240\u89E3\u6C7A\uFF0C\u5247\u7A31\u6B64\u554F\u984C\u53EF\u6C7A\u5B9A\uFF08decidable\uFF09\u3002 \u6C7A\u5B9A\u6027\u554F\u984C\u8207\u529F\u80FD\u6027\u554F\u984C\uFF08Function problem\uFF0C\u6216\uFF09\u5BC6\u5207\u76F8\u95DC\uFF0C\u529F\u80FD\u6027\u554F\u984C\u7684\u7B54\u6848\u5167\u5BB9\uFF0C\u8F03\u7C21\u55AE\u7684\u662F\u8207\u975E\u8907\u96DC\u8A31\u591A\u3002\u7BC4\u4F8B\u554F\u984C\uFF1A\u300C\u7D66\u4E88\u4E00\u500B\u6B63\u6574\u6578x\uFF0C\u5247\u54EA\u4E9B\u6578\u53EF\u6574\u9664 x\uFF1F\u300D \u53E6\u4E00\u500B\u8207\u4E0A\u8FF0\u5169\u985E\u554F\u984C\u76F8\u95DC\u7684\u662F\u6700\u4F73\u5316\u554F\u984C\uFF08Optimization problem\uFF09\uFF0C\u6B64\u554F\u984C\u95DC\u5FC3\u7684\u662F\u5C0B\u627E\u7279\u5B9A\u554F\u984C\u7684\u6700\u4F73\u7B54\u6848\u3002 \u8A08\u7B97\u8907\u96DC\u5EA6\u7684\u9818\u57DF\u4E2D\uFF0C\u5206\u985E\u53EF\u6C7A\u5B9A\u554F\u984C\u7684\u4F9D\u64DA\u5728\u65BC\u300C\u6B64\u554F\u984C\u6709\u591A\u96E3\u88AB\u89E3\u6C7A\u300D\u3002\u5728\u6B64\u6A19\u6E96\u4E0B\uFF0C\u6240\u8B02\u7684\u300C\u96E3\u300D\u662F\u4EE5\u89E3\u6C7A\u67D0\u554F\u984C\u6700\u6709\u6548\u7387\u7684\u6F14\u7B97\u6CD5\u6240\u82B1\u8CBB\u7684\u8A08\u7B97\u8CC7\u6E90\u70BA\u4F9D\u64DA\u3002\u5728\u905E\u8FF4\u7406\u8AD6\u4E2D\uFF0C\u975E\u6C7A\u5B9A\u6027\u554F\u984C\u7531\u5716\u9748\u5EA6\u6C7A\u5B9A\uFF0C\u6307\u7684\u662F\u4E00\u7A2E\u5728\u4EFB\u4F55\u89E3\u7B54\u4E2D\u96B1\u542B\u7684\u4E0D\u53EF\u8A08\u7B97\u6027\u91CF\u8A5E\u3002 \u8A08\u7B97\u6027\u7406\u8AD6\u7684\u7814\u7A76\u96C6\u4E2D\u5728\u6C7A\u5B9A\u6027\u554F\u984C\u4E0A\u3002\u5728\u4E2D\uFF0C\u4E26\u6C92\u6709\u5931\u53BB\u5176\u666E\u904D\u6027\u3002"@zh . . "\u6C7A\u5B9A\u6027\u554F\u984C"@zh . "Beslissingsprobleem"@nl . "En teor\u00EDa de la computaci\u00F3n, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes tambi\u00E9n de longitud finita. Un problema de decisi\u00F3n es un problema en donde las respuestas posibles son \u00ABs\u00ED\u00BB o \u00ABno\u00BB. Un problema de decisi\u00F3n tambi\u00E9n se puede formalizar como el problema de decidir si una cierta frase pertenece a un conjunto dado de frases, tambi\u00E9n llamado lenguaje formal. El conjunto contiene exactamente las frases para las cuales la respuesta a la pregunta es positiva. La pregunta anterior sobre los n\u00FAmeros primos se puede v\u00E9ase tambi\u00E9n como el lenguaje de todas las frases en el alfabeto {0, 1,..., 9} tales que el entero correspondiente es primo."@es . . . . "\u0423 \u0442\u0435\u043E\u0440\u0456\u0457 \u043E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043D\u043E\u0441\u0442\u0456 \u0456 \u0442\u0435\u043E\u0440\u0456\u0457 \u0441\u043A\u043B\u0430\u0434\u043D\u043E\u0441\u0442\u0456 \u043E\u0431\u0447\u0438\u0441\u043B\u0435\u043D\u044C, \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0432\u0438\u0431\u043E\u0440\u0443 \u0430\u0431\u043E \u0437\u0430\u0434\u0430\u0447\u0430 \u043F\u0440\u043E \u0443\u0445\u0432\u0430\u043B\u0435\u043D\u043D\u044F \u0440\u0456\u0448\u0435\u043D\u044C \u2014 \u0446\u0435 \u0437\u0430\u043F\u0438\u0442\u0430\u043D\u043D\u044F \u0432 \u0434\u0435\u044F\u043A\u0456\u0439 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0456\u0439 \u0441\u0438\u0441\u0442\u0435\u043C\u0456 \u0437 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u0434\u044E \u0442\u0430\u043A \u0430\u0431\u043E \u043D\u0456, \u0437\u0430\u043B\u0435\u0436\u043D\u043E \u0432\u0456\u0434 \u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u0434\u0435\u044F\u043A\u0438\u0445 \u0432\u0445\u0456\u0434\u043D\u0438\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u0456\u0432. \u0420\u0456\u0448\u0435\u043D\u043D\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0438 \u0437\u0430\u0437\u0432\u0438\u0447\u0430\u0439 \u0437'\u044F\u0432\u043B\u044F\u044E\u0442\u044C\u0441\u044F \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u0445 \u043F\u0438\u0442\u0430\u043D\u043D\u044F\u0445 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u043E\u0433\u043E \u0440\u043E\u0437\u0432'\u044F\u0437\u0430\u043D\u043D\u044F, \u0442\u043E\u0431\u0442\u043E \u0432 \u043F\u0438\u0442\u0430\u043D\u043D\u044F\u0445 \u043F\u0440\u043E \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u0435\u0444\u0435\u043A\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043C\u0435\u0442\u043E\u0434\u0443 \u0434\u043B\u044F \u0432\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u043D\u0430\u044F\u0432\u043D\u043E\u0441\u0442\u0456 \u0431\u0443\u0434\u044C-\u044F\u043A\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0430\u0431\u043E \u0439\u043E\u0433\u043E \u043D\u0430\u043B\u0435\u0436\u043D\u0456\u0441\u0442\u044C \u043C\u043D\u043E\u0436\u0438\u043D\u0456. \u0414\u0435\u044F\u043A\u0456 \u0437 \u0432\u0430\u0436\u043B\u0438\u0432\u0438\u0445 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u0445 \u043F\u0440\u043E\u0431\u043B\u0435\u043C \u043D\u0435\u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u0456."@uk . "1108111861"^^ . . . . . "Problema de decisi\u00F3"@ca . "Inom datavetenskapen, och s\u00E4rskilt komplexitetsteori \u00E4r ett beslutsproblem ett som ska besvaras med ja eller nej. Ett exempel p\u00E5 ett beslutsproblem \u00E4r: kan man rita den h\u00E4r figuren utan att lyfta pennan? Detta problem kallas i matematiken f\u00F6r att hitta en Eulerstig. M\u00E4rk att sj\u00E4lva l\u00F6sningen i ett beslutsproblem, i exemplet hur man ritar figuren, inte \u00E4r intressant. Avsikten \u00E4r att f\u00F6renkla och formalisera ber\u00E4kningsproblem s\u00E5 att man kan resonera om dem p\u00E5 ett matematiskt s\u00E4tt. Har man v\u00E4l en algoritm som l\u00F6ser ett beslutsproblem brukar det inte vara sv\u00E5rt att anpassa den till att plocka fram l\u00F6sningen."@sv . . . . "Probl\u00E8me de d\u00E9cision"@fr . . "Inom datavetenskapen, och s\u00E4rskilt komplexitetsteori \u00E4r ett beslutsproblem ett som ska besvaras med ja eller nej. Ett exempel p\u00E5 ett beslutsproblem \u00E4r: kan man rita den h\u00E4r figuren utan att lyfta pennan? Detta problem kallas i matematiken f\u00F6r att hitta en Eulerstig. M\u00E4rk att sj\u00E4lva l\u00F6sningen i ett beslutsproblem, i exemplet hur man ritar figuren, inte \u00E4r intressant. Avsikten \u00E4r att f\u00F6renkla och formalisera ber\u00E4kningsproblem s\u00E5 att man kan resonera om dem p\u00E5 ett matematiskt s\u00E4tt. Har man v\u00E4l en algoritm som l\u00F6ser ett beslutsproblem brukar det inte vara sv\u00E5rt att anpassa den till att plocka fram l\u00F6sningen."@sv . . "\u6C7A\u5B9A\u554F\u984C"@ja . . . "En teoria de la computabilitat i en complexitat computacional, un problema de decisi\u00F3 \u00E9s una q\u00FCesti\u00F3 en algun sistema formal amb una resposta s\u00ED o no. Problemes amb respostes m\u00E9s complexes es coneixen com a . Per exemple, es pot tenir un problema de decisi\u00F3 \u00ABdonats dos nombres x i y, x \u00E9s divisor enter de y?\u00BB. Aquesta \u00E9s una pregunta de resposta s\u00ED o no, i la seva resposta dep\u00E8n dels valors de x i de y. Un algorisme per aquest problema de decisi\u00F3 hauria de contestar com, donats x i y, es pot determinar si x \u00E9s divisor enter de y. Els problemes de decisi\u00F3 acostumen a ser menys \u00FAtils intu\u00EFtivament parlant que no pas els problemes funcionals, que poden tenir qualsevol resposta, no nom\u00E9s s\u00ED o no. Per exemple, un problema funcional pot ser \"donats dos nombres x i y, quan \u00E9s x dividit per y?\". Tot i aix\u00F2, per a la teoria de complexitat computacional, \u00E9s m\u00E9s senzill d'estudiar els problemes de decisi\u00F3. A la teoria de la computabilitat, intenta classificar els problemes de decisi\u00F3 basant-se en com de \u00ABdif\u00EDcils\u00BB s\u00F3n, en termes de que es necessiten per l'algorisme m\u00E9s eficient per aquest problema de decisi\u00F3."@ca . . . . . . . "\uACC4\uC0B0 \uC774\uB860\uC5D0\uC11C \uACB0\uC815 \uBB38\uC81C(decision problem, \uD310\uC815 \uBB38\uC81C)\uB780 \uC5B4\uB5A4 \uD615\uC2DD \uCCB4\uACC4\uC5D0\uC11C \uC608-\uC544\uB2C8\uC624 \uB2F5\uC774 \uC788\uB294 \uC9C8\uBB38\uC744 \uB9D0\uD55C\uB2E4. \uC608\uB97C \uB4E4\uC5B4 \"\uB450 \uC22B\uC790 x\uC640 y\uAC00 \uC788\uC744 \uB54C, y\uB294 x\uB85C \uB098\uB204\uC5B4\uB5A8\uC5B4\uC9C0\uB294\uAC00?\" \uD558\uB294 \uC9C8\uBB38\uC774 \uC788\uB2E4. \uB2F5\uC740 x\uC640 y \uAC12\uC5D0 \uB530\uB77C '\uC608' \uB610\uB294 '\uC544\uB2C8\uC624' \uC911 \uD558\uB098\uAC00 \uB420 \uC218 \uC788\uB2E4. \uC77C\uBC18\uC801\uC73C\uB85C \uACC4\uC0B0 \uAC00\uB2A5\uD55C \uBB38\uC81C\uC758 \uD574\uC9D1\uD569\uC740 \uC5F4\uAC70 \uAC00\uB2A5\uD55C \uD574\uC9D1\uD569\uC758 \uC720\uD55C\uD55C \uBD80\uBD84\uC9D1\uD569\uC774\uAE30 \uB54C\uBB38\uC5D0, \uBAA8\uB4E0 \uBB38\uC81C\uB294 \uACB0\uC815 \uBB38\uC81C\uB85C \uD658\uC6D0\uB420 \uC218 \uC788\uB2E4. \uD310\uC815 \uBB38\uC81C\uB97C \uD478\uB294 \uB370 \uC4F0\uC778 \uBC29\uBC95\uC744 \uC54C\uACE0\uB9AC\uC998\uC774\uB77C\uACE0 \uD55C\uB2E4. \uC5B4\uB5A4 \uD310\uC815 \uBB38\uC81C\uB97C \uD478\uB294 \uC54C\uACE0\uB9AC\uC998\uC774 \uC788\uC73C\uBA74 \uADF8 \uBB38\uC81C\uB294 \uACB0\uC815 \uAC00\uB2A5\uD558\uB2E4\uACE0 \uD55C\uB2E4. \uC5C6\uC73C\uBA74 \uACB0\uC815 \uBD88\uAC00\uB2A5\uD558\uB2E4\uACE0 \uD55C\uB2E4."@ko . . "In de berekenbaarheids- en complexiteitstheorie is een beslissingsprobleem een computationeel probleem dat, afhankelijk van de gegeven invoer, met 'ja' of 'nee' beantwoord dient te worden. Het probleem \"is het getal een priemgetal?\" is bijvoorbeeld een beslissingsprobleem. Een beslissingsprobleem wordt beslisbaar genoemd als er een algoritme bestaat dat het voor elke invoer oplost."@nl . . "In de berekenbaarheids- en complexiteitstheorie is een beslissingsprobleem een computationeel probleem dat, afhankelijk van de gegeven invoer, met 'ja' of 'nee' beantwoord dient te worden. Het probleem \"is het getal een priemgetal?\" is bijvoorbeeld een beslissingsprobleem. Een beslissingsprobleem wordt beslisbaar genoemd als er een algoritme bestaat dat het voor elke invoer oplost."@nl . "Rozhodovac\u00ED probl\u00E9m je v informatice, speci\u00E1ln\u011B v teorii slo\u017Eitosti a teorii vy\u010D\u00EDslitelnosti, ot\u00E1zka v n\u011Bjak\u00E9m syst\u00E9mu s odpov\u011Bd\u00ED ANO-NE v z\u00E1vislosti na hodnot\u011B vstupu.Nap\u0159\u00EDklad, probl\u00E9m \u201Epro dv\u011B \u010D\u00EDsla x a y, d\u011Bl\u00ED x hodnotu y beze zbytku?\u201C je rozhodovac\u00ED probl\u00E9m, kde odpov\u011B\u010F \u201EANO\u201C nebo \u201ENE\u201C z\u00E1vis\u00ED na vstupech. Rozhodovac\u00ED probl\u00E9my se typicky a p\u0159irozen\u011B objevuj\u00ED v ot\u00E1zk\u00E1ch rozhodnutelnosti, kdy se pt\u00E1me, zda existuje pro ur\u010Den\u00ED existence n\u011Bjak\u00FDch matematick\u00FDch objekt\u016F nebo pro jejich p\u0159\u00EDslu\u0161nost do n\u011Bjak\u00E9 mno\u017Einy. N\u011Bkter\u00E9 probl\u00E9my v matematice jsou nerozhodnuteln\u00E9."@cs . . . "\u03A0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2"@el . "Problema decisionale"@it . "\u03A3\u03C4\u03B7 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1 \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03B9\u03BC\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2 \u03BA\u03B1\u03B9 \u03C4\u03B7 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1 \u03C0\u03BF\u03BB\u03C5\u03C0\u03BB\u03BF\u03BA\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2, \u03AD\u03BD\u03B1 \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03AD\u03BD\u03B1 \u03B5\u03C1\u03CE\u03C4\u03B7\u03BC\u03B1 \u03C3\u03B5 \u03BA\u03AC\u03C0\u03BF\u03B9\u03BF \u03C4\u03C5\u03C0\u03B9\u03BA\u03CC \u03C3\u03CD\u03C3\u03C4\u03B7\u03BC\u03B1 \u03C0\u03BF\u03C5 \u03B5\u03C0\u03B9\u03B4\u03AD\u03C7\u03B5\u03C4\u03B1\u03B9 \u03BC\u03B9\u03B1\u03C2 \u03BD\u03B1\u03B9 \u03AE \u03CC\u03C7\u03B9 \u03B1\u03C0\u03AC\u03BD\u03C4\u03B7\u03C3\u03B7\u03C2, \u03B1\u03BD\u03AC\u03BB\u03BF\u03B3\u03B1 \u03BC\u03B5 \u03C4\u03B9\u03C2 \u03C4\u03B9\u03BC\u03AD\u03C2 \u03BA\u03AC\u03C0\u03BF\u03B9\u03C9\u03BD \u03C0\u03B1\u03C1\u03B1\u03BC\u03AD\u03C4\u03C1\u03C9\u03BD \u03B5\u03B9\u03C3\u03CC\u03B4\u03BF\u03C5. \u03A4\u03B1 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03B5\u03BC\u03C6\u03B1\u03BD\u03AF\u03B6\u03BF\u03BD\u03C4\u03B1\u03B9 \u03C3\u03C5\u03BD\u03AE\u03B8\u03C9\u03C2 \u03C3\u03B5 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AC \u03B5\u03C1\u03C9\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1 (\u03B1\u03C0\u03BF\u03C6\u03B1\u03C3\u03B9\u03C3\u03B9\u03BC\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2), \u03B4\u03B7\u03BB\u03B1\u03B4\u03AE \u03B5\u03C1\u03C9\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1 \u03C3\u03C7\u03B5\u03C4\u03B9\u03BA\u03AC \u03BC\u03B5 \u03C4\u03B7\u03BD \u03CD\u03C0\u03B1\u03C1\u03BE\u03B7 \u03AE \u03BC\u03B7 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B1\u03C2 \u03C3\u03C5\u03C3\u03C4\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AE\u03C2 \u03BC\u03B5\u03B8\u03CC\u03B4\u03BF\u03C5 \u03B3\u03B9\u03B1 \u03BD\u03B1 \u03C0\u03C1\u03BF\u03C3\u03B4\u03B9\u03BF\u03C1\u03B9\u03C3\u03C4\u03B5\u03AF \u03B1\u03BD \u03BA\u03AC\u03C0\u03BF\u03B9\u03BF \u03B1\u03BD\u03C4\u03B9\u03BA\u03B5\u03AF\u03BC\u03B5\u03BD\u03BF \u03C5\u03C0\u03AC\u03C1\u03C7\u03B5\u03B9 \u03AE \u03B1\u03BD \u03B1\u03BD\u03AE\u03BA\u03B5\u03B9 \u03C3\u03B5 \u03BA\u03AC\u03C0\u03BF\u03B9\u03BF \u03C3\u03CD\u03BD\u03BF\u03BB\u03BF\u00B7 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B1 \u03B1\u03C0\u03CC \u03C4\u03B1 \u03C0\u03B9\u03BF \u03C3\u03B7\u03BC\u03B1\u03BD\u03C4\u03B9\u03BA\u03AC \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03C4\u03C9\u03BD \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03CE\u03BD \u03B5\u03AF\u03BD\u03B1\u03B9 (\u03BC\u03B7 \u03B1\u03C0\u03BF\u03C6\u03B1\u03C3\u03AF\u03C3\u03B9\u03BC\u03B1). \u0393\u03B9\u03B1 \u03C0\u03B1\u03C1\u03AC\u03B4\u03B5\u03B9\u03B3\u03BC\u03B1, \u03C4\u03BF \u03B1\u03BA\u03CC\u03BB\u03BF\u03C5\u03B8\u03BF \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1: \u00AB\u03B4\u03BF\u03B8\u03AD\u03BD\u03C4\u03C9\u03BD \u03B4\u03CD\u03BF \u03B1\u03C1\u03B9\u03B8\u03BC\u03CE\u03BD x \u03BA\u03B1\u03B9 y, \u03B4\u03B9\u03B1\u03B9\u03C1\u03B5\u03AF \u03C4\u03AD\u03BB\u03B5\u03B9\u03B1 \u03BF x \u03C4\u03BF\u03BD y;\u00BB \u03B5\u03AF\u03BD\u03B1\u03B9 \u03AD\u03BD\u03B1 \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2. \u0397 \u03B1\u03C0\u03AC\u03BD\u03C4\u03B7\u03C3\u03B7 \u03BC\u03C0\u03BF\u03C1\u03B5\u03AF \u03BD\u03B1 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B5\u03AF\u03C4\u03B5 \u00AB\u03BD\u03B1\u03B9\u00BB \u03B5\u03AF\u03C4\u03B5 \u00AB\u03CC\u03C7\u03B9\u00BB, \u03BA\u03B1\u03B9 \u03B5\u03BE\u03B1\u03C1\u03C4\u03AC\u03C4\u03B1\u03B9 \u03B1\u03C0\u03CC \u03C4\u03B9\u03C2 \u03C4\u03B9\u03BC\u03AD\u03C2 \u03C4\u03C9\u03BD x \u03BA\u03B1\u03B9 y. \u039C\u03B9\u03B1 \u03BC\u03AD\u03B8\u03BF\u03B4\u03BF\u03C2 \u03B3\u03B9\u03B1 \u03C4\u03B7\u03BD \u03B5\u03C0\u03AF\u03BB\u03C5\u03C3\u03B7 \u03C4\u03AD\u03C4\u03BF\u03B9\u03BF\u03C5 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03BF\u03C2, \u03B4\u03BF\u03C3\u03BC\u03AD\u03BD\u03B7\u03C2 \u03BC\u03B5 \u03C4\u03B7 \u03BC\u03BF\u03C1\u03C6\u03AE \u03B1\u03BB\u03B3\u03BF\u03C1\u03AF\u03B8\u03BC\u03BF\u03C5, \u03B1\u03C0\u03BF\u03BA\u03B1\u03BB\u03B5\u03AF\u03C4\u03B1\u03B9 \u03B4\u03B9\u03B1\u03B4\u03B9\u03BA\u03B1\u03C3\u03AF\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2. \u039C\u03B9\u03B1 \u03B4\u03B9\u03B1\u03B4\u03B9\u03BA\u03B1\u03C3\u03AF\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03B3\u03B9\u03B1 \u03C4\u03BF \u03C0\u03B1\u03C1\u03B1\u03C0\u03AC\u03BD\u03C9 \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1 \u03B8\u03B1 \u03AD\u03B4\u03B9\u03BD\u03B5 \u03C4\u03B1 \u03B2\u03AE\u03BC\u03B1\u03C4\u03B1 \u03B5\u03BA\u03B5\u03AF\u03BD\u03B1 \u03B3\u03B9\u03B1 \u03BD\u03B1 \u03B4\u03B9\u03B1\u03C0\u03B9\u03C3\u03C4\u03CE\u03C3\u03BF\u03C5\u03BC\u03B5 \u03B1\u03BD \u03BF x \u03B4\u03B9\u03B1\u03B9\u03C1\u03B5\u03AF \u03C4\u03AD\u03BB\u03B5\u03B9\u03B1 \u03C4\u03BF\u03BD y, \u03B4\u03BF\u03C3\u03BC\u03AD\u03BD\u03C9\u03BD \u03C4\u03C9\u03BD x \u03BA\u03B1\u03B9 y. \u0388\u03BD\u03B1\u03C2 \u03C4\u03AD\u03C4\u03BF\u03B9\u03BF\u03C2 \u03B1\u03BB\u03B3\u03CC\u03C1\u03B9\u03B8\u03BC\u03BF\u03C2 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B7 , \u03C0\u03BF\u03C5 \u03B4\u03B9\u03B4\u03AC\u03C3\u03BA\u03B5\u03C4\u03B1\u03B9 \u03C3\u03B5 \u03C0\u03BF\u03BB\u03BB\u03AC \u03C3\u03C7\u03BF\u03BB\u03B5\u03AF\u03B1. \u0391\u03BD \u03C4\u03BF \u03C5\u03C0\u03CC\u03BB\u03BF\u03B9\u03C0\u03BF \u03B5\u03AF\u03BD\u03B1\u03B9 \u03AF\u03C3\u03BF \u03BC\u03B5 \u03BC\u03B7\u03B4\u03AD\u03BD, \u03C4\u03CC\u03C4\u03B5 \u03B7 \u03B1\u03C0\u03AC\u03BD\u03C4\u03B7\u03C3\u03B7 \u03C3\u03C4\u03BF \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1 \u03B5\u03AF\u03BD\u03B1\u03B9 \u00AB\u03BD\u03B1\u03B9\u00BB, \u03C3\u03B5 \u03B1\u03BD\u03C4\u03AF\u03B8\u03B5\u03C4\u03B7 \u03C0\u03B5\u03C1\u03AF\u03C0\u03C4\u03C9\u03C3\u03B7 \u03B5\u03AF\u03BD\u03B1\u03B9 \u00AB\u03CC\u03C7\u03B9\u00BB. \u0388\u03BD\u03B1 \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03C0\u03BF\u03C5 \u03B4\u03CD\u03BD\u03B1\u03C4\u03B1\u03B9 \u03BD\u03B1 \u03B5\u03C0\u03B9\u03BB\u03C5\u03B8\u03B5\u03AF \u03BC\u03B5 \u03BA\u03AC\u03C0\u03BF\u03B9\u03BF\u03BD \u03B1\u03BB\u03B3\u03CC\u03C1\u03B9\u03B8\u03BC\u03BF, \u03CC\u03C0\u03C9\u03C2 \u03C3\u03C4\u03BF \u03C0\u03B1\u03C1\u03AC\u03B4\u03B5\u03B9\u03B3\u03BC\u03B1, \u03B1\u03C0\u03BF\u03BA\u03B1\u03BB\u03B5\u03AF\u03C4\u03B1\u03B9 (\u03AE \u03B1\u03C0\u03BF\u03C6\u03B1\u03C3\u03AF\u03C3\u03B9\u03BC\u03BF). \u039F \u03C4\u03BF\u03BC\u03AD\u03B1\u03C2 \u03C4\u03B7\u03C2 \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03C4\u03B9\u03BA\u03AE\u03C2 \u03C0\u03BF\u03BB\u03C5\u03C0\u03BB\u03BF\u03BA\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2 \u03BA\u03B1\u03C4\u03B7\u03B3\u03BF\u03C1\u03B9\u03BF\u03C0\u03BF\u03B9\u03B5\u03AF \u03C4\u03B1 \u03B1\u03C0\u03BF\u03BA\u03C1\u03AF\u03C3\u03B9\u03BC\u03B1 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03BC\u03B5 \u03BA\u03C1\u03B9\u03C4\u03AE\u03C1\u03B9\u03BF \u03C4\u03B7 \u03B4\u03C5\u03C3\u03BA\u03BF\u03BB\u03AF\u03B1 \u03B5\u03C0\u03AF\u03BB\u03C5\u03C3\u03AE\u03C2 \u03C4\u03BF\u03C5\u03C2. \u03A5\u03C0\u03CC \u03B1\u03C5\u03C4\u03AE \u03C4\u03B7\u03BD \u03AD\u03BD\u03BD\u03BF\u03B9\u03B1, \u03C4\u03BF \u00AB\u03B4\u03CD\u03C3\u03BA\u03BF\u03BB\u03BF\u00BB \u03BF\u03C1\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03B2\u03AC\u03C3\u03B5\u03B9 \u03C4\u03C9\u03BD \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03C4\u03B9\u03BA\u03CE\u03BD \u03C0\u03CC\u03C1\u03C9\u03BD \u03C0\u03BF\u03C5 \u03B1\u03C0\u03B1\u03B9\u03C4\u03B5\u03AF \u03BF \u03C0\u03B9\u03BF \u03B1\u03C0\u03BF\u03B4\u03BF\u03C4\u03B9\u03BA\u03CC\u03C2 \u03B1\u03BB\u03B3\u03CC\u03C1\u03B9\u03B8\u03BC\u03BF\u03C2 \u03B3\u03B9\u03B1 \u03AD\u03BD\u03B1 \u03C3\u03C5\u03B3\u03BA\u03B5\u03BA\u03C1\u03B9\u03BC\u03AD\u03BD\u03BF \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1. \u03A0\u03B1\u03C1\u03AC\u03BB\u03BB\u03B7\u03BB\u03B1, \u03BF \u03C4\u03BF\u03BC\u03AD\u03B1\u03C2 \u03C4\u03B7\u03C2 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1\u03C2 \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03B9\u03BC\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2 \u03BA\u03B1\u03C4\u03B7\u03B3\u03BF\u03C1\u03B9\u03BF\u03C0\u03BF\u03B9\u03B5\u03AF \u03C4\u03B1 \u03BC\u03B7 \u03B1\u03C0\u03BF\u03BA\u03C1\u03AF\u03C3\u03B9\u03BC\u03B1 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03BC\u03B5 \u03C4\u03BF , \u03BF \u03BF\u03C0\u03BF\u03AF\u03BF\u03C2 \u03B1\u03C0\u03BF\u03C4\u03B5\u03BB\u03B5\u03AF \u03AD\u03BD\u03B1 \u03BC\u03AD\u03C4\u03C1\u03BF \u03C4\u03B7\u03C2 \u03BC\u03B7 \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03B9\u03BC\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2 \u03C0\u03BF\u03C5 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B5\u03B3\u03B3\u03B5\u03BD\u03AE\u03C2 \u03C3\u03B5 \u03BF\u03C0\u03BF\u03B9\u03B1\u03B4\u03AE\u03C0\u03BF\u03C4\u03B5 \u03BB\u03CD\u03C3\u03B7. \u039C\u03B9\u03B1 \u03C3\u03C4\u03B5\u03BD\u03AC \u03C3\u03C5\u03BD\u03B4\u03B5\u03B4\u03B5\u03BC\u03AD\u03BD\u03B7 \u03BA\u03B1\u03C4\u03B7\u03B3\u03BF\u03C1\u03AF\u03B1 \u03C4\u03C9\u03BD \u03C0\u03C1\u03BF\u03B2\u03BB\u03B7\u03BC\u03AC\u03C4\u03C9\u03BD \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03B1\u03C0\u03BF\u03C4\u03B5\u03BB\u03BF\u03CD\u03BD \u03C4\u03B1 , \u03C4\u03B1 \u03BF\u03C0\u03BF\u03AF\u03B1 \u03B1\u03C0\u03B1\u03B9\u03C4\u03BF\u03CD\u03BD \u03BC\u03B9\u03B1 \u03C0\u03B9\u03BF \u03C0\u03B5\u03C1\u03AF\u03C0\u03BB\u03BF\u03BA\u03B7 \u03BB\u03CD\u03C3\u03B7 \u03B1\u03C0\u03CC \u03AD\u03BD\u03B1 \u03B1\u03C0\u03BB\u03CC \u00AB\u03BD\u03B1\u03B9\u00BB \u03AE \u00AB\u03CC\u03C7\u03B9\u00BB. \u0388\u03BD\u03B1 \u03B1\u03BD\u03C4\u03AF\u03C3\u03C4\u03BF\u03B9\u03C7\u03BF \u03C0\u03B1\u03C1\u03AC\u03B4\u03B5\u03B9\u03B3\u03BC\u03B1 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03BF\u03C2 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03C4\u03BF \u03B5\u03BE\u03AE\u03C2: \u00AB\u03B4\u03BF\u03B8\u03AD\u03BD\u03C4\u03C9\u03BD \u03B4\u03CD\u03BF \u03B1\u03C1\u03B9\u03B8\u03BC\u03CE\u03BD x \u03BA\u03B1\u03B9 y, \u03C0\u03BF\u03B9\u03BF \u03B5\u03AF\u03BD\u03B1\u03B9 \u03C4\u03BF \u03B1\u03C0\u03BF\u03C4\u03AD\u03BB\u03B5\u03C3\u03BC\u03B1 \u03C4\u03BF\u03C5 x \u03B4\u03B9\u03B1\u03B9\u03C1\u03BF\u03CD\u03BC\u03B5\u03BD\u03BF\u03C5 \u03BC\u03B5 \u03C4\u03BF y;\u00BB. \u03A4\u03B1 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2 \u03C3\u03C5\u03BD\u03B4\u03AD\u03BF\u03BD\u03C4\u03B1\u03B9 \u03B5\u03C0\u03AF\u03C3\u03B7\u03C2 \u03BC\u03B5 \u03C4\u03B1 , \u03C4\u03B1 \u03BF\u03C0\u03BF\u03AF\u03B1 \u03B1\u03C0\u03B1\u03B9\u03C4\u03BF\u03CD\u03BD \u03C4\u03B7 \u03B2\u03AD\u03BB\u03C4\u03B9\u03C3\u03C4\u03B7 \u03BB\u03CD\u03C3\u03B7 \u03B3\u03B9\u03B1 \u03AD\u03BD\u03B1 \u03C3\u03C5\u03B3\u03BA\u03B5\u03BA\u03C1\u03B9\u03BC\u03AD\u03BD\u03BF \u03C0\u03C1\u03CC\u03B2\u03BB\u03B7\u03BC\u03B1. \u03A5\u03C0\u03AC\u03C1\u03C7\u03BF\u03C5\u03BD \u03C0\u03C1\u03CC\u03C4\u03C5\u03C0\u03B5\u03C2 \u03C4\u03B5\u03C7\u03BD\u03B9\u03BA\u03AD\u03C2 \u03B3\u03B9\u03B1 \u03C4\u03BF \u03BC\u03B5\u03C4\u03B1\u03C3\u03C7\u03B7\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03CC \u03C0\u03C1\u03BF\u03B2\u03BB\u03B7\u03BC\u03AC\u03C4\u03C9\u03BD \u03C3\u03C5\u03BD\u03AC\u03C1\u03C4\u03B7\u03C3\u03B7\u03C2 \u03C3\u03B5 \u03B2\u03B5\u03BB\u03C4\u03B9\u03C3\u03C4\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B7\u03C2, \u03BA\u03B1\u03B9 \u03C4\u03BF \u03B1\u03BD\u03C4\u03AF\u03C3\u03C4\u03C1\u03BF\u03C6\u03BF, \u03BF\u03B9 \u03BF\u03C0\u03BF\u03AF\u03B5\u03C2 \u03B4\u03B5\u03BD \u03B1\u03BB\u03BB\u03AC\u03B6\u03BF\u03C5\u03BD \u03B9\u03B4\u03B9\u03B1\u03AF\u03C4\u03B5\u03C1\u03B1 \u03C4\u03B7\u03BD \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03C4\u03B9\u03BA\u03AE \u03B4\u03C5\u03C3\u03BA\u03BF\u03BB\u03AF\u03B1 \u03C4\u03C9\u03BD \u03C0\u03C1\u03BF\u03B2\u03BB\u03B7\u03BC\u03AC\u03C4\u03C9\u03BD. \u0393\u03B9\u03B1 \u03C4\u03BF \u03BB\u03CC\u03B3\u03BF \u03B1\u03C5\u03C4\u03CC, \u03B7 \u03AD\u03C1\u03B5\u03C5\u03BD\u03B1 \u03C3\u03C4\u03B7 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1 \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03B9\u03C3\u03B9\u03BC\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2 \u03BA\u03B1\u03B9 \u03C0\u03BF\u03BB\u03C5\u03C0\u03BB\u03BF\u03BA\u03CC\u03C4\u03B7\u03C4\u03B1\u03C2 \u03AD\u03C7\u03B5\u03B9 \u03B5\u03C0\u03B9\u03BA\u03B5\u03BD\u03C4\u03C1\u03C9\u03B8\u03B5\u03AF \u03BA\u03C5\u03C1\u03AF\u03C9\u03C2 \u03C3\u03C4\u03B1 \u03C0\u03C1\u03BF\u03B2\u03BB\u03AE\u03BC\u03B1\u03C4\u03B1 \u03B1\u03C0\u03CC\u03C6\u03B1\u03C3\u03B7\u03C2."@el . . . "Rozhodovac\u00ED probl\u00E9m"@cs . . . "Rozhodovac\u00ED probl\u00E9m je v informatice, speci\u00E1ln\u011B v teorii slo\u017Eitosti a teorii vy\u010D\u00EDslitelnosti, ot\u00E1zka v n\u011Bjak\u00E9m syst\u00E9mu s odpov\u011Bd\u00ED ANO-NE v z\u00E1vislosti na hodnot\u011B vstupu.Nap\u0159\u00EDklad, probl\u00E9m \u201Epro dv\u011B \u010D\u00EDsla x a y, d\u011Bl\u00ED x hodnotu y beze zbytku?\u201C je rozhodovac\u00ED probl\u00E9m, kde odpov\u011B\u010F \u201EANO\u201C nebo \u201ENE\u201C z\u00E1vis\u00ED na vstupech. Rozhodovac\u00ED probl\u00E9my se typicky a p\u0159irozen\u011B objevuj\u00ED v ot\u00E1zk\u00E1ch rozhodnutelnosti, kdy se pt\u00E1me, zda existuje pro ur\u010Den\u00ED existence n\u011Bjak\u00FDch matematick\u00FDch objekt\u016F nebo pro jejich p\u0159\u00EDslu\u0161nost do n\u011Bjak\u00E9 mno\u017Einy. N\u011Bkter\u00E9 probl\u00E9my v matematice jsou nerozhodnuteln\u00E9. Rozhodovac\u00ED probl\u00E9m je jednoduch\u00E1 forma obecn\u011Bj\u0161\u00EDho , kter\u00FD m\u016F\u017Ee vracet obecn\u011Bj\u0161\u00ED odpov\u011Bdi ne\u017E jednoduch\u00E9 ANO-NE. Z\u00E1le\u017E\u00ED na p\u0159esn\u00E9 formulaci ot\u00E1zky, p\u0159\u00EDbuzn\u00E9 probl\u00E9my k v\u00FD\u0161e uveden\u00E9mu p\u0159\u00EDkladu jsou \u201Epro dv\u011B \u010D\u00EDsla x a y, jak\u00FD je pod\u00EDl y/x\u201C a \u201Epro dan\u00E9 y, jak\u00FD je nejmen\u0161\u00ED netrivi\u00E1ln\u00ED d\u011Blitel y\u201C. Druh\u00FD p\u0159\u00EDklad je formulov\u00E1n jako optimaliza\u010Dn\u00ED probl\u00E9m d\u016Fle\u017Eit\u00FD a pou\u017E\u00EDvan\u00FD v praxi, kter\u00FD hled\u00E1 nejlep\u0161\u00ED odpov\u011B\u010F na danou ot\u00E1zku podle n\u011Bjak\u00E9ho krit\u00E9ria (taky naz\u00FDvan\u00E9ho kriteri\u00E1ln\u00ED funkce). Metoda pro \u0159e\u0161en\u00ED rozhodovac\u00EDho probl\u00E9mu, zadan\u00E1 ve form\u011B algoritmu, se naz\u00FDv\u00E1 rozhodovac\u00ED procedura pro p\u0159\u00EDslu\u0161n\u00FD probl\u00E9m. Rozhodovac\u00ED probl\u00E9m, kter\u00FD lze vy\u0159e\u0161it algoritmem, se naz\u00FDv\u00E1 rozhodnuteln\u00FD. Zn\u00E1m\u00FD nerozhodnuteln\u00FD probl\u00E9m je probl\u00E9m zastaven\u00ED. Rozhodovac\u00ED probl\u00E9my se za\u0159azuj\u00ED do (v teorii slo\u017Eitosti) nebo (v teorii rekurze), kter\u00E9 kategorizuj\u00ED obt\u00ED\u017Enost vlastn\u00ED tomuto probl\u00E9mu. V\u00FDzkum v teorii vy\u010D\u00EDslitelnosti se typicky zam\u011B\u0159uje na rozhodovac\u00ED probl\u00E9my, proto\u017Ee nedoch\u00E1z\u00ED ke ztr\u00E1t\u011B obecnosti (tzv. B\u00DANO)."@cs . "\u0417\u0430\u0434\u0430\u0447\u0430 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438 (\u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438) \u2014 \u0432\u043E\u043F\u0440\u043E\u0441, \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u044B\u0439 \u0432 \u0440\u0430\u043C\u043A\u0430\u0445 \u043A\u0430\u043A\u043E\u0439-\u043B\u0438\u0431\u043E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u0441\u0438\u0441\u0442\u0435\u043C\u044B, \u0442\u0440\u0435\u0431\u0443\u044E\u0449\u0438\u0439 \u043E\u0442\u0432\u0435\u0442\u0430 \u00AB\u0434\u0430\u00BB \u0438\u043B\u0438 \u00AB\u043D\u0435\u0442\u00BB, \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E, \u0437\u0430\u0432\u0438\u0441\u044F\u0449\u0435\u0433\u043E \u043E\u0442 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0432\u0445\u043E\u0434\u043D\u044B\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432. \u041D\u0430\u043F\u0440\u0438\u043C\u0435\u0440, \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u00AB\u0434\u0430\u043D\u044B \u0434\u0432\u0430 \u0447\u0438\u0441\u043B\u0430: \u0438 ; \u0434\u0435\u043B\u0438\u0442\u0441\u044F \u043B\u0438 \u043D\u0430 ?\u00BB \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u043E\u0439 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438. \u041E\u0442\u0432\u0435\u0442 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0434\u0430\u043D \u043B\u0438\u0431\u043E \u00AB\u0434\u0430\u00BB, \u043B\u0438\u0431\u043E \u00AB\u043D\u0435\u0442\u00BB \u0438 \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043E\u0442 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u0438 . \u041C\u0435\u0442\u043E\u0434 \u0440\u0435\u0448\u0435\u043D\u0438\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u044B \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438, \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u043D\u044B\u0439 \u0432 \u0444\u043E\u0440\u043C\u0435 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430, \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u044E\u0449\u0435\u0439 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u043E\u0439 \u0434\u043B\u044F \u044D\u0442\u043E\u0439 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u044B. \u0422\u0430\u043A, \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u044E\u0449\u0430\u044F \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0430 \u0434\u043B\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u044B \u0438\u0437 \u043F\u0440\u0438\u043C\u0435\u0440\u0430 \u0432\u044B\u0448\u0435 \u0434\u043E\u043B\u0436\u043D\u0430 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u044F\u0442\u044C \u0441\u043E\u0432\u043E\u043A\u0443\u043F\u043D\u043E\u0441\u0442\u044C \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0439, \u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u0441\u043B\u0435\u0434\u0443\u0435\u0442 \u043F\u0440\u0435\u0434\u043F\u0440\u0438\u043D\u044F\u0442\u044C \u0434\u043B\u044F \u043F\u0440\u043E\u0432\u0435\u0440\u043A\u0438 \u0434\u0435\u043B\u0438\u043C\u043E\u0441\u0442\u0438 \u043D\u0430\u0446\u0435\u043B\u043E \u043D\u0430 \u0434\u043B\u044F \u0434\u0430\u043D\u043D\u044B\u0445 \u0447\u0438\u0441\u0435\u043B. \u041E\u0434\u0438\u043D \u0438\u0437 \u0442\u0430\u043A\u0438\u0445 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u0432 \u2014 \u0434\u0435\u043B\u0435\u043D\u0438\u0435 \u0441\u0442\u043E\u043B\u0431\u0438\u043A\u043E\u043C \u2014 \u0438\u0437\u0443\u0447\u0430\u0435\u0442\u0441\u044F \u0432 \u043D\u0430\u0447\u0430\u043B\u044C\u043D\u043E\u0439 \u0448\u043A\u043E\u043B\u0435. \u041E\u0441\u0442\u0430\u0442\u043E\u043A, \u0440\u0430\u0432\u043D\u044B\u0439 \u043D\u0443\u043B\u044E, \u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442 \u043E\u0442\u0432\u0435\u0442 \u00AB\u0434\u0430\u00BB, \u0432 \u043F\u0440\u043E\u0442\u0438\u0432\u043D\u043E\u043C \u0441\u043B\u0443\u0447\u0430\u0435 \u2014 \u00AB\u043D\u0435\u0442\u00BB. \u041F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438, \u0434\u043B\u044F \u043A\u043E\u0442\u043E\u0440\u043E\u0439 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u044E\u0449\u0430\u044F \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0430, \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0439. \u041D\u0435 \u0432\u0441\u0435 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u043C\u043E\u0433\u0443\u0442 \u0431\u044B\u0442\u044C \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u044B \u043A\u0430\u043A \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u044B \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438. \u0412\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u043F\u0440\u043E\u0438\u0437\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0434\u0432\u0443\u0445 \u0447\u0438\u0441\u0435\u043B, \u043F\u043E\u0438\u0441\u043A \u043D\u0430\u0438\u0431\u043E\u043B\u0435\u0435 \u0431\u044B\u0441\u0442\u0440\u043E\u0433\u043E \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430 \u0443\u043C\u043D\u043E\u0436\u0435\u043D\u0438\u044F \u0447\u0438\u0441\u0435\u043B \u0438 \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u043E\u043D\u043D\u044B\u0435 \u0437\u0430\u0434\u0430\u0447\u0438, \u0432 \u0447\u0430\u0441\u0442\u043D\u043E\u0441\u0442\u0438 \u0437\u0430\u0434\u0430\u0447\u0430 \u043A\u043E\u043C\u043C\u0438\u0432\u043E\u044F\u0436\u0451\u0440\u0430 \u0432 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043F\u043E\u0441\u0442\u0430\u043D\u043E\u0432\u043A\u0435, \u043D\u0435 \u044F\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430\u043C\u0438 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438, \u043F\u043E\u0441\u043A\u043E\u043B\u044C\u043A\u0443 \u0438\u0445 \u043D\u0435\u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u0442\u044C \u0442\u0430\u043A, \u0447\u0442\u043E\u0431\u044B \u043E\u0442\u0432\u0435\u0442\u043E\u043C \u043A \u0437\u0430\u0434\u0430\u0447\u0435 \u0431\u044B\u043B\u043E \u0431\u044B \u00AB\u0434\u0430\u00BB \u0438\u043B\u0438 \u00AB\u043D\u0435\u0442\u00BB. \u0418\u0441\u0441\u043B\u0435\u0434\u043E\u0432\u0430\u043D\u0438\u044F \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u0442\u0435\u043E\u0440\u0438\u0438 \u0440\u0435\u043A\u0443\u0440\u0441\u0438\u0438 \u0447\u0430\u0441\u0442\u043E \u0441\u0444\u043E\u043A\u0443\u0441\u0438\u0440\u043E\u0432\u0430\u043D\u044B \u043D\u0430 \u043F\u0440\u043E\u0431\u043B\u0435\u043C\u0430\u0445 \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0441\u0442\u0438, \u043F\u043E\u0441\u043A\u043E\u043B\u044C\u043A\u0443 \u043A \u043D\u0438\u043C \u0431\u0435\u0437 \u043F\u043E\u0442\u0435\u0440\u0438 \u043E\u0431\u0449\u043D\u043E\u0441\u0442\u0438 \u0441\u0432\u043E\u0434\u044F\u0442\u0441\u044F \u043C\u043D\u043E\u0433\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438."@ru . . . . "Entscheidungsproblem"@de . "En kaj de , decidoproblemo estas demando en iu kun jes-a\u016D-ne respondo, depende de la valoroj de kelkaj enigaj parametroj. Decidoproblemoj tipe prezenti\u011Das en matematikaj demandoj de , t.e., la demando pri la ekzisto de determini la ekziston de iu objekto a\u016D \u011Dian membrecon en aro; kelkaj el la plej gravaj problemoj en matematiko estas . Ekzemple, la problemo \u201Cdonite du numeroj x kaj y, \u0109u x divizoras y?\u201D estas decidoproblemo. La respondo povas esti a\u016D \u2018jes\u2019 a\u016D \u2018ne,\u2019 kaj dependas sur la valoroj de x kaj y. Solvadmetodo por decidoproblemo, donita en algoritma formo, nomi\u011Das decidoprocedo por tiu problemo. Decidoprocedo por la decidoproblemo \u201Cdonite du numeroj x kaj y, \u0109u x divizoras y?\u201D donas la manipuloj kiuj determinas \u0109u x divizoras y, donite x kaj y. Unu tia algoritmo estas , kiu \u0109iuj lernantoj devas lerni. Se la cetero estas nulo, la respondo estas 'jes'; alie, \u011Di estas 'ne'. Decidoproblemo kiu solveblas per algoritmo, kiel \u0109i tiu ekzemplo, nomi\u011Das decidebla. La fako de komputa kompliko kategoriigas decideblajn decidoproblemojn la\u016D kiel malfacile ili solvendas. \"Malfacila\", en tiu senco, priskribi\u011Das la\u016D la komputaj rimedoj, kiuj la plej efika algoritmo bezonas por iu problemo. La fako de , dume, kategoriigas nedecideblajn decidoproblemojn la\u016D , kiu estas mezuro de la nekomputeblo de ajna solvo. Decidoproblemoj proksime rilatas al , kiuj povas havi respondojn pli kompleksajn ol simpla \"jes\" a\u016D \"ne\". Ekvivalenta funkcioproblemo estas \"donite du numeroj x kaj y, kio estas x dividita per y?\" Ili anka\u016D rilatas al , kiuj temas pri trovado de la plej bona respondo al specifa problemo. Ekzistas normaj teknikoj transformi funkcioproblemojn kaj problemojn de optimumigo en decidoproblemojn, kaj inverse, kiuj ne signife \u015Dan\u011Di la komputan malfacila\u0135on de \u0109i tiuj problemoj. Por tiu kialo, esploro en teorio de komputeblo kaj komplikteorio tipe centras sur decidoproblemojn."@eo . . . "Decision problem"@en . "In computability theory and computational complexity theory, a decision problem is a computational problem that can be posed as a yes\u2013no question of the input values. An example of a decision problem is deciding by means of an algorithm whether a given natural number is prime. Another is the problem \"given two numbers x and y, does x evenly divide y?\". The answer is either 'yes' or 'no' depending upon the values of x and y. A method for solving a decision problem, given in the form of an algorithm, is called a decision procedure for that problem. A decision procedure for the decision problem \"given two numbers x and y, does x evenly divide y?\" would give the steps for determining whether x evenly divides y. One such algorithm is long division. If the remainder is zero the answer is 'yes', "@en . . "Problem decyzyjny (teoria oblicze\u0144)"@pl . "Na teoria da computabilidade e na teoria da complexidade computacional um problema de decis\u00E3o \u00E9 uma quest\u00E3o sobre um sistema formal com uma resposta do tipo sim-ou-n\u00E3o. Por exemplo, o problema: \"dados dois n\u00FAmeros x e y, y \u00E9 divis\u00EDvel por x?\" \u00E9 um problema de decis\u00E3o. Ou ainda: \"Dado um n\u00FAmero inteiro x, x \u00E9 um n\u00FAmero primo?\". A resposta para esses problemas pode ser 'sim' ou 'n\u00E3o', e depende dos valores que as vari\u00E1veis assumem em cada inst\u00E2ncia do problema. Para a seguinte inst\u00E2ncia do segundo problema \"7 \u00E9 um n\u00FAmero primo?\" a resposta \u00E9 sim, j\u00E1 para a inst\u00E2ncia \"8 \u00E9 um n\u00FAmero primo?\" a resposta \u00E9 n\u00E3o. Um problema de decis\u00E3o tamb\u00E9m pode ser formalizado como o problema de verificar se uma determinada cadeia de caracteres pertence ou n\u00E3o a um conjunto de cadeias de caracteres, tamb\u00E9m chamado de linguagem formal. O conjunto cont\u00E9m exatamente as cadeias para as quais a resposta \u00E0 pergunta \u00E9 'sim'. Voltando ao exemplo dos n\u00FAmeros primos proposto anteriormente, pode-se v\u00EA-lo tamb\u00E9m como a linguagem de todas as cadeias no alfabeto {0, 1, 2,..., 9} tal que o inteiro correspondente \u00E0 cadeia \u00E9 um n\u00FAmero primo. Problemas de decis\u00E3o est\u00E3o intimamente ligados com , que podem ter respostas mais complexas do que um simples 'sim' ou 'n\u00E3o'. Um t\u00EDpico problema de fun\u00E7\u00E3o \u00E9 \"dado dois n\u00FAmeros x e y, para qual x temos que y \u00E9 divis\u00EDvel por x?\". Esses tipos de problema est\u00E3o relacionados tamb\u00E9m com os problemas de otimiza\u00E7\u00E3o, os quais se preocupam em achar a melhor solu\u00E7\u00E3o para um problema particular. M\u00E9todos usados para resolver problemas de decis\u00E3o s\u00E3o chamados de procedimentos ou algoritmos. Um algoritmo para o problema anterior explicaria em quais situa\u00E7\u00F5es y \u00E9 divis\u00EDvel por x, dados x e y. Um problema de decis\u00E3o que pode ser resolvido por algum algoritmo \u00E9 chamado de problema de decis\u00E3o decid\u00EDvel. O campo de complexidade computacional classifica problemas de decis\u00E3o decid\u00EDveis pelo grau de dificuldade em resolv\u00EA-los. \"Dificuldade\", nesse sentido, \u00E9 descrito em termos de esfor\u00E7o computacional necess\u00E1rio para o algoritmo mais eficiente para um determinado problema. O campo da teoria da recurs\u00E3o, entretanto, classifica problemas atrav\u00E9s do grau de insolubilidade da Teoria da Computa\u00E7\u00E3o e da Complexidade Computacional (no ingl\u00EAs, Turing degree), a qual \u00E9 uma medida da n\u00E3o-computabilidade inerente a cada solu\u00E7\u00E3o. Pesquisas na \u00E1rea da teoria da computabilidade t\u00EAm focado principalmente nos problemas de decis\u00E3o."@pt . . . . . "En informatique th\u00E9orique, un probl\u00E8me de d\u00E9cision est une question math\u00E9matique dont la r\u00E9ponse est soit \u00AB oui \u00BB, soit \u00AB non \u00BB. Les logiciens s'y sont int\u00E9ress\u00E9s \u00E0 cause de l'existence ou de la non-existence d'un algorithme r\u00E9pondant \u00E0 la question pos\u00E9e. Les probl\u00E8mes de d\u00E9cision interviennent dans deux domaines de la logique : la th\u00E9orie de la calculabilit\u00E9 et la th\u00E9orie de la complexit\u00E9. Parmi les probl\u00E8mes de d\u00E9cision citons par exemple le probl\u00E8me de l'arr\u00EAt, le probl\u00E8me de correspondance de Post ou le dernier th\u00E9or\u00E8me de Fermat."@fr . . . . "\u6C7A\u5B9A\u554F\u984C\uFF08\u3051\u3063\u3066\u3044\u3082\u3093\u3060\u3044\u3001decision problem\uFF09\u3068\u306F\u3001\u5404\u5165\u529B\u306B\u5BFE\u3057\u3066\u53D7\u7406\u304B\u62D2\u7D76\u304B\u306E\u3046\u3061\u7247\u65B9\u3092\u51FA\u529B\u3059\u308B\u5F62\u5F0F\u306E\u554F\u984C\u3092\u3044\u3046\u3002\u5224\u5B9A\u554F\u984C\u3068\u3082\u547C\u3070\u308C\u308B\u3002\u5F62\u5F0F\u7684\u306B\u306F\u3001\u6587\u5B57\u5217\u5168\u4F53\u306E\u96C6\u5408\u3001\u3042\u308B\u3044\u306F\u306E\u90E8\u5206\u96C6\u5408\u304B\u3089\u3078\u306E\u5199\u50CF\u3067\u3042\u308B\u3002 \u305F\u3068\u3048\u3070\u3001\u3042\u308B\u547D\u984C\u8AD6\u7406\u5F0F\u3092\u5145\u8DB3\u3059\u308B\u771F\u7406\u5024\u5272\u308A\u5F53\u3066\u304C\u3042\u308B\u304B\u306A\u3044\u304B\uFF08\u5145\u8DB3\u53EF\u80FD\u6027\u554F\u984C\uFF09\u3001\u4E0E\u3048\u3089\u308C\u305F\u81EA\u7136\u6570\u304C\u7D20\u6570\u304B\u5426\u304B\uFF08\u7D20\u6570\u5224\u5B9A\u554F\u984C\uFF09\u3001\u3068\u3044\u3063\u305F\u3082\u306E\u304C\u3042\u308B\u3002\u3053\u308C\u306B\u5BFE\u3057\u3001\u53D7\u7406\u304B\u62D2\u7D76\u304B\u3060\u3051\u3067\u306A\u304F\u771F\u7406\u5024\u5272\u308A\u5F53\u3066\u3084\u7D20\u56E0\u6570\u5206\u89E3\u306E\u7D50\u679C\u3068\u3044\u3063\u305F\u3082\u306E\u306E\u51FA\u529B\u3092\u8981\u6C42\u3059\u308B\u554F\u984C\u306F\u51FD\u6570\u554F\u984C\uFF08function problem\uFF09\u3068\u547C\u3070\u308C\u308B\u3002 \u6C7A\u5B9A\u554F\u984C\u306F\u3001\u6570\u5B66\u7684\u306B\u5B9A\u5F0F\u5316\u3057\u3084\u3059\u304F\u3001\u304B\u3064\u51FA\u529B\u306B\u95A2\u308F\u308B\u6642\u9593\u3092\u8003\u616E\u3057\u306A\u304F\u3066\u3088\u3044\u3053\u3068\u304B\u3089\u3001\u8A08\u7B97\u7406\u8AD6\u3067\u3088\u304F\u4F7F\u308F\u308C\u308B\u3002"@ja . "\u0417\u0430\u0434\u0430\u0447\u0430 \u0432\u0438\u0431\u043E\u0440\u0443"@uk . . . . . . . "Problem decyzyjny \u2013 pytanie sformu\u0142owane w systemie formalnym, na kt\u00F3re mo\u017Cliwe s\u0105 tylko odpowiedzi tak i nie. Przyk\u0142adowo problem \u201EDla danych liczb x i y, czy x jest dzielnikiem y?\u201D jest problemem decyzyjnym. Odpowiedzi\u0105 mo\u017Ce by\u0107 tak lub nie w zale\u017Cno\u015Bci od warto\u015Bci x i y. Analogicznie do problem\u00F3w decyzyjnych definiuje si\u0119 \u2013 na kt\u00F3re wymagane s\u0105 bardziej z\u0142o\u017Cone odpowiedzi oraz problemy optymalizacyjne \u2013 polegaj\u0105ce na znalezieniu najlepszej odpowiedzi."@pl . . . "Problem decyzyjny \u2013 pytanie sformu\u0142owane w systemie formalnym, na kt\u00F3re mo\u017Cliwe s\u0105 tylko odpowiedzi tak i nie. Przyk\u0142adowo problem \u201EDla danych liczb x i y, czy x jest dzielnikiem y?\u201D jest problemem decyzyjnym. Odpowiedzi\u0105 mo\u017Ce by\u0107 tak lub nie w zale\u017Cno\u015Bci od warto\u015Bci x i y. Analogicznie do problem\u00F3w decyzyjnych definiuje si\u0119 \u2013 na kt\u00F3re wymagane s\u0105 bardziej z\u0142o\u017Cone odpowiedzi oraz problemy optymalizacyjne \u2013 polegaj\u0105ce na znalezieniu najlepszej odpowiedzi. Teoria z\u0142o\u017Cono\u015Bci obliczeniowej kategoryzuje problemy decyzyjne w zale\u017Cno\u015Bci od tego jak trudno je rozwi\u0105za\u0107, w terminach zasob\u00F3w wymaganych przez najefektywniejsze algorytmy. Natomiast teoria rekursji definiuje r\u00F3wnie\u017C hierarchi\u0119 dla problem\u00F3w, kt\u00F3rych nie mo\u017Cna algorytmicznie rozwi\u0105za\u0107, okre\u015Blaj\u0105c stopie\u0144 ich \u201Enierozwi\u0105zywalno\u015Bci\u201D jako . Teoria oblicze\u0144 zwykle skupia si\u0119 na problemach decyzyjnych, poniewa\u017C s\u0105 najprostsze w analizie. Odpowiednie twierdzenia przenosz\u0105 si\u0119 r\u00F3wnie\u017C na problemy funkcyjne, dzi\u0119ki opisanej ni\u017Cej redukcji."@pl . .