Logical Characterizations of Weighted Complexity Classes
arxiv(2024)
摘要
Fagin's seminal result characterizing 𝖭𝖯 in terms of existential
second-order logic started the fruitful field of descriptive complexity theory.
In recent years, there has been much interest in the investigation of
quantitative (weighted) models of computations. In this paper, we start the
study of descriptive complexity based on weighted Turing machines over
arbitrary semirings. We provide machine-independent characterizations (over
ordered structures) of the weighted complexity classes
𝖭𝖯[𝒮], 𝖥𝖯[𝒮],
𝖥𝖯𝖫𝖮𝖦[𝒮], 𝖥𝖯𝖲𝖯𝖠𝖢𝖤[𝒮], and
𝖥𝖯𝖲𝖯𝖠𝖢𝖤_poly[𝒮] in terms of definability in suitable
weighted logics for an arbitrary semiring 𝒮. In particular, we
prove weighted versions of Fagin's theorem (even for arbitrary structures, not
necessarily ordered, provided that the semiring is idempotent and commutative),
the Immerman–Vardi's theorem (originally for 𝖯) and the
Abiteboul–Vianu–Vardi's theorem (originally for 𝖯𝖲𝖯𝖠𝖢𝖤). We also
address a recent open problem proposed by Eiter and Kiesel.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要