338 research outputs found
Nitrogen Fixation in Acacias: an Untapped Resource for Sustainable Plantations, Farm Forestry and Land Reclamation
Crop Production/Industries,
Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis
Obtaining lower bounds for NP-hard problems has for a long time been an
active area of research. Recent algebraic techniques introduced by Jonsson et
al. (SODA 2013) show that the time complexity of the parameterized SAT()
problem correlates to the lattice of strong partial clones. With this ordering
they isolated a relation such that SAT() can be solved at least as fast
as any other NP-hard SAT() problem. In this paper we extend this method
and show that such languages also exist for the max ones problem
(MaxOnes()) and the Boolean valued constraint satisfaction problem over
finite-valued constraint languages (VCSP()). With the help of these
languages we relate MaxOnes and VCSP to the exponential time hypothesis in
several different ways.Comment: This is an extended version of Relating the Time Complexity of
Optimization Problems in Light of the Exponential-Time Hypothesis, appearing
in Proceedings of the 39th International Symposium on Mathematical
Foundations of Computer Science MFCS 2014 Budapest, August 25-29, 201
Regulation strength and technology creep play key roles in global long-term projections of wild capture fisheries
Unidad de excelencia MarĂa de Maeztu CEX2019-000940-MIdentificadors digitals: Digital object identifier for the 'European Research Council' (http://dx.doi.org/10.13039/501100000781) Digital object identifier for 'Horizon 2020' (http://dx.doi.org/10.13039/501100007601) - BIGSEA projectMany studies have shown that the global fish catch can only be sustained with effective regulation that restrains overfishing. However, the persistence of weak or ineffective regulation in many parts of the world, coupled with changing technologies and additional stressors like climate change, renders the future of global catches uncertain. Here, we use a spatially resolved, bio-economic size-spectrum model to shed light on the interactive impacts of three globally important drivers over multidecadal timescales: imperfect regulation, technology-driven catchability increase, and climate change. We implement regulation as the adjustment of fishing towards a target level with some degree of effectiveness and project a range of possible trajectories for global fisheries. We find that if technological progress continues apace, increasingly effective regulation is required to prevent overfishing, akin to a Red Queen race. Climate change reduces the possible upper bound for global catches, but its economic impacts can be offset by strong regulation. Ominously, technological progress under weak regulation masks a progressive erosion of fish biomass by boosting profits and generating a temporary stabilization of global catches. Our study illustrates the large degree to which the long-term outlook of global fisheries can be improved by continually strengthening fisheries regulation, despite the negative impacts of climate change
Solving order constraints in logarithmic space.
We combine methods of order theory, finite model theory, and universal algebra to study, within the constraint satisfaction framework, the complexity of some well-known combinatorial problems connected with a finite poset. We identify some conditions on a poset which guarantee solvability of the problems in (deterministic, symmetric, or non-deterministic) logarithmic space. On the example of order constraints we study how a certain algebraic invariance property is related to solvability of a constraint satisfaction problem in non-deterministic logarithmic space
A maximal tractable class of soft constraints
Many researchers in artificial intelligence are beginning to explore the use of soft constraints to express a set of (possibly conflicting) problem requirements. A soft constraint is a function defined on a collection of variables which associates some measure of desirability with each possible combination of values for those variables. However, the crucial question of the computational complexity of finding the optimal solution to a collection of soft constraints has so far received very little attention. In this paper we identify a class of soft binary constraints for which the problem of finding the optimal solution is tractable. In other words, we show that for any given set of such constraints, there exists a polynomial time algorithm to determine the assignment having the best overall combined measure of desirability. This tractable class includes many commonly-occurring soft constraints, such as 'as near as possible' or 'as soon as possible after', as well as crisp constraints such as 'greater than'. Finally, we show that this tractable class is maximal, in the sense that adding any other form of soft binary constraint which is not in the class gives rise to a class of problems which is NP-hard
The STAR MAPS-based PiXeL detector
The PiXeL detector (PXL) for the Heavy Flavor Tracker (HFT) of the STAR
experiment at RHIC is the first application of the state-of-the-art thin
Monolithic Active Pixel Sensors (MAPS) technology in a collider environment.
Custom built pixel sensors, their readout electronics and the detector
mechanical structure are described in detail. Selected detector design aspects
and production steps are presented. The detector operations during the three
years of data taking (2014-2016) and the overall performance exceeding the
design specifications are discussed in the conclusive sections of this paper
Binarisation for Valued Constraint Satisfaction Problems
We study methods for transforming valued constraint satisfaction problems (VCSPs) to binary VCSPs. First, we show that the standard dual encoding preserves many aspects of the algebraic properties that capture the computational complexity of VCSPs. Second, we extend the reduction of CSPs to binary CSPs described by Bul´ın et al. [Log. Methods Comput. Sci., 11 (2015)] to VCSPs. This reduction establishes that VCSPs over a fixed valued constraint language are polynomial-time equivalent to minimum-cost homomorphism problems over a fixed digraph
Tropically convex constraint satisfaction
A semilinear relation S is max-closed if it is preserved by taking the
componentwise maximum. The constraint satisfaction problem for max-closed
semilinear constraints is at least as hard as determining the winner in Mean
Payoff Games, a notorious problem of open computational complexity. Mean Payoff
Games are known to be in the intersection of NP and co-NP, which is not known
for max-closed semilinear constraints. Semilinear relations that are max-closed
and additionally closed under translations have been called tropically convex
in the literature. One of our main results is a new duality for open tropically
convex relations, which puts the CSP for tropically convex semilinaer
constraints in general into NP intersected co-NP. This extends the
corresponding complexity result for scheduling under and-or precedence
constraints, or equivalently the max-atoms problem. To this end, we present a
characterization of max-closed semilinear relations in terms of syntactically
restricted first-order logic, and another characterization in terms of a finite
set of relations L that allow primitive positive definitions of all other
relations in the class. We also present a subclass of max-closed constraints
where the CSP is in P; this class generalizes the class of max-closed
constraints over finite domains, and the feasibility problem for max-closed
linear inequalities. Finally, we show that the class of max-closed semilinear
constraints is maximal in the sense that as soon as a single relation that is
not max-closed is added to L, the CSP becomes NP-hard.Comment: 29 pages, 2 figure
GRS 1915+105 : High-energy Insights with SPI/INTEGRAL
We report on results of two years of INTEGRAL/SPI monitoring of the Galactic
microquasar GRS 1915+105. From September 2004 to May 2006, the source has been
observed twenty times with long (approx 100 ks) exposures. We present an
analysis of the SPI data and focus on the description of the high-energy (> 20
keV) output of the source. We found that the 20 - 500 keV spectral emission of
GRS 1915+105 was bound between two states. It seems that these high-energy
states are not correlated with the temporal behavior of the source, suggesting
that there is no direct link between the macroscopic characteristics of the
coronal plasma and the the variability of the accretion flow. All spectra are
well fitted by a thermal comptonization component plus an extra high-energy
powerlaw. This confirms the presence of thermal and non-thermal electrons
around the black hole.Comment: 7 pages, 8 figures, 2 tables; accepted (09/11/2008) for publication
in A&
Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps
What makes a computational problem easy (e.g., in P, that is, solvable in
polynomial time) or hard (e.g., NP-hard)? This fundamental question now has a
satisfactory answer for a quite broad class of computational problems, so
called fixed-template constraint satisfaction problems (CSPs) -- it has turned
out that their complexity is captured by a certain specific form of symmetry.
This paper explains an extension of this theory to a much broader class of
computational problems, the promise CSPs, which includes relaxed versions of
CSPs such as the problem of finding a 137-coloring of a 3-colorable graph
- …