scholarly journals Enriching Non-Parametric Bidirectional Search Algorithms

2019 ◽  
Vol 33 ◽  
pp. 2379-2386
Author(s):  
Shahaf S. Shperberg ◽  
Ariel Felner ◽  
Nathan R. Sturtevant ◽  
Solomon E. Shimony ◽  
Avi Hayoun
Keyword(s):  
Search Algorithm ◽  
Search Algorithms ◽  
Optimal Solutions ◽  
Worst Case ◽  
Bidirectional Search ◽  
Algorithmic Framework ◽  
Special Case ◽  
Non Parametric

NBS is a non-parametric bidirectional search algorithm proven to expand at most twice the number of node expansions required to verify the optimality of a solution. We introduce new variants of NBS that are aimed at finding all optimal solutions. We then introduce an algorithmic framework that includes NBS as a special case. Finally, we introduce DVCBS, a new algorithm in this framework that aims to further reduce the number of expansions. Unlike NBS, DVCBS does not have any worst-case bound guarantees, but in practice it outperforms NBS in verifying the optimality of solutions.

scholarly journals Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions

2017 ◽  
Author(s):  
Jingwei Chen ◽  
Robert C. Holte ◽  
Sandra Zilles ◽  
Nathan R. Sturtevant
Keyword(s):  
Heuristic Search ◽  
Search Algorithm ◽  
Optimal Solution ◽  
Search Algorithms ◽  
Worst Case ◽  
Heuristic Search Algorithm ◽  
Bidirectional Search ◽  
Optimal Node ◽  
Minimum Number ◽  
Better Than

It is well-known that any admissible unidirectional heuristic search algorithm must expand all states whose f-value is smaller than the optimal solution cost when using a consistent heuristic. Such states are called “surely expanded” (s.e.). A recent study characterized s.e. pairs of states for bidirectional search with consistent heuristics: if a pair of states is s.e. then at least one of the two states must be expanded. This paper derives a lower bound, VC, on the minimum number of expansions required to cover all s.e. pairs, and present a new admissible front-to-end bidirectional heuristic search algorithm, Near-Optimal Bidirectional Search (NBS), that is guaranteed to do no more than 2VC expansions. We further prove that no admissible front-to-end algorithm has a worst case better than 2VC. Experimental results show that NBS competes with or outperforms existing bidirectional search algorithms, and often outperforms A* as well.

A Tabu Search Algorithm for the Stage Shop Problem

2012 ◽  
Vol 433-440 ◽  
pp. 3124-3129
Author(s):  
Mohammad Mahdi Nasiri ◽  
Farhad Kianfar
Keyword(s):  
Lower Bound ◽  
Tabu Search ◽  
Objective Function ◽  
Job Shop ◽  
Search Algorithm ◽  
Tabu Search Algorithm ◽  
Computational Results ◽  
Optimal Solutions ◽  
Problem Instances ◽  
Special Case

This paper presents stage shop problem which is a special case of the general shop. The stage shop is a more realistic generalization of the mixed shop problem. In the stage shop problem, each job has several stages of operations. In order to solve the stage shop problem with makespan objective function, a tabu search algorithm is developed. In addition, an existing lower bound of the job shop is adapted to the new problem and the computational results have been compared to it. The proposed TS algorithm has reached the optimal solutions for about half of the problem instances

scholarly journals Circumspect descent prevails in solving random constraint satisfaction problems

2008 ◽  
Vol 105 (40) ◽  
pp. 15253-15257 ◽  
Author(s):  
Mikko Alava ◽  
John Ardelius ◽  
Erik Aurell ◽  
Petteri Kaski ◽  
Supriya Krishnamurthy ◽  
...  
Keyword(s):  
Local Search ◽  
Linear Time ◽  
Search Algorithm ◽  
Solution Space ◽  
Search Algorithms ◽  
Constraint Satisfaction Problems ◽  
Problem Instance ◽  
Stochastic Local Search ◽  
Local Search Algorithms ◽  
Local Energy Minimum

We study the performance of stochastic local search algorithms for random instances of the K-satisfiability (K-SAT) problem. We present a stochastic local search algorithm, ChainSAT, which moves in the energy landscape of a problem instance by never going upwards in energy. ChainSAT is a focused algorithm in the sense that it focuses on variables occurring in unsatisfied clauses. We show by extensive numerical investigations that ChainSAT and other focused algorithms solve large K-SAT instances almost surely in linear time, up to high clause-to-variable ratios α; for example, for K = 4 we observe linear-time performance well beyond the recently postulated clustering and condensation transitions in the solution space. The performance of ChainSAT is a surprise given that by design the algorithm gets trapped into the first local energy minimum it encounters, yet no such minima are encountered. We also study the geometry of the solution space as accessed by stochastic local search algorithms.

scholarly journals Motion Estimation Architecture Using Efficient Adder-Compressors for HDTV Video Coding

2010 ◽  
Vol 5 (1) ◽  
pp. 78-88 ◽  
Author(s):  
Marcelo Porto ◽  
André Silva ◽  
Sergo Almeida ◽  
Eduardo Da Costa ◽  
Sergio Bampi
Keyword(s):  
Motion Estimation ◽  
Real Time ◽  
Search Algorithm ◽  
Absolute Difference ◽  
High Definition ◽  
Case Processing ◽  
Worst Case ◽  
Average Case ◽  
High Definition Television ◽  
Internal Structures

This paper presents real time HDTV (High Definition Television) architecture for Motion Estimation (ME) using efficient adder compressors. The architecture is based on the Quarter Sub-sampled Diamond Search algorithm (QSDS) with Dynamic Iteration Control (DIC) algorithm. The main characteristic of the proposed architecture is the large amount of Processing Units (PUs) that are used to calculate the SAD (Sum of Absolute Difference) metric. The internal structures of the PUs are composed by a large number of addition operations to calculate the SADs. In this paper, efficient 4-2 and 8-2 adder compressors are used in the PUs architecture to achieve the performance to work with HDTV (High Definition Television) videos in real time at 30 frames per second. These adder compressors enable the simultaneous addition of 4 and 8 operands respectively. The PUs, using adder compressors, were applied to the ME architecture. The implemented architecture was described in VHDL and synthesized to FPGA and, with Leonardo Spectrum tool, to the TSMC 0.18μm CMOS standard cell technology. Synthesis results indicate that the new QSDS-DIC architecture reach the best performance result and enable gains of 12% in terms of processing rate. The architecture can reach real time for full HDTV (1920x1080 pixels) in the worst case processing 65 frames per second, and it can process 269 HDTV frames per second in the average case.

scholarly journals Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess

2017 ◽  
Vol 59 ◽  
pp. 463-494 ◽  
Author(s):  
Shaowei Cai ◽  
Jinkun Lin ◽  
Chuan Luo
Keyword(s):  
Local Search ◽  
Real World ◽  
Large Scale ◽  
Heuristic Algorithms ◽  
Search Algorithm ◽  
Vertex Cover ◽  
Search Algorithms ◽  
Theory And Practice ◽  
Sparse Graphs ◽  
Massive Graphs

The problem of finding a minimum vertex cover (MinVC) in a graph is a well known NP-hard combinatorial optimization problem of great importance in theory and practice. Due to its NP-hardness, there has been much interest in developing heuristic algorithms for finding a small vertex cover in reasonable time. Previously, heuristic algorithms for MinVC have focused on solving graphs of relatively small size, and they are not suitable for solving massive graphs as they usually have high-complexity heuristics. This paper explores techniques for solving MinVC in very large scale real-world graphs, including a construction algorithm, a local search algorithm and a preprocessing algorithm. Both the construction and search algorithms are based on low-complexity heuristics, and we combine them to develop a heuristic algorithm for MinVC called FastVC. Experimental results on a broad range of real-world massive graphs show that, our algorithms are very fast and have better performance than previous heuristic algorithms for MinVC. We also develop a preprocessing algorithm to simplify graphs for MinVC algorithms. By applying the preprocessing algorithm to local search algorithms, we obtain two efficient MinVC solvers called NuMVC2+p and FastVC2+p, which show further improvement on the massive graphs.

scholarly journals A new algorithm for fixed point quantum search

2006 ◽  
Vol 6 (6) ◽  
pp. 483-494
Author(s):  
T. Tulsi ◽  
L.K. Grover ◽  
A. Patel
Keyword(s):  
Fixed Point ◽  
Error Probability ◽  
Search Algorithm ◽  
Quantum Search ◽  
Worst Case ◽  
Average Case ◽  
Standard Quantum ◽  
Quantum Search Algorithm ◽  
Monotonic Convergence ◽  
Worst Case Behavior

The standard quantum search lacks a feature, enjoyed by many classical algorithms, of having a fixed point, i.e. monotonic convergence towards the solution. Recently a fixed point quantum search algorithm has been discovered, referred to as the Phase-\pi/3 search algorithm, which gets around this limitation. While searching a database for a target state, this algorithm reduces the error probability from \epsilon to \epsilon^{2q+1} using q oracle queries, which has since been proved to be asymptotically optimal. A different algorithm is presented here, which has the same worst-case behavior as the Phase-\pi/3 search algorithm but much better average-case behavior. Furthermore the new algorithm gives \epsilon^{2q+1} convergence for all integral q, whereas the Phase-\pi/3 search algorithm requires q to be (3^{n}-1)/2 with n a positive integer. In the new algorithm, the operations are controlled by two ancilla qubits, and fixed point behavior is achieved by irreversible measurement operations applied to these ancillas. It is an example of how measurement can allow us to bypass some restrictions imposed by unitarity on quantum computing.

scholarly journals Results on a Super Strong Exponential Time Hypothesis

2020 ◽  
Vol 34 (09) ◽  
pp. 13700-13703
Author(s):  
Nikhil Vyas ◽  
Ryan Williams
Keyword(s):  
Randomized Algorithm ◽  
Time Algorithm ◽  
Critical Threshold ◽  
Polynomial Method ◽  
Variable Ratio ◽  
Sat Solving ◽  
Worst Case ◽  
Exponential Time ◽  
Exponential Time Hypothesis ◽  
Special Case

All known SAT-solving paradigms (backtracking, local search, and the polynomial method) only yield a 2n(1−1/O(k)) time algorithm for solving k-SAT in the worst case, where the big-O constant is independent of k. For this reason, it has been hypothesized that k-SAT cannot be solved in worst-case 2n(1−f(k)/k) time, for any unbounded ƒ : ℕ → ℕ. This hypothesis has been called the “Super-Strong Exponential Time Hypothesis” (Super Strong ETH), modeled after the ETH and the Strong ETH. We prove two results concerning the Super-Strong ETH:1. It has also been hypothesized that k-SAT is hard to solve for randomly chosen instances near the “critical threshold”, where the clause-to-variable ratio is 2k ln 2 −Θ(1). We give a randomized algorithm which refutes the Super-Strong ETH for the case of random k-SAT and planted k-SAT for any clause-to-variable ratio. In particular, given any random k-SAT instance F with n variables and m clauses, our algorithm decides satisfiability for F in 2n(1−Ω( log k)/k) time, with high probability (over the choice of the formula and the randomness of the algorithm). It turns out that a well-known algorithm from the literature on SAT algorithms does the job: the PPZ algorithm of Paturi, Pudlak, and Zane (1998).2. The Unique k-SAT problem is the special case where there is at most one satisfying assignment. It is natural to hypothesize that the worst-case (exponential-time) complexity of Unique k-SAT is substantially less than that of k-SAT. Improving prior reductions, we show the time complexities of Unique k-SAT and k-SAT are very tightly related: if Unique k-SAT is in 2n(1−f(k)/k) time for an unbounded f, then k-SAT is in 2n(1−f(k)(1−ɛ)/k) time for every ɛ > 0. Thus, refuting Super Strong ETH in the unique solution case would refute Super Strong ETH in general.

scholarly journals Resilient Capacity-Aware Routing

2021 ◽  
pp. 411-429
Author(s):  
Stefan Schmid ◽  
Nicolas Schnepf ◽  
Jiří Srba
Keyword(s):  
Communication Networks ◽  
Search Algorithm ◽  
Shortest Paths ◽  
Capacity Constraints ◽  
High Availability ◽  
Worst Case ◽  
Shortest Path Routing ◽  
Link Failures ◽  
Algorithmic Question ◽  
Improved Performance

