unsatisfiable
「 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問題や制約プログラミングで頻出の用語で、条件や制約の下で解や割り当てが存在しないことを端的に表す
おすすめの単語帳
1 / 1
