Search results for "Crete"

showing 10 items of 2495 documents

On t-covers in finite projective spaces

1979

A t-cover of the finite projective space PG(d,q) is a setS of t-dimensional subspaces such that any point of PG(d,q) is contained in at least one element ofS. In Theorem 1 a lower bound for the cardinality of a t-coverS in PG(d,q) is obtained and in Theorem 2 it is shown that this bound is best possible for all positive integers t,d and for any prime-power q.

Discrete mathematicsCollineationComplex projective spaceDuality (projective geometry)Projective spaceGeometry and TopologyProjective planeFano planeQuaternionic projective spaceUpper and lower boundsMathematicsJournal of Geometry
researchProduct

On the Soluble Graph of a Finite Simple Group

2013

The maximal independent sets of the soluble graph of a finite simple group G are studied and their independence number is determined. In particular, it is shown that this graph in many cases has an independent set with three vertices.

Discrete mathematicsCombinatoricsAlgebra and Number TheoryGraph powerCycle graphVoltage graphCubic graphStrength of a graphNull graphDistance-regular graphComplement graphMathematicsCommunications in Algebra
researchProduct

A Classification of all Symmetric Block Designs of Order Nine with an Automorphism of Order Six

2006

We complete the classification of all symmetric designs of order nine admitting an automorphism of order six. As a matter of fact, the classification for the parameters (35,17,8), (56,11,2), and (91,10,1) had already been done, and in this paper we present the results for the parameters (36,15,6), (40,13,4), and (45,12,3). We also provide information about the order and the structure of the full automorphism groups of the constructed designs. © 2005 Wiley Periodicals, Inc. J Combin Designs 14: 301–312, 2006

Discrete mathematicsCombinatoricsAutomorphism groupBlock (permutation group theory)Structure (category theory)Discrete Mathematics and CombinatoricsOuter automorphism groupOrder (group theory)symmetric design; automorphism groupSymmetric designAutomorphismMathematics
researchProduct

Thin bases of order h

2003

Abstract A subset A⊆ N 0 is called a basis of order h if every positive integer can be represented as a sum of h members of A . Thin bases of order h will be constructed in this paper, for each h ⩾2, where the value of lim sup A(n)/ n h is smaller than that of thin bases known so far. In the most important case h =2 it is shown that for the considered class of bases (which generalizes an ansatz of Stohr) the result is best possible up to an e >0.

Discrete mathematicsCombinatoricsClass (set theory)Algebra and Number TheoryIntegerOrder (group theory)Value (computer science)Basis (universal algebra)MathematicsAnsatzJournal of Number Theory
researchProduct

On positive P

2002

Continuing a line of research opened up by Grigni and Sipser (1992) and further pursued by Stewart (1994), we show that a wide variety of equivalent characterizations of P still remain equivalent when restricted to be positive. All these restrictions thus define the same class posP, a proper subclass of monP, the class of monotone problems in P. We also exhibit complete problems for posP under very weak reductions.

Discrete mathematicsCombinatoricsClass (set theory)Monotone polygonBoolean circuitComplexity classVariety (universal algebra)Boolean functionTime complexitySubclassMathematicsProceedings of Computational Complexity (Formerly Structure in Complexity Theory)
researchProduct

MMD codes in a more general sense

2002

Summary form only given. The author deals with the characterisation of maximum minimum distance (MMD) codes in a more general sense, which has been completed in a joint work with Olsson. As in the m=1 case the weight distribution of an MMD code /spl Cscr/ is uniquely determined by its parameters [n,k,d]/sub q/.

Discrete mathematicsCombinatoricsCode (set theory)Minimum distanceWeight distributionSense (electronics)Linear codeMathematics1998 Information Theory Workshop (Cat. No.98EX131)
researchProduct

Mixed intersections of non quasi-analytic classes

2008

Given two semi-regular matrices M and M' and two open subsets O and O' [resp. two compact subsets K and K'] of Rr and Rs respectively, we introduce the spaces E(M×M')(O × O') and D(M×M')(O × O') [resp. D(M×M')(K × K')]. In this paper we study their locally convex properties and the structure of their elements. This leads in [10] to tensor product representations of these spaces and to some kernel theorems.

Discrete mathematicsCombinatoricsComputational MathematicsAlgebra and Number TheoryTensor productKernel (set theory)Applied MathematicsStructure (category theory)Regular polygonGeometry and TopologyAnalysisMathematicsRevista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas
researchProduct

Über die Schnittzahlen mehrfach balancierter blockpläne

1991

Abstract For a finite incidence structure D with a set X of blocks let [ X ] be the number of points common with all blocks contained in X . We define the functions M(t)(B1,…; B1)=ΣB [B1, B]…[B1,B], and, for every partition ϖ = ϖ1,…,ϖ1) of t, the function Mϖ(B1,…,B1) = Σ Πm [Bi | i ϵ Rm], sum over all decompositions {l, …, t} = R1, ⊃ … ⊃ Rl, |Rm| = ϖm. We show: If D is t-fold balanced, then M(t) = Σϖ cϖMϖ, where the, coefficients cϖ are linear combinations of the parameters b1,…,bt, the constant numbers of blocks through any l,…, t distinct points. Conversely, if the rank of the b × b-matrix ([B, B∗])B,B∗ is equal to the number ν of points and M(t) is a rational linear combination of the fu…

Discrete mathematicsCombinatoricsComputational Theory and MathematicsIncidence structureDiscrete Mathematics and CombinatoricsPartition (number theory)Linear combinationTheoretical Computer ScienceBlock designMathematicsJournal of Combinatorial Theory, Series A
researchProduct

SUBGROUPS OF FINITE GROUPS WITH A STRONG COVER-AVOIDANCE PROPERTY

2009

AbstractA subgroup A of a group G has the strong cover-avoidance property in G, or A is a strong CAP-subgroup of G, if A either covers or avoids every chief factor of every subgroup of G containing A. The main aim of the present paper is to analyse the impact of the strong cover and avoidance property of the members of some relevant families of subgroups on the structure of a group.

Discrete mathematicsCombinatoricsFinite groupProperty (philosophy)Group (mathematics)General MathematicsStructure (category theory)Cover (algebra)MathematicsBulletin of the Australian Mathematical Society
researchProduct

Quantum Finite State Automata over Infinite Words

2010

The study of finite state automata working on infinite words was initiated by Buchi [1]. Buchi discovered connection between formulas of the monadic second order logic of infinite sequences (S1S) and ω-regular languages, the class of languages over infinite words accepted by finite state automata. Few years later, Muller proposed an alternative definition of finite automata on infinite words [4]. McNaughton proved that with Muller’s definition, deterministic automata recognize all ω-regular languages [2]. Later, Rabin extended decidability result of Buchi for S1S to the monadic second order of the infinite binary tree (S2S) [5]. Rabin theorem can be used to settle a number of decision probl…

Discrete mathematicsCombinatoricsFinite-state machineDeterministic finite automatonComputer Science::Logic in Computer ScienceContinuous spatial automatonQuantum finite automataAutomata theoryNondeterministic finite automatonω-automatonComputer Science::Formal Languages and Automata TheoryDecidabilityMathematics
researchProduct