Alternating Group Cayley Graph

Author

Eric W. Weisstein
August 4, 2026

This notebook downloaded from https://mathworld.wolfram.com/notebooks/GraphTheory/AlternatingGroupCayleyGraph.nb.

For more information, see Eric's MathWorld entry https://mathworld.wolfram.com/AlternatingGroupCayleyGraph.html.

©2026 Wolfram Research, Inc. except for portions noted otherwise

Figure

GraphData["AlternatingGroupCayleyGraph"]

gs=SortBy[{(GraphData[#,"NotationRules","AlternatingGroupCayleyGraph"]),#}&/@GraphData["AlternatingGroupCayleyGraph"],First]

nicegs=Select[gs,GraphData[#[[2]],"Embeddings"]=!={}&]

GraphicsGrid[Partition[StyleGraphs@Annotate[GraphData[#[[2]]],PlotLabel->TextCell[Style[Column[{Subscript["AG",Style[#[[1]],Plain]],Style[GraphData[#[[2]],"Name"],Italic]},Alignment->Center],FontFamily->"Times"]]]&/@nicegs,UpTo[3]],ImageSize->450,Dividers->All]

Special cases

Sort[(GraphData[#,"NotationRules","AlternatingGroupCayleyGraph"])->#&/@GraphData["AlternatingGroupCayleyGraph"]]

TextGrid[DeleteCases[Table[{n,RecognizeGraph[AlternatingGroupCayleyGraph[n]]},{n,8}],{_,{}}],Dividers->All]

Properties

Acyclic

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Acyclic"],{n,2,6}]

AdjacencyMatrixCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"AdjacencyMatrixCount"],{n,2,6}]

Table[((((1/2) Gamma[1+n])!)/(Piecewise[{{1,n==2}},(n-2)!n!])),{n,2,6}]

Table[(((n!/2)!)/(Piecewise[{{1,n==2}},(n-2)!n!])),{n,2,6}]

Anarboricity

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Anarboricity"],{n,2,6}]

Arboricity

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Arboricity"],{n,2,6}]

ArcTransitive

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ArcTransitive"],{n,2,6}]

ArcTransitivity

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ArcTransitivity"],{n,2,6}]

AutomorphismCount

A175430

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"AutomorphismCount"],{n,2,6}]

Table[(n-2)!n!,{n,2,7}]

(seq=Table[GroupOrder[GraphAutomorphismGroup[AlternatingGroupCayleyGraph[n]]],{n,9}])//Timing

Table[Piecewise[{{1,n==2}},(n-2)!n!],{n,2,9}]

seq=Table[(n-1)!(n+1)!,{n,30}];

FindLinearRecurrence[seq]//Head

FindSequenceFunction[seq,n]//FullSimplify

seq=Table[Gamma[n] Gamma[2+n],{n,30}];

FindGeneratingFunction[seq,x]//Head//Timing

BalabanIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"BalabanIndex"],{n,2,6}]

FindSequenceFunction[seq,n]

Bandwidth

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Bandwidth"],{n,2,6}]

BridgeCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"BridgeCount"],{n,2,6}]

BurningNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"BurningNumber"],{n,2,6}]

CharacteristicPolynomial

Factor@(poly=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CharacteristicPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[poly]

CoefficientList[Take[poly,10],x]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

ChordCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ChordCount"],{n,2,6}]

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"EdgeCount"],{n,2,6}]

Table[(n-1)n!/2,{n,2,6}]

Chordless

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Chordless"],{n,2,6}]

ChordlessCycleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ChordlessCycleCount"],{n,2,6}]

FindSequenceFunction[Rest@seq,n-3]//Factor

Chords

Length/@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Chords"],{n,2,6}]

ChromaticInvariant

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ChromaticInvariant"],{n,2,6}]

FindSequenceFunction[DeleteMissing@seq,n]

ChromaticNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ChromaticNumber"],{n,2,6}]

ChromaticPolynomial

Factor@(poly=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ChromaticPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

Subtract@@@Table[{GraphData[{"AlternatingGroupCayleyGraph",n},"ChromaticPolynomial"][x],x ((((-1))^n)-(((-3+x))^n)+(((-2+x))^n)+((((-1))^n) (-3+x)+(((-3+x))^n)) x)},{n,3,13}]//Expand

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

Circumference

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Circumference"],{n,2,6}]

FindSequenceFunction[Drop[seq,2],n-2]

Table[n!,{n,3,6}]

Classes

Intersection@@(GraphData[#,"Classes"]&/@GraphData["AlternatingGroupCayleyGraph"])

{"Bicolorable","Bipartite","AlternatingGroupCayleyGraph","Class1","Connected","Perfect","Regular","Simple","Traceable","TriangleFree","VertexTransitive","WeaklyPerfect"}

CliqueCount

A139149

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CliqueCount"],{n,2,6}]

FindSequenceFunction[seq,n]

FindGeneratingFunction[seq,x]

Table[((n+1)!+2)/2,{n,2,6}]

CliqueCoveringNumber

Probably A001710

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CliqueCoveringNumber"],{n,2,6}]

Numerator[Range[6]!/2]

FullSimplify[FindSequenceFunction[DeleteMissing@seq,n],n>2]

Table[Ceiling[n/2],{n,2,6}]

CliquePolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CliquePolynomial"][x],{n,k0=1,kmax=6}])//Column

CliqueNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CliqueNumber"],{n,2,6}]

ComplementOddChordlessCycleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ComplementOddChordlessCycleCount"],{n,2,6}]

ConnectedDominatingSetCount

A317481

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ConnectedDominatingSetCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@seq,n]//FullSimplify

ConnectedDominationNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ConnectedDominationNumber"],{n,2,6}]

ConnectedDominationPolynomial

(poly=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ConnectedDominationPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Factor//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing[poly]]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

Subtract@@@Table[{GraphData[{"AlternatingGroupCayleyGraph",n},"ConnectedDominationPolynomial"][x],n (x^(-2+n))+n (x^(-1+n))+(x^n)+2 x (-1+(((1+x))^n))+(x^2) (-1+(((1+x))^n))},{n,3,13}]//Expand

ConnectedInducedSubgraphCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ConnectedInducedSubgraphCount"],{n,2,6}]

FindSequenceFunction[seq,n]//FullSimplify

ConnectedInducedSubgraphPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ConnectedInducedSubgraphPolynomial"],{n,k0=1,6}]/.f_Function:>f[x])//Factor//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing[poly]]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=(z^k0)FindGeneratingFunction[poly,z]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

FullSimplify[%-poly]

CrossingNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CrossingNumber"],{n,2,6}]

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Planar"],{n,2,6}]

CycleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CycleCount"],{n,2,6}]

FindSequenceFunction[seq,n]//Factor

CyclePolynomial

Factor@(poly=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CyclePolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=(z^k0)FindGeneratingFunction[poly,z]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

Cyclic

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Cyclic"],{n,2,6}]

CyclomaticNumber

A317483

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"CyclomaticNumber"],{n,2,6}]

FindSequenceFunction[seq,n]//FullSimplify

DetourIndex

A296782

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DetourIndex"],{n,2,6}]

FindSequenceFunction[seq,n]//Factor

DetourPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DetourPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

Diameter

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Diameter"],{n,2,6}]

FindSequenceFunction[seq,n]

DistancePolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DistancePolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

DistinguishingNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DistinguishingNumber"],{n,2,6}]

DomaticNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DomaticNumber"],{n,2,6}]

DominationNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DominationNumber"],{n,2,6}]

DominationPolynomial

(poly=Factor[Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DominationPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x]])//Column

CoefficientList[Take[poly,5],x]

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

Simplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>2]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

DominatingSetCount

A317484

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"DominatingSetCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@seq,n]//FullSimplify

gf=(x^3) FindGeneratingFunction[DeleteMissing@seq,x]

soln=FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>2]

Table[3 (2^n)-2+RootSum[-1-#1-((#1)^2)+((#1)^3)&,#^n&],{n,2,6}]

EdgeChromaticNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"EdgeChromaticNumber"],{n,2,6}]

EdgeConnectivity

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"EdgeConnectivity"],{n,2,6}]

