Some beautiful arguments using mathematical induction

DOI10.1007/BF00288531MaRDI QIDQ1140430zbMATH OpenOpenAlexFDO

Authors Edsger W. Dijkstra

Publication date 1980

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00288531

zbMATH Keywords

mathematical induction

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Discrete mathematics in relation to computer science (68R99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(13)

• Computing the all-pairs longest chains in the plane
• Drawing graphs in two layers
• Some modified algorithms for Dijkstra's longest upsequence problem
• A note on adaptive parallel sorting
• A visit to mutual exclusion in seven dates
• A self-stabilizing algorithm for finding articulation points
• Finding a minimum independent dominating set in a permutation graph
• An algorithm for the determination of longest increasing subsequence in a sequence
• An efficient algorithm for maxdominance, with applications
• Another look at the longest ascending subsequence problem
• The impact of the apex node on routing inside a pyramid structure
• On difunctions
• Election in fully anonymous shared memory systems: tight space bounds and algorithms

This page was built for publication: Some beautiful arguments using mathematical induction

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