यदि आप चाहते हैं कि एक ग्राफ में सभी प्राथमिक सर्किटों को ढूंढना है, तो आप 1970 के बाद से एक पेपर पर पाए गए JAMES C. TIERNAN द्वारा EC एल्गोरिथ्म का उपयोग कर सकते हैं।
बहुत मूल चुनाव आयोग एल्गोरिथ्म के रूप में मैं php में इसे लागू करने में कामयाब (उम्मीद नहीं कोई गलती है नीचे दिखाया गया है)। यदि कोई हो तो यह लूप भी पा सकता है। इस कार्यान्वयन में सर्किट (जो मूल को क्लोन करने की कोशिश करता है) गैर शून्य तत्व हैं। शून्य यहां गैर-अस्तित्व के लिए खड़ा है (जैसा कि हम जानते हैं कि अशक्त)।
इसके अलावा नीचे एक अन्य कार्यान्वयन है जो एल्गोरिथ्म को अधिक स्वतंत्र देता है, इसका मतलब है कि नोड्स नकारात्मक संख्याओं से कहीं भी शुरू हो सकते हैं, जैसे -4, -3, -2, .. आदि।
दोनों ही मामलों में यह आवश्यक है कि नोड्स अनुक्रमिक हों।
आप मूल कागज, अध्ययन करने के लिए आवश्यकता हो सकती है जेम्स सी Tiernan प्राथमिक सर्किट एल्गोरिथ्म
<?php
echo "<pre><br><br>";
$G = array(
1=>array(1,2,3),
2=>array(1,2,3),
3=>array(1,2,3)
);
define('N',key(array_slice($G, -1, 1, true)));
$P = array(1=>0,2=>0,3=>0,4=>0,5=>0);
$H = array(1=>$P, 2=>$P, 3=>$P, 4=>$P, 5=>$P );
$k = 1;
$P[$k] = key($G);
$Circ = array();
#[Path Extension]
EC2_Path_Extension:
foreach($G[$P[$k]] as $j => $child ){
if( $child>$P[1] and in_array($child, $P)===false and in_array($child, $H[$P[$k]])===false ){
$k++;
$P[$k] = $child;
goto EC2_Path_Extension;
} }
#[EC3 Circuit Confirmation]
if( in_array($P[1], $G[$P[$k]])===true ){//if PATH[1] is not child of PATH[current] then don't have a cycle
$Circ[] = $P;
}
#[EC4 Vertex Closure]
if($k===1){
goto EC5_Advance_Initial_Vertex;
}
//afou den ksana theoreitai einai asfales na svisoume
for( $m=1; $m<=N; $m++){//H[P[k], m] <- O, m = 1, 2, . . . , N
if( $H[$P[$k-1]][$m]===0 ){
$H[$P[$k-1]][$m]=$P[$k];
break(1);
}
}
for( $m=1; $m<=N; $m++ ){//H[P[k], m] <- O, m = 1, 2, . . . , N
$H[$P[$k]][$m]=0;
}
$P[$k]=0;
$k--;
goto EC2_Path_Extension;
#[EC5 Advance Initial Vertex]
EC5_Advance_Initial_Vertex:
if($P[1] === N){
goto EC6_Terminate;
}
$P[1]++;
$k=1;
$H=array(
1=>array(1=>0,2=>0,3=>0,4=>0,5=>0),
2=>array(1=>0,2=>0,3=>0,4=>0,5=>0),
3=>array(1=>0,2=>0,3=>0,4=>0,5=>0),
4=>array(1=>0,2=>0,3=>0,4=>0,5=>0),
5=>array(1=>0,2=>0,3=>0,4=>0,5=>0)
);
goto EC2_Path_Extension;
#[EC5 Advance Initial Vertex]
EC6_Terminate:
print_r($Circ);
?>
फिर यह अन्य कार्यान्वयन है, ग्राफ़ से अधिक स्वतंत्र, बिना गोटो और बिना सरणी मान के, इसके बजाय यह सरणी कुंजियों का उपयोग करता है, पथ, ग्राफ़ और सर्किट को सरणी कुंजियों के रूप में संग्रहीत किया जाता है (यदि आप चाहें तो सरणी मानों का उपयोग करें, बस आवश्यक परिवर्तन करें लाइनों)। उदाहरण का ग्राफ अपनी स्वतंत्रता दिखाने के लिए -4 से शुरू होता है।
<?php
$G = array(
-4=>array(-4=>true,-3=>true,-2=>true),
-3=>array(-4=>true,-3=>true,-2=>true),
-2=>array(-4=>true,-3=>true,-2=>true)
);
$C = array();
EC($G,$C);
echo "<pre>";
print_r($C);
function EC($G, &$C){
$CNST_not_closed = false; // this flag indicates no closure
$CNST_closed = true; // this flag indicates closure
// define the state where there is no closures for some node
$tmp_first_node = key($G); // first node = first key
$tmp_last_node = $tmp_first_node-1+count($G); // last node = last key
$CNST_closure_reset = array();
for($k=$tmp_first_node; $k<=$tmp_last_node; $k++){
$CNST_closure_reset[$k] = $CNST_not_closed;
}
// define the state where there is no closure for all nodes
for($k=$tmp_first_node; $k<=$tmp_last_node; $k++){
$H[$k] = $CNST_closure_reset; // Key in the closure arrays represent nodes
}
unset($tmp_first_node);
unset($tmp_last_node);
# Start algorithm
foreach($G as $init_node => $children){#[Jump to initial node set]
#[Initial Node Set]
$P = array(); // declare at starup, remove the old $init_node from path on loop
$P[$init_node]=true; // the first key in P is always the new initial node
$k=$init_node; // update the current node
// On loop H[old_init_node] is not cleared cause is never checked again
do{#Path 1,3,7,4 jump here to extend father 7
do{#Path from 1,3,8,5 became 2,4,8,5,6 jump here to extend child 6
$new_expansion = false;
foreach( $G[$k] as $child => $foo ){#Consider each child of 7 or 6
if( $child>$init_node and isset($P[$child])===false and $H[$k][$child]===$CNST_not_closed ){
$P[$child]=true; // add this child to the path
$k = $child; // update the current node
$new_expansion=true;// set the flag for expanding the child of k
break(1); // we are done, one child at a time
} } }while(($new_expansion===true));// Do while a new child has been added to the path
# If the first node is child of the last we have a circuit
if( isset($G[$k][$init_node])===true ){
$C[] = $P; // Leaving this out of closure will catch loops to
}
# Closure
if($k>$init_node){ //if k>init_node then alwaya count(P)>1, so proceed to closure
$new_expansion=true; // $new_expansion is never true, set true to expand father of k
unset($P[$k]); // remove k from path
end($P); $k_father = key($P); // get father of k
$H[$k_father][$k]=$CNST_closed; // mark k as closed
$H[$k] = $CNST_closure_reset; // reset k closure
$k = $k_father; // update k
} } while($new_expansion===true);//if we don't wnter the if block m has the old k$k_father_old = $k;
// Advance Initial Vertex Context
}//foreach initial
}//function
?>
मैंने चुनाव आयोग को सूचित किया और दस्तावेज दिया लेकिन दुर्भाग्य से यह दस्तावेज ग्रीक में है।
