AWhat changed
Arlazarov, Dinitz, M.A.Kronrod and Faradzhev tabulated unions over small blocks of intermediate vertices to compute Boolean relation products and acyclic graph closure in O(n^3/ln n) elementary operations.
Scientific scope
Arlazarov, Dinitz, M.A.Kronrod and Faradzhev tabulated unions over small blocks of intermediate vertices to compute Boolean relation products and acyclic graph closure in O(n^3/ln n) elementary operations. The original direct result concerns acyclic graph closure with O(n^3/log n) elementary operations and table lookup; general graphs require the cited condensation/rank reductions. Lookup, storage and bit-operation assumptions remain part of the computational model. This account follows a transcription of the short original; it does not supply a certified formula transcription or independent proof reconstruction. Finite examples do not certify the complete asymptotic argument or a modern runtime benchmark. M. A. Kronrod is Mikhail Kronrod.
Evidence
Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.
Contributors
- Vladimir L'vovich Arlazarov · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.
- Yefim Dinitz · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.
- Mikhail Aleksandrovich Kronrod · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.
- Igor Aleksandrovich Faradzhev · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.
- Arlazarov, Dinitz, M. A. Kronrod and Faradzhev, economical transitive closure (1970) — original Russian web extraction
- Modern English transcription of the 1970 two-page closure note — auxiliary reading aid
- Math-Net original bibliographic entry and full byline
- Math-Net linked author identities: Mikhail Aleksandrovich Kronrod
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction