ປະເພດພື້ນຖານແລະຕົວຢ່າງຂອງສູດການຄິດໄລ່ວົງໂຄຈອນ

ບົດຄວາມມີຈຸດປະສົງເພື່ອໃຫ້ໄດ້ຄວາມເຂົ້າໃຈພື້ນຖານຂອງສິ່ງທີ່ມີຮອບ, ຊຶ່ງເປັນເລື່ອງທໍາມະພາສາການຂຽນໂປຣແກຣມແລະ programmer ລະດັບການຝຶກອົບຮົມໃດຫນຶ່ງ.

ແນວຄວາມຄິດຂອງຂັ້ນຕອນວິທີ

ສູດການຄິດໄລ່ແມ່ນລໍາດັບຂອງການປະຕິບັດເພື່ອບັນລຸການແກ້ໄຂຄອມພິວເຕີຫຼືບັນຫາອື່ນໆໃນຈໍານວນຈໍາກັດຂອງຂັ້ນຕອນການ. ການກະທໍາ (ຄໍາແນະນໍາ) ສໍາລັບການປະຕິບັດຂັ້ນຕອນວິທີການສາມາດໄດ້ຮັບການປະຕິບັດຫນຶ່ງຫຼັງຈາກທີ່ອື່ນ (sequentially) ໃນເວລາດຽວກັນ (ໃນຂະຫນານ) ຫຼືໃນຄໍາສັ່ງໃດກໍ່ຕາມ, ການນໍາໃຊ້ loops ແລະເງື່ອນໄຂຂອງການປ່ຽນແປງ. ສູດການຄິດໄລ່ໄດ້ຖືກນໍາໃຊ້ບໍ່ພຽງແຕ່ໃນການຂຽນໂປຣແກຣມ, ແຕ່ຍັງຢູ່ໃນເຂດອື່ນໆ, ສໍາລັບການຍົກຕົວຢ່າງໃນການຄຸ້ມຄອງການຜະລິດແລະທຸລະກິດຂະບວນການ.

ຮອບ

ຂັ້ນຕອນວິທີຖືກເອີ້ນວ່າວົງຈອນຖ້າຫາກວ່າມີການປະຕິບັດຫຼືຊຸດຂອງການປະຕິບັດທີ່ຈະປະຕິບັດຫຼາຍກ່ວາຫນຶ່ງຄັ້ງ. ການປະຕິບັດຊ້ໍາກັນມີຮ່າງກາຍ loop ສູດການຄິດໄລ່. ນອກຈາກນີ້ໃນແຕ່ລະວົງຈອນມີສະພາບທີ່ຈະປະຕິບັດເປັນ cyclic ບົບສິ້ນສຸດລົງໄດ້.

ປະເພດຂອງສູດການຄິດໄລ່ວົງໂຄຈອນ

ແຕ່ລະຮອບປະກອບດ້ວຍເງື່ອນໄຂ loop, ie. E. ການສະແດງອອກຢ່າງມີເຫດຜົນທີ່ໄດ້ກໍານົດການກວດກາຈະໄດ້ຮັບການດໍາເນີນການໂດຍຮ່າງກາຍ loop ອີກເທື່ອຫນຶ່ງ, ຫຼືວົງຈອນສໍາເລັດ. ອີງຕາມການວິທີການຂອງການປິ່ນປົວຂັ້ນຕອນວິທີ cyclic ທັງຫມົດເປັນໄດ້ຖືກແບ່ງອອກເປັນສາມກຸ່ມ.

ວົງຈອນທີ່ມີເງື່ອນໄຂເບື້ອງຕົ້ນ

ໃນສູດການຄິດໄລ່ດັ່ງກ່າວສະພາບການຂະຫຍາຍ cyclic ແມ່ນການກວດກາກ່ອນການປະມວນຜົນຂອງຮ່າງກາຍ loop ໄດ້, ເຊັ່ນ:. E. ມີຄວາມຕ້ອງການສໍາລັບການຄ້າງຫ້ອງທີ່ຂອງວົງຈອນການປຸງແຕ່ງ.

ພິຈາລະນາຈໍານວນພິມ -5 0 ເປັນຕົວຢ່າງຂອງສູດການຄິດໄລ່ວົງໂຄຈອນເງື່ອນໄຂເບື້ອງຕົ້ນເປັນ:

ອົງປະກອບຂອງສູດການ:

1. ພວກເຮົາກໍານົດມູນຄ່າໃນເບື້ອງຕົ້ນຂອງ j ຕົວປ່ຽນແປງພື້ນຖານ, ເທົ່າທຽມກັນກັບ -5.
2. ພວກເຮົາກວດສອບສະພາບຂອງ loop ໄດ້. ໃນສະພາບການໃນທາງບວກ, ແລະຮ່າງກາຍໄດ້ຖືກປະຫານຊີວິດເປັນຄັ້ງທໍາອິດ.
3. ເພີ່ມເຕີມເຂົ້າມາສູ່ເຮືອນ j ຕົວປ່ຽນແປງອີກເທື່ອຫນຶ່ງໃຫ້ກວດເບິ່ງສະພາບຂອງ loop ໄດ້.
4. ວົງຈອນຍັງຈະສືບຕໍ່ໄດ້ຮັບການປະຕິບັດຈົນກ່ວາມູນຄ່າຂອງ j ແມ່ນຫນ້ອຍກ່ວາຫຼືເທົ່າກັບສູນ, ຖ້າບໍ່ດັ່ງນັ້ນອອກຈາກວົງຈອນຂອງສາຂາຜິດໄດ້

ວົງຈອນກັບ Postcondition

ການທົດສອບເງື່ອນໄຂທີ່ປະຕິບັດຫຼັງຈາກວົງຈອນການປິ່ນປົວທໍາອິດ, ຮ່າງກາຍແລະຄວບຄຸມຜົນຜະລິດຈາກມັນ.

ຂໍໃຫ້ເຮົາຈົ່ງຄິດໄລ່ຜົນລວມຈາກການທີ 1 ເຖິງຈໍານວນຕະປູໂປໂລຍເປັນຕົວຢ່າງຂອງສູດການຄິດໄລ່ວົງໂຄຈອນທີ່ໃຊ້ Postcondition ໄດ້:

1. ພວກເຮົາແນະນໍາຈໍານວນ n ຂອບເຂດຂອງຈໍານວນເງິນທີ່ຄິດໄລ່ແລະກໍານົດສູນຄ່າເລີ່ມຕົ້ນຂອງຈໍານວນເງິນທັງຫມົດຂອງຈໍານວນເງິນແລະວົງຈອນ counter i.
2. ວົງຖືກປະຫານຊີກ່ອນທີ່ຈະໄດ້ເງື່ອນໄຂການທົດສອບຄັ້ງທໍາອິດ.
3. ກວດສອບສະພາບຂອງວົງຈອນໄດ້, r. E. ຄ່າວຽກງານຕ້ານການຂ້າພະເຈົ້າແມ່ນຫນ້ອຍກ່ວາຫຼືເທົ່າກັບ n.
4. ຖ້າຫາກວ່າຂໍ້ກໍານົດຂອງຜົນໄດ້ຮັບແມ່ນໃນທາງບວກ, ພວກເຮົາ iterate ອີກເທື່ອຫນຶ່ງ, ຫຼືສໍາເລັດວົງຈອນແລະຜົນລວມກັບການສະແດງຫຼືການພິມ.

ວົງຈອນບໍ່ມີເງື່ອນໄຂ

ນໍາໃຊ້ປົກກະຕິໃນຂັ້ນຕອນວິທີການ, ໃນເວລາທີ່ຈໍານວນທີ່ຕ້ອງການຂອງ iterations ວົງເປັນທີ່ຮູ້ຈັກໃນການລ່ວງຫນ້າ, ແລະມັກຈະຖືກນໍາໃຊ້ໃນເວລາທີ່ເຮັດວຽກຮ່ວມກັບເລ.

ຂັ້ນຕອນວິທີນີ້ປະກອບດ້ວຍສາມອົງປະກອບເພີ່ມເຕີມ:

1. ຄ່າເລີ່ມຕົ້ນ, ຊຶ່ງຖືກເອີ້ນວ່າເປັນຕົວກໍານົດວົງຈອນ, t. K. ຕົວປ່ຽນແປງນີ້ໄດ້ຖືກດັດແກ້ຫຼັງຈາກແຕ່ລະວົງຈອນປະຕິບັດ, ແລະກໍານົດເວລາຂອງການສໍາເລັດຂອງຕົນ.
2. ຄ່າທີ່ loop ສິ້ນສຸດລົງ.
3. ວົງຈອນຂັ້ນຕອນ.

ໃນແຕ່ລະຈຸດ, ໂຄງການກວດສອບເພື່ອເບິ່ງວ່າມູນຄ່າໃນເບື້ອງຕົ້ນຫຼາຍກວ່າສຸດທ້າຍ. ແລະຖ້າຫາກວ່າສະນັ້ນ, ຫຼັງຈາກນັ້ນວົງຈອນແມ່ນໄດ້ສໍາເລັດ. ຖ້າບໍ່ດັ່ງນັ້ນ, ມູນຄ່າໄດ້ຖືກເພີ່ມເຂົ້າໄປໃນຂະຫນາດຂັ້ນຕອນເລີ່ມຕົ້ນແລະເຮັດເລື້ມຄືນຂອງວົງຈອນ. ການບັນທຶກໂດຍສະເພາະແມ່ນທີ່ loop ບໍ່ມີເງື່ອນໄຂໃດຫນຶ່ງສາມາດໄດ້ຮັບການທົດແທນທີ່ມີກ່ອນເງື່ອນໄຂຫລື Postcondition.

