The complexity of compressing subsegments of images described by finite automata

  • Authors:
  • Juhani Karhumäki;Wojciech Plandowski;Wojciech Rytter

  • Affiliations:
  • Department of Mathematics, Finland and Turku Centre for Computer Science, Turku University, DataCity 4th floor, Turku 20014, Finland;Instytut Informatyki, Uniwersytet Warszawski, Banacha 2, 02-097 Warszawa, Poland and Department of Mathematics, Turku University, Finland and Turku Centre for Computer Science, Finland;Instytut Informatyki, Uniwersytet Warszawski Banacha 2, 02-097 Warszawa, Poland and Department of Computer Science, University of Liverpool, Chadwick Building Peach Street, L69 72F Liverpool, UK

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

Quantified Score

Hi-index 0.04

Visualization

Abstract

The scope of certain well-studied polynomial-time solvable classes of Satisfiability is investigated relative to a polynomial-time solvable class consisting of what we call matched formulas. The class of matched formulas has not been studied in ...