1,485 research outputs found
When Gravity Fails: Local Search Topology
Local search algorithms for combinatorial search problems frequently
encounter a sequence of states in which it is impossible to improve the value
of the objective function; moves through these regions, called plateau moves,
dominate the time spent in local search. We analyze and characterize plateaus
for three different classes of randomly generated Boolean Satisfiability
problems. We identify several interesting features of plateaus that impact the
performance of local search algorithms. We show that local minima tend to be
small but occasionally may be very large. We also show that local minima can be
escaped without unsatisfying a large number of clauses, but that systematically
searching for an escape route may be computationally expensive if the local
minimum is large. We show that plateaus with exits, called benches, tend to be
much larger than minima, and that some benches have very few exit states which
local search can use to escape. We show that the solutions (i.e., global
minima) of randomly generated problem instances form clusters, which behave
similarly to local minima. We revisit several enhancements of local search
algorithms and explain their performance in light of our results. Finally we
discuss strategies for creating the next generation of local search algorithms.Comment: See http://www.jair.org/ for any accompanying file
Single-Step Quantum Search Using Problem Structure
The structure of satisfiability problems is used to improve search algorithms
for quantum computers and reduce their required coherence times by using only a
single coherent evaluation of problem properties. The structure of random k-SAT
allows determining the asymptotic average behavior of these algorithms, showing
they improve on quantum algorithms, such as amplitude amplification, that
ignore detailed problem structure but remain exponential for hard problem
instances. Compared to good classical methods, the algorithm performs better,
on average, for weakly and highly constrained problems but worse for hard
cases. The analytic techniques introduced here also apply to other quantum
algorithms, supplementing the limited evaluation possible with classical
simulations and showing how quantum computing can use ensemble properties of NP
search problems.Comment: 39 pages, 12 figures. Revision describes further improvement with
multiple steps (section 7). See also
http://www.parc.xerox.com/dynamics/www/quantum.htm
The 11 Micron Emissions of Cabon Stars
A new classification scheme of the IRAS LRS carbon stars is presented. It comprises the separation of 718 probable carbon stars into 12 distinct self-similar spectral groupings. Continuum temperatures are assigned and range from 470 to 5000 K. Three distinct dust species are identifiable: SiC, alpha:C-H, and MgS. In addition to the narrow 11 + micron emission feature that is commonly attributed to SiC, a broad 11 + micron emission feature, that is correlated with the 8.5 and 7.7 micron features, is found and attributed to alpha:C-H. SiC and alpha:C-H band strengths are found to correlate with the temperature progression among the Classes. We find a spectral sequence of Classes that reflects the carbon star evolutionary sequence of spectral types, or alternatively developmental sequences of grain condensation in carbon-rich circumstellar shells. If decreasing temperature corresponds to increasing evolution, then decreasing temperature corresponds to increasing CIO resulting in increasing amounts of carbon rich dust, namely alpha:C-H. If decreasing the temperature corresponds to a grain condensation sequence, then heterogeneous, or induced nucleation scenarios are supported. SiC grains precede alpha:C-H and form the nuclei for the condensation of the latter material. At still lower temperatures, MgS appears to be quite prevalent. No 11.3 micron PAH features are identified in any of the 718 carbon stars. However, one of the coldest objects, IRAS 15048-5702, and a few others, displays an 11.9 micron emission feature characteristic of laboratory samples of coronene. That feature corresponds to the C-H out of plane deformation mode of aromatic hydrocarbon. This band indicates the presence of unsaturated, sp(sup 3), hydrocarbon bonds that may subsequently evolve into saturated bonds, sp(sup 2), if, and when, the star enters the planetary nebulae phase of stellar evolution. The effusion of hydrogen from the hydrocarbon grain results in the evolution in wavelength of this 11.9 micron emission feature to the 11.3 micron feature
The 11 Micron Emissions of Carbon Stars
A new classification scheme of the IRAS LRS carbon stars is presented. It comprises the separation of 718 probable carbon stars into 12 distinct self-similar spectral groupings. Continuum temperatures are assigned and range from 470 to 5000 K. Three distinct dust species are identifiable: SiC, alpha:C-H, and MgS. In addition to the narrow 11 + micron emission feature that is commonly attributed to SiC, a broad 11 + micron emission feature, that is correlated with the 8.5 and 7.7 micron features, is found and attributed to alpha:C-H. SiC and alpha:C-H band strengths are found to correlate with the temperature progression among the Classes. We find a spectral sequence of Classes that reflects the carbon star evolutionary sequence of spectral types, or alternatively developmental sequences of grain condensation in carbon-rich circumstellar shells. If decreasing temperature corresponds to increasing evolution, then decreasing temperature corresponds to increasing C/O resulting in increasing amounts of carbon rich dust, namely alpha:C-H. If decreasing the temperature corresponds to a grain condensation sequence, then heterogeneous, or induced nucleation scenarios are supported. SiC grains precede alpha:C-H and form the nuclei for the condensation of the latter material. At still lower temperatures, MgS appears to be quite prevalent. No 11.3 micron PAH features are identified in any of the 718 carbon stars. However, one of the coldest objects, IRAS 15048-5702, and a few others, displays an 11.9 micron emission feature characteristic of laboratory samples of coronene. That feature corresponds to the C-H out of plane deformation mode of aromatic hydrocarbon. This band indicates the presence of unsaturated, sp(sup 3), hydrocarbon bonds that may subsequently evolve into saturated bonds, sp(sup 2), if, and when, the star enters the planetary nebulae phase of stellar evolution. The effusion of hydrogen from the hydrocarbon grain results in the evolution in wavelength of this 11.9 micron emission feature to the 11.3 micron feature
Landscape of solutions in constraint satisfaction problems
We present a theoretical framework for characterizing the geometrical
properties of the space of solutions in constraint satisfaction problems,
together with practical algorithms for studying this structure on particular
instances. We apply our method to the coloring problem, for which we obtain the
total number of solutions and analyze in detail the distribution of distances
between solutions.Comment: 4 pages, 4 figures. Replaced with published versio
NASA space station automation: AI-based technology review. Executive summary
Research and Development projects in automation technology for the Space Station are described. Artificial Intelligence (AI) based technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics
Phase Transition in the Number Partitioning Problem
Number partitioning is an NP-complete problem of combinatorial optimization.
A statistical mechanics analysis reveals the existence of a phase transition
that separates the easy from the hard to solve instances and that reflects the
pseudo-polynomiality of number partitioning. The phase diagram and the value of
the typical ground state energy are calculated.Comment: minor changes (references, typos and discussion of results
Performance of an environmental test to detect Mycobacterium bovis infection in badger social groups
A study by Courtenay and others (2006) demonstrated that
the probability of detecting Mycobacterium bovis by PCR in
soil samples from the spoil heaps of main badger setts correlated
with the prevalence of excretion (infectiousness) of
captured badgers belonging to the social group. It has been
proposed that such a test could be used to target badger culling
to setts containing infectious animals (Anon 2007). This
short communication discusses the issues surrounding this
concept, with the intention of dispelling any misconceptions
among relevant stakeholders (farmers, policy makers and
conservationists)
Effects of culling on badger abundance : implications for tuberculosis control
Culling is often considered as a tool for controlling wildlife diseases that can also infect people or livestock. Culling European badgers Meles meles can cause both positive and negative effects on the incidence of bovine tuberculosis (TB) in cattle. One factor likely to influence the outcome of different badger culling strategies for cattle TB is the reduction in badger population density achieved. However, this reduction is difficult to measure because badgers, being nocturnal and fossorial, are difficult to count. Here, we use indices of badger abundance to measure the population impacts of two culling strategies tested in Britain. The densities of badger setts and latrines recorded before culling were correlated with the densities of badgers captured on initial culls, suggesting that both were indices of actual badger abundance. Widespread 'proactive' culling was associated with a 73% reduction in the density of badger latrines, a 69% reduction in the density of active burrows and a 73% reduction in the density of road killed badgers. This population reduction was achieved by a coordinated effort entailing widespread and repeated trapping over several years. However, this strategy caused only modest reductions in cattle TB incidence in culled areas and elevated incidence in neighbouring unculled areas. Localized 'reactive' culling caused a 26% reduction in latrine density, a 32% reduction in active burrow density and a 10% reduction in the density of road killed badgers, but apparently increased the incidence of cattle TB. These results indicate that the relationship between badger population reduction and TB transmission to cattle is strongly non linear, probably because culling prompts changes in badger behaviour that influence transmission rates. These findings raise serious questions about the capacity of badger culling to contribute to the control of cattle TB in Britain
The Peculiar Phase Structure of Random Graph Bisection
The mincut graph bisection problem involves partitioning the n vertices of a
graph into disjoint subsets, each containing exactly n/2 vertices, while
minimizing the number of "cut" edges with an endpoint in each subset. When
considered over sparse random graphs, the phase structure of the graph
bisection problem displays certain familiar properties, but also some
surprises. It is known that when the mean degree is below the critical value of
2 log 2, the cutsize is zero with high probability. We study how the minimum
cutsize increases with mean degree above this critical threshold, finding a new
analytical upper bound that improves considerably upon previous bounds.
Combined with recent results on expander graphs, our bound suggests the unusual
scenario that random graph bisection is replica symmetric up to and beyond the
critical threshold, with a replica symmetry breaking transition possibly taking
place above the threshold. An intriguing algorithmic consequence is that
although the problem is NP-hard, we can find near-optimal cutsizes (whose ratio
to the optimal value approaches 1 asymptotically) in polynomial time for
typical instances near the phase transition.Comment: substantially revised section 2, changed figures 3, 4 and 6, made
minor stylistic changes and added reference
- …