Search results for "computational geometry"

showing 10 items of 139 documents

Combinatorial aspects of L-convex polyominoes

2007

We consider the class of L-convex polyominoes, i.e. those polyominoes in which any two cells can be connected with an ''L'' shaped path in one of its four cyclic orientations. The paper proves bijectively that the number f"n of L-convex polyominoes with perimeter 2(n+2) satisfies the linear recurrence relation f"n"+"2=4f"n"+"1-2f"n, by first establishing a recurrence of the same form for the cardinality of the ''2-compositions'' of a natural number n, a simple generalization of the ordinary compositions of n. Then, such 2-compositions are studied and bijectively related to certain words of a regular language over four letters which is in turn bijectively related to L-convex polyominoes. In …

Discrete mathematicsClass (set theory)Mathematics::CombinatoricsPolyominoEnumerationOpen problemGenerating functionRegular polygonPolyominoesNatural numberComputer Science::Computational GeometryFormal SeriesCombinatoricsCardinalityRegular languageDiscrete Mathematics and CombinatoricsTomographyAlgorithmsbinary tomographyMathematicsEnumeration; Formal Series; PolyominoesEuropean Journal of Combinatorics
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

Finite linear spaces in which any n-gon is euclidean

1986

Abstract An n-gon of a linear space is a set S of n points no three of which are collinear. By a diagonal point of S we mean a point p off S with the property that at least two lines through p intersect S in two points. The number of diagonal points is called the type of S. For example, a 4-gon has at most three diagonal points. We call an n-gon euclidean if (roughly speaking) it contains the maximal possible number of 4-gons of type 3. In this paper, we characterize all finite linear spaces in which, for a fixed number n ⩾ 5, any n-gon is euclidean. It turns out that these structures are essentially projective spaces or punctured projective spaces.

Discrete mathematicsLinear spaceDiagonalComputer Science::Computational GeometryEuclidean distance matrixTheoretical Computer ScienceCombinatoricsEuclidean geometryHomographyAffine spaceMathematics::Metric GeometryDiscrete Mathematics and CombinatoricsPoint (geometry)Linear separabilityMathematicsDiscrete Mathematics
researchProduct

Ordering and Convex Polyominoes

2005

We introduce a partial order on pictures (matrices), denoted by ≼ that extends to two dimensions the subword ordering on words. We investigate properties of special families of discrete sets (corresponding to {0,1}-matrices) with respect to this partial order. In particular we consider the families of polyominoes and convex polyominoes and the family, recently introduced by the authors, of L-convex polyominoes. In the first part of the paper we study the closure properties of such families with respect to the order. In particular we obtain a new characterization of L-convex polyominoes: a discrete set P is a L-convex polyomino if and only if all the elements Q≼P are polyominoes. In the seco…

Discrete mathematicsMathematics::CombinatoricsPolyominoBinary relationRegular polygonConvex setDiscrete geometryMonotonic functionPartial OrderComputer Science::Computational GeometryMonotone FunctionCombinatoricsClosure PropertyBinary RelationFormal Language TheoryClosure (mathematics)Computer Science::Discrete MathematicsPartially ordered setComputer Science::Formal Languages and Automata TheoryMathematics
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

An exact and efficient approach for computing a cell in an arrangement of quadrics

2006

AbstractWe present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and provide the correct mathematical results in all, even degenerate, cases. By projection, the spatial problem is reduced to the one of computing planar arrangements of algebraic curves. We succeed in locating all event points in these arrangements, including tangential intersections and singular points. By introducing an additional curve, which we call the Jacobi curve, we are able to find non-singular tangential intersections. We show that the coordinates of the singular points in our special projected plana…

Discrete mathematicsPure mathematicsArrangementsControl and OptimizationFunction field of an algebraic varietyAlgebraic curvesMathematicsofComputing_NUMERICALANALYSISComputational geometryComputer Science ApplicationsComputational MathematicsComputational Theory and MathematicsJacobian curveAlgebraic surfaceComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONReal algebraic geometryAlgebraic surfacesExact algebraic computationAlgebraic functionGeometry and TopologyAlgebraic curveAlgebraic numberRobustnessMathematicsSingular point of an algebraic varietyComputational Geometry
researchProduct

"Table 5" of "Properties of hadronic Z decays and test of QCD generators"

1992

Planarity distribution.

E+ E- --> HADRONSE+ E- --> Z0E+ E- ScatteringExclusive91.2Single Differential DistributionComputer Science::Computational GeometryDN/DPLANARITY
researchProduct

"Table 6" of "Properties of hadronic Z decays and test of QCD generators"

1992

Planarity distribution.

E+ E- --> HADRONSE+ E- --> Z0E+ E- ScatteringExclusive91.2Single Differential DistributionComputer Science::Computational GeometryDN/DPLANARITY
researchProduct

Vacuum induced berry phase: Theory and experimental proposal

2003

We investigate quantum effects in geometric phases arising when a two-level system is interacting with a quantized electromagnetic field. When the system is adiabatically driven along a closed loop in the parameter space, signatures of the field quantization are observable in the geometric phase. We propose a feasible experiment to measure these effects in cavity QED and also analyse the semi-classical limit, recovering the usual Berry phase results.

Electromagnetic fieldPhysicsJaynes–Cummings modelVacuumGround stateMathematical transformationObservableParameter spaceComputational geometryAtomic and Molecular Physics and OpticsClosed loop control systemQuantization (physics)Mathematical operatorGeometric phaseConvergence of numerical methodQuantum electrodynamicsQuantum mechanicsElectromagnetic fieldBerry connection and curvatureFunctionClosed loopLight polarizationJournal of Modern Optics
researchProduct

REDUCTION OF CONSTRAINT SYSTEMS

1993

Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into well constrained, over-, and underconstrained subsystems. This paper also gives an efficient method to decompose well constrained systems into irreducible ones. These decompositions greatly speed up the resolution in case of reducible systems. They also allow debugging systems of constraints.

FOS: Computer and information sciencesDiscrete Mathematics (cs.DM)bipartite graphsmatchingperfect matching[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]maximum matching[INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG]geometric modelingComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONFOS: Mathematics[ INFO.INFO-CG ] Computer Science [cs]/Computational Geometry [cs.CG]Mathematics - CombinatoricsCombinatorics (math.CO)constraintsComputer Science - Discrete Mathematics
researchProduct