On the upper bounds for complexities of discrete functions

2022 ◽  
Author(s):  
Slavcho Shtrakov
Keyword(s):  
Data Structures ◽  
Upper Bounds ◽  
Complexity Measures ◽  
Discrete Functions

In this paper, we study two classes of complexity measures induced by new data structures (abstract reduction systems) for representing [Formula: see text]-valued functions (operations), namely subfunction and minor reductions. When assigning values to some variables in a function, the resulting functions are called subfunctions, and when identifying some variables, the resulting functions are called minors. The number of the distinct objects obtained under these reductions of a function [Formula: see text] is a well-defined measure of complexity denoted by [Formula: see text] and [Formula: see text], respectively. We examine the maximums of these complexities and construct functions which reach these upper bounds.

scholarly journals Most Complex Non-Returning Regular Languages

2019 ◽  
Vol 30 (06n07) ◽  
pp. 921-957
Author(s):  
Janusz A. Brzozowski ◽  
Sylvie Davies
Keyword(s):  
Star Product ◽  
Upper Bounds ◽  
The State ◽  
Boolean Operations ◽  
Deterministic Finite Automaton ◽  
Initial State ◽  
Complexity Measures ◽  
State Complexity ◽  
Complex Sequence ◽  
Binary Operations

A regular language [Formula: see text] is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of boolean operations and Kleene star, and proved that these bounds are tight using two different binary witnesses. They derived tight upper bounds for concatenation and reversal using three different ternary witnesses. These five witnesses use a total of six different transformations. We show that for each [Formula: see text], there exists a ternary witness of state complexity [Formula: see text] that meets the bound for reversal, and restrictions of this witness to binary alphabets meet the bounds for star, product, and boolean operations. Hence all of these operations can be handled simultaneously with a single witness, using only three different transformations. We also derive tight upper bounds on the state complexity of binary operations that take arguments with different alphabets. We prove that the maximal syntactic semigroup of a non-returning language has [Formula: see text] elements and requires at least [Formula: see text] generators. We find the maximal state complexities of atoms of non-returning languages. We show that there exists a most complex sequence of non-returning languages that meet the bounds for all of these complexity measures. Furthermore, we prove there is a most complex sequence that meets all the bounds using alphabets of minimal size.

Upper Bounds on the Imbalance of Discrete Functions Implemented by Sequences of Finite Automata

2019 ◽  
Vol 55 (5) ◽  
pp. 752-759 ◽  
Author(s):  
A. N. Alekseychuk ◽  
S. M. Koniushok ◽  
M. V. Poremskyi
Keyword(s):  
Finite Automata ◽  
Upper Bounds ◽  
Discrete Functions

Upper bounds on quantum uncertainty products and complexity measures

2011 ◽  
Vol 84 (4) ◽  
Author(s):  
Ángel Guerrero ◽  
Pablo Sánchez-Moreno ◽  
Jesús S. Dehesa
Keyword(s):  
Upper Bounds ◽  
Complexity Measures ◽  
Quantum Uncertainty

scholarly journals Minor complexity of discrete functions

2020 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Slavcho Shtrakov
Keyword(s):  
Data Structure ◽  
Combinatorial Problems ◽  
Complexity Measures ◽  
Essential Arity ◽  
Discrete Functions

In this paper we study a class of complexity measures, induced by a new data structure for representing k-valued functions (operations), called minor decision diagram. When assigning values to some variables in a function the resulting functions are called subfunctions, and when identifying some variables the resulting functions are called minors. The sets of essential variables in subfunctions of f are called separable in f.We examine the maximal separable subsets of variables and their conjugates, introduced in the paper, proving that each such set has at least one conjugate. The essential arity gap gap(f) of the function f is the minimal number of essential variables in f which become fictive when identifying distinct essential variables in f. We also investigate separable sets of variables in functions with non-trivial arity gap. This allows us to solve several important algebraic, computational and combinatorial problems about the finite-valued functions.

Complexity Measures of Brain Electrophysiological Activity

2010 ◽  
Vol 24 (2) ◽  
pp. 131-135 ◽  
Author(s):  
Włodzimierz Klonowski ◽  
Pawel Stepien ◽  
Robert Stepien
Keyword(s):  
Brain Activity ◽  
Deterministic Chaos ◽  
Epileptic Seizures ◽  
Eeg Signal ◽  
Eeg Signals ◽  
Complexity Measures ◽  
Electrophysiological Activity ◽  
Signal Complexity ◽  
Physiological Sleep ◽  
The Brain

Over 20 years ago, Watt and Hameroff (1987 ) suggested that consciousness may be described as a manifestation of deterministic chaos in the brain/mind. To analyze EEG-signal complexity, we used Higuchi’s fractal dimension in time domain and symbolic analysis methods. Our results of analysis of EEG-signals under anesthesia, during physiological sleep, and during epileptic seizures lead to a conclusion similar to that of Watt and Hameroff: Brain activity, measured by complexity of the EEG-signal, diminishes (becomes less chaotic) when consciousness is being “switched off”. So, consciousness may be described as a manifestation of deterministic chaos in the brain/mind.

Specification scheme for the visualisation of data structures

1994 ◽  
Vol 9 (3) ◽  
pp. 127
Author(s):  
X.-B. Lu ◽  
F. Stetter
Keyword(s):  
Data Structures
Sign in / Sign up

Export Citation Format

Share Document