Heap_(mathematics)
抽象代数では、セミヒープは、空でない集合Hと3項演算で構成される代数的構造です。∈ H
{ in H}
修正された結合法則を満たす： ∀ a b c d e∈ H
[ [ a b c
] d e] =
[ a [ d c b
] e] =
[ a b [ c d e ] ]{ forall a、b、c、d、e in H [、d、e] = [a、、e] = [ a、b、]。}
セミヒープの2つの要素 hは、Hのすべてのkに対して = k = を満たします。 ：75、6
ヒープは、すべての要素がバイユニタリであるセミヒープです。 ：80
ヒープという用語は、ロシア語で「ヒープ」、「パイル」、または「スタック」を意味するгрудаに由来します。Anton Sushkevichは、彼の一般化されたグループの理論（1937）でこの用語を使用しました。これは、セミヒープ、ヒープ、および一般化されたヒープの公布者であるViktorWagnerに影響を与えました。 ： 11Грудаは、音訳によってロシア語に取り込まれたгруппа（グループ）とは対照的です。確かに、ヒープは英語のテキストではgroudと呼ばれています。）
コンテンツ
1 例
1.1 2要素ヒープ 1.2 整数のヒープ 1.3 2つのオブジェクトを持つ亜群のヒープ 1.4 不均一な関係
2 定理
3 一般化と関連する概念
4 も参照してください
5 ノート
6 参考文献
7 外部リンク
例
2要素ヒープ
振り向くH =
{{a b }
{ H = {a、b }}
巡回群に 2
{ C_ {2}}
、定義することにより a { a}
単位元、およびb b = a
{ bb = a}
。次に、次のヒープを生成します。
[ a a a] =
a [ a a b] =
b [ b a a] =
b [ b a b] =
a { = a、、 = b、、 = b、、 = a、}