EdgeCount

A181967

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"M"],{n,2,6}]

(seq=Table[EdgeCount[AlternatingGroupCayleyGraph[n]],{n,9}])//Timing

FindSequenceFunction[Rest@seq,n-2]//FullSimplify

Table[Piecewise[{{0,n==1}},n!(n-2)/2],{n,20}]

seq=Join[{0},Table[n!(n-2)/2,{n,2,50}]]

FindGeneratingFunction[seq,x]//Head//Timing

Table[n!(n-2)/2,{n,0,10}]

GeneratingFunction[n!(n-2)/2,n,x]

ExponentialGeneratingFunction[Piecewise[{{0,n<3}},n!(n-2)/2],n,x]

SeriesCoefficient[((x^3)/(2 (((-1+x))^2))),{x,0,n}]

Series[((x^3)/(2 (((-1+x))^2))),{x,0,5}]

CoefficientList[Series[((x^3)/(2 (((-1+x))^2))),{x,0,20}],x]Range[0,20]!

CoefficientList[Series[((x^2)/(2 (((-1+x))^2))),{x,0,19}],x]Range[20]!

FullSimplify[(1-x)Exp[-x]+(x^2)(CoshIntegral[x]-SinhIntegral[x])-1+2x-((1/2) (3+2 EulerGamma+2 Log[x]) (x^2))]

Series[(1-x)Exp[-x]+(x^2)(CoshIntegral[x]-SinhIntegral[x])-1+2x-((1/2) (3+2 EulerGamma+2 Log[x]) (x^2)),{x,0,20}]

FullSimplify[SeriesCoefficient[(1-x)Exp[-x]+(x^2)(CoshIntegral[x]-SinhIntegral[x])-1+2x-((1/2) (3+2 EulerGamma+2 Log[x]) (x^2)),{x,0,n}],n∈Integers&&n>=3]

EdgeCoverCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"EdgeCoverCount"],{n,2,6}]

FullSimplify[FindSequenceFunction[DeleteMissing@seq,n],n>0&&n∈Integers]

coef=FindLinearRecurrence[DeleteMissing@seq]

Length@coef

Take[seq,6]

