Skip to main content

2018 | OriginalPaper | Buchkapitel

The Exact Complexity of Star-Complement-Star

verfasst von : Jozef Jirásek, Galina Jirásková

Erschienen in: Implementation and Application of Automata

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We show that the state complexity of the star-complement-star operation is given by \(\frac{3}{2}f(n\,-\,1) \,+\, 2 f(n\,-\,2) \,+\, 2n \,-\,5\), where \(f(2)=2\) and \(f(n) = \sum _{i=1}^{n-2}{n\atopwithdelims ()i} f (n\,-\,i) \,+\,2\). The function f(n) counts the number of distinct resistances possible for n arbitrary resistors each connected in series or parallel with previous ones, or the number of labeled threshold graphs on n vertices, and \(f(n)\sim n!(1-\ln 2)/(\ln 2)^{n+1} =2^{n \log n - 0.91 n + o(n)}\). Our witness language is defined over a quaternary alphabet, and we strongly conjecture that the size of the alphabet cannot be decreased.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
5.
Zurück zum Zitat Kleitman, D., Markowsky, G.: On Dedekind’s problem: the number of isotone boolean functions. II. Trans. Amer. Math. Soc. 213, 373–390 (1975)MathSciNetMATH Kleitman, D., Markowsky, G.: On Dedekind’s problem: the number of isotone boolean functions. II. Trans. Amer. Math. Soc. 213, 373–390 (1975)MathSciNetMATH
6.
Zurück zum Zitat Maslov, A.N.: Estimates of the number of states of finite automata. Sov. Math. Dokl. 11(5), 1373–1375 (1970)MATH Maslov, A.N.: Estimates of the number of states of finite automata. Sov. Math. Dokl. 11(5), 1373–1375 (1970)MATH
11.
Zurück zum Zitat Sloane, N.J.A., Plouffe, S.: The Encyclopedia of Integer Sequences. Academic Press, San Diego (1995)MATH Sloane, N.J.A., Plouffe, S.: The Encyclopedia of Integer Sequences. Academic Press, San Diego (1995)MATH
Metadaten
Titel
The Exact Complexity of Star-Complement-Star
verfasst von
Jozef Jirásek
Galina Jirásková
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-94812-6_19

Premium Partner