5,231 research outputs found
DIVISIBILITY TESTS FOR SMARANDACHE SEMIGROUPS
Two Divisibility Tests for Smarandache semigroups are given. Further, the notion of divisibility of elements in a semigroup is applied to characterize the Smarandache semigroups. Examples are provided for justification
Revisiting Synthesis for One-Counter Automata
We study the (parameter) synthesis problem for one-counter automata with
parameters. One-counter automata are obtained by extending classical
finite-state automata with a counter whose value can range over non-negative
integers and be tested for zero. The updates and tests applicable to the
counter can further be made parametric by introducing a set of integer-valued
variables called parameters. The synthesis problem for such automata asks
whether there exists a valuation of the parameters such that all infinite runs
of the automaton satisfy some omega-regular property. Lechner showed that (the
complement of) the problem can be encoded in a restricted one-alternation
fragment of Presburger arithmetic with divisibility. In this work (i) we argue
that said fragment, called AERPADPLUS, is unfortunately undecidable.
Nevertheless, by a careful re-encoding of the problem into a decidable
restriction of AERPADPLUS, (ii) we prove that the synthesis problem is
decidable in general and in N2EXP for several fixed omega-regular properties.
Finally, (iii) we give a polynomial-space algorithm for the special case of the
problem where parameters can only be used in tests, and not updates, of the
counter
Finite Groebner bases in infinite dimensional polynomial rings and applications
We introduce the theory of monoidal Groebner bases, a concept which
generalizes the familiar notion in a polynomial ring and allows for a
description of Groebner bases of ideals that are stable under the action of a
monoid. The main motivation for developing this theory is to prove finiteness
theorems in commutative algebra and its applications. A major result of this
type is that ideals in infinitely many indeterminates stable under the action
of the symmetric group are finitely generated up to symmetry. We use this
machinery to give new proofs of some classical finiteness theorems in algebraic
statistics as well as a proof of the independent set conjecture of Hosten and
the second author.Comment: 24 pages, adds references to work of Cohen, adds more details in
Section
- …