مَا هُوَ التَّحْسِينُ الْجَمْعِيُّ؟
كَمْبِنْتَارِيْ أَوْتِمِيْتِيْمِيْتِيْمِيْتِيْمِيْتِيْمِيْتِيْمِيْتِيْمِيْتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِيْمِتِي يُسْتَعْمَلُ عَادَةً كَمَعْنَى الْمُخْتَصَرِ. مَسْأَلَةُ التَّحْسِينِ الْمُجْتَمِعِ عَامَّةً تُرْسَمُ كَثَلَاثِيَّةٍ (S, f, C) ، حَيْثُ S مَسْأَلَةُ بَحْثٍ مَعْطُوفَةٌ، وَ f هِيَ الوَظِيفَةُ الْمَقْصُودَةُ الَّتِي يَجِبُ تَعْظِيمُهَا أَوْ تَقْصِيرُهَا، وَ C هِيَ مَجْمُوعُ الْقَيْدَاتِ الَّتِي يَجِبُ تَحْقِيقُهَا لِحُصُولِ حُلُولٍ جَائِزَةٍ. وَالْمَقْصُودُ أَنْ يُوجَدَ حَلٌ كُلُّهُ مُسْتَحَبٌّ، يَعْنِي حَلًا s' يَنْتَمِي إِلَى S، بِأَعْلَى أَوْ أَدْنَى قِيمَةٍ مَقْصُودَةٍ فِي حَالِ التَّعْظِيمِ أَوِ التَّقْلِيلِ، كُلُّ وَاحِدٍ مِنْهُمَا تَحْتَ قَيْدِ الْمَنَعَاتِ.