5,443
个编辑
更改
→冗余晶格
=== 冗余晶格 ===
=== 冗余晶格 ===
在维恩图中，冗余度可以视为<math>I（S;\mathbf{A}_{i})</math>之间的交集。因此通过集合之间的包含关系，我们可以大大简化冗余度的概念
举例而言，考虑两个源<math>\mathbf{A}</math>与<math>\mathbf{B}</math>，且 <math>\mathbf{A}\subseteq\mathbf{B}</math>。
举例而言，考虑两个源<math>\mathbf{A}</math>与<math>\mathbf{B}</math>，且 <math>\mathbf{A}\subseteq\mathbf{B}</math>。
显然，<math>\mathbf{A}</math> 提供的任何信息也被<math> \mathbf{B}</math>提供，因此 <math>\mathbf{A}</math>与<math>\mathbf{B}</math>之间的冗余退化为<math>\mathbf{A}</math>的自冗余：
显然，<math>\mathbf{A}</math> 提供的任何信息也被<math> \mathbf{B}</math>提供，因此 <math>\mathbf{A}</math>与<math>\mathbf{B}</math>之间的冗余退化为<math>\mathbf{A}</math>的自冗余：