LinearRecurrence[{11,-24,-21,33,34,8},{2,34,341,2902,23092,178393},20]

gf=x FindGeneratingFunction[DeleteMissing@seq,x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>0&&n∈Integers]

CoefficientList[Series[((-2-12 x-15 (x^2)-9 (x^3)-2 (x^4))/(-1+11 x-24 (x^2)-21 (x^3)+33 (x^4)+34 (x^5)+8 (x^6))),{x,0,20}],x]

EdgeCoverNumber

A001710

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"EdgeCoverNumber"],{n,2,6}]

FullSimplify[FindSequenceFunction[seq,n],n∈Integers]

Range[6]!/2

EdgeCoverPolynomial

(poly=Factor[Table[GraphData[{"AlternatingGroupCayleyGraph",n},"EdgeCoverPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x]])//Column

CoefficientList[Take[poly,4],x]//Column

FindLinearRecurrence[DeleteMissing@Drop[poly,1]]//Head

coef=Factor/@FindPolynomialRecurrence[poly,6]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

Table[n x(3x+2)-2x^2+1,{n,10}]

FullSimplify[%-poly]

EulerianCycleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"EulerianCycleCount"],{n,2,6}]

FaceCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"FaceCount"],{n,2,6}]

FindSequenceFunction[seq,n]

FlowPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"FlowPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

FractionalChromaticNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"FractionalChromaticNumber"],{n,2,6}]

FullSimplify[FindSequenceFunction[seq,n],n∈Integers]

FractionalCliqueNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"FractionalCliqueNumber"],{n,2,6}]

FractionalEdgeChromaticNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"FractionalEdgeChromaticNumber"],{n,2,6}]

Girth

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Girth"],{n,2,6}]

HamiltonDecompositionCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"HamiltonDecompositionCount"],{n,2,6}]

Hamiltonian

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Hamiltonian"],{n,2,6}]

HamiltonianCycleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"HamiltonianCycleCount"],{n,2,6}]

FindSequenceFunction[seq,n]//Factor

HamiltonianNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"HamiltonianNumber"],{n,2,6}]

FindSequenceFunction[seq,n]

HamiltonianPathCount

A317485

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"HamiltonianPathCount"],{n,2,6}]

FindSequenceFunction[Rest@seq,n-3]//Factor

HamiltonianWalkCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"HamiltonianWalkCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@seq,n]//Factor

HararyIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"HararyIndex"],{n,2,6}]

FindSequenceFunction[seq,n]//Factor

HexagonCount

A317486

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"HexagonCount"],{n,2,6}]

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],6],{n,8}])//Timing

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],6],{n,9}])//Timing

FindLinearRecurrence[Drop[seq,2]]

FindGeneratingFunction[seq,x]

IdiosyncraticPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IdiosyncraticPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x,y])//Column

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

Table[n x(3x+2)-2x^2+1,{n,10}]

FullSimplify[%-poly]

IndependenceNumber

A001710

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IndependenceNumber"],{n,2,6}]

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"V"],{n,2,6}]

Table[Piecewise[{{1,n==2||n==3}},n!/6],{n,2,10}]

Do[Print[{{"AlternatingGroupCayleyGraph",n},MemoryConstrained[First@FindIndependentVertexSet[AlternatingGroupCayleyGraph[n]],100*^9]//Timing}],{n,7}]

From Stan Wagon, Aug 8, 2018

Table 1.  Known results for the independence number of (Subscript[A, n+k,n]). Perfect strategies exist in all cases shown except the red entries, and perhaps the bold one.

{1,1,4,20,120,840,6720}

IndependencePolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IndependencePolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

CoefficientList[Take[poly,4],x]

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

Simplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

soln=FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>2]

CoefficientList[Table[(2^(-n)) ((((1-(Sqrt[1+4 x])))^n)+(((1+(Sqrt[1+4 x])))^n)),{n,10}]//Expand,x]//Column

Table[(2^(-n)) ((((1-(Sqrt[1+4 x])))^n)+(((1+(Sqrt[1+4 x])))^n)),{n,10}]//Expand

Table[(x^(n/2))LucasL[n,1/(Sqrt[x])],{n,10}]//Expand

Subtract@@@Table[{x(x+2)+(x^(n/2))LucasL[n,1/(Sqrt[x])],GraphData[{"AlternatingGroupCayleyGraph",n},"IndependencePolynomial"][x]},{n,3,10}]//Expand

IndependenceRatio

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IndependenceRatio"],{n,2,6}]

From Stan Wagon 2018-07-30: "FWIW Piotr has been expessing doubts that the 1/3 pattern continues. I am still hopeful as it is too beautiful."

FullSimplify[FindSequenceFunction[Rest@seq,n-3],n>3&&n∈Integers]

Table[Floor[2 n/3]/(2n),{n,2,6}]

n!/2

IndependentEdgeSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IndependentEdgeSetCount"],{n,2,6}]

IndependentVertexSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IndependentVertexSetCount"],{n,2,6}]

FindSequenceFunction[seq,n]//FullSimplify

gf=(x^3) FindGeneratingFunction[seq,x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>2]

Table[LucasL[n]+3,{n,2,6}]

IntersectionNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IntersectionNumber"],{n,2,6}]

IrredundancePolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IrredundancePolynomial"],{n,k0=4,20}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

Simplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

IrredundantSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"IrredundantSetCount"],{n,2,6}]

coef=FindLinearRecurrence[Rest@seq]

Length[coef]

Take[seq,1+{1,8}]

Join[{7},LinearRecurrence[{3,-2,-1,2,-2,0,2,-1},{22,29,39,60,94,151,241,400},20]]

FindSequenceFunction[DeleteMissing@seq,n]

FindSequenceFunction[Drop[seq,2],n-4]

gf=(x^3)FindGeneratingFunction[DeleteMissing@seq,x]

CoefficientList[Series[((7+x-23 (x^2)+3 (x^3)+9 (x^4)-9 (x^5)+14 (x^6)+2 (x^7)-6 (x^8))/((((-1+x))^2) (1-x-(x^2)-(x^4)+(x^6)))),{x,0,20}],x]

Refine[SeriesCoefficient[gf,{x,0,n}],n>3]

terms=List@@res;

N[terms/.n->0]//Chop

terms[[All,1]]

Expand[1+2 (1+n)]

Table[3+2 n+RootSum[1-((#1)^2)-((#1)^4)-((#1)^5)+((#1)^6)&,((#)^n)&],{n,40}]

Table[Piecewise[{{7,n==3}},3+2 n+RootSum[1-((#1)^2)-((#1)^4)-((#1)^5)+((#1)^6)&,((#)^n)&]],{n,2,6}]

KirchhoffIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"KirchhoffIndex"],{n,2,6}]

(seq=Table[KirchhoffIndex@AlternatingGroupalGraph[n],{n,3,40}])//Timing

FindSequenceFunction[Drop[seq,3],n-5]//Head//Timing

FindLinearRecurrence[Drop[seq,3]]//Head//Timing

FindGeneratingFunction[seq,x]//Head//Timing

KirchhoffSumIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"KirchhoffSumIndex"],{n,2,6}]

(seq=Table[KirchhoffSumIndex@AlternatingGroupalGraph[n],{n,3,40}])//Timing

FindSequenceFunction[Drop[seq,3],n-5]//Head//Timing

FindLinearRecurrence[Drop[seq,3]]//Head//Timing

FindGeneratingFunction[seq,x]//Head//Timing

LaplacianPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"LaplacianPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[poly]

coef=Factor/@FindPolynomialRecurrence[poly,6]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

Table[n x(3x+2)-2x^2+1,{n,10}]

FullSimplify[%-poly]

LeafCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"LeafCount"],{n,2,6}]

Likelihood

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Likelihood"],{n,2,6}]

LongestCycleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"LongestCycleCount"],{n,2,6}]

LongestPathLength

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"LongestPathLength"],{n,2,6}]

LongestPathCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"LongestPathCount"],{n,2,6}]

LovaszNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"LovaszNumber"],{n,2,6}]

MatchingGeneratingPolynomial

Factor@(poly=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MatchingGeneratingPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

CoefficientList[Take[poly,5],x]

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

Simplify[SeriesCoefficient[gf,{z,0,n}],n>2]

Table[(1/(((1+4 x))^(3/2)))(2^(-n)) (-n x (2+7 x) ((((1-(Sqrt[1+4 x])))^n)-(((1+(Sqrt[1+4 x])))^n))+(n^2) (x^2) (Sqrt[1+4 x]) ((((1-(Sqrt[1+4 x])))^n)+(((1+(Sqrt[1+4 x])))^n))+(((1+4 x))^(3/2)) ((((1-(Sqrt[1+4 x])))^n)+(((1+(Sqrt[1+4 x])))^n))),{n,5}]//Factor

Table[(1/(((1+4 x))^(3/2)))(2^(-n)) (-n x (2+7 x) ((((1-(Sqrt[1+4 x])))^n)-(((1+(Sqrt[1+4 x])))^n))+((((1+4 x))^(3/2))+(n^2) (x^2) (Sqrt[1+4 x]) )((((1-(Sqrt[1+4 x])))^n)+(((1+(Sqrt[1+4 x])))^n))),{n,5}]//Factor

MatchingNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MatchingNumber"],{n,2,6}]

FullSimplify[FindSequenceFunction[seq,n],n∈Integers]

MatchingPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MatchingPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

SeriesCoefficient[gf,{z,0,n}]

MaximalCliqueCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximalCliqueCount"],{n,2,6}]

FindSequenceFunction[Rest@seq,n]

MaximalIndependencePolynomial

(poly=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximalIndependencePolynomial"],{n,2,6}]/.f_Function:>f[x])//Column

MaximalIndependentEdgeSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximalIndependentEdgeSetCount"],{n,2,6}]

(seq=Table[Length@FindAllMaximalIndependentEdgeSets[AlternatingGroupalGraph[n]],{n,3,35}])//Timing

coef=FindLinearRecurrence[seq]

Length[coef]

LinearRecurrence[coef,Take[seq,Length@coef],{-1,20}]//Take[#,13]&

seq=LinearRecurrence[{0,5,3,-10,-12,7,18,4,-11,-8,1,3,1},{2,4,12,14,40,56,112,178,306,482,792,1214,1924},40]

FindSequenceFunction[Drop[seq,2],n-4]//Head//Timing

gf=x FindGeneratingFunction[seq,x,ValidationLength->5]

CoefficientList[Series[-((2 (1+2 x+(x^2)-6 (x^3)-6 (x^4)+7 (x^5)+12 (x^6)-(x^7)-9 (x^8)-6 (x^9)+2 (x^11)+(x^12)))/((((-1+(x^2)))^2) (((-1+(x^2)+(x^3)))^3))),{x,0,20}],x]

Refine[SeriesCoefficient[gf,{x,0,n}],n>0&&n∈Integers]

MaximalIndependentVertexSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximalIndependentVertexSetCount"],{n,2,6}]

FindSequenceFunction[seq,n]//FullSimpify

gf=(x^3)FindGeneratingFunction[seq,x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>2]

MaximalIrredundantSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximalIrredundantSetCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@Drop[seq,2],n-4]//Head//Timing

FindLinearRecurrence[DeleteMissing@Drop[seq,2]]//Head//Timing

FindGeneratingFunction[seq,x,ValidationLength->5]//Head//Timing

MaximumCliqueCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximumCliqueCount"],{n,2,6}]

FindSequenceFunction[Rest@seq,n]

MaximumIndependentEdgeSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximumIndependentEdgeSetCount"],{n,2,6}]

gf=(x^3)FindGeneratingFunction[seq,x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>2]

MaximumIndependentVertexSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximumIndependentVertexSetCount"],{n,2,6}]

gf=(x^3)FindGeneratingFunction[seq,x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>2]

MaximumIrredundantSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximumIrredundantSetCount"],{n,2,6}]

FindGeneratingFunction[DeleteMissing@seq,x]//Head//Timing

FindSequenceFunction[DeleteMissing@seq,n]//Head//Timing

MaximumLeafNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximumLeafNumber"],{n,2,6}]

FindSequenceFunction[DeleteMissing@Rest@seq,n-3]

MaximumVertexDegree

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MaximumVertexDegree"],{n,2,6}]

MeanDistance

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MeanDistance"],{n,2,6}]

FindSequenceFunction[seq,n]//Factor

MinimalDominatingSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimalDominatingSetCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@Rest@seq,n-3]

