| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/CVP_Hardness/ (Archive of formal Proofs Version 2026-5©) Datei vom 31.4.2026 mit Größe 519 B |
|
Quelle Reduction.thySprache: Isabelle |
|||||||||||||||
|
theory Reduction imports Main begin section ‹Reduction Function› text ‹This definition was taken from the developements at \url{https://github.com/wimmers/poly-reductions} ``Karp21/Reductions.thy''. TODO: When this repo comes into the AFP, link to original definition.› definition is_reduction :: "('a → 'b) → 'a set → 'b set → bool" where "is_reduction f A B ≡ ∀a. a ∈ A ⟷ f a ∈ B " end
¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet am 2026-07-02) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-27