Results 41 to 50 of about 996,357 (278)

Resolution Lower Bounds for Refutation Statements [PDF]

, 2019
For any unsatisfiable CNF formula we give an exponential lower bound on the size of resolution refutations of a propositional statement that the formula has a resolution refutation. We describe three applications.
Garlík, Michal
core   +2 more sources

A compact model for the home healthcare routing and scheduling problem

EURO Journal on Computational Optimization
Home healthcare has become more and more central in the last decades, due to the advantages it can bring to both healthcare institutions and patients. Planning activities in this context, however, presents significant challenges related to route planning
Roberto Montemanni, Sara Ceschia, Andrea Schaerf   +2 more
doaj   +1 more source

Lower Bound of the Complexity of Seven-Valued Functions in the Class of Polarized Polynomials

Известия Иркутского государственного университета: Серия "Математика", 2017
One of the directions of the investigation of functions over finite fields is the study of their representations, including polynomial ones. In the area of polynomial representations of functions the problem of estimating the complexity of such ...
A.S. Baliuk, A.S. Zinchenko
doaj   +1 more source

Input Redundancy for Parameterized Quantum Circuits

Frontiers in Physics, 2020
One proposal to utilize near-term quantum computers for machine learning are Parameterized Quantum Circuits (PQCs). There, input is encoded in a quantum state, parameter-dependent unitary evolution is applied, and ultimately an observable is measured. In
Francisco Javier Gil Vidal, Dirk Oliver Theis, Dirk Oliver Theis   +2 more
doaj   +1 more source

Arithmetic Circuit Lower Bounds via MaxRank [PDF]

, 2013
We introduce the polynomial coefficient matrix and identify maximum rank of this matrix under variable substitution as a complexity measure for multivariate polynomials. We use our techniques to prove super-polynomial lower bounds against several classes
A. Shpilka, A. Shpilka, M.J. Jansen, N. Saxena, P. Koiran, R. Raz, R. Raz, R. Raz   +7 more
core   +1 more source

Treewidth Lower Bounds with Brambles [PDF]

Algorithmica, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bodlaender, H.L., Grigoriev, A., Koster, A.M.C.A.   +2 more
openaire   +5 more sources

Lower bounds on expressions dependent on functions φ(n), ψ(n) and σ(n), II [PDF]

Notes on Number Theory and Discrete Mathematics
In this paper we establish lower bounds on several expressions dependent on functions φ(n), ψ(n) and σ(n).
Stoyan Dimitrov
doaj   +1 more source

Energy of Nonsingular Graphs: Improving Lower Bounds

Journal of Mathematics, 2021
Let G be a simple graph of order n and A be its adjacency matrix. Let λ1≥λ2≥…≥λn be eigenvalues of matrix A. Then, the energy of a graph G is defined as εG=∑i=1nλi.
Hajar Shooshtari, Jonnathan Rodriguez, Akbar Jahanbani, Abbas Shokri   +3 more
doaj   +1 more source

Lower Bounds for Monotone Counting Circuits [PDF]

, 2015
A {+,x}-circuit counts a given multivariate polynomial f, if its values on 0-1 inputs are the same as those of f; on other inputs the circuit may output arbitrary values.
Jukna, Stasys
core   +1 more source

GRAV3D Validation using Generalized Cross-Validation (GCV) Algorithm by Lower Bounds Approach for 3D Gravity Data Inversion

Scientific Journal of Informatics, 2018
The completion of gravitational data inversion results in a smooth recovered model. GRAV3D is one software that can be used to solve 3D inversion problems of gravity data.
Mochamad Aryono Adhi, Wahyudi Wahyudi, Wiwit Suryanto, Muh Sarkowi   +3 more
doaj   +1 more source