form1.java

人工智能中一个关于野人过河的小程序

		groupBox2.setLocation(new Point(328, 8));
		groupBox2.setSize(new Point(208, 528));
		groupBox2.setTabIndex(1);
		groupBox2.setTabStop(false);
		groupBox2.setText("问题复杂度控制");

		groupBox3.setLocation(new Point(8, 200));
		groupBox3.setSize(new Point(312, 336));
		groupBox3.setTabIndex(2);
		groupBox3.setTabStop(false);
		groupBox3.setText("结论");

		label1.setLocation(new Point(16, 32));
		label1.setSize(new Point(72, 16));
		label1.setTabIndex(0);
		label1.setTabStop(false);
		label1.setText("传教士人数");
		label1.setTextAlign(HorizontalAlignment.CENTER);

		label2.setLocation(new Point(16, 64));
		label2.setSize(new Point(72, 16));
		label2.setTabIndex(1);
		label2.setTabStop(false);
		label2.setText("野人人数");
		label2.setTextAlign(HorizontalAlignment.CENTER);

		label3.setLocation(new Point(16, 96));
		label3.setSize(new Point(72, 16));
		label3.setTabIndex(2);
		label3.setTabStop(false);
		label3.setText("船的最大负载");
		label3.setTextAlign(HorizontalAlignment.CENTER);

		comboBox1.setLocation(new Point(112, 24));
		comboBox1.setSize(new Point(80, 20));
		comboBox1.setTabIndex(3);
		comboBox1.setText("");
		comboBox1.setItems(new Object[] {
						   "1", 
						   "2", 
						   "3", 
						   "4", 
						   "5", 
						   "6", 
						   "7", 
						   "8", 
						   "9"});
		comboBox1.addOnSelectedIndexChanged(new EventHandler(this.comboBox1_selectedIndexChanged));

		comboBox2.setLocation(new Point(112, 56));
		comboBox2.setSize(new Point(80, 20));
		comboBox2.setTabIndex(4);
		comboBox2.setText("");
		comboBox2.setItems(new Object[] {
						   "1", 
						   "2", 
						   "3", 
						   "4", 
						   "5", 
						   "6", 
						   "7", 
						   "8", 
						   "9"});
		comboBox2.addOnSelectedIndexChanged(new EventHandler(this.comboBox2_selectedIndexChanged));

		comboBox3.setLocation(new Point(112, 88));
		comboBox3.setSize(new Point(80, 20));
		comboBox3.setTabIndex(5);
		comboBox3.setText("");
		comboBox3.setItems(new Object[] {
						   "1", 
						   "2", 
						   "3", 
						   "4", 
						   "5", 
						   "6", 
						   "7", 
						   "8"});
		comboBox3.addOnSelectedIndexChanged(new EventHandler(this.comboBox3_selectedIndexChanged));

		label4.setLocation(new Point(16, 128));
		label4.setSize(new Point(72, 16));
		label4.setTabIndex(6);
		label4.setTabStop(false);
		label4.setText("求解搜索深度");

		comboBox4.setLocation(new Point(112, 120));
		comboBox4.setSize(new Point(80, 20));
		comboBox4.setTabIndex(7);
		comboBox4.setText("");
		comboBox4.setItems(new Object[] {
						   "9", 
						   "10", 
						   "11", 
						   "12", 
						   "13", 
						   "14", 
						   "15", 
						   "16", 
						   "17"});
		comboBox4.addOnSelectedIndexChanged(new EventHandler(this.comboBox4_selectedIndexChanged));

		label5.setFont(new Font("幼圆", 11.0f, FontSize.POINTS, FontWeight.NORMAL, false, false, false, CharacterSet.DEFAULT, 0));
		label5.setLocation(new Point(8, 16));
		label5.setSize(new Point(296, 144));
		label5.setTabIndex(0);
		label5.setTabStop(false);
		label5.setText("    有N个传教士和M个野人来到河边，（N不小于M） 他们打算乘一只船从左岸渡到右岸去。该船负载能力为L人。在任何时候，如果野人人数超过传教士人数，那么野人就会把传教士吃掉  。请问他们怎样才能利用这条船安全地把所有人都渡过河去？                                                                              传教士和野人问题是人工智能理论中状态空间穷搜索法的典型问题之一 。本程序使用的就是这种技术 。");

		button1.setLocation(new Point(16, 496));
		button1.setSize(new Point(80, 24));
		button1.setTabIndex(8);
		button1.setText("开始");
		button1.addOnClick(new EventHandler(this.button1_click));

		richEdit1.setFont(new Font("宋体", 9.0f, FontSize.POINTS, FontWeight.NORMAL, false, false, false, CharacterSet.DEFAULT, 0));
		richEdit1.setForeColor(Color.WINDOWTEXT);
		richEdit1.setLocation(new Point(8, 16));
		richEdit1.setSize(new Point(296, 312));
		richEdit1.setTabIndex(0);
		richEdit1.setText("");
		richEdit1.setScrollBars(RichEditScrollBars.FORCED_VERTICAL);
		richEdit1.setTextAlign(HorizontalAlignment.CENTER);

		radioButton1.setLocation(new Point(8, 16));
		radioButton1.setSize(new Point(176, 23));
		radioButton1.setTabIndex(0);
		radioButton1.setText("经典情况之一（3，3，2）");
		radioButton1.addOnCheckedChanged(new EventHandler(this.radioButton1_checkedChanged));

		groupBox4.setLocation(new Point(8, 152));
		groupBox4.setSize(new Point(192, 336));
		groupBox4.setTabIndex(9);
		groupBox4.setTabStop(false);
		groupBox4.setText("建议");

		radioButton2.setLocation(new Point(8, 48));
		radioButton2.setSize(new Point(176, 23));
		radioButton2.setTabIndex(1);
		radioButton2.setText("经典情况之二（5，5，3）");
		radioButton2.addOnCheckedChanged(new EventHandler(this.radioButton2_checkedChanged));

		radioButton3.setLocation(new Point(8, 80));
		radioButton3.setSize(new Point(176, 23));
		radioButton3.setTabIndex(2);
		radioButton3.setText("经典情况之三（6，6，4）");
		radioButton3.addOnCheckedChanged(new EventHandler(this.radioButton3_checkedChanged));

		radioButton4.setLocation(new Point(8, 112));
		radioButton4.setSize(new Point(176, 23));
		radioButton4.setTabIndex(3);
		radioButton4.setText("一般情况之一（3，2，2）");
		radioButton4.addOnCheckedChanged(new EventHandler(this.radioButton4_checkedChanged));

		radioButton5.setLocation(new Point(8, 144));
		radioButton5.setSize(new Point(176, 23));
		radioButton5.setTabIndex(4);
		radioButton5.setText("一般情况之二（4，2，2）");
		radioButton5.addOnCheckedChanged(new EventHandler(this.radioButton5_checkedChanged));

		radioButton6.setLocation(new Point(8, 176));
		radioButton6.setSize(new Point(176, 23));
		radioButton6.setTabIndex(5);
		radioButton6.setText("一般情况之三（4，3，2）");
		radioButton6.addOnCheckedChanged(new EventHandler(this.radioButton6_checkedChanged));

		radioButton7.setLocation(new Point(8, 208));
		radioButton7.setSize(new Point(176, 23));
		radioButton7.setTabIndex(6);
		radioButton7.setText("一般情况之四（5，4，3）");
		radioButton7.addOnCheckedChanged(new EventHandler(this.radioButton7_checkedChanged));

		label6.setLocation(new Point(16, 248));
		label6.setSize(new Point(168, 24));
		label6.setTabIndex(7);
		label6.setTabStop(false);
		label6.setText(" 以下选项强烈建议不要选择！   （PIII800 512MB要做10min）");

		radioButton8.setLocation(new Point(8, 280));
		radioButton8.setSize(new Point(176, 23));
		radioButton8.setTabIndex(8);
		radioButton8.setText("挑战你的计算机（7，7，4）");
		radioButton8.addOnCheckedChanged(new EventHandler(this.radioButton8_checkedChanged));

		button2.setLocation(new Point(112, 496));
		button2.setSize(new Point(80, 24));
		button2.setTabIndex(10);
		button2.setText("关闭");
		button2.addOnClick(new EventHandler(this.button2_click));

		button3.setLocation(new Point(224, 152));
		button3.setSize(new Point(80, 24));
		button3.setTabIndex(1);
		button3.setText("关于...");
		button3.addOnClick(new EventHandler(this.button3_click));

		this.setNewControls(new Control[] {
							groupBox3, 
							groupBox2, 
							groupBox1});
		groupBox1.setNewControls(new Control[] {
								 button3, 
								 label5});
		groupBox2.setNewControls(new Control[] {
								 button2, 
								 groupBox4, 
								 button1, 
								 comboBox4, 
								 label4, 
								 comboBox3, 
								 comboBox2, 
								 comboBox1, 
								 label3, 
								 label2, 
								 label1});
		groupBox3.setNewControls(new Control[] {
								 richEdit1});
		groupBox4.setNewControls(new Control[] {
								 radioButton8, 
								 label6, 
								 radioButton7, 
								 radioButton6, 
								 radioButton5, 
								 radioButton4, 
								 radioButton3, 
								 radioButton2, 
								 radioButton1});
	}

	/**
	 * The main entry point for the application. 
	 *
	 * @param args Array of parameters passed to the application
	 * via the command line.
	 */
	public static void main(String args[])
	{
		Application.run(new Form1());
	}
}