AdjacencyList.h

// Copyright (C) 2019-2022 Garth N. Wells
//
// This file is part of DOLFINx (https://www.fenicsproject.org)
//
// SPDX-License-Identifier:    LGPL-3.0-or-later
 
#pragma once
 
#include <cassert>
#include <concepts>
#include <numeric>
#include <span>
#include <sstream>
#include <utility>
#include <vector>
 
namespace dolfinx::graph
{
 
template <typename T>
class AdjacencyList
{
public:
  explicit AdjacencyList(const std::int32_t n) : _array(n), _offsets(n + 1)
  {
    std::iota(_array.begin(), _array.end(), 0);
    std::iota(_offsets.begin(), _offsets.end(), 0);
  }
 
  template <std::convertible_to<std::vector<T>> U,
            std::convertible_to<std::vector<std::int32_t>> V>
  AdjacencyList(U&& data, V&& offsets)
      : _array(std::forward<U>(data)), _offsets(std::forward<V>(offsets))
  {
    _array.reserve(_offsets.back());
    assert(_offsets.back() == (std::int32_t)_array.size());
  }
 
  template <typename X>
  explicit AdjacencyList(const std::vector<X>& data)
  {
    // Initialize offsets and compute total size
    _offsets.reserve(data.size() + 1);
    _offsets.push_back(0);
    for (const auto& row : data)
      _offsets.push_back(_offsets.back() + row.size());
 
    _array.reserve(_offsets.back());
    for (const auto& e : data)
      _array.insert(_array.end(), e.begin(), e.end());
  }
 
  AdjacencyList(const AdjacencyList& list) = default;
 
  AdjacencyList(AdjacencyList&& list) = default;
 
  ~AdjacencyList() = default;
 
  AdjacencyList& operator=(const AdjacencyList& list) = default;
 
  AdjacencyList& operator=(AdjacencyList&& list) = default;
 
  bool operator==(const AdjacencyList& list) const
  {
    return this->_array == list._array and this->_offsets == list._offsets;
  }
 
  std::int32_t num_nodes() const { return _offsets.size() - 1; }
 
  int num_links(int node) const
  {
    assert((node + 1) < (int)_offsets.size());
    return _offsets[node + 1] - _offsets[node];
  }
 
  std::span<T> links(int node)
  {
    return std::span<T>(_array.data() + _offsets[node],
                        _offsets[node + 1] - _offsets[node]);
  }
 
  std::span<const T> links(int node) const
  {
    return std::span<const T>(_array.data() + _offsets[node],
                              _offsets[node + 1] - _offsets[node]);
  }
 
  const std::vector<T>& array() const { return _array; }
 
  std::vector<T>& array() { return _array; }
 
  const std::vector<std::int32_t>& offsets() const { return _offsets; }
 
  std::vector<std::int32_t>& offsets() { return _offsets; }
 
  std::string str() const
  {
    std::stringstream s;
    s << "<AdjacencyList> with " + std::to_string(this->num_nodes()) + " nodes"
      << std::endl;
    for (std::size_t e = 0; e < _offsets.size() - 1; ++e)
    {
      s << "  " << e << ": [";
      for (auto link : this->links(e))
        s << link << " ";
      s << "]" << std::endl;
    }
    return s.str();
  }
 
private:
  // Connections for all entities stored as a contiguous array
  std::vector<T> _array;
 
  // Position of first connection for each entity (using local index)
  std::vector<std::int32_t> _offsets;
};
 
template <typename U>
  requires requires {
             typename std::decay_t<U>::value_type;
             std::convertible_to<
                 U, std::vector<typename std::decay_t<U>::value_type>>;
           }
AdjacencyList<typename std::decay_t<U>::value_type>
regular_adjacency_list(U&& data, int degree)
{
  if (degree == 0 and !data.empty())
  {
    throw std::runtime_error("Degree is zero but data is not empty for "
                             "constant degree AdjacencyList");
  }
 
  if (degree > 0 and data.size() % degree != 0)
  {
    throw std::runtime_error(
        "Incompatible data size and degree for constant degree AdjacencyList");
  }
 
  std::int32_t num_nodes = degree == 0 ? data.size() : data.size() / degree;
  std::vector<std::int32_t> offsets(num_nodes + 1, 0);
  for (std::size_t i = 1; i < offsets.size(); ++i)
    offsets[i] = offsets[i - 1] + degree;
  return AdjacencyList<typename std::decay_t<U>::value_type>(
      std::forward<U>(data), std::move(offsets));
}
 
} // namespace dolfinx::graph