Arrow Research search
Back to FOCS

FOCS 1984

Linear Verification for Spanning Trees

Conference Paper Accepted Paper Algorithms and Complexity · Theoretical Computer Science

Abstract

Given a rooted tree with values associated with the n vertices and a set A of directed paths (queries), we describe an algorithm which finds the maximum value of every one of the given paths, and which uses only 5n + n log [(|A|+n)/n] comparisons. This leads to a spanning tree verification algorithm using O(n+e) comparisons in a graph with n vertices and e edges. No implementation is offered.

Authors

Keywords

  • Tree graphs
  • Costs
  • Circuit testing
  • Sorting
  • Spanning Tree
  • Binary Tree
  • Undirected Network

Context

Venue
IEEE Symposium on Foundations of Computer Science
Archive span
1975-2025
Indexed papers
3809
Paper id
288150241083640924
v2026.09.13