Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Polynomial Time Algorithm for Deciding Branching Bisimilarity on
  Totally Normed BPA   Strong bisimilarity on normed BPA is polynomial-time decidable, while weak
bisimilarity on totally normed BPA is NP-hard. It is natural to ask where the
computational complexity of branching bisimilarity on totally normed BPA lies.
This paper confirms that this problem is polynomial-time decidable. To our
knowledge, in the presence of silent transitions, this is the first
bisimilarity checking algorithm on infinite state systems which runs in
polynomial time. This result spots an instance in which branching bisimilarity
and weak bisimilarity are both decidable but lie in different complexity
classes (unless NP=P), which is not known before.
  The algorithm takes the partition refinement approach and the final
implementation can be thought of as a generalization of the previous algorithm
of Czerwi\'{n}ski and Lasota. However, unexpectedly, the correctness of the
algorithm cannot be directly generalized from previous works, and the
correctness proof turns out to be subtle. The proof depends on the existence of
a carefully defined refinement operation fitted for our algorithm and the
proposal of elaborately developed techniques, which are quite different from
previous works.

20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas