Full employment in the age of globalisation? Political-economic analysis of effective employment policies in the nineties. The case of Norway

--

There are no realizable 15_4- and 16_4-configurations

There exist a finite number of natural numbers n for which we do not know whether a realizable n_4-configuration does exist. We settle the two smallest unknown cases n=15 and n=16. In these cases realizable n_4-configurations cannot exist even in the more general setting of pseudoline-arrangements. The proof in the case n=15 can be generalized to n_k-configurations. We show that a necessary condition for the existence of a realizable n_k-configuration is that n > k^2+k-5 holds.Comment: 11 pages, 8 figures, added pseudoline realizations by Branko Gr{\"u}nbau

Determinising Parity Automata

Parity word automata and their determinisation play an important role in automata and game theory. We discuss a determinisation procedure for nondeterministic parity automata through deterministic Rabin to deterministic parity automata. We prove that the intermediate determinisation to Rabin automata is optimal. We show that the resulting determinisation to parity automata is optimal up to a small constant. Moreover, the lower bound refers to the more liberal Streett acceptance. We thus show that determinisation to Streett would not lead to better bounds than determinisation to parity. As a side-result, this optimality extends to the determinisation of B\"uchi automata

Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width

Parity games are a much researched class of games in NP intersect CoNP that are not known to be in P. Consequently, researchers have considered specialised algorithms for the case where certain graph parameters are small. In this paper, we study parity games on graphs with bounded treewidth, and graphs with bounded DAG width. We show that parity games with bounded DAG width can be solved in O(n^(k+3) k^(k + 2) (d + 1)^(3k + 2)) time, where n, k, and d are the size, treewidth, and number of priorities in the parity game. This is an improvement over the previous best algorithm, given by Berwanger et al., which runs in n^O(k^2) time. We also show that, if a tree decomposition is provided, then parity games with bounded treewidth can be solved in O(n k^(k + 5) (d + 1)^(3k + 5)) time. This improves over previous best algorithm, given by Obdrzalek, which runs in O(n d^(2(k+1)^2)) time. Our techniques can also be adapted to show that the problem of solving parity games with bounded treewidth lies in the complexity class NC^2, which is the class of problems that can be efficiently parallelized. This is in stark contrast to the general parity game problem, which is known to be P-hard, and thus unlikely to be contained in NC