# Editorial: Surveys in Algorithm Analysis and Complexity Theory, Part II (Special Issue)
## 2 Contents  
The first contribution (Contribution 2) is a unique historical survey about the Lozi chaotic map, written by [PERSON] (the inventor of the map himself) 46 years after its creation. It tells the fascinating story of how the author conceived the idea for his map and what it was like to be a researcher in the 1970s, introduces the basic mathematical properties of the map, mentions some generalizations, and describes numerous unexpected applications to optimization algorithms and engineering that have been developed over the years. An extensive list of references, spanning across several decades, is provided in the bibliography. The goal of post-quantum cryptography is to build and refine cryptographic systems that will be secure against cryptanalytic attacks by quantum computers in the future. To decide how to update the existing standards and security protocols, an ongoing competition organized by the National Institute of Standards and Technology (NIST) has been examining a huge number of proposed quantum-resistant cryptographic algorithms in detail. The survey by [PERSON] and [PERSON] (Contribution 3) compares various efficiency- and security-related aspects of the three winners from the \"Digital Signature Algorithms\" category in round 3 of the competition: CRYSTALS-Dilithium, Falcon, and SPHINCS\({}^{+}\). The third survey in the collection, written by [PERSON], [PERSON], and [PERSON] (Contribution 4), reviews methods for isosurface extraction from a given structured or unstructured dataset. The authors identify four major approaches that they refer to as marching cubes algorithms, tessellation-based algorithms, surface nets algorithms, and ray-tracing algorithms, and discuss the advantages, limitations, and applicability of each one. Practical applications of these methods include medical image processing, scientific data analysis, and visualization of simulations. The fourth survey was written by [PERSON], [PERSON], [PERSON], and [PERSON] (Contribution 5). It covers SAT-based model-checking algorithms for the formal verification of sequential hardware circuits whose behavior can be specified using finite transition systems. Classic methods such as bounded model checking, temporal induction, and [PERSON]'s interpolation algorithm, and more recent methods such as \"Incremental Construction of Inductive Clauses for Indubitable Correctness\" (IC3) and \"Interpolation with Guided Refinement\" (IGR), are explained, illustrated with examples, and compared to each other experimentally on a set of verification benchmarks derived from Hardware Model Checking Competition suites. Next, [PERSON] and [PERSON] (Contribution 6) revisit an old technique for dynamic hashing called spiral storage. It was shown in the 1980s that a simpler and computationally less intensive technique known as linear hashing outperforms spiral storage (as well as various other alternatives for dynamic hashing) under assumptions that were reasonable at the time, and spiral storage gradually fell into oblivion. However, technological advancements since then have improved processor speeds much more than memory access times and storage access times, and the authors' reassessment of the spiral storage technique demonstrates that it is actually faster and more predictable than linear hashing in many cases relevant to today's computing environments, potentially reigniting interest in this technique. Given a set \(r\) of tuples of non-negative real numbers, a skyline tuple is a tuple in \(r\) that is not dominated by any other tuple in \(r\). Because the number of skyline tuples in high-dimensional datasets in big data applications can be impractically large, methods have been proposed for ranking them according to their robustness, thus allowing users to identify and focus on small subsets of important skyline tuples.