gf=(x^3)FindGeneratingFunction[seq,x]

Refine[SeriesCoefficient[gf,{x,0,n}],n>3]

MinimalDominatingSetSignature

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimalDominatingSetSignature"],{n,2,6}]//Column

FindSequenceFunction[DeleteMissing@seq,n]//Factor

MinimalEdgeCoverCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimalEdgeCoverCount"],{n,2,6}]

seq={1,6,24,74,180,464,1113,2646,6360,15222,36795,89584,219635,542320,1346881,3361998,8427172,21195416,53455740,135112332,342093443,867325032,2201286622,5591469852,14211796995,36139507614,91934054637,233934039872,595393224041,1515602413390};

seq=Rest@CoefficientList[Series[x*(1+x)*(1+x-2*x^2-14*x^3-39*x^4+63*x^5+69*x^6+55*x^7-39*x^8-85*x^9-118*x^10-102*x^11-63*x^12-27*x^13-7*x^14-x^15)/((1-x^2-x^3)^3*(1-x-x^2-x^3)^2*(1-2*x-x^2-x^3)),{x,0,50}],x]

coef=FindLinearRecurrence[seq]

Length[coef]

Take[seq,18]

LinearRecurrence[{4,1,-12,-15,24,49,6,-73,-76,5,80,72,14,-30,-34,-19,-6,-1},{1,6,24,74,180,464,1113,2646,6360,15222,36795,89584,219635,542320,1346881,3361998,8427172,21195416},30]

FindSequenceFunction[seq,n]

gf=x Factor@FindGeneratingFunction[seq,x,ValidationLength->5]

CoefficientList[Series[-(((1+x) (-1-x+2 (x^2)+14 (x^3)+39 (x^4)-63 (x^5)-69 (x^6)-55 (x^7)+39 (x^8)+85 (x^9)+118 (x^10)+102 (x^11)+63 (x^12)+27 (x^13)+7 (x^14)+(x^15)))/((((-1+(x^2)+(x^3)))^3) (((-1+x+(x^2)+(x^3)))^2) (-1+2 x+(x^2)+(x^3)))),{x,0,20}],x]

Series[gf,{x,0,20}]

res=Refine[SeriesCoefficient[gf,{x,0,n}],n>0&&n∈Integers]

MinimalTotalDominatingSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimalTotalDominatingSetCount"],{n,2,6}]

seq={2,4,9,12,15,21,21,20,30,45,44,49,65,77,98,132,153,180,247,329,409,528,690,889,1180,157637,2657,3538,4684,6169,8164,10783,14229,18877,25036,33078,43757,57996,76809,101721,134773,178450,236284,313097,414828,549383};

coef=FindLinearRecurrence[seq]

Length[coef]

Take[seq,Length[coef]]

LinearRecurrence[{2,-1,1,-1,0,0,-1,0,1,1,-1},{2,4,9,12,15,21,21,20,30,45,44},20]

FindSequenceFunction[seq,n]

