A directed acyclic graph permits shortest-path relaxation in topological order even when weights are negative..
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 | <?php declare(strict_types=1); // DAG Shortest Path in PHP // // PURPOSE // A directed acyclic graph permits shortest-path relaxation in topological order even when // weights are negative. // // METHOD // Use Kahn ordering and relax each outgoing edge when removing its source. Detect a cycle if // not all vertices are processed. // // COMPLEXITY // O(n squared) time with a dense matrix and O(n) auxiliary space. // // CONTRACT // Flattened matrix uses INF=1000000000 for missing edges. Diagonal must be INF (no self- // loops). Finite sums stay strictly between -INF and INF. Returns INF if unreachable, -INF // if cyclic. // Public APIs infer array lengths except in C, which accepts pointer/length pairs. Vertex // counts and matrix dimensions remain explicit. Arrays must contain signed 32-bit integers. // Sorted order, correct tree topology, and caller-owned data-structure invariants are // preconditions; checking them on every query would change query complexity. // Scalar and shape checks are included. Value-range checks are included where needed to // prevent invalid indexing or nontermination. Allocation sizes are capped at 4,000,000 // workspace entries. Arithmetic outside Python raises an error on 32-bit overflow; Python // uses arbitrary precision. Native allocation failures propagate. In-place outputs may be // partly updated after arithmetic failure. These are single-threaded, in-memory // implementations. // // LANGUAGE DETAILS // PHP 8.1+ on a 64-bit runtime: packed arrays, strict scalar types, read-only inputs by // value using copy-on-write, references only for outputs, and checked 32-bit arithmetic. // Invalid input and overflow throw exceptions. PHP arrays have higher overhead than native // packed buffers in C/Java. // // EXAMPLE // Expected return: 2. // Run: php example.php // Tests for this exact source artifact run before publication. The accompanying source // archive includes unit cases, runtime results, and source hashes. function alg_require(bool $valid): void { if (!$valid) throw new InvalidArgumentException("invalid algorithm input"); } function alg_checked(int|float $v): int { if ($v < -2147483648 || $v > 2147483647 || floor($v) != $v) throw new OverflowException("32-bit result overflow"); return (int)$v; } function alg_add(int $a,int $b): int { return alg_checked($a+$b); } function alg_sub(int $a,int $b): int { return alg_checked($a-$b); } function alg_mul(int $a,int $b): int { return alg_checked($a*$b); } function alg_size(int $n): int { alg_require($n>=0 && $n<=4000000); return $n; } function dag_shortest_path(array $graph, int $n, int $source, int $target): int { alg_require(array_is_list($graph)); alg_require((($n >= 0) && ($n <= 1000000))); alg_require((count($graph) == alg_mul($n, $n))); alg_require((($n >= 1) && ($source >= 0) && ($source < $n))); alg_require((($target >= 0) && ($target < $n))); $degree = array_fill(0, alg_size($n), 0); $distance = array_fill(0, alg_size($n), 0); $queue = array_fill(0, alg_size($n), 0); $head = 0; $tail = 0; $u = 0; $v = 0; while (($u < $n)) { $distance[$u] = 1000000000; $v = 0; while (($v < $n)) { if (($graph[alg_add(alg_mul($u, $n), $v)] != 1000000000)) { $degree[$v] = alg_add($degree[$v], 1); } $v = alg_add($v, 1); } $u = alg_add($u, 1); } $distance[$source] = 0; $v = 0; while (($v < $n)) { if (($degree[$v] == 0)) { $queue[$tail] = $v; $tail = alg_add($tail, 1); } $v = alg_add($v, 1); } while (($head < $tail)) { $u = $queue[$head]; $head = alg_add($head, 1); $v = 0; while (($v < $n)) { if (($graph[alg_add(alg_mul($u, $n), $v)] != 1000000000)) { if (($distance[$u] != 1000000000)) { $distance[$v] = min($distance[$v], alg_add($distance[$u], $graph[alg_add(alg_mul($u, $n), $v)])); } $degree[$v] = alg_sub($degree[$v], 1); if (($degree[$v] == 0)) { $queue[$tail] = $v; $tail = alg_add($tail, 1); } } $v = alg_add($v, 1); } } if (($tail != $n)) { return alg_sub(0, 1000000000); } return $distance[$target]; } $graph = [1000000000, 4, 10, 1000000000, 1000000000, -2, 1000000000, 1000000000, 1000000000]; $n = 3; $source = 0; $target = 2; $result = dag_shortest_path($graph, $n, $source, $target); echo $result, PHP_EOL; |