AbstractTo ensure a high availability, communication networks provide resilient routing mechanisms that quickly change routes upon failures. However, a fundamental algorithmic question underlying such mechanisms is hardly understood: how to verify whether a given network reroutes flows along feasible paths, without violating capacity constraints, for up to k link failures? We chart the algorithmic complexity landscape of resilient routing under link failures, considering shortest path routing based on link weights as e.g. deployed in the ECMP protocol. We study two models: a pessimistic model where flows interfere in a worst-case manner along equal-cost shortest paths, and an optimistic model where flows are routed in a best-case manner, and we present a complete picture of the algorithmic complexities. We further propose a strategic search algorithm that checks only the critical failure scenarios while still providing correctness guarantees. Our experimental evaluation on a benchmark of Internet and datacenter topologies confirms an improved performance of our strategic search by several orders of magnitude.

Performances of Adaptive Cuckoo Search Algorithm in Engineering Optimization

2016 ◽  
pp. 676-699 ◽  
Author(s):  
Pauline Ong ◽  
S. Kohshelan
Keyword(s):  
Search Algorithm ◽  
Cuckoo Search ◽  
Cuckoo Search Algorithm ◽  
Breeding Strategy ◽  
Function Optimization ◽  
Engineering Optimization ◽  
Optimal Solutions ◽  
Step Size ◽  
Swarm Optimization ◽  
Searching Strategy

A new optimization algorithm, specifically, the cuckoo search algorithm (CSA), which inspired by the unique breeding strategy of cuckoos, has been developed recently. Preliminary studies demonstrated the comparative performances of the CSA as opposed to genetic algorithm and particle swarm optimization, however, with the competitive advantage of employing fewer control parameters. Given enough computation, the CSA is guaranteed to converge to the optimal solutions, albeit the search process associated to the random-walk behavior might be time-consuming. Moreover, the drawback from the fixed step size searching strategy in the inner computation of CSA still remain unsolved. The adaptive cuckoo search algorithm (ACSA), with the effort in the aspect of integrating an adaptive search strategy, was attached in this study. Its beneficial potential are analyzed in the benchmark test function optimization, as well as engineering optimization problem. Results showed that the proposed ACSA improved over the classical CSA.

scholarly journals A Unifying View on Individual Bounds and Heuristic Inaccuracies in Bidirectional Search

2020 ◽  
Vol 34 (03) ◽  
pp. 2327-2334
Author(s):  
Vidal Alcázar ◽  
Pat Riddle ◽  
Mike Barley
Keyword(s):  
Lower Bound ◽  
Heuristic Search ◽  
Search Algorithm ◽  
Substantial Improvement ◽  
Full Potential ◽  
The Past ◽  
Heuristic Search Algorithms ◽  
Bidirectional Search ◽  
Order Of Magnitude ◽  
The Cost

In the past few years, new very successful bidirectional heuristic search algorithms have been proposed. Their key novelty is a lower bound on the cost of a solution that includes information from the g values in both directions. Kaindl and Kainz (1997) proposed measuring how inaccurate a heuristic is while expanding nodes in the opposite direction, and using this information to raise the f value of the evaluated nodes. However, this comes with a set of disadvantages and remains yet to be exploited to its full potential. Additionally, Sadhukhan (2013) presented BAE∗, a bidirectional best-first search algorithm based on the accumulated heuristic inaccuracy along a path. However, no complete comparison in regards to other bidirectional algorithms has yet been done, neither theoretical nor empirical. In this paper we define individual bounds within the lower-bound framework and show how both Kaindl and Kainz's and Sadhukhan's methods can be generalized thus creating new bounds. This overcomes previous shortcomings and allows newer algorithms to benefit from these techniques as well. Experimental results show a substantial improvement, up to an order of magnitude in the number of necessarily-expanded nodes compared to state-of-the-art near-optimal algorithms in common benchmarks.

Sign in / Sign up

Export Citation Format

Share Document