The secret life of keys: on the calculation of mechanical lock systems

DOI10.1137/15M1030054zbMATH Open1370.90232MaRDI QIDQ5738136FDOQ5738136

Flavio de Lorenzi, Erwin Fuchs, Christof Vömel, Samuel Beer

Publication date: 31 May 2017

Published in: SIAM Review (Search for Journal in Brave)

zbMATH Keywords

simulated annealingcombinatorial optimizationdirected acyclic graphglobal optimizationrandomized algorithmheuristicartificial intelligenceNP-completenesssemilatticealgebraic modelsubgraph isomorphismmathematics in industrycylinder locklock system

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Approximation methods and heuristics in mathematical programming (90C59) Randomized algorithms (68W20) Combinatorial optimization (90C27) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60) Semilattices (06A12)

Cites Work

• The algorithm design manual
• Title not available (Why is that?)
• An Introduction to Statistical Learning
• Elements of Information Theory
• Optimization by Simulated Annealing
• Task Scheduling in an Asynchronous Distributed Memory Multifrontal Solver
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Algorithm for Subgraph Isomorphism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinatorial optimization. Theory and algorithms.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Transitive Reduction of a Directed Graph
• Three Partition Refinement Algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximum distance<tex>q</tex>-nary codes
• Thermodynamical approach to the travelling salesman problem: An efficient simulation algorithm
• Title not available (Why is that?)
• Title not available (Why is that?)
• Facts, Conjectures, and Improvements for Simulated Annealing
• The complexity of embedding orders into small products of chains
• Global optimization and simulated annealing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stochastic Optimization
• The representation of posets and lattices by sets
• Computational aspects of the 2-dimension of partially ordered sets
• THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism
• Generalized Polychotomic Encoding: A Very Short Bit-Vector Encoding of Tree Hierarchies

Cited In (5)

• Mathematical modelling of mechanical combination lock systems
• Finding subgraphs with side constraints
• The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
• Locks fit into keys: a crystal analysis of lock polynomials
• Locks, Bombs and Testing: The Case of Independent Locks

Uses Software

• MUMPS
• Genocop
• Stony Brook
• CLIPS
• Tabu search
• Boost
• BGL

   Recommendations

• The combinatorial complexity of masterkeying 👍 👎
• Mathematical modelling of mechanical combination lock systems 👍 👎
• Problems on mathematical safes on graphs 👍 👎
• Solution of a matrix problem on a mathematical safe for locks of the same kind. I 👍 👎
• Fuming Acid and Cryptanalysis: Handy Tools for Overcoming a Digital Locking and Access Control System 👍 👎

This page was built for publication: The secret life of keys: on the calculation of mechanical lock systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5738136)