2024-03-20 10:12:02 +02:00
|
|
|
use geo::{Point, Polygon, LineString, EuclideanDistance, Area};
|
2024-03-17 14:46:15 +02:00
|
|
|
use std::collections::{HashMap, HashSet};
|
|
|
|
|
use std::cmp::{min, max};
|
|
|
|
|
use rand::Rng;
|
2024-03-17 16:36:07 +02:00
|
|
|
use rayon::prelude::*;
|
2024-03-17 14:46:15 +02:00
|
|
|
use delaunator::{triangulate, Point as DelaunatorPoint};
|
2024-03-17 19:18:53 +02:00
|
|
|
use itertools::Itertools;
|
|
|
|
|
use std::sync::{Arc, Mutex};
|
2024-03-18 13:30:25 +02:00
|
|
|
use std::time::Instant;
|
2024-03-18 13:48:35 +02:00
|
|
|
use std::mem;
|
2024-03-17 19:18:53 +02:00
|
|
|
|
|
|
|
|
#[derive(Debug, Clone, Copy, Hash, PartialEq, Eq)]
|
|
|
|
|
struct Edge(usize, usize);
|
|
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
|
struct TriangleData {
|
|
|
|
|
index: usize,
|
2024-03-18 11:47:30 +02:00
|
|
|
area: Option<f32>,
|
2024-03-19 11:23:57 +02:00
|
|
|
terminal_edge: Option<Edge>
|
2024-03-17 19:18:53 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
|
struct GeometryData {
|
|
|
|
|
triangles: Vec<TriangleData>,
|
|
|
|
|
edge_to_triangles: HashMap<Edge, Vec<usize>>, // Maps an edge to triangle indices
|
|
|
|
|
edge_lengths: HashMap<Edge, f32>, // Edge lengths
|
2024-03-18 13:10:54 +02:00
|
|
|
vertex_connections: HashMap<usize, HashSet<usize>>, // Direct connections between vertices, for DTSCAN
|
2024-03-17 19:18:53 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl GeometryData {
|
|
|
|
|
fn new() -> Self {
|
|
|
|
|
GeometryData {
|
|
|
|
|
triangles: Vec::new(),
|
|
|
|
|
edge_to_triangles: HashMap::new(),
|
|
|
|
|
edge_lengths: HashMap::new(),
|
2024-03-18 13:10:54 +02:00
|
|
|
vertex_connections: HashMap::new(), // Adjusted for DTSCAN
|
2024-03-17 19:18:53 +02:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2024-03-18 11:47:30 +02:00
|
|
|
fn add_triangle(&mut self, index: usize, points: &[Point<f32>], tri_idx: &[usize], types: usize) {
|
2024-03-18 13:48:35 +02:00
|
|
|
let point_a: Point<f32> = points[tri_idx[0]];
|
|
|
|
|
let point_b: Point<f32> = points[tri_idx[1]];
|
|
|
|
|
let point_c: Point<f32> = points[tri_idx[2]];
|
2024-03-19 11:23:57 +02:00
|
|
|
|
2024-03-18 13:10:54 +02:00
|
|
|
// Temporarily store edges_with_lengths for sorting and determining the terminal_edge.
|
|
|
|
|
let mut edges_with_lengths_temp = [
|
|
|
|
|
(Edge(min(tri_idx[0], tri_idx[1]), max(tri_idx[0], tri_idx[1])), point_a.euclidean_distance(&point_b)),
|
|
|
|
|
(Edge(min(tri_idx[1], tri_idx[2]), max(tri_idx[1], tri_idx[2])), point_b.euclidean_distance(&point_c)),
|
|
|
|
|
(Edge(min(tri_idx[2], tri_idx[0]), max(tri_idx[2], tri_idx[0])), point_c.euclidean_distance(&point_a)),
|
|
|
|
|
].to_vec();
|
|
|
|
|
|
|
|
|
|
// Sort edges by length to ensure the longest edge is identified.
|
|
|
|
|
edges_with_lengths_temp.sort_by(|a, b| b.1.partial_cmp(&a.1).unwrap());
|
2024-03-18 13:48:35 +02:00
|
|
|
let terminal_edge: Option<Edge> = edges_with_lengths_temp.first().map(|(edge, _)| *edge);
|
2024-03-19 10:43:13 +02:00
|
|
|
|
2024-03-18 13:48:35 +02:00
|
|
|
let area: Option<f32> = if types == 0 || types == 2 {
|
2024-03-18 11:47:30 +02:00
|
|
|
Some(Polygon::new(LineString::from(vec![
|
|
|
|
|
(point_a.x(), point_a.y()),
|
|
|
|
|
(point_b.x(), point_b.y()),
|
|
|
|
|
(point_c.x(), point_c.y()),
|
|
|
|
|
(point_a.x(), point_a.y()),
|
|
|
|
|
]), vec![]).unsigned_area())
|
|
|
|
|
} else {
|
|
|
|
|
None
|
|
|
|
|
};
|
|
|
|
|
|
2024-03-18 13:10:54 +02:00
|
|
|
if types == 0 || types == 1 {
|
|
|
|
|
for &(edge, length) in &edges_with_lengths_temp {
|
|
|
|
|
self.vertex_connections.entry(edge.0).or_insert_with(HashSet::new).insert(edge.1);
|
|
|
|
|
self.vertex_connections.entry(edge.1).or_insert_with(HashSet::new).insert(edge.0);
|
|
|
|
|
self.edge_lengths.insert(edge, length);
|
|
|
|
|
self.edge_to_triangles.entry(edge).or_default().push(index);
|
|
|
|
|
}
|
2024-03-18 11:47:30 +02:00
|
|
|
} else {
|
2024-03-18 13:10:54 +02:00
|
|
|
// For types == 2, only update edge_lengths and edge_to_triangles.
|
|
|
|
|
for &(edge, length) in &edges_with_lengths_temp {
|
2024-03-18 11:47:30 +02:00
|
|
|
self.edge_lengths.insert(edge, length);
|
|
|
|
|
self.edge_to_triangles.entry(edge).or_default().push(index);
|
|
|
|
|
}
|
2024-03-17 19:18:53 +02:00
|
|
|
}
|
2024-03-18 11:47:30 +02:00
|
|
|
|
2024-03-18 13:10:54 +02:00
|
|
|
if types == 0 || types == 2 {
|
|
|
|
|
self.triangles.push(TriangleData {
|
|
|
|
|
index,
|
|
|
|
|
area,
|
2024-03-19 11:23:57 +02:00
|
|
|
terminal_edge
|
2024-03-18 13:10:54 +02:00
|
|
|
});
|
2024-03-17 19:18:53 +02:00
|
|
|
}
|
2024-03-18 13:10:54 +02:00
|
|
|
}
|
2024-03-17 19:18:53 +02:00
|
|
|
}
|
2024-03-17 14:46:15 +02:00
|
|
|
|
|
|
|
|
pub fn random_points(center: (f32, f32), radius: f32, num_points: usize) -> Vec<Point<f32>> {
|
|
|
|
|
let mut rng: rand::prelude::ThreadRng = rand::thread_rng();
|
|
|
|
|
let mut points: Vec<Point<f32>> = Vec::with_capacity(num_points);
|
|
|
|
|
|
|
|
|
|
for _ in 0..num_points {
|
|
|
|
|
// Generate a random angle between 0 and 2*PI.
|
|
|
|
|
let angle: f32 = rng.gen_range(0.0..(2.0 * std::f32::consts::PI));
|
|
|
|
|
// Generate a random radius to ensure uniform distribution within the circle.
|
|
|
|
|
let r: f32 = (rng.gen_range(0.0..=1.0) as f32).sqrt() * radius;
|
|
|
|
|
// Calculate x and y coordinates based on the random angle and radius.
|
|
|
|
|
let x: f32 = center.0 + r * angle.cos();
|
|
|
|
|
let y: f32 = center.1 + r * angle.sin();
|
|
|
|
|
// Add the generated point to the points vector.
|
|
|
|
|
points.push(Point::new(x, y));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
points
|
|
|
|
|
}
|
|
|
|
|
|
2024-03-17 16:36:07 +02:00
|
|
|
pub fn delaunay(points: &Vec<Point<f32>>) -> Vec<usize> {
|
2024-03-17 14:46:15 +02:00
|
|
|
// Convert geo::Point<f32> to delaunator::Point for triangulation
|
|
|
|
|
let delaunator_points: Vec<DelaunatorPoint> = points.iter()
|
|
|
|
|
.map(|point: &Point<f32>| DelaunatorPoint { x: point.x() as f64, y: point.y() as f64 })
|
|
|
|
|
.collect();
|
|
|
|
|
|
|
|
|
|
// Perform Delaunay triangulation
|
|
|
|
|
let result: delaunator::Triangulation = triangulate(&delaunator_points);
|
|
|
|
|
|
|
|
|
|
// Return the indices of points in the triangles
|
|
|
|
|
result.triangles
|
|
|
|
|
}
|
|
|
|
|
|
2024-03-18 11:47:30 +02:00
|
|
|
fn preprocess(points: &[Point<f32>], triangles: &[usize], types: usize) -> GeometryData {
|
2024-03-18 13:10:54 +02:00
|
|
|
let geometry_data = Arc::new(Mutex::new(GeometryData::new()));
|
2024-03-17 16:36:07 +02:00
|
|
|
|
2024-03-18 13:10:54 +02:00
|
|
|
triangles.par_chunks(3).enumerate().for_each(|(index, tri_idx)| {
|
|
|
|
|
let gd = geometry_data.clone(); // Clone Arc for use in each thread
|
2024-03-17 14:46:15 +02:00
|
|
|
|
2024-03-18 13:10:54 +02:00
|
|
|
gd.lock().unwrap().add_triangle(index, points, tri_idx, types);
|
2024-03-17 19:18:53 +02:00
|
|
|
});
|
2024-03-17 16:36:07 +02:00
|
|
|
|
2024-03-17 19:18:53 +02:00
|
|
|
Arc::try_unwrap(geometry_data).unwrap().into_inner().unwrap()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn delfin(
|
|
|
|
|
geometry_data: &GeometryData,
|
2024-03-18 10:26:05 +02:00
|
|
|
min_area: f32,
|
2024-03-17 19:18:53 +02:00
|
|
|
min_distance: f32,
|
2024-03-19 12:14:47 +02:00
|
|
|
) -> Vec<HashSet<usize>> {
|
2024-03-17 14:46:15 +02:00
|
|
|
|
2024-03-17 19:18:53 +02:00
|
|
|
// Sort all triangles by the longest terminal edge
|
2024-03-18 10:26:05 +02:00
|
|
|
let triangles_sorted: Vec<(usize, f32)> = geometry_data.triangles.iter()
|
2024-03-18 11:47:30 +02:00
|
|
|
.filter_map(|triangle_data| {
|
|
|
|
|
// Only consider triangles with a terminal edge
|
|
|
|
|
triangle_data.terminal_edge.map(|terminal_edge| {
|
|
|
|
|
// Retrieve the length of the terminal edge if it exists
|
|
|
|
|
geometry_data.edge_lengths.get(&terminal_edge)
|
|
|
|
|
.map(|&length| (triangle_data.index, length))
|
|
|
|
|
}).flatten()
|
2024-03-17 19:18:53 +02:00
|
|
|
})
|
|
|
|
|
.sorted_by(|a, b| b.1.partial_cmp(&a.1).unwrap()) // Sort in descending order by edge length
|
|
|
|
|
.collect();
|
|
|
|
|
|
|
|
|
|
let mut void_polygons: Vec<HashSet<usize>> = Vec::new();
|
|
|
|
|
let mut processed_triangles: HashSet<usize> = HashSet::new();
|
|
|
|
|
|
2024-03-18 10:26:05 +02:00
|
|
|
for &(triangle_index, terminal_edge_length) in &triangles_sorted {
|
2024-03-17 19:18:53 +02:00
|
|
|
// Skip if this triangle has already been processed
|
|
|
|
|
if processed_triangles.contains(&triangle_index) {
|
|
|
|
|
continue;
|
2024-03-18 10:26:05 +02:00
|
|
|
}
|
2024-03-17 19:18:53 +02:00
|
|
|
|
2024-03-20 10:12:02 +02:00
|
|
|
// Continue if the terminal edge length is below the minimum distance threshold
|
|
|
|
|
if terminal_edge_length < min_distance {
|
2024-03-17 19:18:53 +02:00
|
|
|
continue;
|
|
|
|
|
}
|
2024-03-18 10:26:05 +02:00
|
|
|
|
2024-03-17 19:18:53 +02:00
|
|
|
// Retrieve triangles that share the terminal edge, continue if less than 2 triangles share it
|
2024-03-18 10:26:05 +02:00
|
|
|
let triangle_data: &TriangleData = &geometry_data.triangles[triangle_index];
|
2024-03-18 11:47:30 +02:00
|
|
|
if let Some(terminal_edge) = triangle_data.terminal_edge {
|
|
|
|
|
if let Some(connected_triangles) = geometry_data.edge_to_triangles.get(&terminal_edge) {
|
|
|
|
|
// Proceed only if there are 2 or more triangles sharing the terminal edge
|
|
|
|
|
if connected_triangles.len() < 2 {
|
|
|
|
|
continue;
|
|
|
|
|
}
|
2024-03-17 19:18:53 +02:00
|
|
|
|
2024-03-18 11:47:30 +02:00
|
|
|
// Initialize the set with the current triangle and triangles directly connected via their terminal edge
|
|
|
|
|
let mut triangle_set: HashSet<usize> = connected_triangles.iter().cloned().collect();
|
|
|
|
|
triangle_set.insert(triangle_index);
|
|
|
|
|
processed_triangles.extend(&triangle_set);
|
|
|
|
|
|
|
|
|
|
// Dynamically expand the set based on the terminal edge sharing criterion
|
|
|
|
|
let mut triangles_to_expand: HashSet<usize> = triangle_set.clone();
|
|
|
|
|
while let Some(current_idx) = triangles_to_expand.iter().next().cloned() {
|
|
|
|
|
// Remove the current triangle index from the set to avoid reprocessing
|
|
|
|
|
triangles_to_expand.remove(¤t_idx);
|
|
|
|
|
|
|
|
|
|
// Iterate over each triangle that shares a terminal edge
|
|
|
|
|
for &neighbor_idx in connected_triangles {
|
|
|
|
|
// Skip if this triangle has already been considered or processed
|
|
|
|
|
if triangle_set.contains(&neighbor_idx) || processed_triangles.contains(&neighbor_idx) {
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Safely access the neighbor triangle's data using its index
|
|
|
|
|
if let Some(neighbor_data) = geometry_data.triangles.get(neighbor_idx) {
|
|
|
|
|
// Check if the neighbor shares the same terminal edge
|
|
|
|
|
// Directly compare the terminal edges as they are both Option<Edge>
|
|
|
|
|
if neighbor_data.terminal_edge == Some(terminal_edge) {
|
|
|
|
|
// If they share the same terminal edge, include the neighbor in the current void polygon set
|
|
|
|
|
triangle_set.insert(neighbor_idx);
|
|
|
|
|
processed_triangles.insert(neighbor_idx);
|
|
|
|
|
triangles_to_expand.insert(neighbor_idx);
|
|
|
|
|
}
|
|
|
|
|
}
|
2024-03-17 19:18:53 +02:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2024-03-18 11:47:30 +02:00
|
|
|
// Add the expanded set to void polygons
|
|
|
|
|
void_polygons.push(triangle_set);
|
|
|
|
|
} else {
|
|
|
|
|
// If no connected triangles are found for the terminal edge, simply skip to the next triangle
|
|
|
|
|
continue;
|
|
|
|
|
}
|
2024-03-17 14:46:15 +02:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2024-03-17 19:18:53 +02:00
|
|
|
// Filter out void polygon sets
|
|
|
|
|
void_polygons.retain(|poly_set: &HashSet<usize>| {
|
2024-03-18 11:47:30 +02:00
|
|
|
// Calculate the total area of the polygon set by summing the areas of the triangles it contains.
|
2024-03-17 19:18:53 +02:00
|
|
|
let total_area: f32 = poly_set.iter()
|
2024-03-18 11:47:30 +02:00
|
|
|
.filter_map(|&idx| geometry_data.triangles.get(idx).and_then(|td| td.area))
|
2024-03-17 19:18:53 +02:00
|
|
|
.sum();
|
2024-03-18 11:47:30 +02:00
|
|
|
|
2024-03-20 10:12:02 +02:00
|
|
|
// Filter based on the area and the minimum number of triangles.
|
|
|
|
|
total_area >= min_area && poly_set.len() >= 3
|
2024-03-17 19:18:53 +02:00
|
|
|
});
|
2024-03-17 14:46:15 +02:00
|
|
|
|
2024-03-19 12:14:47 +02:00
|
|
|
return void_polygons;
|
2024-03-18 13:10:54 +02:00
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn dtscan(
|
|
|
|
|
geometry_data: &GeometryData,
|
|
|
|
|
min_pts: usize,
|
|
|
|
|
max_closeness: f32,
|
2024-03-19 11:23:57 +02:00
|
|
|
) -> Vec<Vec<usize>> {
|
|
|
|
|
let mut clusters: Vec<Vec<usize>> = Vec::new();
|
2024-03-18 13:10:54 +02:00
|
|
|
let mut visited: HashSet<usize> = HashSet::new();
|
2024-03-19 11:23:57 +02:00
|
|
|
|
2024-03-18 13:10:54 +02:00
|
|
|
for (&vertex_idx, neighbors) in &geometry_data.vertex_connections {
|
|
|
|
|
if visited.contains(&vertex_idx) {
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
// Check if vertex is a core vertex based on the number of connections and edge lengths
|
|
|
|
|
if neighbors.len() >= min_pts && neighbors.iter().all(|&n| {
|
|
|
|
|
if let Some(&length) = geometry_data.edge_lengths.get(&Edge(min(vertex_idx, n), max(vertex_idx, n))) {
|
2024-03-20 10:12:02 +02:00
|
|
|
length <= max_closeness
|
2024-03-18 13:10:54 +02:00
|
|
|
} else {
|
|
|
|
|
false
|
|
|
|
|
}
|
|
|
|
|
}) {
|
2024-03-19 11:23:57 +02:00
|
|
|
let mut cluster: Vec<usize> = Vec::new();
|
|
|
|
|
let mut to_expand: Vec<usize> = vec![vertex_idx];
|
|
|
|
|
|
|
|
|
|
while let Some(current_vertex) = to_expand.pop() {
|
|
|
|
|
if !visited.insert(current_vertex) {
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
cluster.push(current_vertex);
|
|
|
|
|
|
|
|
|
|
// Add neighbors that are within max_closeness to to_expand
|
|
|
|
|
geometry_data.vertex_connections.get(¤t_vertex).map(|neighbors: &HashSet<usize>| {
|
|
|
|
|
for &neighbor in neighbors {
|
|
|
|
|
if let Some(&length) = geometry_data.edge_lengths.get(&Edge(min(current_vertex, neighbor), max(current_vertex, neighbor))) {
|
2024-03-20 10:12:02 +02:00
|
|
|
if length <= max_closeness && !visited.contains(&neighbor) {
|
2024-03-19 11:23:57 +02:00
|
|
|
to_expand.push(neighbor);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if !cluster.is_empty() {
|
|
|
|
|
clusters.push(cluster); // Add the constructed cluster to the list of clusters
|
|
|
|
|
}
|
2024-03-18 13:10:54 +02:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
clusters
|
|
|
|
|
}
|
|
|
|
|
|
2024-03-17 14:46:15 +02:00
|
|
|
fn main() {
|
2024-03-19 12:14:47 +02:00
|
|
|
let dots: usize = 225424;
|
|
|
|
|
let radius: f32 = 1000.0;
|
2024-03-18 13:30:25 +02:00
|
|
|
let mut start = Instant::now();
|
2024-03-20 10:12:02 +02:00
|
|
|
let points: Vec<Point<f32>> = random_points((0.0, 0.0), radius, dots);
|
2024-03-18 13:30:25 +02:00
|
|
|
let mut duration = start.elapsed();
|
|
|
|
|
println!("Generated {:#?} random dots in: {:#?}", dots, duration);
|
|
|
|
|
start = Instant::now();
|
2024-03-17 19:18:53 +02:00
|
|
|
let triangles_indices: Vec<usize> = delaunay(&points);
|
2024-03-18 13:30:25 +02:00
|
|
|
duration = start.elapsed();
|
|
|
|
|
println!("Generated Delaunay triangulation in: {:#?}", duration);
|
2024-03-17 19:18:53 +02:00
|
|
|
|
2024-03-18 13:30:25 +02:00
|
|
|
start = Instant::now();
|
2024-03-18 11:47:30 +02:00
|
|
|
let geometry_data: GeometryData = preprocess(&points, &triangles_indices, 0);
|
2024-03-18 13:30:25 +02:00
|
|
|
duration = start.elapsed();
|
2024-03-18 13:48:35 +02:00
|
|
|
println!("Preprocessed Triangles using {:#?} bytes of RAM in: {:#?}", mem::size_of_val(&geometry_data), duration);
|
2024-03-17 19:18:53 +02:00
|
|
|
|
2024-03-18 11:47:30 +02:00
|
|
|
// Define minimum area and minimum distance for delfin function
|
2024-03-20 10:12:02 +02:00
|
|
|
let min_area: f32 = 75.0; // threshold for voidness
|
|
|
|
|
let min_distance: f32 = 10.0; // threshold for minimum distance
|
2024-03-17 19:18:53 +02:00
|
|
|
|
2024-03-18 13:10:54 +02:00
|
|
|
// Parameters for DTSCAN
|
2024-03-20 10:12:02 +02:00
|
|
|
let min_pts: usize = 5; // threshold for minimum number of points
|
|
|
|
|
let max_closeness: f32 = 1.5; // threshold for maximum closeness
|
2024-03-18 13:10:54 +02:00
|
|
|
|
2024-03-17 19:18:53 +02:00
|
|
|
// Execute delfin function with the generated GeometryData
|
2024-03-18 13:30:25 +02:00
|
|
|
start = Instant::now();
|
2024-03-19 12:14:47 +02:00
|
|
|
let void_polygons: Vec<HashSet<usize>> = delfin(&geometry_data, min_area, min_distance);
|
2024-03-18 13:30:25 +02:00
|
|
|
duration = start.elapsed();
|
2024-03-18 13:48:35 +02:00
|
|
|
println!("Found {:#?} Voids using {:#?} bytes of RAM in: {:#?}", void_polygons.len(), mem::size_of_val(&void_polygons), duration);
|
2024-03-18 13:10:54 +02:00
|
|
|
|
|
|
|
|
// Execute DTSCAN with the prepared data
|
2024-03-18 13:30:25 +02:00
|
|
|
start = Instant::now();
|
2024-03-19 12:14:47 +02:00
|
|
|
let clusters: Vec<Vec<usize>> = dtscan(&geometry_data, min_pts, max_closeness);
|
2024-03-18 13:30:25 +02:00
|
|
|
duration = start.elapsed();
|
2024-03-18 13:48:35 +02:00
|
|
|
println!("Found {:#?} Attractors using {:#?} bytes of RAM in: {:#?}", clusters.len(), mem::size_of_val(&clusters), duration);
|
2024-03-20 10:12:02 +02:00
|
|
|
// println!("{:#?}", (void_polygons, clusters))
|
2024-03-19 12:14:47 +02:00
|
|
|
}
|