回溯是一个汉语词语，读音huí sù，英文recall;look back upon;trace，解释是上溯,向上推导,向内推导。

汉语词语

【词目】回溯

【拼音】huí sù

【基本解释】回忆：～过去，瞻望未来。

回:还，走向原来的地方：如回家。 掉转：回首（回头看）。回顾。回眸。回暧。妙手回春。

溯: 溯 sù 逆着水流的方向走：溯流而上。 追求根源或回想：回溯。追溯。上溯。追本溯源。

回溯分析

回溯分析是追踪决策的特性之一。 是指对原始决策的产生机制、决策内容、主客观环境等进行分析．从起点开始，按顺序考察导致决策失误的原因、问题的性质、失误的程度等。

回溯分析价值

发现 全网络的通讯记录与监控，主动发现网络价值空间与潜在网络隐患。

追踪 建立网络通讯数据的关联索引，海量数据的高精深度挖掘以及长期趋势统计。

取证 网络事件的重组还原与再现，用于安全事件取证与网络问题防范。

网络分析系统

网络分析系统是一个让网络管理者，能够在各种网络问题中，对症下药的网络管理方案，它对网络中所有传输的数据进行检测、分析、诊断，帮助用户排除网络事故，规避安全风险，提高网络性能，增大网络可用性价值。

管理者不用再担心网络事故难以解决，科来网络分析系统可以帮助企业把网络故障和安全风险会降到最低，网络性能会逐步得到提升。它为网络管理人员带来：

快速查找和排除网络故障；

找到网络瓶颈提升网络性能；

发现和解决各种网络异常危机，提高安全性；

管理资源，统计和记录每个节点的流量与带宽；

规范网络，查看各种应用，服务，主机的连接，监视网络活动；

管理网络应用。

回溯分析系统

网络的持续、高效和安全运行是用户业务正常运行的基础。这就要求网络管理者能够随时掌握业务应用运行的关键指标，及时发现异常并预警，实现主动运维、主动管理；当故障发生时，能够快速有效地定位问题点、分清责任并分析原因，从而减少故障时间；一旦网络收到攻击或发生安全事件，需要有手段有依据，实现有效地定位、分析和取证。《科来网络回溯分析系统》正是一款满足用户不断提升的网络故障、性能、安全分析需求的智能化、分布式网络分析平台。

数学名词

概念

试探法

回溯法也称试探法，它的基本思想是：从问题的某一种状态（初始状态）出发，搜索从这种状态出发所能达到的所有“状态”，当一条路走到“尽头”的时候（不能再前进），再后退一步或若干步，从另一种可能“状态”出发，继续搜索，直到所有的“路径”（状态）都试探过。这种不断“前进”、不断“回溯”寻找解的方法，就称作“回溯法”。

步骤

用回溯算法解决问题的一般步骤为：

一、定义一个解空间，它包含问题的解。

二、利用适于搜索的方法组织解空间。

三、利用深度优先法搜索解空间。

四、利用限界函数避免移动到不可能产生解的子空间。 问题的解空间通常是在搜索问题的解的过程中动态产生的，这是回溯算法的一个重要特性。

回溯法是一个既带有系统性又带有跳跃性的的搜索算法。它在包含问题的所有解的解空间树中，按照深度优先的策略，从根结点出发搜索解空间树。算法搜索至解空间树的任一结点时，总是先判断该结点是否肯定不包含问题的解。如果肯定不包含，则跳过对以该结点为根的子树的系统搜索，逐层向其祖先结点回溯。否则，进入该子树，继续按深度优先的策略进行搜索。回溯法在用来求问题的所有解时，要回溯到根，且根结点的所有子树都已被搜索遍才结束。而回溯法在用来求问题的任一解时，只要搜索到问题的一个解就可以结束。这种以深度优先的方式系统地搜索问题的解的算法称为回溯法，它适用于解一些组合数较大的问题.

递归回溯

递归回溯：由于回溯法是对解空间的深度优先搜索，因此在一般情况下可用递归函数来实现回溯法如下：

procedure try(i:integer);

var

begin

if i>n then 输出结果

else for j:=下界 to 上界do

begin

x:=h[j];

if 可行{满足限界函数和约束条件} then begin 置值；try(i+1); end;

end;

end;

说明：

i是递归深度；

n是深度控制，即解空间树的的高度；

