Fragmentaufblähung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Ein starker Anstieg der Repräsentationskomplexität, der Rechenkosten oder der Modellanzahl, der auftritt, wenn ein zuvor gutartiger logischer Fragment durch zusätzliche Operatoren, Konstrukte oder gelockerte syntaktische Beschränkungen erweitert wird.