The realization of finite state machines by decomposition and the principal lattice of partitions of a submodular function

  • Authors:
  • M. P. Desai;H. Narayanan;Sachin B. Patkar

  • Affiliations:
  • Department of Electrical Engineering, Indian Institute of Technology-Bombay, Mumbai 400 076, India;Department of Electrical Engineering, Indian Institute of Technology-Bombay, Mumbai 400 076, India;Department of Mathematics, Indian Institute of Technology-Bombay, Mumbai 400 076 India

  • Venue:
  • Discrete Applied Mathematics - Submodularity
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, some problems that arise in the realization of finite state machines (FSM) are shown to be strongly related to the theory of submodular functions. Specifically, we use the idea of the principal lattice of partitions of a submodular function to develop approximation algorithms for minimizing the "cost" of realization of an FSM through a decomposition strategy.