Polynomial-time algorithms for the equivalence for one-way quantum finite automata

研究成果: Conference contribution

6 引用 (Scopus)

抄録

Two quantum finite automata are equivalent if for any string x the two automata accept x with equal probability. This paper gives a polynomial-time algorithm for determining whether two measure-once one-way quantum finite automata are equivalent. The paper also gives a polynomial-time algorithm for determining whether two measure-many one-way quantum finite automata are equivalent.

元の言語English
ホスト出版物のタイトルAlgorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings
ページ268-278
ページ数11
2223 LNCS
DOI
出版物ステータスPublished - 2001
外部発表Yes
イベント12th International Symposium on Algorithms and Computation, ISAAC 2001 - Christchurch, New Zealand
継続期間: 2001 12 192001 12 21

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2223 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Other

Other12th International Symposium on Algorithms and Computation, ISAAC 2001
New Zealand
Christchurch
期間01/12/1901/12/21

Fingerprint

Finite Automata
Finite automata
Polynomial-time Algorithm
Equivalence
Polynomials
Automata
Strings

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Koshiba, T. (2001). Polynomial-time algorithms for the equivalence for one-way quantum finite automata. : Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings (巻 2223 LNCS, pp. 268-278). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 2223 LNCS). https://doi.org/10.1007/3-540-45678-3_24

Polynomial-time algorithms for the equivalence for one-way quantum finite automata. / Koshiba, Takeshi.

Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings. 巻 2223 LNCS 2001. p. 268-278 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻 2223 LNCS).

研究成果: Conference contribution

Koshiba, T 2001, Polynomial-time algorithms for the equivalence for one-way quantum finite automata. : Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings. 巻. 2223 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 巻. 2223 LNCS, pp. 268-278, 12th International Symposium on Algorithms and Computation, ISAAC 2001, Christchurch, New Zealand, 01/12/19. https://doi.org/10.1007/3-540-45678-3_24
Koshiba T. Polynomial-time algorithms for the equivalence for one-way quantum finite automata. : Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings. 巻 2223 LNCS. 2001. p. 268-278. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-45678-3_24
Koshiba, Takeshi. / Polynomial-time algorithms for the equivalence for one-way quantum finite automata. Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings. 巻 2223 LNCS 2001. pp. 268-278 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{9025f0a1ab9b4bd4bfd3d77875fefd73,
title = "Polynomial-time algorithms for the equivalence for one-way quantum finite automata",
abstract = "Two quantum finite automata are equivalent if for any string x the two automata accept x with equal probability. This paper gives a polynomial-time algorithm for determining whether two measure-once one-way quantum finite automata are equivalent. The paper also gives a polynomial-time algorithm for determining whether two measure-many one-way quantum finite automata are equivalent.",
author = "Takeshi Koshiba",
year = "2001",
doi = "10.1007/3-540-45678-3_24",
language = "English",
isbn = "3540429859",
volume = "2223 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "268--278",
booktitle = "Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings",

}

TY - GEN

T1 - Polynomial-time algorithms for the equivalence for one-way quantum finite automata

AU - Koshiba, Takeshi

PY - 2001

Y1 - 2001

N2 - Two quantum finite automata are equivalent if for any string x the two automata accept x with equal probability. This paper gives a polynomial-time algorithm for determining whether two measure-once one-way quantum finite automata are equivalent. The paper also gives a polynomial-time algorithm for determining whether two measure-many one-way quantum finite automata are equivalent.

AB - Two quantum finite automata are equivalent if for any string x the two automata accept x with equal probability. This paper gives a polynomial-time algorithm for determining whether two measure-once one-way quantum finite automata are equivalent. The paper also gives a polynomial-time algorithm for determining whether two measure-many one-way quantum finite automata are equivalent.

UR - http://www.scopus.com/inward/record.url?scp=71049137371&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=71049137371&partnerID=8YFLogxK

U2 - 10.1007/3-540-45678-3_24

DO - 10.1007/3-540-45678-3_24

M3 - Conference contribution

AN - SCOPUS:71049137371

SN - 3540429859

SN - 9783540429852

VL - 2223 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 268

EP - 278

BT - Algorithms and Computation - 12th International Symposium, ISAAC 2001, Proceedings

ER -