Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  regsub.xml   Sprache: XML

 
<Chapter Label="regsub">
<Heading>Regular induced subgraphs</Heading>

In this chapter we give methods to investigate regular induced subgraphs
of regular graphs.
<P/>
Let <M>\Gamma</M> be a graph, and consider a subset <M>U</M> of its vertices.
The <E>induced subgraph</E> of <M>\Gamma</M> on <M>U</M>, 
<M>\Gamma[U]</M>, is the graph with vertex set <M>U</M>, and vertices in 
<M>\Gamma[U]</M> are adjacent if and only if they are adjacent in <M>\Gamma</M>.


<Section Label="Spectral bounds">
<Heading>Spectral bounds</Heading>

In this section, we introduce some bounds on regular induced subgraphs of 
regular graphs, which depend on the spectrum of the graph.
<P/>
Let <M>\Gamma</M> be a graph. A <E>coclique</E>, or <E>independent set</E>, 
of <M>\Gamma</M> is a subset of vertices for which each pair of distinct vertices
are non-adjacent. A <E>clique</E> of <M>\Gamma</M> is a subset of vertices for 
which each pair of distinct vertices are adjacent. 

<#Include Label="HoffmanCocliqueBound">

<#Include Label="HoffmanCliqueBound">

<#Include Label="HaemersRegularUpperBound">

<#Include Label="HaemersRegularLowerBound">

</Section>

<Section Label="Block intersection polynomials and bounds">
<Heading>Block intersection polynomials and bounds</Heading>

In this section, we introduce functions related to the block intersection 
polynomials, defined in <Cite Key="S_2010"/>. If you would like to know more about the
properties of these polynomials, see <Cite Key="S_2010"/>, <Cite Key="S_2015"/>
and <Cite Key="GS_2016"/>.

<#Include Label="CliqueAdjacencyPolynomial">

<#Include Label="CliqueAdjacencyBound">

<#Include Label="RegularAdjacencyPolynomial">

<#Include Label="RegularAdjacencyUpperBound">

<#Include Label="RegularAdjacencyLowerBound">

</Section>

<Section Label="Regular sets">
<Heading>Regular sets</Heading>

In this section we give functions to investigate regular sets, with a focus on
regular sets in strongly regular graphs. 
<P/>
Let <M>\Gamma</M> be a graph and <M>U</M> be a subset of its vertices. Then 
<M>U</M> is <M>m</M><E>-regular</E> if every vertex in 
<M>V(\Gamma)\backslash U</M> is adjacent to the same number <M>m>0</M> of 
vertices in <M>U</M>. In this case we say that 
<M>U</M> has <E>nexus</E> <M>m</M>.
<P/>
The set <M>U</M> is a <M>(d,m)</M><E>-regular set</E> 
if <M>U</M> is an <M>m</M>-regular set and <M>\Gamma[U]</M> is a <M>d</M>-regular graph.
Then we call <M>(d,m)</M> the <E>regular set parameters</E> of <M>U</M>.

<#Include Label="Nexus">

<#Include Label="RegularSetParameters">

<#Include Label="IsRegularSet">

<#Include Label="RegularSetSRGParameters">

</Section>

<Section Label="Neumaier graphs">
<Heading>Neumaier graphs</Heading>

In this section, we give functions to investigate regular cliques in edge-regular
graphs.
<P/>
A clique <M>S</M> in <M>\Gamma</M> is <M>m</M><E>-regular</E>, for some 
<M>m>0</M>, if <M>S</M> is an <M>m</M>-regular set. A graph <M>\Gamma</M> is 
a <E>Neumaier graph</E> with <E>parameters</E> <M>(v,k,a;s,m)</M> if it is 
edge-regular with parameters <M>(v,k,a)</M>, and <M>\Gamma</M> contains an 
<M>m</M>-regular clique of size <M>s</M>. For more information on Neumaier 
graphs, see <Cite Key="E_2020"/>.

<#Include Label="NGParameters">

<#Include Label="IsNG">

<#Include Label="IsFeasibleNGParameters">

<#Include Label="RegularCliqueERGParameters">

</Section>

</Chapter>

99%


¤ Dauer der Verarbeitung: 0.24 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge