Computing markings for fuzzy minimax nets over the G\"odel structure

Linh Anh Nguyen

Computing markings for fuzzy minimax nets over the G\"odel structure

Data Structures and Algorithms 2026-07-16 v1

Authors: Linh Anh Nguyen

Abstract

Fuzzy minimax nets were recently introduced as a tool for computing the greatest fuzzy bisimulation and simulation between two finite fuzzy graph-based structures. In this work, we provide an efficient algorithm for computing the greatest correct marking of a finite fuzzy minimax net over the G\"odel structure. Its time complexity is linear in the number of nodes and positive edges in the input net. Building on this result, we derive the first algorithm with time complexity $O((m+n)n)$ for computing the greatest fuzzy directed simulation between two finite fuzzy graphs over the G\"odel structure, where $n$ and $m$ denote the total numbers of vertices and positive edges, respectively, in the input graphs.

Cite

@article{arxiv.2607.15494,
  title  = {Computing markings for fuzzy minimax nets over the G\"odel structure},
  author = {Linh Anh Nguyen},
  journal= {arXiv preprint arXiv:2607.15494},
  year   = {2026}
}