sat·is·fi·a·bil·i·ty
C1technical조건이나 논리식이 만족될 수 있음; 만족 가능성
noun명사
- 1
만족 가능성, 충족 가능성 — 조건, 요구, 기준 등이 만족되거나 충족될 수 있는 성질C1〔general〕
the quality or state of being capable of being satisfied, fulfilled, or met
The researchers questioned the satisfiability of all the proposed design requirements.
연구자들은 제안된 모든 설계 요구 조건의 충족 가능성에 의문을 제기했다.
The contract depends on the satisfiability of several strict conditions.
그 계약은 몇 가지 엄격한 조건의 충족 가능성에 달려 있다.
- 2
만족 가능성 — 논리식이나 제약 조건을 참이 되게 하는 값의 배정이 하나 이상 존재하는 성질C1〔logic and computer science〕
in logic and computing, the property of a formula or set of constraints having at least one assignment that makes it true
The solver checks the satisfiability of the formula in a few seconds.
그 솔버는 몇 초 만에 그 논리식의 만족 가능성을 검사한다.
Boolean satisfiability is a central problem in theoretical computer science.
불리언 만족 가능성은 이론 컴퓨터 과학의 핵심 문제이다.
뉘앙스 · 쓰임
satisfaction은 실제로 ‘만족함’ 또는 ‘충족됨’을 넓게 가리키지만, satisfiability는 ‘만족될 수 있는 가능성/성질’에 초점이 있습니다. 논리학에서 validity는 모든 경우에 참인 성질이고, satisfiability는 적어도 한 경우에 참이 될 수 있는 성질이라는 점이 다릅니다.
컴퓨터 과학에서는 Boolean satisfiability problem 또는 SAT problem이라는 표현이 매우 흔합니다. 이때 satisfiability는 감정적 ‘만족’이 아니라, 논리식이나 제약 조건을 참으로 만들 수 있는지에 관한 기술 용어입니다.
유의어 뉘앙스 비교
- fulfillability
- 의미는 비슷하지만 satisfiability보다 훨씬 드물고 덜 표준적인 표현입니다.
- feasibility
- 실행 가능성 전반을 뜻하며, 조건을 논리적으로 만족시키는 성질에만 한정되지는 않습니다.
- consistency
- 논리 체계나 제약 집합이 서로 모순되지 않는다는 뜻으로, satisfiability와 밀접하지만 문맥에 따라 다를 수 있습니다.
- solvability
- 해가 존재한다는 넓은 뜻이며, 논리식의 참/거짓 배정에만 한정되지는 않습니다.
반의어
- unsatisfiability
- 어떤 값의 배정을 해도 논리식이나 제약 조건을 참으로 만들 수 없다는 뜻입니다.
- impossibility
- 불가능함을 넓게 뜻하며, 기술적 논리 용어는 아닙니다.
- inconsistency
- 명제나 조건들이 서로 모순되어 함께 참일 수 없다는 뜻입니다.
자주 쓰는 표현 · Collocations
adj+noun
- Boolean satisfiability불리언 만족 가능성
noun+noun
- the satisfiability problem만족 가능성 문제
- satisfiability solver만족 가능성 솔버
- constraint satisfiability제약 조건 만족 가능성
verb+noun
- check satisfiability만족 가능성을 검사하다
- prove satisfiability만족 가능성을 증명하다
어원 · 암기 팁
[Latin]satisfy의 바탕이 된 라틴어 satisfacere는 ‘충분히 하다, 만족시키다’라는 뜻입니다. 여기에 형용사형 satisfiable에 명사형 접미사 -ity가 붙어 ‘만족될 수 있는 성질’이라는 뜻이 되었습니다.
satisfy 계열 어근 + -able ‘~할 수 있는’ + -ity ‘성질, 상태’
💡 satisfiable은 ‘만족시킬 수 있는’, -ity는 ‘성질’이므로 satisfiability는 ‘만족시킬 수 있는 성질’로 기억하면 됩니다.