gf=x FindGeneratingFunction[seq,x,ValidationLength->5]

CoefficientList[Series[((2+3 (x^2)-4 (x^3)-2 (x^4)-2 (x^5)-9 (x^6)-2 (x^7)+9 (x^8)+12 (x^9)-9 (x^10))/((((-1+x))^2) (1-(x^3)-(x^4)-(x^5)-(x^6)+(x^8)+(x^9)))),{x,0,20}],x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n∈Integers&&n>0]

Table[2 n+RootSum[-1-#1+((#1)^3)&,#^n&]+(1+(((-1))^n)) (Root[1-#1+((#1)^3)&,2] (((Root[-1+((#1)^2)+((#1)^3)&,1])^((2+n)/2))-((Root[-1+((#1)^2)+((#1)^3)&,2])^((2+n)/2)))+Root[1-#1+((#1)^3)&,3] (((Root[-1+((#1)^2)+((#1)^3)&,1])^((2+n)/2))-((Root[-1+((#1)^2)+((#1)^3)&,3])^((2+n)/2)))),{n,20}]//RootReduce

Table[(Root[1-#1+((#1)^3)&,2] (((Root[-1+((#1)^2)+((#1)^3)&,1])^((2+n)/2))-((Root[-1+((#1)^2)+((#1)^3)&,2])^((2+n)/2)))+Root[1-#1+((#1)^3)&,3] (((Root[-1+((#1)^2)+((#1)^3)&,1])^((2+n)/2))-((Root[-1+((#1)^2)+((#1)^3)&,3])^((2+n)/2)))),{n,2,30,2}]//RootReduce

Table[RootSum[-1-#+#^3&,((#)^(-n))&],{n,20}]

Table[2 n+RootSum[-1-#1+((#1)^3)&,#^n&]+(1+(((-1))^n)) RootSum[-1-#+#^3&,((#)^(-n/2))&],{n,20}]

MinimumCoveringsByMaximalCliquesCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumCoveringsByMaximalCliquesCount"],{n,2,6}]

seq={1,4,30,12,98,28,270,60,682,124,1638,252,3810,508,8670,1020,19418,2044,42966,4092,94162,8188,204750,16380,442314,32764,950214,65532,2031554,131068,4325310,262140,9174970,524284,19398582,1048572,40894386,2097148,85983150};

Join[{1},Table[If[Mod[n,2]==0,2,n](2^Ceiling[n/2]-2),{n,4,20}]]

Table[Piecewise[{{1,n==3},{2(2^Ceiling[n/2]-2),Mod[n,2]==0},{(2^Ceiling[n/2]-2)n,Mod[n,2]==1}}],{n,2,6}]

FindSequenceFunction[DeleteMissing@Drop[seq,1],n-3]//Head//Timing

coef=FindLinearRecurrence[DeleteMissing@Drop[seq,1]]

Length@coef

Take[seq,1+{1,8}]

Join[{1},LinearRecurrence[{0,6,0,-13,0,12,0,-4},{4,30,12,98,28,270,60,682},20]]

gf=(x^3)FindGeneratingFunction[seq,x]

CoefficientList[Series[((1+4 x+24 (x^2)-12 (x^3)-69 (x^4)+8 (x^5)+60 (x^6)-20 (x^8))/(((1-3 (x^2)+2 (x^4)))^2)),{x,0,20}],x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>3&&n∈Integers]

MinimumConnectedDominatingSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumConnectedDominatingSetCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@Drop[seq,2],n-4]//FullSimplify

MinimumDistinguishingLabelingCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumDistinguishingLabelingCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@seq,n]

FindGeneratingFunction[DeleteCases[seq,_Missing],x]

MinimumDominatingSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumDominatingSetCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@Drop[seq,4],n-6]//Factor

MinimumEdgeCoverCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumEdgeCoverCount"],{n,2,6}]

seq={1,2,21,8,85,18,217,32,441,50,781,72,1261,98,1905,128,2737,162,3781,200,5061,242,6601,288,8425,338,10557,392,13021,450,15841,512,19041,578,22645,648,26677,722,31161,800,36121,882,41581,968,47565,1058,54097,1152};

FullSimplify[FindSequenceFunction[seq,n],n∈Integers]

coef=FindLinearRecurrence[seq]

Length[coef]

Take[seq,8]

LinearRecurrence[{0,4,0,-6,0,4,0,-1},{1,2,21,8,85,18,217,32},20]

Table[Floor[(n+3)/2],{n,20}]

gf=x FindGeneratingFunction[seq,x]

CoefficientList[Series[((1+2 x+17 (x^2)+7 (x^4)-2 (x^5)-(x^6))/(((-1+(x^2)))^4)),{x,0,20}],x]

Refine[SeriesCoefficient[gf,{x,0,n}],n>0]

Table[n ((n^2)+3n-1-(((-1))^n) ((n^2)+n-1))/4,{n,20}]

MinimumTotalDominatingSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumTotalDominatingSetCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@Drop[seq,2],n-4]

MinimumVertexCoverCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumVertexCoverCount"],{n,2,6}]

MinimumVertexDegree

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MinimumVertexDegree"],{n,2,6}]

MolecularTopologicalIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"MolecularTopologicalIndex"],{n,2,6}]

FindLinearRecurrence[seq

FindSequenceFunction[seq,n]//Factor

Nonhamiltonian

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Nonhamiltonian"],{n,2,6}]

OddChordlessCycleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"OddChordlessCycleCount"],{n,2,6}]

PathCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"PathCount"],{n,2,6}]

