Related papers: The Lambek-Grishin calculus is NP-complete
We prove that persuasion is an NP-complete problem.
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding…
We investigate the complexity of a puzzle that turns out to be NL-complete.
Unbounded {\L}ukasiewicz logic is a substructural logic that combines features of infinite-valued {\L}ukasiewicz logic with those of abelian logic. The logic is finitely strongly complete w.r.t.~the additive $\ell$-group on the reals…
The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…
When can $t$ terminal pairs in an $m \times n$ grid be connected by $t$ vertex-disjoint paths that cover all vertices of the grid? We prove that this problem is NP-complete. Our hardness result can be compared to two previous NP-hardness…
Infinitesimal supersymmetries over classical Lie groups that do not necessarily integrate to Lie supergroups are described. They yield a notion of supersymmetry that is less rigid than the assumption of a Lie supergroup action but still…
We consider a class of generalized Kuznetsov--Zabolotskaya--Khokhlov (gKZK) equations and determine its equivalence group, which is then used to give a complete symmetry classification of this class. The infinite-dimensional symmetry is…
In this note, we will prove that a finite dimensional Lie algebra $L$ of characteristic zero, admitting an abelian algebra of derivations $D\leq Der(L)$ with the property $$ L^n\subseteq \sum_{d\in D}d(L) $$ for some $n\geq 1$, is…
It is well known that a symplectic Lie algebra admit a left symmetric product. In this work, we study the case where this product is Novikov, we show that the left-symmetric product associated to the symplectic Lie algrbra is Novikov if and…
In this manuscript we present an approach to analyze the discontinuous Galerkin solution for general quasilinear elliptic problems. This approach is sufficiently general to extend most of the well-known discretization schemes, including…
We exhaustively classify the Lie reductions of the real dispersionless Nizhnik equation to partial differential equations in two independent variables and to ordinary differential equations. Lie and point symmetries of reduced equations are…
It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form…
The $P$ versus $NP$ problem is still unsolved. But there are several oracles with $P$ unequal $NP$ relative to them. Here we will prove, that $P\not=NP$ relative to a $P$-complete oracle. In this paper, we use padding arguments as the proof…
We construct HNN-extensions of Lie di-algebras in the variety of di-algebras and provide a presentation for the replicated HNN-extension of a Lie di-algebras. Then, by applying the method of Gr\"obner-Shirshov bases for replicated algebras,…
A family of integrable $GL(NM)$ models is described. On the one hand it generalizes the classical spin Ruijsenaars--Schneider systems (the case $N=1$), and on the other hand it generalizes the relativistic integrable tops on $GL(N)$ Lie…
We consider a class of fully non-linear parabolic equations on compact Hermitian manifolds involving symmetric functions of partial Laplacians. Under fairly general assumptions, we show the long time existence and convergence of solutions.…
In CSL'99 Roversi pointed out that the Turing machine encoding of Girard's seminal paper "Light Linear Logic" has a flaw. Moreover he presented a working version of the encoding in Light Affine Logic, but not in Light Linear Logic. In this…
N=2 supersymmetric extension of the l-conformal Galilei algebra is constructed. A relation between its representations in flat spacetime and in Newton-Hooke spacetime is discussed. An infinite-dimensional generalization of the superalgebra…
${ NP}$-complete problem "Hamiltonian cycle"\ for graph $G=(V,E)$ is extended to the "Hamiltonian Complement of the Graph"\ problem of finding the minimal cardinality set $H$ containing additional edges so that graph $G=(V,E\cup H)$ is…