Running time experiments on some algorithms for solving propositional satisfiability problems

1995 ◽  
Vol 55 (1) ◽  
pp. 139-178 ◽  
Author(s):  
Joachim Mayer ◽  
Ilse Mitterreiter ◽  
Franz Josef Radermacher
Keyword(s):  
Propositional Satisfiability ◽  
Running Time ◽  
Satisfiability Problems

Solving propositional satisfiability problems

1990 ◽  
Vol 1 (1-4) ◽  
pp. 167-187 ◽  
Author(s):  
Robert G. Jeroslow ◽  
Jinchang Wang
Keyword(s):  
Propositional Satisfiability ◽  
Satisfiability Problems

TEM Sample Prep Tool Matching—DualBeam FIB Cut Look and Measure Monitoring for Process Control and Development in a 300 mm IC Fab

2016 ◽  
Author(s):  
Jangbae Jeon
Keyword(s):  
Process Control ◽  
Sample Preparation ◽  
Continuous Improvement ◽  
Process Time ◽  
Operational Monitoring ◽  
Thickness Control ◽  
Running Time ◽  
End Products ◽  
Novel Method

Abstract This work presents a novel method of continuous improvement for faster, better and cheaper TEM sample preparation using Cut Look and Measure (CLM). The improvement of the process is executed by operational monitoring of daily beam conditions, end products, bulk thickness control, recipe usage and tool running time. This process produces a consequent decrease in rework rate and process time. In addition, it also increases throughput with better quality TEM samples.

Best Neighbor Heuristic Search for Finding Minimum Paths in Transportation Networks

1998 ◽  
Vol 1651 (1) ◽  
pp. 48-52 ◽  
Author(s):  
Jeffrey L. Adler
Keyword(s):  
Heuristic Search ◽  
Transportation Networks ◽  
Transportation Network ◽  
Search Problems ◽  
A Algorithm ◽  
Running Time ◽  
Search Effort ◽  
Wide Range ◽  
Path Search ◽  
Sparse Networks

For a wide range of transportation network path search problems, the A* heuristic significantly reduces both search effort and running time when compared to basic label-setting algorithms. The motivation for this research was to determine if additional savings could be attained by further experimenting with refinements to the A* approach. We propose a best neighbor heuristic improvement to the A* algorithm that yields additional benefits by significantly reducing the search effort on sparse networks. The level of reduction in running time improves as the average outdegree of the network decreases and the number of paths sought increases.

Ultrashort pulses propagation through different approaches of the Split-Step Fourier method

2018 ◽  
Vol 1 (3) ◽  
pp. 2
Author(s):  
José Stênio De Negreiros Júnior ◽  
Daniel Do Nascimento e Sá Cavalcante ◽  
Jermana Lopes de Moraes ◽  
Lucas Rodrigues Marcelino ◽  
Francisco Tadeu De Carvalho Belchior Magalhães ◽  
...  
Keyword(s):  
Energy Conservation ◽  
Optical Pulse ◽  
Time Window ◽  
Fourier Method ◽  
Ultrashort Pulses ◽  
Nonlinear Effects ◽  
Single Mode ◽  
Time Algorithm ◽  
Optical Pulses ◽  
Running Time

Simulating the propagation of optical pulses in a single mode optical fiber is of fundamental importance for studying the several effects that may occur within such medium when it is under some linear and nonlinear effects. In this work, we simulate it by implementing the nonlinear Schrödinger equation using the Split-Step Fourier method in some of its approaches. Then, we compare their running time, algorithm complexity and accuracy regarding energy conservation of the optical pulse. We note that the method is simple to implement and presents good results of energy conservation, besides low temporal cost. We observe a greater precision for the symmetrized approach, although its running time can be up to 126% higher than the other approaches, depending on the parameters set. We conclude that the time window must be adjusted for each length of propagation in the fiber, so that the error regarding energy conservation during propagation can be reduced.

scholarly journals Faster Motif Counting via Succinct Color Coding and Adaptive Sampling

2021 ◽  
Vol 15 (6) ◽  
pp. 1-27
Author(s):  
Marco Bressan ◽  
Stefano Leucci ◽  
Alessandro Panconesi
Keyword(s):  
Adaptive Sampling ◽  
Relative Frequency ◽  
State Of The Art ◽  
Color Coding ◽  
Input Graph ◽  
Large Graphs ◽  
Running Time ◽  
Uniform Sampling ◽  
Current State ◽  
Connected Subgraphs

We address the problem of computing the distribution of induced connected subgraphs, aka graphlets or motifs , in large graphs. The current state-of-the-art algorithms estimate the motif counts via uniform sampling by leveraging the color coding technique by Alon, Yuster, and Zwick. In this work, we extend the applicability of this approach by introducing a set of algorithmic optimizations and techniques that reduce the running time and space usage of color coding and improve the accuracy of the counts. To this end, we first show how to optimize color coding to efficiently build a compact table of a representative subsample of all graphlets in the input graph. For 8-node motifs, we can build such a table in one hour for a graph with 65M nodes and 1.8B edges, which is times larger than the state of the art. We then introduce a novel adaptive sampling scheme that breaks the “additive error barrier” of uniform sampling, guaranteeing multiplicative approximations instead of just additive ones. This allows us to count not only the most frequent motifs, but also extremely rare ones. For instance, on one graph we accurately count nearly 10.000 distinct 8-node motifs whose relative frequency is so small that uniform sampling would literally take centuries to find them. Our results show that color coding is still the most promising approach to scalable motif counting.

scholarly journals A Comparative Study among New Hybrid Root Finding Algorithms and Traditional Methods

Mathematics ◽  
2021 ◽  
Vol 9 (11) ◽  
pp. 1306
Author(s):  
Elsayed Badr ◽  
Sultan Almotairi ◽  
Abdallah El Ghamry
Keyword(s):  
Comparative Study ◽  
Numerical Results ◽  
Traditional Methods ◽  
Running Time ◽  
Root Finding ◽  
Average Running Time ◽  
False Position ◽  
Newton Raphson ◽  
Number Of Iterations

In this paper, we propose a novel blended algorithm that has the advantages of the trisection method and the false position method. Numerical results indicate that the proposed algorithm outperforms the secant, the trisection, the Newton–Raphson, the bisection and the regula falsi methods, as well as the hybrid of the last two methods proposed by Sabharwal, with regard to the number of iterations and the average running time.

Sign in / Sign up

Export Citation Format

Share Document