Search results for "Graph theory"

showing 10 items of 784 documents

On the Shuffle of Star-Free Languages

2012

Motivated by the general problem to characterize families of languages closed under shuffle, we investigate some conditions under which the shuffle of two star-free languages is star-free. Some of the special cases here approached give rise to new problems in combinatorics on words.

Discrete mathematicsAlgebra and Number TheorySettore INF/01 - Informaticapure submonoidGeneral problemAbstract family of languagesRegular languageComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Star (graph theory)star-free languageCone (formal languages)shuffle of languagePumping lemma for regular languagesTheoretical Computer ScienceCombinatorics on wordsComputational Theory and MathematicsRegular languagecombinatorics on words.Information SystemsMathematicsFundamenta Informaticae
researchProduct

Some properties of vertex-oblique graphs

2016

The type t G ( v ) of a vertex v ? V ( G ) is the ordered degree-sequence ( d 1 , ? , d d G ( v ) ) of the vertices adjacent with v , where d 1 ? ? ? d d G ( v ) . A graph G is called vertex-oblique if it contains no two vertices of the same type. In this paper we show that for reals a , b the class of vertex-oblique graphs G for which | E ( G ) | ? a | V ( G ) | + b holds is finite when a ? 1 and infinite when a ? 2 . Apart from one missing interval, it solves the following problem posed by Schreyer et?al. (2007): How many graphs of bounded average degree are vertex-oblique? Furthermore we obtain the tight upper bound on the independence and clique numbers of vertex-oblique graphs as a fun…

Discrete mathematicsClique-sumNeighbourhood (graph theory)020206 networking & telecommunications0102 computer and information sciences02 engineering and technology01 natural sciencesTheoretical Computer ScienceMetric dimensionCombinatoricsIndifference graphNew digraph reconstruction conjecture010201 computation theory & mathematicsChordal graphIndependent set0202 electrical engineering electronic engineering information engineeringDiscrete Mathematics and CombinatoricsBound graphirregular graphsindependence numbervertex-oblique graphslexicographic productMathematicsDiscrete Mathematics
researchProduct

Chromatic Sums for Colorings Avoiding Monochromatic Subgraphs

2013

Abstract Given graphs G and H, a vertex coloring c : V ( G ) → N is an H-free coloring of G if no color class contains a subgraph isomorphic to H. The H-free chromatic number of G, χ ( H , G ) , is the minimum number of colors in an H-free coloring of G. The H-free chromatic sum of G , Σ ( H , G ) , is the minimum value achieved by summing the vertex colors of each H-free coloring of G. We provide a general bound for Σ ( H , G ) , discuss the computational complexity of finding this parameter for different choices of H, and prove an exact formulas for some graphs G. For every integer k and for every graph H, we construct families of graphs, G k with the property that k more colors than χ ( …

Discrete mathematicsCombinatoricsGreedy coloringVertex (graph theory)Edge coloringApplied MathematicsDiscrete Mathematics and CombinatoricsMonochromatic colorChromatic scaleComplete coloringFractional coloringBrooks' theoremMathematicsElectronic Notes in Discrete Mathematics
researchProduct

A matrix of combinatorial numbers related to the symmetric groups

1979

For permutation groups G of finite degree we define numbers t"B(G)=|G|^-^[email protected]?"R"@?"[email protected]?"1(1a"1(g))^b^"^i, where B=(b"1,...,b"1) is a tuple of non-negative integers and a"1(g) denotes the number of i cycles in the element g. We show that t"B(G) is the number of orbits of G, acting on a set @D"B(G) of tuples of matrices. In the case G=S"n we get a natural interpretation for combinatorial numbers connected with the Stiring numbers of the second kind.

Discrete mathematicsCombinatoricsMatrix (mathematics)Degree (graph theory)Symmetric groupDiscrete Mathematics and CombinatoricsFunction compositionPermutation groupTupleElement (category theory)Theoretical Computer ScienceInterpretation (model theory)MathematicsDiscrete Mathematics
researchProduct

Symmetric identities in graded algebras

1997

Let P k be the symmetric polynomial of degree k i.e., the full linearization of the polynomial x k . Let G be a cancellation semigroup with 1 and R a G-graded ring with finite support of order n. We prove that if R 1 satisfies $ P_k \equiv 0 $ then R satisfies $ P_{kn} \equiv 0 $ .

Discrete mathematicsCombinatoricsPolynomial (hyperelastic model)Cancellative semigroupRing (mathematics)Symmetric polynomialDegree (graph theory)LinearizationGeneral MathematicsOrder (ring theory)Elementary symmetric polynomialMathematicsArchiv der Mathematik
researchProduct

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

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

Degree of monotonicity in aggregation process

2010

In this paper we introduce a fuzzy order relation notion in the description of aggregation process. Namely, we use the fuzzy order relation to define the degree of monotonicity, which is equal to 1 for a monotone function with respect to a crisp order relation. In that case, integration of fuzzy order relation allows us to generalize the notion of monotonicity and we try to investigate the benefits of using fuzzy relations instead of a crisp relation. Further we illustrate this definition by examples and study the properties of aggregation functions which have a certain degree of monotonicity.

Discrete mathematicsComputingMethodologies_PATTERNRECOGNITIONDegree (graph theory)Relation (database)Construction industryProcess (engineering)Fuzzy setApplied mathematicsOrder (group theory)Monotonic functionFuzzy logicMathematicsInternational Conference on Fuzzy Systems
researchProduct

Decidability of bisimulation equivalences for parallel timer processes

1993

In this paper an abstract model of parallel timer processes (PTPs), allowing specification of temporal quantitative constraints on the behaviour of real time systems, is introduced. The parallel timer processes are defined in a dense time domain and are able to model both concurrent (with delay intervals overlapping on the time axis) and infinite behaviour. Both the strong and weak (abstracted from internal actions) bisimulation equivalence problems for PTPs are proved decidable. It is proved also that, if one provides the PTP model additionally with memory cells for moving timer value information along the time axis, the bisimulation equivalence (and even the vertex reachability) problems …

Discrete mathematicsCounter machineBisimulationVertex (graph theory)ReachabilityComputer scienceTime domainTimerAlgorithmUndecidable problemDecidability
researchProduct