unsatisfiable

「unsatisfiable」の例文例文

The formula is unsatisfiable under these constraints.

これらの制約下ではその式は満たせない。

「unsatisfiable」のコアイメージコアイメージ

与えられた制約や条件を満たす解や実現手段が存在しない状態を指す

「unsatisfiable」の英英英英

Unable to be satisfied; having no possible solution or assignment that fulfills the given constraints, frequently used in SAT and constraint-solving contexts.

「unsatisfiable」の語源語源

unsatisfiableは、否定のun-とsatisfiableの結合で、satisfiableはラテン語起源のsatisfy（satis＝十分＋facere＝作る）が語幹となり「満たせる」を表した形から派生して「満たせない」となった

「unsatisfiable」のコラムコラム

• SAT問題や制約プログラミングで頻出の用語で、条件や制約の下で解や割り当てが存在しないことを端的に表す

単語を報告