Search results for "Data type"

showing 10 items of 1183 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

Algebraic Structures of Rough Sets in Representative Approximation Spaces

2003

Abstract In this paper a generalized notion of an approximation space is considered. By an approximation space we mean an ordered pair (U, C ), where U is a finite nonempty set and C is a covering of U. According to connections between rough sets and concepts we define two types of approximation operations. Hence we obtain two families of rough sets. We show that these families form lattices in special types of representative approximation spaces. The operations on rough sets defined in the above lattices are analogous to classical operations on sets.

Discrete mathematicsGeneral Computer ScienceAlgebraic structureRough setsSpace (mathematics)representative approximation spaceTheoretical Computer ScienceSet (abstract data type)Ordered pairalgebra of rough sets.Rough setapproximation operationsMathematicsComputer Science(all)Electronic Notes in Theoretical Computer Science
researchProduct

The mixed general routing polyhedron

2003

[EN] In Arc Routing Problems, ARPs, the aim is to find on a graph a minimum cost traversal satisfying some conditions related to the links of the graph. Due to restrictions to traverse some streets in a specified way, most applications of ARPs must be modeled with a mixed graph. Although several exact algorithms have been proposed, no polyhedral investigations have been done for ARPs on a mixed graph. In this paper we deal with the Mixed General Routing Problem which consists of finding a minimum cost traversal of a given link subset and a given vertex subset of a mixed graph. A formulation is given that uses only one variable for each link (edge or arc) of the graph. Some properties of the…

Discrete mathematicsGeneral MathematicsArc RoutingMixed graphFacetsPolyhedral combinatoricsRural Postman Problemlaw.inventionGeneral Routing ProblemCombinatoricsTree traversalMixed Chinese Postman ProblemlawroutingGraph traversalGraph (abstract data type)Destination-Sequenced Distance Vector routingMATEMATICA APLICADACircle graphArc routingSoftwareMathematicsofComputing_DISCRETEMATHEMATICSMathematicsPolyhedral graph
researchProduct

L -valued bornologies on powersets

2016

In M. Abel and A. ostak (2011) [1], the concept of an L-fuzzy bornology was introduced. Actually, an L-fuzzy bornology on a set X is a certain ideal in the family LX of L-fuzzy subsets of a set X. Here we propose an alternative approach to fuzzification of the concept of bornology. We define an L-valued bornology on a set X as an L-fuzzy subset B of the powerset 2X satisfying L-valued analogues of the axioms of a bornology. Basic properties of L-valued bornological spaces are studied. Our special interest concerns L-valued bornologies induced by fuzzy metrics and relative compactness-type L-valued bornologies in ChangGoguen L-topological spaces.

Discrete mathematicsIdeal (set theory)Logic010102 general mathematicsFuzzy set02 engineering and technology01 natural sciencesFuzzy logicFuzzy topologyAlgebraSet (abstract data type)Artificial Intelligence0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing0101 mathematicsAxiomMathematicsFuzzy Sets and Systems
researchProduct

JH-Operators and Occasionally Weakly g-Biased Pairs in Fuzzy Symmetric Spaces

2013

We introduce the notions of $\mathcal{JH}$-operators and occasionally weakly $g$-biased mappings in fuzzy symmetric spaces to prove common fixed point theorems for self-mappings satisfying a generalized mixed contractive condition. We also prove analogous results for two pairs of $\mathcal{JH}$-operators by assuming symmetry only on the set of points of coincidence. These results unify, extend and complement many results existing in the recent literature. We give also an application of our results to product spaces.

Discrete mathematicsJH-operatorPure mathematicsFuzzy metric spacelcsh:QA299.6-433lcsh:AnalysisJH-operatorsOccasionally weakly g-biased pairs.Fuzzy logicCoincidenceFuzzy metric spaceSet (abstract data type)Occasionally weakly g-biased pairs"/>Settore MAT/05 - Analisi MatematicaProduct (mathematics)Common fixed pointSymmetry (geometry)Fuzzy symmetric spaceComplement (set theory)MathematicsJournal of Nonlinear Analysis and Application
researchProduct

Reconstruction of L-convex Polyominoes.

2003

Abstract We introduce the family of L-convex polyominoes, a subset of convex polyominoes whose elements satisfy a special convexity property. We develop an algorithm that reconstructs an L-convex polyomino from the set of its maximal L-polyominoes.

Discrete mathematicsMathematics::CombinatoricsProperty (philosophy)PolyominoApplied MathematicsRegular polygonPolyominoesComputer Science::Computational GeometryConvexityCombinatoricsSet (abstract data type)Computer Science::Discrete MathematicsDiscrete Mathematics and CombinatoricsComputer Science::Formal Languages and Automata TheoryMathematics
researchProduct

Optimal paths in weighted timed automata

2004

AbstractWe consider the optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this optimization problem consists of reducing it to computing (parametric) shortest paths in a finite weighted directed graph. We call this graph a parametric sub-region graph. It refines the region graph, a standard tool for the analysis of timed automata, by adding the information which is relevant to solving the optimal-reachability problem. We present an algorithm to solve the optimal-reachability problem for weighted timed automata that takes time exponential in O(n(|δ(A)|+|wmax|)), where n is the number of clock…

Discrete mathematicsModel checkingHybrid systemsOptimization problemGeneral Computer ScienceComputer scienceOptimal reachabilityTimed automatonBüchi automatonDirected graphTheoretical Computer ScienceAutomatonCombinatoricsDeterministic automatonReachabilityShortest path problemState spaceAutomata theoryGraph (abstract data type)Two-way deterministic finite automatonTimed automataAlgorithmComputer Science::Formal Languages and Automata TheoryComputer Science(all)Mathematics
researchProduct

Fine and Wilf's Theorem for Three periods and a Generalization of Sturmian Words

1999

AbstractWe extend the theorem of Fine and Wilf to words having three periods. We then define the set 3-PER of words of maximal length for which such result does not apply. We prove that the set 3-PER and the sequences of complexity 2n + 1, introduced by Arnoux and Rauzy to generalize Sturmian words, have the same set of factors.

Discrete mathematicsPeriodicityEuclid's algorithmCombinatorics on wordsGeneral Computer ScienceGeneralizationSturmian wordSturmian wordsTheoretical Computer ScienceCombinatoricsSet (abstract data type)Combinatorics on wordsWord lengthComputer Science(all)Mathematics
researchProduct

A fractal set from the binary reflected Gray code

2005

The permutation associated with the decimal expression of the binary reflected Gray code with $N$ bits is considered. Its cycle structure is studied. Considered as a set of points, its self-similarity is pointed out. As a fractal, it is shown to be the attractor of a IFS. For large values of $N$ the set is examined from the point of view of time series analysis

Discrete mathematicsPermutation (music)FísicaGeneral Physics and AstronomyBinary numberFOS: Physical sciencesStatistical and Nonlinear PhysicsNonlinear Sciences - Chaotic DynamicsDecimalGray codeSet (abstract data type)FractalAttractorPoint (geometry)Chaotic Dynamics (nlin.CD)Mathematical PhysicsMathematics
researchProduct