解が存在しない

「解が存在しない」の英語

「解が存在しない」は英語で has no solution と言います。論理式や制約問題の専門用語では unsatisfiable も使われ、実行可能な解がない場合は no feasible solution exists と表現できます。

「解が存在しない」の英語の使い分け

  • unsatisfiable

    論理式や制約問題で、条件を満たす解がないときの専門用語です。

    This set of rules is unsatisfiable.

    この一連の規則は満たすことができません。

  • has no solution

    数学の方程式などで、解がないことを普通に説明する表現です。

    This equation has no solution in real numbers.

    この方程式は実数の範囲では解がありません。

  • no feasible solution exists

    実行可能な解がないことを、最適化やスケジューリングなどの技術文書で説明する表現です。

    No feasible solution exists under these conditions.

    これらの条件では実行可能な解が存在しません。

「解が存在しない」の例文

The formula is unsatisfiable under these constraints.

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

コアイメージ

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

英英

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

語源

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

コラム

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

「解が存在しない」のレベル別の例文

「解が存在しない」を英語にするときのよくある間違い

  • × The equation is no solution.

    ○ The equation has no solution.

    解がないという状態は、be動詞ではなく have no solution で表します。

  • × There is not solution.

    ○ There is no solution.

    solution のような可算名詞を否定するときは not ではなく no を使います。

「解が存在しない」の英語についてよくある質問

Q. 「解が存在しない」を英語で一言で言うと？
一般的には has no solution が自然です。論理式や制約問題などの専門分野では unsatisfiable も使えます。
Q. unsatisfiable と has no solution の違いは？
unsatisfiable は論理式や制約問題で使う専門用語です。has no solution は方程式や数学の問題などを広く説明できます。
Q. 「解が存在しない」を英語の技術文書でどう言いますか？
最適化やスケジューリングなどで実行可能な解がないことを示す場合は、No feasible solution exists under these conditions. のように表現できます。

「解が存在しない」と関連する日本語の英語

ほかの日本語から英語を引く

おすすめの単語帳

1 / 1