ໃນການແຕ້ມຮູບຂຶ້ນຮອບແມ່ນຄວາມຈໍາເປັນເພື່ອປະຕິບັດຕາມທັງສອງເງື່ອນໄຂບັງຄັບ. ທໍາອິດແມ່ນການຢຸດຕິວົງຈອນການ, ມັນເປັນສິ່ງຈໍາເປັນທີ່ເນື້ອໃນຂອງການຕອບຮັບຜົນກະທົບຂອງຮ່າງກາຍຫຼືເງື່ອນໄຂ, ຖ້າບໍ່ດັ່ງນັ້ນພວກເຮົາສາມາດສຸດທ້າຍໄດ້ຮັບ loop infinite. ແຕ່ສໍາລັບຮອບວຽນດັ່ງກ່າວບາງໃຊ້ຄໍາຮ້ອງສະຫມັກຊອບແວ. ໃນຖານະເປັນຕົວຢ່າງຂອງສູດການຄິດໄລ່ວົງໂຄຈອນທີ່ດໍາເນີນການບໍ່ມີກໍາຫນົດເປັນ, ທ່ານສາມາດເຮັດໃຫ້ລະບົບປະຕິບັດການ Windows, ເຊິ່ງນໍາໃຊ້ເປັນທີ່ສິ້ນສຸດວົງໂພຫນູໃນການກໍານົດການປະຕິບັດສະມາຊິກຂອງ. ຄັ້ງທີສອງ, ການປ່ຽນແປງຜ່ານການວົງຈອນຄວນໃຫ້ຢ່າງຫນ້ອຍຫນຶ່ງໃນການປະຕິບັດຂອງຕົນ.

ການຄິດໄລ່ຂອງ factorial ໄດ້

ກັບລວມການອ່ານຈະໃຫ້ຍົກຕົວຢ່າງຂອງສູດການຄິດໄລ່ວົງໂຄຈອນທີ່ຈະຄິດໄລ່ປັດໄຈຂອງ integer ເປັນໄດ້. ຕົວຢ່າງນີ້ແມ່ນວົງຈອນທີ່ມີເງື່ອນໄຂເບື້ອງຕົ້ນໄດ້ແຕ່ສາມາດໄດ້ຮັບການປະຕິບັດຕາມປະເພດຂອງຮອບໃດ.

• ຂໍ້ມູນພື້ນຖານ: ຂໍ້ມູນ - ເປັນຈໍານວນເຕັມ, ເຊິ່ງຖືກກໍານົດສໍາລັບ factorial.
• ຕົວແປຂອງລະບົບ: ພາລາມິເຕີ Cycle i, ທີ່ໃຊ້ເວລາຄ່າການທີ 1 ເຖິງຂັ້ນຕອນຂໍ້ມູນ c 1.
• ຜົນ: factorial ຕົວປ່ຽນແປງ - ຂໍ້ມູນ factorial, ຊຶ່ງເປັນຜະລິດຕະພັນຂອງຈໍານວນເຕັມຈາກ 1 ກັບຂໍ້ມູນໄດ້.

ພິຈາລະນາໃນຂັ້ນຕອນຂັ້ນຕອນວິທີໂດຍຂັ້ນຕອນ:

1. ຂັ້ນຕອນວິທີໄດ້ຮັບຈໍານວນຂອງຂໍ້ມູນທີ່ທ່ານຕ້ອງການທີ່ຈະຄິດໄລ່ factorial ໄດ້.
2. ຂອງຕົວປ່ຽນແປງ factorial, ເຊິ່ງຈະເກັບຮັກສາຜົນໄດ້ຮັບສຸດທ້າຍ, ໄດ້ຖືກກໍານົດເພື່ອສາມັກຄີ.
3. ພວກເຮົາໃນການຈັດຕັ້ງ ວົງຈອນພາລາມິເຕີ ຂ້າພະເຈົ້າແລະມູນຄ່າການເລີ່ມຕົ້ນຂອງ 1. ຄ່າສຸດທ້າຍຈະມີຂໍ້ມູນຈໍານວນຕົ້ນສະບັບ. ເມື່ອມູນຄ່າຂອງວຽກງານຕ້ານການຂ້າພະເຈົ້າແມ່ນມີຫຼາຍ, ວົງການສິ້ນສຸດລົງ.
4. ການຄິດໄລ່ Loop ແມ່ນປະຕິບັດ factorial - ຄ່າໃນປະຈຸບັນປັດໄຈແມ່ນຄູນແລະວຽກງານຕ້ານການຂ້າພະເຈົ້າ.
5. ດ້ວຍການເພີ່ມຫນຶ່ງກັບມູນຄ່າວຽກງານຕ້ານການ, ສະພາບການ loop ກາເຄື່ອງຫມາຍແລະຖ້າຫາກວ່າຜົນໄດ້ຮັບໃນທາງບວກ, ສໍາເລັດມັນ.
6. ຫຼັງຈາກທີ່ສໍາເລັດການວົງຈອນການ, ການ iteration ຫລ້າສຸດຂອງມູນຄ່າຂອງຂໍ້ມູນ factorial ໄດ້! ມັນຍັງມີໃນປັດໄຈແລະສະແດງຫຼືພິມ.