Problema de satisfatibilidade booleana oor Esperanto

Problema de satisfatibilidade booleana

Vertalings in die woordeboek Portugees - Esperanto

Bulea plenumebloproblemo

voorbeelde

Pode-se vê-lo como a versão P do problema de satisfatibilidade booleana.
Ĝi povas vidiĝi kiel versio (de P) de la bulea plenumebloproblemo.

Para salientar a natureza binária deste problema, ele é referenciado freqüentemente como o problema de satisfatibilidade booleana ou proposicional.
Por emfazi la duuma naturo de tiu problemo oni nomas ĝin kiel bulea aŭ propozicia kontentigeblo.

Por exemplo, o problema de satisfatibilidade booleana pode ser reduzido ao problema da parada, transformando-o em uma descrição de uma máquina de Turing que tenta todos as atribuições verdadeiras e quando encontra uma que satisfaça a fórmula, ela para, caso contrário, entra em um loop infinito.
Ekzemple la bulea problemo pri kontentigebleco povas reduktiĝi al la problemo de haltado per tio konverti ĝin al la priskribo de maŝino de Turing, kiu provas ĉiun vervalorajn asignoj kaj kiam ĝi trovas tiun, kiu kontentigas la formulon ĝi haltas, kaj alie ĝi iras en malfinia ciklo.