unsatisfiable
「unsatisfiable」の発音・読み方
カタカナ読み(目安)アンサティスファイアブル
「unsatisfiable」の例文
The formula is unsatisfiable under these constraints.
これらの制約下ではその式は満たせない。
「unsatisfiable」のレベル別の例文
「 unsatisfiable」のコアイメージ コアイメージ
与えられた制約や条件を満たす解や実現手段が存在しない状態を指す
「unsatisfiable」のよく使う型
be unsatisfiable満たすことができない、実現できない
The proposed conditions are unsatisfiable in practice.
unsatisfiable + 名詞満たすことのできない制約や要求など
The software detected an unsatisfiable constraint.
find A unsatisfiableAが満たせないと判断する
The researchers found the set of conditions unsatisfiable.
「unsatisfiable」とよく一緒に使う語
「unsatisfiable」のよくある間違い
✕ I am unsatisfiable.
○ This requirement is unsatisfiable.
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問題や制約プログラミングで頻出の用語で、条件や制約の下で解や割り当てが存在しないことを端的に表す