A comparative runtime analysis of heuristic algorithms for satisfiability problems

AbstractThe satisfiability problem is a basic core NP-complete problem. In recent years, a lot of heuristic algorithms have been developed to solve this problem, and many experiments have evaluated and compared the performance of different heuristic algorithms. However, rigorous theoretical analysis and comparison are rare. This paper analyzes and compares the expected runtime of three basic heuristic algorithms: RandomWalk, (1+1) EA, and hybrid algorithm. The runtime analysis of these heuristic algorithms on two 2-SAT instances shows that the expected runtime of these heuristic algorithms can be exponential time or polynomial time. Furthermore, these heuristic algorithms have their own advantages and disadvantages in solving different SAT instances. It also demonstrates that the expected runtime upper bound of RandomWalk on arbitrary k-SAT (k⩾3) is O((k−1)n), and presents a k-SAT instance that has Θ((k−1)n) expected runtime bound

LHC Search of New Higgs Boson via Resonant Di-Higgs Production with Decays into 4W

Searching for new Higgs particle beyond the observed light Higgs boson h(125GeV) will unambiguously point to new physics beyond the standard model. We study the resonant production of a CP-even heavy Higgs state $H^0$ in the di-Higgs channel via, $gg\to H^0\to h^0h^0\to WW^*WW^*$, at the LHC Run-2 and the high luminosity LHC (HL-LHC). We analyze two types of the $4W$ decay modes, one with the same-sign di-leptons ($4W\to\ell^\pm\nu\ell^\pm\nu 4q$) and the other with tri-leptons ($4W\to\ell^\pm\nu\ell^\mp\nu\ell^\pm\nu 2q$). We perform a full simulation for the signals and backgrounds, and estimate the discovery potential of the heavy Higgs state at the LHC Run-2 and the HL-LHC, in the context of generical two-Higgs-doublet models (2HDM). We determine the viable parameter space of the 2HDM as allowed by the theoretical constraints and the current experimental limits. We systematically analyze the allowed parameter space of the 2HDM which can be effectively probed by the heavy Higgs searches of the LHC, and further compare this with the viable parameter region under the current theoretical and experimental bounds.Comment: v3: JHEP published version, 34pp, 10 Figs(36 plots) and 9 Tables. Only minor typos fixed, references added. v2: JHEP version. All results and conclusions un-changed, discussions and references added. (This update is much delayed due to author's traveling and flu.

Analysis and Design of Intelligent Logistics System Based on Internet of Things

Based on Internet of things, .NET software development technology and GIS technology, this paper analyzes and designs a system of intelligent distribution information with software engineering life cycle theory as the guide to solve the problem of high complexity and low efficiency of manual operation in logistics and distribution, improve the level of intelligent operation and then improve the operating efficiency. It analyzes the business requirements of the system, then designs its physical architecture, software architecture and system structure, and constructs the terminal node distribution dynamic model of transmission route, realizing the main function modules of the system and verifying the correctness and effectiveness of the system results through systematic and comprehensive tests. DOI: 10.17762/ijritcc2321-8169.15065

Angle-resolved broadband ferromagnetic resonance apparatus enabled through a spring-loaded sample mounting manipulator

Broadband ferromagnetic resonance is a useful technique to determine the magnetic anisotropy and study the magnetization dynamics of magnetic thin films. We report a spring-loaded sample loading manipulator for reliable sample mounting and rotation. The manipulator enables maximum signal, enhances system stability and is particularly useful for fully automated in-plane-field angle-resolved measurements. This angle-resolved broadband ferromagnetic resonance apparatus provides a viable method to study anisotropic damping and weak magnetic anisotropies, both vital for fundamental research and applications.Comment: 11pages,4 figure

Crosslinked fluoropolymers exhibiting superior high-temperature energy density and charge-discharge efficiency

Superior high-temperature discharged energy densities in comparison to those of the current dielectric polymers have been demonstrated in the crosslinked fluoropolymers

2-Chloro-N-[(4-chloro­phen­yl)(phen­yl)meth­yl]-N-[2-(4-nitro-1H-imidazol-1-yl)eth­yl]ethanamine

In the title compound, C20H20Cl2N4O2, the nitro­imidazole ring makes dihedral angles of 17.00 (1) and 60.45 (11)° with the phenyl and chloro­phenyl rings, respectively. The three-coordinate N atom connected to two methyl­ene and one methine C atoms shows pyramidal coordination