Výsledky vyhledávání - Theory of computation- Algebraic complexity theory

On Solving Sparse Polynomial Factorization Related Problems Autor Bisht, Pranav, Volkovich, Ilya

“…In a recent result of Bhargava, Saraf and Volkovich [FOCS’18; JACM’20], the first factor sparsity bound for constant individual degree polynomials was shown…”
Získat plný text

Characterizing Valiant's algebraic complexity classes Autor Malod, Guillaume, Portier, Natacha

“…Valiant introduced 20 years ago an algebraic complexity theory to study the complexity of polynomial families…”
Získat plný text

Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames Autor Verbrugge, Rineke

“…It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of…”
Získat plný text

Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP Autor Barto, Libor, Brady, Zarathustra, Bulatov, Andrei, Kozik, Marcin, Zhuk, Dmitriy

“…This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP…”
Získat plný text

Efficient Computation of a Semi-Algebraic Basis of the First Homology Group of a Semi-Algebraic Set Autor Basu, Saugata, Percival, Sarah

“… ) . This algorithm generalizes well known algorithms having singly exponential complexity for computing a semi-algebraic basis of the zeroth homology group of semi-algebraic sets, which is equivalent…”
Získat plný text

CoqPilot, a plugin for LLM-based generation of proofs Autor Kozyrev, Andrei, Solovev, Gleb, Khramov, Nikita, Podkopaev, Anton

“…We present CoqPilot, a VS Code extension designed to help automate writing of Coq proofs. The plugin collects the parts of proofs marked with the admit tactic…”
Získat plný text

On the logical structure of choice and bar induction principles Autor Brede, Nuria, Herbelin, Hugo

“…We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an "intensional" or…”
Získat plný text

Categorical models of Linear Logic with fixed points of formulas Autor Ehrhard, Thomas, Jafarrahmani, Farzad

“…We develop a categorical semantics of µLL, a version of propositional Linear Logic with least and greatest fixed points extending David Baelde's propositional…”
Získat plný text

Accelerating All-SAT Computation with Short Blocking Clauses Autor Zhang, Yueling, Pu, Geguang, Sun, Jun

“…The All-SAT (All-SATisfiable) problem focuses on finding all satisfiable assignments of a given propositional formula, whose applications include model…”
Získat plný text

Constraint Satisfaction Problems over Finite Structures Autor Barto, Libor, DeMeo, William, Mottet, Antoine

“…We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP…”
Získat plný text

Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits Autor Limaye, Nutan, Srinivasan, Srikanth, Tavenas, Sebastien

“…An Algebraic Circuit for a polynomial P\ \ \in \mathbb{F}[x_{1}, \ldots, x_{N}] is a computational model for constructing the polynomial P using only additions and multiplications…”
Získat plný text

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics Autor Balasubramanian, A. R., Lang, Timo, Ramanayake, Revantha

“… . Decidability for the corresponding extensions of its contraction counterpart FL ec was established recently but their computational complexity was left unanswered…”
Získat plný text

Combinatorial Proofs and Decomposition Theorems for First-order Logic Autor Hughes, Dominic J. D., Strasburger, Lutz, Wu, Jui-Hsuan

“…We uncover a close relationship between combinatorial and syntactic proofs for first-order logic (without equality). Whereas syntactic proofs are formalized in…”
Získat plný text

Parameterized Complexity of Elimination Distance to First-Order Logic Properties Autor Fomin, Fedor V., Golovach, Petr A., Thilikos, Dimitrios M.

“…The elimination distance to some target graph property {\mathcal{P}} is a general graph modification parameter introduced by Bulian and Dawar. We initiate the…”
Získat plný text

Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness Autor Dörfler, Julian, Roth, Marc, Schmitt, Johannes, Wellnitz, Philip

“…We study the problem # I N D S U B ( Φ ) of counting all induced subgraphs of size k in a graph G that satisfy the property Φ . It is shown that, given any…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In…”
Získat plný text

Higher Lenses Autor Capriotti, Paolo, Danielsson, Nils Anders, Vezzosi, Andrea

“…We show that total, very well-behaved lenses are not very well-behaved when treated proof-relevantly in the setting of homotopy type theory/univalent foundations…”
Získat plný text

First-Order Reasoning and Efficient Semi-Algebraic Proofs Autor Part, Fedor, Thapen, Neil, Tzameret, Iddo

“… Specifically, we develop first-order theories that capture in a precise manner constant degree algebraic and semi-algebraic proof systems…”
Získat plný text

An Algebraic Theory of Complexity for Discrete Optimization Autor Cohen, David A., Cooper, Martin C., Creed, Páidí, Jeavons, Peter G., Živný, Stanislav

“… Here we present a unifying theory of complexity for problems of this kind. We show that the complexity of a finite-domain discrete optimization problem…”
Získat plný text

Some Complete and Intermediate Polynomials in Algebraic Complexity Theory Autor Mahajan, Meena, Saurabh, Nitin

“…We provide a list of new natural VNP-intermediate polynomial families, based on basic (combinatorial) NP-complete problems that are complete under parsimonious…”
Získat plný text