Computing Least and Greatest Fixed Points in Absorptive Semirings

06/01/2021
by   Matthias Naaf, et al.
0

We present two methods to algorithmically compute both least and greatest solutions of polynomial equation systems over absorptive semirings (with certain completeness and continuity assumptions), such as the tropical semiring. Both methods require a polynomial number of semiring operations, including semiring addition, multiplication and an infinitary power operation. Our main result is a closed-form solution for least and greatest fixed points based on the fixed-point iteration. The proof builds on the notion of (possibly infinite) derivation trees; a careful analysis of the shape of these trees allows us to collapse the fixed-point iteration to a linear number of steps. The second method is an iterative symbolic computation in the semiring of generalized absorptive polynomials, largely based on results on Kleene algebras.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/03/2020

Iterated Linear Optimization

We introduce a fixed point iteration process built on optimization of a ...
03/05/2018

Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)

It is a consequence of existing literature that least and greatest fixed...
06/30/2021

Fixed-Points for Quantitative Equational Logics

We develop a fixed-point extension of quantitative equational logic and ...
12/27/2017

Guarded and Unguarded Iteration for Generalized Processes

Models of iterated computation, such as (completely) iterative monads, o...
04/27/2021

Queues with Updating Information: Finding the Amplitude of Oscillations

Many service systems provide customers with information about the system...
02/28/2021

On Problems Dual to Unification: The String-Rewriting Case

In this paper, we investigate problems which are dual to the unification...
10/17/2019

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Semiring provenance is a successful approach to provide detailed informa...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.