sorokin.oleg.edu/ARCADIA-Studio
1
0
Fork 0
Code Issues 37 Pull Requests 2 Packages Projects Releases 9 Wiki Activity

Use mutable reachability rows in isolated SCC probe

Browse Source
This commit is contained in:
Codex-ytr83r
2026-09-24 21:17:11 -07:00
parent ea18adc061
commit 4dd764fa6c
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/oa-core/examples/auto_layout_probe/condensed.rs
+4 -5
View File
@@ -22,14 +22,14 @@ fn charge(work: &mut usize, count: usize) -> Result<(), ModelError> {
fn components(arcs: &[BTreeSet<usize>], work: &mut usize) -> Result<Vec<Vec<usize>>, ModelError> { fn components(arcs: &[BTreeSet<usize>], work: &mut usize) -> Result<Vec<Vec<usize>>, ModelError> {
let n = arcs.len(); let n = arcs.len();
let mut reach = vec![vec![false; n]; n]; let mut reach = vec![vec![false; n]; n];
for start in 0..n { for (start, reachable) in reach.iter_mut().enumerate() {
let mut todo = vec![start]; let mut todo = vec![start];
reach[start][start] = true; reachable[start] = true;
while let Some(at) = todo.pop() { while let Some(at) = todo.pop() {
for &next in &arcs[at] { for &next in &arcs[at] {
charge(work, 1)?; charge(work, 1)?;
if !reach[start][next] { if !reachable[next] {
reach[start][next] = true; reachable[next] = true;
todo.push(next); todo.push(next);
} }
} }
@@ -583,6 +583,5 @@ mod tests {
positions, positions,
vec![Position { x: 0.0, y: 0.0 }, Position { x: 0.0, y: 216.0 }] vec![Position { x: 0.0, y: 0.0 }, Position { x: 0.0, y: 216.0 }]
); );
assert!(224.0_f32 / 376.0 > 0.5);
} }
} }