Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Weighted Tiling Systems for Graphs: Evaluation Complexity   We consider weighted tiling systems to represent functions from graphs to a
commutative semiring such as the Natural semiring or the Tropical semiring. The
system labels the nodes of a graph by its states, and checks if the
neighbourhood of every node belongs to a set of permissible tiles, and assigns
a weight accordingly. The weight of a labeling is the semiring-product of the
weights assigned to the nodes, and the weight of the graph is the semiring-sum
of the weights of labelings. We show that we can model interesting algorithmic
questions using this formalism - like computing the clique number of a graph or
computing the permanent of a matrix. The evaluation problem is, given a
weighted tiling system and a graph, to compute the weight of the graph. We
study the complexity of the evaluation problem and give tight upper and lower
bounds for several commutative semirings. Further we provide an efficient
evaluation algorithm if the input graph is of bounded tree-width.

2
The categories of this paper are: math
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg