Showing 1–3 of 3 results for author: Canavoi, F

Cayley structures and common knowledge

Authors: Felix Canavoi, Martin Otto

Abstract: We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of bisimulation invariance of classical first-order logic over the non-elementary classes of (finite or arbitrary) common knowledge Kripke frames. The technical challenges posed by the reachability and transitive closure fea… ▽ More We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of bisimulation invariance of classical first-order logic over the non-elementary classes of (finite or arbitrary) common knowledge Kripke frames. The technical challenges posed by the reachability and transitive closure features of the derived accessibility relations are dealt with through passage to (finite) bisimilar coverings of epistemic frames by Cayley graphs of permutation groups whose generators are associated with the agents. Epistemic frame structure is here induced by an algebraic coset structure. Cayley structures with specific acyclicity properties support a locality analysis at different levels of granularity as induced by distance measures w.r.t. various coalitions of agents. △ Less

Submitted 21 December, 2021; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: revised December 2021: small errors corrected, improved presentation of nested inductive argument in chapter 4

MSC Class: 03B45; 03B42; 03C07; 03C80; 03C98; 03B70

Some Structure Theory for Cayley Graphs and Associated Hypergraphs

Authors: Felix Canavoi

Abstract: We expand the structural theory of \ca graphs that avoid specific cyclic coset patterns. We present several characterisations of tree-likeness for these structures and show a close connection to $α$-acyclic hypergraphs. A focus lies on the behaviour of short paths of overlapping cosets in these \ca graphs, and their relation to short chordless paths in hypergraphs that are locally acyclic. We expand the structural theory of \ca graphs that avoid specific cyclic coset patterns. We present several characterisations of tree-likeness for these structures and show a close connection to $α$-acyclic hypergraphs. A focus lies on the behaviour of short paths of overlapping cosets in these \ca graphs, and their relation to short chordless paths in hypergraphs that are locally acyclic. △ Less

Submitted 23 December, 2021; v1 submitted 16 July, 2019; originally announced July 2019.

Comments: The latest version was revised w.r.t. to its presentation. The title was changed too. There are no new additional results

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

Authors: Felix Canavoi, Erich Grädel, Roman Rabinovich

Abstract: For some time the discrete strategy improvement algorithm due to Jurdzinski and Voge had been considered as a candidate for solving parity games in polynomial time. However, it has recently been proved by Oliver Friedmann that the strategy improvement algorithm requires super-polynomially many iteration steps, for all popular local improvements rules, including switch-all (also with Fearnley's sn… ▽ More For some time the discrete strategy improvement algorithm due to Jurdzinski and Voge had been considered as a candidate for solving parity games in polynomial time. However, it has recently been proved by Oliver Friedmann that the strategy improvement algorithm requires super-polynomially many iteration steps, for all popular local improvements rules, including switch-all (also with Fearnley's snare memorisation), switch-best, random-facet, random-edge, switch-half, least-recently-considered, and Zadeh's Pivoting rule. We analyse the examples provided by Friedmann in terms of complexity measures for directed graphs such as treewidth, DAG-width, Kelly-width, entanglement, directed pathwidth, and cliquewidth. It is known that for every class of parity games on which one of these parameters is bounded, the winning regions can be efficiently computed. It turns out that with respect to almost all of these measures, the complexity of Friedmann's counterexamples is bounded, and indeed in most cases by very small numbers. This analysis strengthens in some sense Friedmann's results and shows that the discrete strategy improvement algorithm is even more limited than one might have thought. Not only does it require super-polynomial running time in the general case, where the problem of polynomial-time solvability is open, it even has super-polynomial lower time bounds on natural classes of parity games on which efficient algorithms are known. △ Less

Submitted 8 October, 2012; originally announced October 2012.

Comments: In Proceedings GandALF 2012, arXiv:1210.2028

Journal ref: EPTCS 96, 2012, pp. 197-209