💻 संगणक विज्ञान
Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections
यह शोध पत्र मिश्रित-पूर्णांक रैखिक प्रोग्रामिंग (mixed-integer linear programming) और द्वैत विश्लेषण (dual analysis) सहित स्वचालित तर्क का उपयोग करता है, ताकि अनुभवजन्य रूप से यह प्रदर्शित किया जा सके कि किसी भी चुनाव को आकार 3 से बड़े कोंडोर्सेट विजेता सेट (Condorcet winning set) की आवश्यकता नहीं है और एक ऐसा अनुमान प्रस्तावित करता है जो यह सुझाव देता है कि आकार 4 की एक समिति हमेशा पर्याप्त होती है, जिससे ज्ञात निचले और ऊपरी सीमाओं के बीच के सैद्धांतिक अंतर को कम किया जा सके।