FPT Algorithms Exploiting Carving Decomposition for Eulerian Orientations and Ice-Type Models

Abstract

An Eulerian orientation of an undirected graph is an orientation of edges such that, for each vertex, both the indegree and the outdegree are the same. Eulerian orientations are important in a variety of fields. In statistical physics, the partition function of the so-called ice model, which is the special case of the ice-type model, is related to the number of Eulerian orientations of a 4-regular graph, which is the value of its Tutte polynomial at the point \((0,-2)\). The problem of counting the number of Eulerian orientations in a 4-regular graph is #P-complete, and yet there is an FPT (Fixed Parameter Tractable) algorithm for it with respect to the tree-width of the graph.