תוספת לTEST של משימה 6

מנהלים: TA_nimrod, TA_Igor, TA_Adi

שלח תגובה
LotemBY
הודעות: 10
הצטרף: 17:04 25/11/2009

תוספת לTEST של משימה 6

שליחה על ידי LotemBY » 20:02 25/11/2009

הנה עוד 3 מערכי CNF שאפשר להוסיף לבדיקה שנתנו לנו.
תוסיפו פה כמה שיותר בדיקות ככה שנוכל להיות בטוחים שהקוד באמת עובד בכל מצבי בקיצון...

קוד: בחירת הכל

		int[][] phi8 = { // not satisfiable formula. 60 variables and 160 clauses.
				{39,40,1},{-39,-40,1},{-39,-40,1},{39,-40,-1},{-39,40,-1},{1,41,2},{-1,-41,2},{1,-41,-2},{-1, 41, -2},{2,42, 3},{-2,-42, 3},{2,-42 ,-3},
				{-2,42 ,-3},{3,43, 4},{-3,-43, 4},{3,-43 ,-4},{-3,43 ,-4},{4,44, 5},{-4,-44, 5},{4,-44 ,-5},{-4,44 ,-5},{5,45, 6},{-5,-45, 6},
				{5,-45 ,-6},{-5,45 ,-6},{6,46, 7},{-6,-46, 7},{6,-46 ,-7},{-6,46 ,-7},{7,47, 8},{-7,-47, 8},{7,-47 ,-8},{-7,47 ,-8},{8,48, 9},
				{-8,-48, 9},{8,-48 ,-9},{-8,48 ,-9},{9,49,10},{-9,-49,10},{9,-49,-10},{-9,49,-10},{10,50,11},{-10,-50,11},{10,-50,-11},{-10,50,-11},
				{11,51,12},{-11,-51,12},{11,-51,-12},{-11,51,-12},{12,52,13},{-12,-52,13},{12,-52,-13},{-12,52,-13},{13,53,14},{-13,-53,14},{13,-53,-14},
				{-13,53,-14},{14,54,15},{-14,-54,15},{14,-54,-15},{-14,54,-15},{15,55,16},{-15,-55,16},{15,-55,-16},{-15,55,-16},{16,56,17},{-16,-56,17},
				{16,-56,-17},{-16,56,-17},{17,57,18},{-17,-57,18},{17,-57,-18},{-17,57,-18},{18,58,19},{-18,-58,19},{18,-58,-19},{-18,58,-19},{19,59,60},
				{-19,-59,60},{19,-59,-60},{-19,59,-60},{20,59,60},{-20,-59,60},{20,-59,-60},{-20,59,-60},{21,58,20},{-21,-58,20},{21,-58,-20},
				{-21,58,-20},{22,57,21},{-22,-57,21},{22,-57,-21},{-22,57,-21},{23,56,22},{-23,-56,22},{23,-56,-22},{-23,56,-22},{24,55,23},
				{-24,-55,23},{24,-55,-23},{-24,55,-23},{25,54,24},{-25,-54,24},{25,-54,-24},{-25,54,-24},{26,53,25},{-26,-53,25},{26,-53,-25},
				{-26,53,-25},{27,52,26},{-27,-52,26},{27,-52,-26},{-27,52,-26},{28,51,27},{-28,-51,27},{28,-51,-27},{-28,51,-27},{29,50,28},
				{-29,-50,28},{29,-50,-28},{-29,50,-28},{30,49,29},{-30,-49,29},{30,-49,-29},{-30,49,-29},{31,48,30},{-31,-48,30},{31,-48,-30},
				{-31,48,-30},{32,47,31},{-32,-47,31},{32,-47,-31},{-32,47,-31},{33,46,32},{-33,-46,32},{33,-46,-32},{-33,46,-32},{34,45,33},
				{-34,-45,33},{34,-45,-33},{-34,45,-33},{35,44,34},{-35,-44,34},{35,-44,-34},{-35,44,-34},{36,43,35},{-36,-43,35},{36,-43,-35},
				{-36,43,-35},{37,42,36},{-37,-42,36},{37,-42,-36},{-37,42,-36},{38,41,37},{-38,-41,37},{38,-41,-37},{-38,41,-37},{39,40,-38},
				{-39,-40,-38},{39,-40,38},{-39,40,38}
		};
	
		
		int[][] phi9={}; // satisfiable formula
		
		int[][] phi10={{1},{}}; // not satisfiable formula



		//array of test cases:
		int[][][] testPhis = {phi0, phi1, phi2, phi3, phi4, phi5, phi6, phi7, phi8, phi9, phi10};
		boolean[] expectedResults = {false, false, false, true, true, true, true, true, false, true, false};
פשוט להוסיף מתחת לphi7. ולהחליף את שני המשפטים האחרונים.

TA_nimrod
הודעות: 196
הצטרף: 00:07 17/11/2008

Re: תוספת לTEST של משימה 6

שליחה על ידי TA_nimrod » 09:38 26/11/2009

כל הכבוד,
ותודה
צוות הקורס (מתרגל)

rubichi
הודעות: 77
הצטרף: 18:50 22/10/2009

Re: תוספת לTEST של משימה 6

שליחה על ידי rubichi » 15:30 26/11/2009

phi 8 אמור לעבוד הרבה זמן? הוא מקבל תשובה ממש לאט?

LotemBY
הודעות: 10
הצטרף: 17:04 25/11/2009

Re: תוספת לTEST של משימה 6

שליחה על ידי LotemBY » 16:21 26/11/2009

כן... phi8 לוקח אצלי קצת פחות מ10 דקות לחישוב שphi7 מוחשב בפחות משניה...

rubichi
הודעות: 77
הצטרף: 18:50 22/10/2009

Re: תוספת לTEST של משימה 6

שליחה על ידי rubichi » 19:32 26/11/2009

לי לקח 4... כבד העסק הזה

Fogpiskalo
הודעות: 59
הצטרף: 20:03 25/10/2009

Re: תוספת לTEST של משימה 6

שליחה על ידי Fogpiskalo » 21:14 01/12/2009

סחטיין!

לקח לי שלוש וחצי דקות במחשבים של 34.

eliranyo
הודעות: 25
הצטרף: 17:24 02/12/2009

Re: תוספת לTEST של משימה 6

שליחה על ידי eliranyo » 17:34 02/12/2009

מה אמור להיות הפתרון לטסט 9 של משימה 5?
יצא לי: succsess- testsolver: test 9 solution for phi9 is:
וזהו...
זה נכון?

LotemBY
הודעות: 10
הצטרף: 17:04 25/11/2009

Re: תוספת לTEST של משימה 6

שליחה על ידי LotemBY » 18:58 02/12/2009

כן.
מכיוון ש phi9 הוא ריק, אז לא צריך שום ליטראל בשיבל לאמת אותו.

שלח תגובה

חזור אל “- מבוא למדעי המחשב 2010”