可行性判断有两方面的内容：不满约束条件则剪去相应子树；若限界函数越界，也剪去相应子树；两者均满足则进入下一层；

搜索：全面访问所有可能的情况，分为两种：不考虑给定问题的特有性质，按事先顶好的顺序，依次运用规则，即盲目搜索的方法；另一种则考虑问题给定的特有性质，选用合适的规则，提高搜索的效率，即启发式的搜索。

回溯即是较简单、较常用的搜索策略。

基本思路：若已有满足约束条件的部分解，不妨设为（x1,x2,x3,……xi），I

回溯设计

1.用栈保存好前进中的某些状态.

2.制定好约束条件

【例1】从1到X这X个数字中选出N个，排成一列，相邻两数不能相同，求所有可能的排法。每个数可以选用零次、一次或多次。例如，当N=3、X=3时，排法有12种：121、123、131、132、212、213、231、232、312、313、321、323。

【分析】以N=3，X=3为例，这个问题的每个解可分为三个部分：第一位，第二位，第三位。先写第一位，第一位可选1、2或3，根据从小到大的顺序，我们选1；那么，为了保证相邻两数不同，第二位就只能选2或3了，我们选2；最后，第三位可以选1或3，我们选1；这样就得到了第一个解"121"。然后，将第三位变为3，就得到了第二个解"123"。此时，第三位已经不能再取其他值了，于是返回第二位，看第二位还能变为什么值。第二位可以变为3，于是可以在"13"的基础上再给第三位赋予不同的值1和2，得到第三个解"131"和"132"。此时第二位也已经不能再取其他值了，于是返回第一位，将它变为下一个可取的值2，然后按顺序变换第二位和第三位，得到"212"、"213"、"231""232"。这样，直到第一位已经取过了所有可能的值，并且将每种情况下的第二位和第三位都按上述思路取过一遍，此时就已经得到了该问题的全部解。

由以上过程可以看出，回溯法的思路是：问题的每个解都包含N部分，先给出第一部分，再给出第二部分，……直到给出第N部分，这样就得到了一个解。若尝试到某一步时发现已经无法继续，就返回到前一步，修改已经求出的上一部分，然后再继续向后求解。这样，直到回溯到第一步，并且已经将第一步的所有可能情况都尝试过之后，即可得出问题的全部解。

程序

program p11_14;

const n=3;x=3;

var a:array [1..n] of 0..x;

p,c,I:integer;

begin

writeln;

p:=1; {从第一位开始}

c:=1; {从1开始选数字}

repeat

repeat

if (p=1) or (c<>a[p-1]) then {第一位可填任意数}

begin

a[p]:=c; {将数字C填到第P位上}

if p=n then {若已填到最后一位，则表明已求出了一个解}

begin

for I:=1 to n do write(a); {显示这个解}

writeln;

end;

P:=P+1; {继续下一位}

C:=1; {下一位从1开始}

End

Else

C:=c+1; {下一位仍然从1开始选数字}

Until (p>n) or (c>X); {直到已填完最末位，或本位再无数字可选}

Repeat

P:=p-1; {向前回溯}

Until (p=0) or (a[p]

If p>0 then {若非首位，则将该位变为下一个可取的数字}

C:=a[P]+1;

Until p=0; {将第一位回溯完毕后，程序结束}

End.

由键盘上输入任意n个符号，输出它的全排列。（一个符号只能出现一次）

program hh;

const n=3;

var i,k:integer;

x:array[1..n] of integer;

st:string[n];

t:string[n];

procedure input;

var i:integer;

begin

write('Enter string=');readln(st);t:=st;

end;

function place(k:integer):boolean;

var i:integer;

begin

place:=true;

for i:=1 to k-1 do

if x=x[k] then begin place:=false; break end;

end;

procedure print;

var i:integer;

begin

for i:=1 to n do write(t[x]);writeln;

end;

begin

input;

k:=1;x[k]:=0;

while k>0 do

begin

x[k]:=x[k]+1;

while (x[k]<=n) and (not place(k)) do x[k]:=x[k]+1;

if x[k]>n then k:=k-1

else if k=n then print

else begin k:=k+1;x[k]:=0

end

end ;

readln

end.

运用

在编译原理中

如左图，在发生虚假匹配时需要进行回溯，就是退回到开始的位置