Search results for " graph"

showing 10 items of 1277 documents

Degree sequences of highly irregular graphs

1997

AbstractWe call a simple graph highly irregular if each of its vertices is adjacent only to vertices with distinct degrees. In this paper we examine the degree sequences of highly irregular graphs. We give necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a highly irregular graph.

Discrete mathematicsCombinatoricsSequenceLoop (graph theory)Simple graphDegree (graph theory)Frequency partition of a graphHighly irregular graphBiregular graphDiscrete Mathematics and CombinatoricsTheoretical Computer ScienceMathematicsMathematicsofComputing_DISCRETEMATHEMATICSDiscrete Mathematics
researchProduct

On the family ofr-regular graphs with Grundy numberr+1

2014

Abstract The Grundy number of a graph G , denoted by Γ ( G ) , is the largest k such that there exists a partition of V ( G ) , into k independent sets V 1 , … , V k and every vertex of V i is adjacent to at least one vertex in V j , for every j i . The objects which are studied in this article are families of r -regular graphs such that Γ ( G ) = r + 1 . Using the notion of independent module, a characterization of this family is given for r = 3 . Moreover, we determine classes of graphs in this family, in particular, the class of r -regular graphs without induced C 4 , for r ≤ 4 . Furthermore, our propositions imply results on the partial Grundy number.

Discrete mathematicsCombinatoricsVertex (graph theory)Grundy numberDiscrete Mathematics and CombinatoricsPartition (number theory)Regular graphGraphTheoretical Computer ScienceMathematicsDiscrete Mathematics
researchProduct

An exact, complete and efficient implementation for computing planar maps of quadric intersection curves

2005

We present the first exact, complete and efficient implementation that computes for a given set P=p1,...,pn of quadric surfaces the planar map induced by all intersection curves p1∩ pi, 2 ≤ i ≤ n, running on the surface of p1. The vertices in this graph are the singular and x-extreme points of the curves as well as all intersection points of pairs of curves. Two vertices are connected by an edge if the underlying points are connected by a branch of one of the curves. Our work is based on and extends ideas developed in [20] and [9].Our implementation is complete in the sense that it can handle all kind of inputs including all degenerate ones where intersection curves have singularities or pa…

Discrete mathematicsCombinatoricssymbols.namesakeGeometric designQuadricDegenerate energy levelsAlgebraic surfaceFamily of curvessymbolsGravitational singularityAlgebraic curveMathematicsPlanar graphProceedings of the twenty-first annual symposium on Computational geometry
researchProduct

Enumerating the Walecki-Type Hamiltonian Cycle Systems

2017

Let Kv be the complete graph on v vertices. A Hamiltonian cycle system of odd order v (briefly HCS(v)) is a set of Hamiltonian cycles of Kv whose edges partition the edge set of Kv. By means of a slight modification of the famous HCS(4n+1) of Walecki, we obtain 2n pairwise distinct HCS(4n+1) and we enumerate them up to isomorphism proving that this is equivalent to count the number of binary bracelets of length n, i.e. the orbits of Dn, the dihedral group of order 2n, acting on binary n-tuples.

Discrete mathematicsComplete graphBinary number020206 networking & telecommunications0102 computer and information sciences02 engineering and technologyDihedral group01 natural sciencesHamiltonian pathCombinatoricssymbols.namesake010201 computation theory & mathematicsPhysics::Space Physics0202 electrical engineering electronic engineering information engineeringsymbolsDiscrete Mathematics and CombinatoricsPartition (number theory)Hamiltonian (quantum mechanics)MathematicsJournal of Combinatorial Designs
researchProduct

About Graph Complements

2020

Summary This article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].

Discrete mathematicsComputational Mathematicsgraph complementApplied MathematicsQA1-93905c76Graph (abstract data type)loop68v20MathematicsComplement graphMathematicsofComputing_DISCRETEMATHEMATICSMathematicsFormalized Mathematics
researchProduct

Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity

2016

