A fixed-space program of linear output complexity for the problem of the three vessels

DOI10.1016/0167-6423(82)90011-9zbMATH Open0505.68010OpenAlexW1988664290MaRDI QIDQ1836477FDOQ1836477

Authors: Martin Rem, Young-il Choo 

Publication date: 1982

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(82)90011-9

zbMATH Keywords

program correctnessrecreational mathematicsprogram developmentcomplexity of programsproblem of the three vesselsthree jug problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A fixed-space program of linear output complexity for the problem of the three vessels

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