Heuristic optimization methods for linear ordering of automata

The rapid development of society is associated with two key areas of science and technology: methods of working with Big Data and Artificial Intelligence.There is a common belief that up to 80% of the data analysis process is the time spent on data preparation.One aspect of preparing data for analysis is structuring and organizing data sets (also known as data tidying).Order relations are ubiquitous, we meet them when we consider numbers, Boolean algebras, partitions, multisets, graphs, logical formulas, and many other mathematical entities.On the one hand, order relations are used for representing data and knowledge, on the other hand, they serve as important tools for describing models and methods of data analysis, such as decision trees, random forests, version spaces, association rules, and so on.Since a serious limitation of many methods of pattern mining is computational complexity, it is important to have an efficient algorithm for ordering data.In this paper, we consider deterministic automata without output signals and investigate the problem of linear ordering of such automata, which consists of building a linear order on the set of states of an automaton, that will be consistent with the action of each input signal of the automaton.To solve this problem, we consider heuristic methods of global optimization: simulated annealing method and artificial bee colony algorithm.For both methods, we made a software implementation and performed testing on a special kind of automata.

Authors

Publication Details

Journal
Izvestiya of Saratov University Mathematics Mechanics Informatics
Published
2025-05-26
DOI
https://doi.org/10.18500/1816-9791-2025-25-2-295-302
Citations
1
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
1.50
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Heuristic optimization methods for linear ordering of automata

Renat Abuhanovich Farakhutdinov
1 citations
Izvestiya of Saratov University Mathematics Mechanics Informatics
Formal Methods in Verification
1.50
article

Heuristic optimization methods for linear ordering of automata

Renat Abuhanovich Farakhutdinov
article en
1 citations

Abstract

The rapid development of society is associated with two key areas of science and technology: methods of working with Big Data and Artificial Intelligence.There is a common belief that up to 80% of the data analysis process is the time spent on data preparation.One aspect of preparing data for analysis is structuring and organizing data sets (also known as data tidying).Order relations are ubiquitous, we meet them when we consider numbers, Boolean algebras, partitions, multisets, graphs, logical formulas, and many other mathematical entities.On the one hand, order relations are used for representing data and knowledge, on the other hand, they serve as important tools for describing models and methods of data analysis, such as decision trees, random forests, version spaces, association rules, and so on.Since a serious limitation of many methods of pattern mining is computational complexity, it is important to have an efficient algorithm for ordering data.In this paper, we consider deterministic automata without output signals and investigate the problem of linear ordering of such automata, which consists of building a linear order on the set of states of an automaton, that will be consistent with the action of each input signal of the automaton.To solve this problem, we consider heuristic methods of global optimization: simulated annealing method and artificial bee colony algorithm.For both methods, we made a software implementation and performed testing on a special kind of automata.

Izvestiya of Saratov University Mathematics Mechanics InformaticsVol. 25(2)
Openalex Percentile: Top 16%
Formal Methods in Verification
1.50
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Heuristic optimization methods for linear ordering of automata — Renat Abuhanovich Farakhutdinov · Izvestiya of Saratov University Mathematics Mechanics Informatics (2025) | TGRS Research Map | TGRS