FindSequenceFunction[DeleteMissing@seq,n]//Factor

PathPolynomial

(poly=Factor[Table[GraphData[{"AlternatingGroupCayleyGraph",n},"PathPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x]])//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

poly2=Table[XXX,{n,k0,kmax}]

FullSimplify[poly2-poly]

PentagonCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"PentagonCount"],{n,2,6}]

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],5],{n,8}])//Timing

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],5],{n,9}])//Timing

Planar

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Planar"],{n,2,6}]

ProjectivePlaneCrossingNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ProjectivePlaneCrossingNumber"],{n,2,6}]

Radius

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Radius"],{n,2,6}]

RankPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"RankPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x,y])

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

Simplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

SeriesCoefficient[gf,{z,0,n}]

RectilinearCrossingNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"RectilinearCrossingNumber"],{n,2,6}]

ReliabilityPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ReliabilityPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

FullSimplify[poly2-poly]

ShannonCapacity

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ShannonCapacity"],{n,2,6}]

SigmaPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"SigmaPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

Table[n x(3x+2)-2x^2+1,{n,10}]

FullSimplify[%-poly]

Skewness

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Skewness"],{n,2,6}]

SpanningTreeCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"SpanningTreeCount"],{n,2,6}]

FindSequenceFunction[seq,n]//FullSimplify

SquareCount

A317487

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"SquareCount"],{n,2,6}]

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],4],{n,9}])//Timing

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],4],{n,10}])//Timing

FindLinearRecurrence[Drop[seq,3]]

FindSequenceFunction[Drop[seq,3],n-3]

FindGeneratingFunction[seq,x]

StabilityIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"StabilityIndex"],{n,2,6}]

TopologicalIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"TopologicalIndex"],{n,2,6}]

ToroidalCrossingNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"ToroidalCrossingNumber"],{n,2,6}]

TotalDominatingSetCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"TotalDominatingSetCount"],{n,2,6}]

FullSimplify[FindSequenceFunction[DeleteMissing@seq,n],n∈Integers]

TotalDominationNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"TotalDominationNumber"],{n,2,6}]

TotalDominationPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"TotalDominationPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

Traceable

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Traceable"],{n,2,6}]

Triameter

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Triameter"],{n,2,6}]

FindSequenceFunction[DeleteMissing@seq,n]

TriangleCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"TriangleCount"],{n,2,6}]

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],3],{n,8}])//Timing

(seq=Table[CycleCount[AlternatingGroupCayleyGraph[n],3],{n,9}])//Timing

TuttePolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"TuttePolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x,y])//Column

coef=Factor/@FindLinearRecurrence[DeleteMissing@poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

Refine[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

FullSimplify[SeriesCoefficient[gf,{z,0,n}],n>0]

FullSimplify[poly2-poly]

Untraceable

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"Untraceable"],{n,2,6}]

VertexConnectivity

Table[GraphData[{"AlternatingGroupCayleyGraph",n},"VertexConnectivity"],{n,2,6}]

VertexCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"V"],{n,2,6}]

FindSequenceFunction[seq,n-1]//FullSimplify

FunctionExpand[%]

Table[n!/2,{n,2,6}]

VertexCoverCount

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"VertexCoverCount"],{n,2,6}]

FindSequenceFunction[seq,n]

VertexCoverNumber

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"VertexCoverNumber"],{n,2,6}]

FindSequenceFunction[seq,n]//FullSimplify

gf=(x^3)FindGeneratingFunction[seq,x]

FullSimplify[SeriesCoefficient[gf,{x,0,n}],n>3]

VertexCoverPolynomial

(poly=Factor@Table[GraphData[{"AlternatingGroupCayleyGraph",n},"VertexCoverPolynomial"],{n,k0=1,kmax=6}]/.f_Function:>f[x])//Column

coef=Factor/@FindLinearRecurrence[poly]

ToPolynomialRecurrence[p,x,n,coef]

FormattedPolynomialRecurrence[p,x,n,coef]//TraditionalForm

TeXForm[%]

LinearRecurrence[coef,poly,{2-k0,Length[coef]-k0+1}]

FullSimplify[RSolve[Prepend[Table[p[k+k0-1,x]==poly[[k]],{k,Length[coef]}],ToPolynomialRecurrence[p,x,n,coef]],p[n,x],n],n∈Integers&&n>0]

gf=Factor[(z^k0)FindGeneratingFunction[poly,z]]

SeriesCoefficient[gf,{z,0,n}]

poly2=Table[LinearRecurrence[{x^2,2 x^3,x^4},{x^2,x^3 (4+x),x^4 (3+6 x+x^2)},{n}][[1]],{n,k0,20}]

FullSimplify[poly2-poly]

VertexDegrees

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"VertexDegrees"],{n,3,10}]

WienerIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"WienerIndex"],{n,2,6}]

FindSequenceFunction[seq,n]//Factor

