Search results for "Graph theory"

showing 10 items of 784 documents

Defining relations of minimal degree of the trace algebra of 3×3 matrices

2008

Abstract The trace algebra C n d over a field of characteristic 0 is generated by all traces of products of d generic n × n matrices, n , d ⩾ 2 . Minimal sets of generators of C n d are known for n = 2 and n = 3 for any d as well as for n = 4 and n = 5 and d = 2 . The defining relations between the generators are found for n = 2 and any d and for n = 3 , d = 2 only. Starting with the generating set of C 3 d given by Abeasis and Pittaluga in 1989, we have shown that the minimal degree of the set of defining relations of C 3 d is equal to 7 for any d ⩾ 3 . We have determined all relations of minimal degree. For d = 3 we have also found the defining relations of degree 8. The proofs are based …

Discrete mathematicsDefining relationsTrace algebrasAlgebra and Number TheoryTrace (linear algebra)Degree (graph theory)Matrix invariantsGeneral linear groupField (mathematics)Representation theoryCombinatoricsSet (abstract data type)AlgebraGeneric matricesInvariants of tensorsGenerating set of a groupMathematicsJournal of Algebra
researchProduct

Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics

2007

The original publication is available at www.springerlink.com ; ISBN 978-3-540-75519-7 ; ISSN 0302-9743 (Print) 1611-3349 (Online); International audience; We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, \ie surfaces of algebraic degree~2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the adjacency graph of the arrangement. Our implementation is {\em complete} in the sense that it can handle all kinds of…

Discrete mathematicsDegree (graph theory)ComputationDegenerate energy levelsACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms020207 software engineering010103 numerical & computational mathematics02 engineering and technology[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]01 natural sciencesACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: EfficiencyCombinatoricsIntersection0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)Adjacency listGravitational singularity0101 mathematicsAlgebraic numberACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysisMathematics
researchProduct

Refined Finiteness and Degree Properties in Graphs

2020

Summary In this article the finiteness of graphs is refined and the minimal and maximal degree of graphs are formalized in the Mizar system [3], based on the formalization of graphs in [4].

Discrete mathematicsDegree (graph theory)maximum degreeApplied Mathematicsgraph theory68v20vertex degree05c07Computational MathematicsQA1-939MathematicsMathematicsMathematicsofComputing_DISCRETEMATHEMATICSminimum degreeFormalized Mathematics
researchProduct

Polyhedral results for a vehicle routing problem

1991

Abstract The Vehicle Routing Problem is a well known, and hard, combinatorial problem, whose polyhedral structure has deserved little attention. In this paper we consider the particular case in which all the demands are equal (since in the general case the associated polytope may be empty). From a known formulation of the problem we obtain the dimension of the corresponding polytope and we study the facetial properties of every inequality in it.

Discrete mathematicsFacet (geometry)Information Systems and ManagementGeneral Computer ScienceDimension (graph theory)Structure (category theory)PolytopeManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringCombinatoricsModeling and SimulationVehicle routing problemRouting (electronic design automation)Integer programmingVertex enumeration problemMathematicsEuropean Journal of Operational Research
researchProduct

p-Length andp′-Degree Irreducible Characters Having Values in ℚp

2013

Let G be a p-solvable group of p-length l, where p is any prime. We show that G has at least 2 l irreducible characters of degree coprime to p and having values inside ℚ p . This generalizes a previous result for p = 2 [6] to arbitrary primes. With the same notation, we prove that if p is odd then G has at least 2 l Galois orbits of conjugacy classes of p-elements having values in ℚ p .

Discrete mathematicsFinite groupAlgebra and Number TheoryConjugacy classDegree (graph theory)Coprime integersGroup (mathematics)Mathematics::Number TheoryPrime (order theory)MathematicsCommunications in Algebra
researchProduct

Character sums and double cosets

2008