Span program is a linear-algebraic model of computation which can be used to design quantum algorithms. For any Boolean function there exists a span program that leads to a quantum algorithm with optimal quantum query complexity. In general, finding such span programs is not an easy task. In this work, given a query access to the adjacency matrix of a simple graph G with n vertices, we provide two new span-program-based quantum algorithms:an algorithm for testing if the graph is bipartite that uses $$On\sqrt{n}$$ quantum queries;an algorithm for testing if the graph is connected that uses $$On\sqrt{n}$$ quantum queries.

Discrete mathematicsComputer scienceExistential quantificationModel of computationTheoryofComputation_GENERALComputerSystemsOrganization_MISCELLANEOUSBipartite graphGraph (abstract data type)Quantum algorithmAdjacency matrixBoolean functionQuantumComputer Science::DatabasesMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Using Search Algorithms for Modeling Economic Processes

2013

Abstract Economic issues are placed in formal practice, when is desired a modelling of the economic process, a manufacturing process, a device, etc. Each share of that economic process is denoted by a, b, c, d, these actions with defined time periods and action pairs are formed strings of the form, ab * cab * bc ., ab, bb, bc. so for them there are no other restrictions. If the graph is viewed as a system image, nodes representing components, then an immediate interpretation of an arc (xi, xj) are the component xi that is said to directly influence component xj. If nodes have the significance of possible states of a system when a spring (xi.xj) means that, the system can jump from state xi …

Discrete mathematicsComputer scienceGeneral EngineeringEnergy Engineering and Power TechnologyState (functional analysis)Directed graphGraphInterpretation (model theory)AlgorithmSearch algorithmComponent (UML)Economic Process.System imageGraph (abstract data type)Operations managementFinite setModelProcedia Economics and Finance
researchProduct

On the regularity of circular splicing languages : A survey and new developments

2009

Circular splicing has been introduced to model a specific recombinant behaviour of circular DNA, continuing the investigation initiated with linear splicing. In this paper we focus on the relationship between regular circular languages and languages generated by finite circular splicing systems. We survey the known results towards a characterization of the intersection between these two classes and provide new contributions on the open problem of finding this characterization. First, we exhibit a non-regular circular language generated by a circular simple system thus disproving a known result in this area. Then we give new results related to a restrictive class of circular splicing systems…

Discrete mathematicsComputer scienceOpen problemINF/01 - INFORMATICAGraph theoryCircular wordMolecular computingComputer Science ApplicationsGraph theoryAutomata theory Circular words Formal languages Graph theory Molecular computing Splicing systemsIntersectionFormal languageTheory of computationGraph (abstract data type)CographFormal languageSplicing systemComplement (set theory)Automata theory
researchProduct

When can association graphs admit a causal interpretation?

1994

We discuss essentially linear structures which are adequately represented by association graphs called covariance graphs and concentration graphs. These do not explicitly indicate a process by which data could be generated in a stepwise fashion. Therefore, on their own, they do not suggest a causal interpretation. By contrast, each directed acyclic graph describes such a process and may offer a causal interpretation whenever this process is in agreement with substantive knowledge about causation among the variables under study. We derive conditions and procedures to decide for any given covariance graph or concentration graph whether all their pairwise independencies can be implied by some …

Discrete mathematicsComputer sciencePairwise comparisonCausationCovarianceDirected acyclic graphUndirected graphAlgorithmGraph
researchProduct

A Potential Field Function for Overlapping Point Set and Graph Cluster Visualization

2015

In this paper we address the problem of visualizing overlapping sets of points with a fixed positioning in a comprehensible way. A standard visualization technique is to enclose the point sets in isocontours generated by bounding a potential field function. The most commonly used functions are various approximations of the Gaussian distribution. Such an approach produces smooth and appealing shapes, however it may produce an incorrect point nesting in generated regions, e.g. some point is contained inside a foreign set region. We introduce a different potential field function that keeps the desired properties of Gaussian distribution, and in addition guarantees that every point belongs to a…

Discrete mathematicsComputer sciencebusiness.industryGaussianGraph of a functionMixed graphFunction (mathematics)Strength of a graphGraphSet (abstract data type)symbols.namesakesymbolsGraph (abstract data type)Point (geometry)Artificial intelligencebusinessAlgorithm
researchProduct