WienerSumIndex

seq=Table[GraphData[{"AlternatingGroupCayleyGraph",n},"WienerSumIndex"],{n,2,6}]

(seq=Table[WienerSumIndex@AlternatingGroupalGraph[n],{n,3,40}])//Timing

FindSequenceFunction[Drop[seq,3],n-5]//Head//Timing

FindLinearRecurrence[Drop[seq,3]]//Head//Timing

FindGeneratingFunction[seq,x]//Head//Timing

Recognize

Standard Generators

gs=Table[UndirectedGraph[CayleyGraph[System`AlternatingGroup[n]]],{n,7}];//Timing

VertexCount/@gs

DeleteCases[rg=MapIndexed[RecognizeGraph[#1]->#2[[1]]&,gs],{}->_]

Cases[rg,HoldPattern[{}->_]]

Table[VertexCount[AlternatingGroupCayleyGraph2[n]],{n,3,7}]

Table[Max[VertexDegree[AlternatingGroupCayleyGraph2[n]]],{n,3,6}]

Table[AlternatingGroupCayleyGraph2[n],"Diameter"],{n,3,6}]

Jwo

RecognizeGraph/@Table[AlternatingGroupCayleyGraph[n],{n,3,7}]

VertexCount/@Table[AlternatingGroupCayleyGraph[n],{n,3,7}]

Table[n!/2,{n,3,7}]

Max[VertexDegree[#]]&/@Table[AlternatingGroupCayleyGraph[n],{n,3,6}]

Table[2(n-2),{n,3,6}]

GraphDiameter/@Table[AlternatingGroupCayleyGraph[n],{n,3,7}]

Table[Floor[3(n-2)/2],{n,3,7}]

Graphs from different sets of Generators

(Subscript[A, 3])

GroupGenerators[System`AlternatingGroup[3]]

elem=Rest[GroupElements[System`AlternatingGroup[3]]]

gs=PermutationGroup/@Rest[Subsets[elem]]

Union[RecognizeGraph/@(UndirectedGraph[CayleyGraph[#]]&/@gs)]

(Subscript[A, 4])

GroupGenerators[System`AlternatingGroup[4]]

Length[elem=Rest[GroupElements[System`AlternatingGroup[4]]]]

Length[gs=PermutationGroup/@Rest[Subsets[elem]]]

Length[gs2=Select[gs,GroupOrder[#]===GroupOrder[System`AlternatingGroup[4]]&]]

(graphs=Union[RecognizeGraph/@(UndirectedGraph[CayleyGraph[#]]&/@gs)])//Timing

Select[graphs,GraphData[#,"Disconnected"]&]

Hamiltonian Cycles

http://link.springer.com/article/10.1007/s11227-011-0614-4

claims

“we will show that any alternating group graph (Subscript[AG, n]) , where n≥3 is an integer, contains 2n−4 mutually independent Hamiltonian cycles.”

But this seems not to be the case :(

Table[2n-4,{n,3,5}]

3

OK for triangle graph:  {{1->2, 2->3, 3->1}, {1->3, 3->2, 2->1}}

4

Length[uc=GetGraphData[{"AlternatingGroupCayleyGraph",4},"UndirectedHamiltonianCycles"]]

Length[uc=FindHamiltonianCycle[GraphData[{"AlternatingGroupCayleyGraph",4}],All][[All,All,1]]]//Timing

2 4-4

Length[dc=DirectedCycles[uc]]

Using Edges

Length[de=Partition[#,2,1,1]&/@dc]

ide=Union[de,SameTest->(Intersection[#1,#2]=!={}&)]

ide[[All,All,1]]

Length[%]

only 3...

Using Vertices (what paper claims)

Length[dc]

dc[[All,1]]//Union

DigitsOverlapQ[d1_,d2_]:=(Or@@Equal@@@Transpose[{d1,d2}])

Union[Rest/@dc,SameTest->(DigitsOverlapQ[#1,#2]&)]

only 3...

Testing

6

g=AlternatingGroupCayleyGraph[6]

autog=AutomorphismGroup[g];

GroupOrder[autog]

PermutationList[#,720]&/@GroupElements[autog]

MaxMemoryUsed[]/10^6.

(5040/720)^2

7

g=AlternatingGroupCayleyGraph[7]

autog=AutomorphismGroup[g];

GroupOrder[autog]

PermutationList[#,5040]&/@GroupElements[autog]

5040^2

GraphData

GraphDataClassString

GraphDataClassString["AlternatingGroupCayleyGraph"]

GraphDataString

file=OpenAppend["~/alternating.m"]

Do[WriteString[file,
GraphDataString[
AlternatingGroupCayleyGraph[n],
"StandardName"->{"AlternatingGroupCayleyGraph",n},
"Name"->ToString[n]<>"-alternating group graph",
"Vertices"->None,
"Information"->"AlternatingGroupCayleyGraph",
"Skip"->{"ChromaticPolynomial","ClawFree","Line"},
"Classes"->{"AlternatingGroupCayleyGraph","CayleyGraph"},
"NotationRules"->{"AlternatingGroupCayleyGraph"->n},
TimeConstraint->10,
Debug->True]],{n,7,7}]

Close[file]