Abstract:Graph optimization plays an important role in a wide range of areas such as computer graphics, computational biology, networking applications and machine learning. Among numerous graph optimization problems, some basic problems, such as shortest paths, minimum spanning tree, and maximum matching, are the most fundamental ones. They have practical applications in various fields, and are also building blocks of many other algorithms. Improvements in algorithms for these problems can thus have a great impact both in practice and in theory.In this thesis, we study a number of graph optimization problems. The results are mostly about approximation algorithms solving graph problems, or efficient dynamic data structures which can answer graph queries when a number of changes occur. Much of my work focuses on the dynamic subgraph model in which there is a fixed underlying graph and every vertex can be flipped "on" or "off". The queries are based on the subgraph induced by the "on" vertices. Our results make significant improvements to the previous algorithms of these problems.The major results are listed below. • Approximate Matching. We give the first linear time algorithm for computing approximate maximum weighted matching for arbitrarily small approximation ratio. • d-failure Connectivity Oracle. For an undirected graph, we give the first space-efficient data structure that can answer connectivity queries between any pair of vertices avoiding d other failed vertices in time polynomial in d log n. • (Max, Min)-Matrix Multiplication. We give a faster algorithm for the (max, min)-matrix multiplication problem, which has a direct application to the all-pairs bottleneck paths (APBP) problem. • Dual-failure Distance Oracle. For a given directed graph, we construct a data structure of size Õ(n²) which can efficiently answer distance and shortest path queries in the presence of two node or link failures. • Dynamic Subgraph Connectivity. We give the first subgraph connectivity structure with worst-case sublinear time bounds for both updates and queries. • Bounded-leg Shortest Path. We give an algorithm for preprocessing a directed graph in Õ(n³) time in order to answer approximate bounded leg distance and bounded leg shortest path queries in merely sub-logarithmic time.

Standards for Graph Algorithm Primitives

Graph Programming Interface (GPI): A Linear Algebra Programming Model for Large Scale Graph Computations

JGraphT—A Java Library for Graph Data Structures and Algorithms

Graphulo: Linear Algebra Graph Kernels for NoSQL Databases

GraphIt: a high-performance graph DSL

Graph4J -- A computationally efficient Java library for graph algorithms

The Future is Big Graphs! A Community View on Graph Processing Systems

Dijkstra Graphs

StarPlat: A Versatile DSL for Graph Analytics

Spike-based primitives for graph algorithms

A Meta-graph Approach to Analyze Subgraph-centric Distributed Programming Models

Algorithmic methods of finite discrete structures. Topological graph drawing (part I)

A Graph Algebra for Scalable Visual Analytics

Path-based Algebraic Foundations of Graph Query Languages

Recent Advances in Practical Data Reduction

Graph Computing Systems for Large Scale Graph Analysis

Scalable Graph Algorithms

A Foundation for Functional Graph Programs: The Graph Transformation Control Algebra (GTA)

Are Large-Language Models Graph Algorithmic Reasoners?

Algorithms and dynamics data structures for basic graph optimization problems

Implementing the draft Graph Query Language Standard