graph-algo-ptas 0.1.0

PTAS on planars and other graph classes
Documentation
use crate::data_structure::{
    graph_dcel::GraphDCEL,
    link_graph::{LinkGraph, LinkVertex},
};

pub fn generate_single_face(n: usize) -> LinkGraph {
    assert!(n >= 3);

    let mut lg = LinkGraph::new();
    let nodes: Vec<LinkVertex> = (0..n).map(|_| lg.new_vertex()).collect();

    let mut prev = None;
    let mut prev_twin = None;
    let mut inner_face = None;
    let mut outter_face = None;

    for i in 0..n {
        let node = nodes.get(i % n).unwrap();
        let next = nodes.get((i + 1) % n).unwrap();
        let mut next_dart = None;
        let mut next_dart_twin = None;
        if i == n - 1 {
            let mut dart_iter = lg.get_darts();

            next_dart = dart_iter.next();
            next_dart_twin = dart_iter.next();
        }
        let ld = lg.new_dart(
            node.clone(),
            next.clone(),
            prev.clone(),
            next_dart,
            None,
            inner_face.clone(),
        );
        let lt = lg.new_dart(
            next.clone(),
            node.clone(),
            next_dart_twin,
            prev_twin,
            Some(ld.clone()),
            outter_face.clone(),
        );

        if inner_face.is_none() {
            inner_face = Some(lg.new_face(ld.clone()))
        }
        if outter_face.is_none() {
            outter_face = Some(lg.new_face(lt.clone()))
        }

        prev = Some(ld);
        prev_twin = Some(lt);
    }

    lg
}

#[cfg(test)]
mod tests {
    use super::generate_single_face;
    use crate::data_structure::graph_dcel::GraphDCEL;

    #[test]
    fn test() {
        let n = 10;
        let cg = generate_single_face(n);
        let sv = cg.get_vertexes().next().unwrap();
        let sd = cg.dart_vertex(&sv);
        let mut cd = sd.clone();
        for _i in 0..n - 1 {
            cd = cg.next(&cd);
        }
        let tv = cg.dart_target(&cd);
        assert_eq!(sv, tv);
        cd = sd.clone();
        for _i in 0..n + 1 {
            cd = cg.prev(&cd);
        }
        let tv = cg.dart_target(&cd);
        assert_eq!(sv, tv);
        cd = cg.twin(&sd);
        for _i in 0..n {
            cd = cg.next(&cd);
        }
        let tv = cg.dart_target(&cd);
        assert_eq!(sv, tv);
        cd = cg.twin(&sd);
        for _i in 0..n {
            cd = cg.prev(&cd);
        }
        let tv = cg.dart_target(&cd);
        assert_eq!(sv, tv);
    }

    #[test]
    fn darts() {
        for x in 3..100 {
            let cg = generate_single_face(x);
            assert_eq!(cg.get_darts().count(), x * 2);
        }
    }
}