सीएसएस बॉक्स पोजीशनिंग के औपचारिक अर्थशास्त्र

Question

मैं एक (सैद्धांतिक) कंप्यूटर विज्ञान छात्र हूं, और प्रोग्रामिंग भाषाओं के अर्थशास्त्र की जांच मेरे अध्ययन के विषयों में से एक है (wikipedia)।

मैंने सीएसएस के साथ बहुत कुछ खेला है और बॉक्स पोजिशनिंग नियमों की उचित समझ है। (यदि आप मुझे कुछ लेआउट के साथ एक पृष्ठ बनाने के लिए कहते हैं, तो मैं अक्सर सही बॉक्स दृष्टिकोण और लागू सीएसएस नियमों के बारे में सोच सकता हूं।)

सीएसएस बॉक्स पोजीशनिंग नियमों के लिए औपचारिक अर्थशास्त्र के कुछ प्रकार के लिए अच्छा होगा, लेकिन थोड़ी देर के लिए नेट खोजने के बाद, मुझे कुछ भी उपयोगी नहीं मिला।

मैं ज्यादातर सीएसएस विनिर्देशों पर बस समाप्त होता हूं, जो छद्म-एल्गोरिदम के साथ लंबे ग्रंथों के रूप में स्वरूपित होते हैं (सबसे बड़ा पढ़ने वाला पदार्थ नहीं --- मैंने अभी तक इनमें से किसी भी विनिर्देश को पढ़ा नहीं है)।

क्या किसी ने किसी भी गणितीय मॉडल में “ सिद्धांत ” को औपचारिक बनाने की कोशिश नहीं की है, विनिर्देशों के मुकाबले ज्यादा कठोर है? मैं कुछ पूर्ण या निश्चित नहीं ढूंढ रहा हूं, लेकिन यह निश्चित रूप से साफ (और उपयोगी!) होगा, कम से कम, जिस तरह से बक्से को स्थानांतरित किया जाना चाहिए औपचारिक तरीके से मॉडलिंग किया जा सकता है।

क्या कोई इस तरह के शोध के बारे में जानता है?

Answer 1

कोई जवाब नहीं!यह एक बहुत ही सरल मामले के संभावित औपचारिकरण का एक उदाहरण है (ऊपर मेरी टिप्पणी देखें)।

कहते हैं, उदाहरण के लिए, हम (1) एक ज्ञात स्क्रीन चौड़ाई , (2) बक्से जो नहीं लगाए गए हैं की एक आदेश दिया सूची की विशेषता एक ऐसी दुनिया में काम कर रहे हैं, कोई मार्जिन/padding के/सीमाओं है , बाईं ओर तैरते हैं और जिनमें से हम गणितीय कार्यों और के माध्यम से उनकी (2.1) ऊंचाई और (2.2) चौड़ाई को जानते हैं।

हम और कार्यों को परिभाषित करेंगे, जो प्रत्येक बॉक्स के बाएं ऊपरी कोने के निर्देशांक बताते हैं।

हम परिभाषित करने दिया जाएगा/संबंधों " शुरू होता है लाइन " और " ऊंचाई है" का उपयोग।

सबसे पहले, शुरू होता है 0.

तो लाइन, अगर शुरू होता है लाइन, और इसके अलावा यदि के लिए कुछ खास

...हम निष्कर्ष है कि:

1. 
2. 
3. ऊंचाई
4. शुरू होता है +1 लाइन iff

ये नियम एक औपचारिक में दिए गए बॉक्स की स्थिति को परिभाषित किया गया है तौर तरीका। ऐसा करने का यह एकमात्र तरीका है, ज़ाहिर है, और शायद सबसे बुद्धिमान नहीं है (बस इसे जल्दी से सोचा जाता है), लेकिन यह काम करता है जिस तरह से काम करता है (मॉड्यूलो टाइपो, मैंने इसे पर्याप्त रूप से पर्याप्त रूप से चेक नहीं किया है)।

प्रोग्रामिंग भाषाओं से निपटने के दौरान, इनमें से कई औपचारिकताओं का चयन कर सकते हैं, प्रत्येक विशेष प्रयोजनों के लिए आविष्कार किया गया है (wikipedia देखें)।

मुझे कोई दिलचस्पी है अगर किसी ने कभी भी सीएसएस बॉक्स पोजिशनिंग के लिए कुछ औपचारिकरण के साथ आने की कोशिश की है। निस्संदेह विनिर्देशों का एक लंबा सफर तय होता है, लेकिन वे उतना ही कठोर नहीं हैं जितना गणितीय तरीका आपको मजबूर करता है।