📄 text5-18.htm
字号:
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
</head>
<body bgcolor="#FFFFFF" link="#0000FF" vlink="#3399FF" alink="#FF0066">
<div id="Layer1" style="position:absolute; width:711px; height:21px; z-index:1; top: 10px; background-color: #CCCCCC; layer-background-color: #CCCCCC; border: 1px none #000000; left: 26px"><b>|</b><font face="宋体" size="2"><a href="../text1/text1-0.htm">第一章</a></font><b>|</b><font face="宋体" size="2"><a href="../text2/text2-0.htm">第二章</a></font><b>|</b><font face="宋体" size="2"><a href="../text3/text3-0.htm">第三章</a></font><b>|</b><font face="宋体" size="2"><a href="../text4/text4-0.htm">第四章</a></font><b>|</b><font face="宋体" size="2">第五章</font><b>|</b><font face="宋体" size="2"><a href="../text6/text6-0.htm">第六章</a></font><b>|</b><font face="宋体" size="2"><a href="../text7/text7-0.htm">第七章</a></font><b>|</b><font face="宋体" size="2"><a href="../text8/text8-0.htm">第八章</a></font><b>|</b><font face="宋体" size="2"><a href="../text9/text9-0.htm">第九章</a></font><b>|</b><font face="宋体" size="2"><a href="../text10/text10-0.htm">第十章</a></font><b>|</b><font size="2" face="宋体"><a href="../textA/textA-0.htm">算法分析</a><b><font color="#000000">|</font></b>
</font></div>
<p> </p>
<pre> <font face="Arial, Helvetica, sans-serif" size="4" color="#000000"><b><font color="#FF0000">First version of satisfiability algorithm </font></b></font> </pre>
<table width="770" border="1">
<tr>
<td width="326" height="41"><font face="Arial, Helvetica, sans-serif" size="4" color="#000000"><b><font size="5"><i><font size="3">(x1
<img src="IMAGE/and.gif" width="12" height="13"> <img src="IMAGE/not.gif" width="20" height="9">
x2 ) <img src="IMAGE/or.gif" width="12" height="13"> ( <img src="IMAGE/not.gif" width="20" height="9">x2
<img src="IMAGE/and.gif" width="12" height="13"> x3 ) <img src="IMAGE/or.gif" width="12" height="13">
<img src="IMAGE/not.gif" width="20" height="9"> x3 </font></i></font></b></font></td>
<td rowspan="3" width="428">
<pre><font face="Arial, Helvetica, sans-serif" size="4" color="#000000"><b>for <img src="IMAGE/2n.gif" width="23" height="24"> (all possible combination ) {
<i><font color="#FF0000">generate</font></i> the next combination;
<i><font color="#FF0000">replace </font></i>the variable by their values;
<i><font color="#FF0000">evaluate</font></i> root by traversing it in
postorder ;
if (root->value)
{ printf (<combination>);
return;
}
}
printf ("No satisfiablecombination\n");
</b></font></pre>
</td>
</tr>
<tr>
<td width="326" height="45"><img src="IMAGE/node.gif" width="326" height="28"></td>
</tr>
<tr>
<td width="326" height="288"><img src="IMAGE/text5-n.gif" width="285" height="161" hspace="20"></td>
</tr>
</table>
<pre align="left">
</pre>
<table width="731" cellspacing="0" cellpadding="0">
<tr>
<td width="327"> </td>
<td width="271"><a href="../index.htm"><img width="60" height="25" usemap="#MapMap4" border="0" src="../../images/home.gif"></a><a href="../index.htm"><map name="MapMap4"><area shape="rect" coords="42,-34,88,-15" href="text0.htm"><area shape="rect" coords="4,4,55,23" href="text5-index.htm"></map></a></td>
<td width="131"><font face="楷体_GB2312" size="2"><b><a href="text5-17.htm">上一页</a>
<a href="text5-19.htm">下一页</a></b></font></td>
</tr>
</table>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -