arXiv subjects

Johannes Schmidt

Publications and source records attributed to Johannes Schmidt.

59 records · Page 4Linked to original sources

arXiv2014

Non-KPZ modes in two-species driven diffusive systems

Using mode coupling theory and dynamical Monte-Carlo simulations we investigate the scaling behaviour of the dynamical structure function of a two-species asymmetric simple exclusion process, consisting of two coupled single-lane asymmetric simple exclusion processes. We demonstrate the appearence of a superdiffusive mode with dynamical exponent $z=5/3$ in the density fluctuations, along with a KPZ mode with $z=3/2$ and argue that this phenomenon is generic for short-ranged driven diffusive systems with more than one conserved density. When the dynamics is symmetric under the interchange of the two lanes a diffusive mode with $z=2$ appears instead of the non-KPZ superdiffusive mode.

cond-mat.stat-mech↗

arXiv2013

Paradigms for Parameterized Enumeration

The aim of the paper is to examine the computational complexity and algorithmics of enumeration, the task to output all solutions of a given problem, from the point of view of parameterized complexity. First we define formally different notions of efficient enumeration in the context of parameterized complexity. Second we show how different algorithmic paradigms can be used in order to get parameter-efficient enumeration algorithms in a number of examples. These paradigms use well-known principles from the design of parameterized decision as well as enumeration techniques, like for instance kernelization and self-reducibility. The concept of kernelization, in particular, leads to a characterization of fixed-parameter tractable enumeration problems.

cs.CC↗

arXiv2011

On the Parameterized Complexity of Default Logic and Autoepistemic Logic

We investigate the application of Courcelle's Theorem and the logspace version of Elberfeld etal. in the context of the implication problem for propositional sets of formulae, the extension existence problem for default logic, as well as the expansion existence problem for autoepistemic logic and obtain fixed-parameter time and space efficient algorithms for these problems. On the other hand, we exhibit, for each of the above problems, families of instances of a very simple structure that, for a wide range of different parameterizations, do not have efficient fixed-parameter algorithms (even in the sense of the large class XPnu), unless P=NP.

cs.CC↗

arXiv2010

Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional abduction, where the knowledge base and the manifestation are represented by propositional formulae. The problem of deciding whether there exists an explanation has been shown to be SigmaP2-complete in general. We consider variants obtained by restricting the allowed connectives in the formulae to certain sets of Boolean functions. We give a complete classification of the complexity for all considerable sets of Boolean functions. In this way, we identify easier cases, namely NP-complete and polynomial cases; and we highlight sources of intractability. Further, we address the problem of counting the explanations and draw a complete picture for the counting complexity.

cs.CC↗

arXiv2010

Complexity Classifications for Propositional Abduction in Post's Framework

In this paper we investigate the complexity of abduction, a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining the world's behavior it aims at finding an explanation for some observed manifestation. In this paper we consider propositional abduction, where the knowledge base and the manifestation are represented by propositional formulae. The problem of deciding whether there exists an explanation has been shown to be \SigPtwo-complete in general. We focus on formulae in which the allowed connectives are taken from certain sets of Boolean functions. We consider different variants of the abduction problem in restricting both the manifestations and the hypotheses. For all these variants we obtain a complexity classification for all possible sets of Boolean functions. In this way, we identify easier cases, namely \NP-complete, \coNP-complete and polynomial cases. Thus, we get a detailed picture of the complexity of the propositional abduction problem, hence highlighting sources of intractability. Further, we address the problem of counting the explanations and draw a complete picture for the counting complexity.

cs.CC↗