<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Polynormal_subgroup</id>
	<title>Polynormal subgroup - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Polynormal_subgroup"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Polynormal_subgroup&amp;action=history"/>
	<updated>2026-04-11T21:58:18Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Polynormal_subgroup&amp;diff=13230&amp;oldid=prev</id>
		<title>en&gt;Qetuth: more specific stub type</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Polynormal_subgroup&amp;diff=13230&amp;oldid=prev"/>
		<updated>2012-01-01T10:38:56Z</updated>

		<summary type="html">&lt;p&gt;more specific stub type&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;In [[computer science]], an &amp;#039;&amp;#039;&amp;#039;(a,b) tree&amp;#039;&amp;#039;&amp;#039; is a specific kind of [[Tree traversal|search tree]].  &lt;br /&gt;
&lt;br /&gt;
An (a,b) tree has all of its [[leaf node|leaves]] at the same depth, and all internal [[Node (computer science)|nodes]] except for the root have between &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; [[Child node|children]], where &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; are integers such that &amp;lt;math&amp;gt;2 \le a \le (b+1)/2&amp;lt;/math&amp;gt;. The root has, if it is not a leaf, between 2 and b children.&lt;br /&gt;
&lt;br /&gt;
== Definition ==&lt;br /&gt;
Let &amp;lt;math&amp;gt;a, b \in \mathbb{N}&amp;lt;/math&amp;gt; such that &amp;lt;math&amp;gt;a \leq b&amp;lt;/math&amp;gt;. Then a tree &amp;#039;&amp;#039;T&amp;#039;&amp;#039; is an &amp;#039;&amp;#039;&amp;#039;(a,b) tree&amp;#039;&amp;#039;&amp;#039; when:&lt;br /&gt;
* Every inner node except the root has at least &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; and maximally &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; child nodes.&lt;br /&gt;
* Root has maximally &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; child nodes.&lt;br /&gt;
* All paths from the root to the leaves are of the same length.&lt;br /&gt;
&lt;br /&gt;
== Inner node representation ==&lt;br /&gt;
Every inner node &amp;lt;math&amp;gt;v&amp;lt;/math&amp;gt; has the following representation:&lt;br /&gt;
* Let &amp;lt;math&amp;gt;\rho_v&amp;lt;/math&amp;gt; be the number of child nodes of node v.&lt;br /&gt;
* Let &amp;lt;math&amp;gt;S_v[1 \dots \rho_v]&amp;lt;/math&amp;gt; be pointers to child nodes.&lt;br /&gt;
* Let &amp;lt;math&amp;gt;H_v[1 \dots \rho_v - 1]&amp;lt;/math&amp;gt; be an array of keys such that &amp;lt;math&amp;gt;H_v[i]&amp;lt;/math&amp;gt; equals the largest key in the subtree pointed to by &amp;lt;math&amp;gt;S_v[i]&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
*[[B-tree]]&lt;br /&gt;
*[[2-3 tree]]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
* {{DADS|(a,b)-tree|abtree}}&lt;br /&gt;
&lt;br /&gt;
{{CS-Trees}}&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:A,b tree}}&lt;br /&gt;
[[Category:Trees (data structures)]]&lt;br /&gt;
&lt;br /&gt;
{{datastructure-stub}}&lt;/div&gt;</summary>
		<author><name>en&gt;Qetuth</name></author>
	</entry>
</feed>