<?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=Pivotal_altitude</id>
	<title>Pivotal altitude - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Pivotal_altitude"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Pivotal_altitude&amp;action=history"/>
	<updated>2026-05-03T23:47:47Z</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=Pivotal_altitude&amp;diff=21429&amp;oldid=prev</id>
		<title>50.46.39.99 at 21:54, 18 March 2012</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Pivotal_altitude&amp;diff=21429&amp;oldid=prev"/>
		<updated>2012-03-18T21:54:48Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;In mathematics, the &amp;#039;&amp;#039;&amp;#039;  Turán number&amp;#039;&amp;#039;&amp;#039; T(&amp;#039;&amp;#039;n&amp;#039;&amp;#039;,&amp;#039;&amp;#039;k&amp;#039;&amp;#039;,&amp;#039;&amp;#039;r&amp;#039;&amp;#039;) for  &amp;#039;&amp;#039;r&amp;#039;&amp;#039;-uniform [[hypergraph]]s of order &amp;#039;&amp;#039;n&amp;#039;&amp;#039; is the smallest number of &amp;#039;&amp;#039;r&amp;#039;&amp;#039;-edges such that every [[induced subgraph]] on &amp;#039;&amp;#039;k&amp;#039;&amp;#039; vertices contains an edge. This number was determined for &amp;#039;&amp;#039;r&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;2 by {{harvtxt|Turán|1941}}, and the  problem for general &amp;#039;&amp;#039;r&amp;#039;&amp;#039; was introduced in {{harvtxt|Turán|1961}}. The paper {{harv|Sidorenko|1995}} gives a survey of Turán numbers. ́&lt;br /&gt;
&lt;br /&gt;
==Definitions==&lt;br /&gt;
Fix a set &amp;#039;&amp;#039;X&amp;#039;&amp;#039; of &amp;#039;&amp;#039;n&amp;#039;&amp;#039; vertices. For given &amp;#039;&amp;#039;r&amp;#039;&amp;#039;, an &amp;#039;&amp;#039;&amp;#039;r-edge&amp;#039;&amp;#039;&amp;#039; or &amp;#039;&amp;#039;&amp;#039;block&amp;#039;&amp;#039;&amp;#039; is a set of &amp;#039;&amp;#039;r&amp;#039;&amp;#039; vertices. A set of blocks is called a &amp;#039;&amp;#039;&amp;#039;Turán (&amp;#039;&amp;#039;n&amp;#039;&amp;#039;,&amp;#039;&amp;#039;k&amp;#039;&amp;#039;,&amp;#039;&amp;#039;r&amp;#039;&amp;#039;) system&amp;#039;&amp;#039;&amp;#039; (&amp;#039;&amp;#039;n&amp;#039;&amp;#039; ≥ &amp;#039;&amp;#039;k&amp;#039;&amp;#039; ≥ &amp;#039;&amp;#039;r&amp;#039;&amp;#039;) if every &amp;#039;&amp;#039;k&amp;#039;&amp;#039;-element subset of &amp;#039;&amp;#039;X&amp;#039;&amp;#039; contains a block.&lt;br /&gt;
The  &amp;#039;&amp;#039;&amp;#039;  Turán number&amp;#039;&amp;#039;&amp;#039; T(&amp;#039;&amp;#039;n&amp;#039;&amp;#039;,&amp;#039;&amp;#039;k&amp;#039;&amp;#039;,&amp;#039;&amp;#039;r&amp;#039;&amp;#039;) is the minimum size of such a system.&lt;br /&gt;
&lt;br /&gt;
==Example==&lt;br /&gt;
The complements of the lines of the [[Fano plane]] form a Turán (7,5,4)-system. T(7,5,4) = 7.&amp;lt;ref&amp;gt;{{harvnb|Colburn|Dinitz|2007|loc=pg. 649, Example 61.3}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Relations to other combinatorial designs==&lt;br /&gt;
It can be shown that&lt;br /&gt;
::&amp;lt;math&amp;gt;T(n,k,r) \geq \binom{n}{r} {\binom{k}{r}}^{-1}.&amp;lt;/math&amp;gt;&lt;br /&gt;
Equality holds if and only if there exists a [[Steiner system]] S(&amp;#039;&amp;#039;n&amp;#039;&amp;#039; - &amp;#039;&amp;#039;k&amp;#039;&amp;#039;, &amp;#039;&amp;#039;n&amp;#039;&amp;#039; - &amp;#039;&amp;#039;r&amp;#039;&amp;#039;, &amp;#039;&amp;#039;n&amp;#039;&amp;#039;).&amp;lt;ref&amp;gt;{{harvnb|Colbourn|Dinitz|2007|loc=pg. 649, Remark 61.4}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
An [[combinatorial design|(&amp;#039;&amp;#039;n&amp;#039;&amp;#039;,&amp;#039;&amp;#039;r&amp;#039;&amp;#039;,&amp;#039;&amp;#039;k&amp;#039;&amp;#039;,&amp;#039;&amp;#039;r&amp;#039;&amp;#039;)-lotto design]] is an (&amp;#039;&amp;#039;n&amp;#039;&amp;#039;, &amp;#039;&amp;#039;k&amp;#039;&amp;#039;, &amp;#039;&amp;#039;r&amp;#039;&amp;#039;)-Turán system. Thus, T(&amp;#039;&amp;#039;n&amp;#039;&amp;#039;,&amp;#039;&amp;#039;k&amp;#039;&amp;#039;, &amp;#039;&amp;#039;r&amp;#039;&amp;#039;) = L(&amp;#039;&amp;#039;n&amp;#039;&amp;#039;,&amp;#039;&amp;#039;r&amp;#039;&amp;#039;,&amp;#039;&amp;#039;k&amp;#039;&amp;#039;,&amp;#039;&amp;#039;r&amp;#039;&amp;#039;).&amp;lt;ref&amp;gt;{{harvnb|Colbourn|Dinitz|2007|loc=pg. 513, Proposition 32.12}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
*[[Forbidden subgraph problem]]&lt;br /&gt;
*[[Combinatorial design]]&lt;br /&gt;
&lt;br /&gt;
==Notes==&lt;br /&gt;
{{reflist}}&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
* {{citation|last1=Colbourn|first1=Charles J.|last2=Dinitz|first2=Jeffrey H.|title=Handbook of Combinatorial Designs|year=2007|publisher=Chapman &amp;amp; Hall/ CRC|location=Boca Raton|isbn=1-58488-506-8|edition=2nd Edition}}&lt;br /&gt;
*{{springer|id=T/t120190|first=A.P.|last= Godbole}}&lt;br /&gt;
*{{citation|first=A. |last=Sidorenko|title=What we know and what we do not know about Turán numbers|journal= Graphs Combin. |volume= 11  |year=1995|issue=2|pages= 179–199	|doi=10.1007/BF01929486}}&lt;br /&gt;
*{{citation|last=Turán|first= P|year=1941|title= Egy gráfelméleti szélsöértékfeladatról (Hungarian. An extremal problem in graph theory.) |journal=Mat. Fiz. Lapok|volume= 48 |pages=436–452 |language= Hungarian}}&lt;br /&gt;
*{{citation|last=Turán|first= P.|title= Research problems|journal= Maguar Tud. Akad. Mat. Kutato Int. Közl.|volume=6|pages= 417–423 |year=1961}}&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:Turan Number}}&lt;br /&gt;
[[Category:Extremal graph theory]]&lt;br /&gt;
[[Category:Design theory]]&lt;/div&gt;</summary>
		<author><name>50.46.39.99</name></author>
	</entry>
</feed>