102 research outputs found
Self-Specifying Machines
We study the computational power of machines that specify their own
acceptance types, and show that they accept exactly the languages that
\manyonesharp-reduce to NP sets. A natural variant accepts exactly the
languages that \manyonesharp-reduce to P sets. We show that these two classes
coincide if and only if \psone = \psnnoplusbigohone, where the latter class
denotes the sets acceptable via at most one question to \sharpp followed by
at most a constant number of questions to \np.Comment: 15 pages, to appear in IJFC
Cluster Computing and the Power of Edge Recognition
We study the robustness--the invariance under definition changes--of the
cluster class CL#P [HHKW05]. This class contains each #P function that is
computed by a balanced Turing machine whose accepting paths always form a
cluster with respect to some length-respecting total order with efficient
adjacency checks. The definition of CL#P is heavily influenced by the defining
paper's focus on (global) orders. In contrast, we define a cluster class,
CLU#P, to capture what seems to us a more natural model of cluster computing.
We prove that the naturalness is costless: CL#P = CLU#P. Then we exploit the
more natural, flexible features of CLU#P to prove new robustness results for
CL#P and to expand what is known about the closure properties of CL#P.
The complexity of recognizing edges--of an ordered collection of computation
paths or of a cluster of accepting computation paths--is central to this study.
Most particularly, our proofs exploit the power of unique discovery of
edges--the ability of nondeterministic functions to, in certain settings,
discover on exactly one (in some cases, on at most one) computation path a
critical piece of information regarding edges of orderings or clusters
Reducing the Number of Solutions of NP Functions
AbstractWe study whether one can prune solutions from NP functions. Though it is known that, unless surprising complexity class collapses occur, one cannot reduce the number of accepting paths of NP machines, we nonetheless show that it often is possible to reduce the number of solutions of NP functions. For finite cardinality types, we give a sufficient condition for such solution reduction. We also give absolute and conditional necessary conditions for solution reduction, and in particular we show that in many cases solution reduction is impossible unless the polynomial hierarchy collapses
Non-standard modalities in paraconsistent G\"{o}del logic
We introduce a paraconsistent expansion of the G\"{o}del logic with a De
Morgan negation and modalities and . We
equip it with Kripke semantics on frames with two (possibly fuzzy) relations:
and (interpreted as the degree of trust in affirmations and denials
by a given source) and valuations and (positive and negative
support) ranging over and connected via . We motivate the
semantics of (resp., ) as infima
(suprema) of both positive and negative supports of in - and
-accessible states, respectively. We then prove several instructive
semantical properties of the logic. Finally, we devise a tableaux system for
branching fragment and establish the complexity of satisfiability and validity.Comment: arXiv admin note: text overlap with arXiv:2303.1416
On relation classes and solution relations
Die Dissertation On Relation Classes and Solution Relations ist in dem Gebiet der strukturellen Komplexitätstheorie einzuordnen. In einem ersten Teil wird die vollständige Inklusionsstruktur zwischen verschiedenen Relationenklassen aufgeklärt. Ein Großteil der Ergebnisse wird dabei mit Hilfe der Operatorenmethode erzielt. Im zweiten Teil werden Lösungsrelationen und easy-Sprachen betrachtet. Es wird der Fragestellung nachgegangen, welche Probleme durch eine vorgegebene Klasse von Relationen gelöst werden können
- …