Abstract If G is a p-solvable finite group, P is a self-normalizing Sylow p-subgroup of G with derived subgroup P ′ , and Ψ is the sum of all the irreducible characters of G of degree not divisible by p, then we prove that the integer Ψ ( P ′ z P ′ ) is divisible by | P | for all z ∈ G . This answers a question of J. Alperin.

Discrete mathematicsFinite groupAlgebra and Number TheoryDegree (graph theory)Character theorySylow theoremsCommutator subgroupFinite groupsCombinatoricsCharacter (mathematics)IntegerDouble cosetsCosetCharacter theoryMcKay conjectureMathematicsJournal of Algebra
researchProduct

McKay natural correspondences on characters

2014

Let [math] be a finite group, let [math] be an odd prime, and let [math] . If [math] , then there is a canonical correspondence between the irreducible complex characters of [math] of degree not divisible by [math] belonging to the principal block of [math] and the linear characters of [math] . As a consequence, we give a characterization of finite groups that possess a self-normalizing Sylow [math] -subgroup or a [math] -decomposable Sylow normalizer.

Discrete mathematicsFinite groupAlgebra and Number TheoryDegree (graph theory)self-normalizing Sylow subgroup20C15Sylow theoremsBlock (permutation group theory)Characterization (mathematics)Centralizer and normalizerPrime (order theory)$p$-decomposable Sylow normalizerCombinatoricsMathematics::Group TheoryMcKay conjecture20C20MathematicsAlgebra & Number Theory
researchProduct

A Graph Based Algorithm For Intersection Of Subdivision Surfaces

2003

Computing surface intersections is a fundamental problem in geometric modeling. Any boolean operation can be seen as an intersection calculation followed by a selection of the parts necessary for building the surface of the resulting object. A robust and efficient algorithm to compute intersection on subdivision surfaces (surfaces generated by the Loop scheme) is proposed here. This algorithm relies on the concept of a bipartite graph which allows the reduction of the number of faces intersection tests. Intersection computations are accelerated by the use of the bipartite graph and the neighborhood of intersecting faces at a given level of subdivision to deduce intersecting faces at the fol…

Discrete mathematicsFoster graph[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS][ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM][INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Intersection number (graph theory)Intersection graphlaw.inventionCombinatorics[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]IntersectionlawHomeomorphism (graph theory)Subdivision surfaceCircle graphAlgorithmComputingMilieux_MISCELLANEOUS[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMethodologies_COMPUTERGRAPHICSMathematicsDistance-hereditary graph
researchProduct

On the hardness of optimization in power-law graphs

2008

Our motivation for this work is the remarkable discovery that many large-scale real-world graphs ranging from Internet and World Wide Web to social and biological networks appear to exhibit a power-law distribution: the number of nodes y"i of a given degree i is proportional to i^-^@b where @b>0 is a constant that depends on the application domain. There is practical evidence that combinatorial optimization in power-law graphs is easier than in general graphs, prompting the basic theoretical question: Is combinatorial optimization in power-law graphs easy? Does the answer depend on the power-law exponent @b? Our main result is the proof that many classical NP-hard graph-theoretic optimizati…

Discrete mathematicsGeneral Computer ScienceVertex coverPower-law graphsGraph construction algorithmsClique (graph theory)Theoretical Computer ScienceCombinatoricsIndifference graphDominating setChordal graphIndependent setNP-hardnessCombinatorial optimizationGraph optimization problemsMaximal independent setMathematicsComputer Science(all)Theoretical Computer Science
researchProduct

Bounds for minimum feedback vertex sets in distance graphs and circulant graphs

2008

Graphs and Algorithms

Discrete mathematicsGeneral Computer Science[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Neighbourhood (graph theory)[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Feedback arc setTheoretical Computer ScienceCombinatorics[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Circulant graphChordal graphIndependent setDiscrete Mathematics and CombinatoricsMaximal independent setFeedback vertex setRegular graph[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]MathematicsMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct