ভিসিএস এবং ফাইল সংস্করণগুলির একটি আনুষ্ঠানিক সিএস সংজ্ঞা আছে?

Question

এটি রসিকতা ছিল কিনা তা আমি জানি না, তবে আমি একবার পড়লাম যা গিটিং, এইচজি বা এসএনএন এর মতো সংস্করণ সিস্টেমে কোনও ফাইলের আনুষ্ঠানিক সংজ্ঞা হিসাবে উল্লেখ করা হয়েছিল। এটি একটি হোমোমরফিজমের মতো একটি গাণিতিক অবজেক্টের মতো কিছু ছিল। এটি একটি কৌতুক ছিল বা সংস্করণ সংস্করণ এবং ভিসিএসের গণিত সম্পর্কে আসলে কম্পিউটার বিজ্ঞান তত্ত্ব ছিল?

Comments

আমি হোমিওরফিজমকে হোমিওমর্জিزمে পরিবর্তন করেছি, তবে আমার কোনও ধারণা নেই, যেখানে এই প্রসঙ্গে টপোলজির সন্ধান করতে হবে। আপনি কি হোমোর্ফিজম বলতে চাইছেন?

— ফ্রেফএল

এন.ইউইকিবুকস.আর.কিউ / উইকি / সমঝোতা_ডার্কস / প্যাচ_থ্যারি বা প্রজেক্টস.হেসেকেল.আর / ক্যাম্পের মতো কিছু ? থিওরি এবং প্রোগ্রামিংয়ের ক্ষেত্রে হ্যাশেল অনুসন্ধান করা সর্বদা একটি ভাল ধারণা। আমি এটিকে উত্তরে রূপান্তরিত করতে পারি তবে আমার ধারণা এই অঞ্চলের আরও ভাল জ্ঞানের লোক রয়েছে।

— ফ্রেফএল

অবিরাম ডাটা স্ট্রাকচার ?

— জেফই

আপনি যা করছেন তার দৃ formal় আনুষ্ঠানিকতা ছাড়াই ভার্শনিং সিস্টেমের মতো জটিল এবং সমালোচনামূলক কিছু তৈরি করেন না। যে সমস্ত লোকেরা তাদের হ্যাক করে তারা কখনও কখনও প্রতিভা হতে পারে তবে সাধারণত তারা বোকা।

— বাবু

Answer 1

আপনি আইজাক ওয়ালকারস্টোরফার (@ অ্যাগনোস্টার) এর একটি টুইটের কথা ভাবছেন :

শাখাগুলি হিমবার্ট স্পেসের সাবমানিফোল্ডগুলি ম্যাপিং করে এমন হোমিওমোরফিক এন্ডোফান্টরস বলে প্রাথমিক ধারণাটি পেয়ে গেলে গিটটি সহজ হয়।

দুর্ভাগ্যক্রমে, এটি একটি রসিকতা। লেখক যেমন কোরা লিখেছেন :

এটি দৃ tongue়ভাবে জিভ-ইন-গাল হিসাবে লক্ষ্য করা হয়েছিল। আমি আসলে গিট পছন্দ করি, এবং আমি মনে করি এর জটিলতা অনেকটাই ডুবে গেছে। একই সাথে, আমি গিটার গুরু থেকে নবীনদের পরামর্শের প্রতি সহানুভূতিশীল যে অবর্ণনীয় গীবের মত শোনা যায়।

এর গভীরতর অর্থ বোঝার উদ্দেশ্যে নয়। এই ফ্যাশনে এটি বিশ্লেষণ করার প্রচেষ্টা নিরর্থক হওয়া উচিত, তবে বাস্তবে ত্রুটির কারণে, আপনি যথেষ্ট চেষ্টা করলে বাস্তবে কোনও হস্ত-avyেউয়ের বিবৃতি উপযুক্ত করতে পারেন।

এটি প্রোগ্রামার স্ট্যাক এক্সচেঞ্জ এবং গণিত স্ট্যাক এক্সচেঞ্জে আলোচনা করা হয়েছে ।

---

রসিকতা বাদ দিয়ে সংস্করণ নিয়ন্ত্রণকে আনুষ্ঠানিক করার কাজ হয়েছে। একটি প্রচেষ্টা যা তত্ত্ব ও অনুশীলনের সাথে জড়িত তা হ'ল ডার্কসে ডেভিড রাউন্ডির প্যাচ তত্ত্বের কাজ । তত্ত্বটির মূল লক্ষ্য হ'ল মডেল মার্জিং এবং বিশেষত সংঘাতের সমাধান। Darcs উইকি তত্ত্ব একটি ভূমিকা এবং সেইসাথে কয়েক পয়েন্টার হয়েছে তথ্যসূত্রের (তাই পুরানো যদি আপনি বিষয় একটি সাম্প্রতিক দৃশ্য চান, কিন্তু এটি তালিকা একটি করে unmaintained পেত্র Baudiš 2009 জরিপ কাগজ এবং একটি তালিকা) আলোচনা ( এতে আরও সাম্প্রতিক উপাদান অন্তর্ভুক্ত রয়েছে)। একটি উইকিবুকও আছে । একটি সেমিনাল পেপার হ'ল ভার্সন কন্ট্রোলের জন্য একটি প্রিন্সিপল অ্যাপ্রোচঅ্যান্ড্রেস লাহ, ওয়েটার সুইয়ার্সট্রা এবং ডান লেইজন 3 দ্বারা ।

প্যাচ তত্ত্ব একটি শ্রেণীগত মডেল, যা অতি সম্প্রতি অন্বেষণ করা হয়েছে নেতৃত্ব নেই প্যাচ একটি শ্রেণীগত তত্ত্ব স্যামুয়েল Mimram এবং Cinzia ডি Giusto দ্বারা এবং Homotopical প্যাচ তত্ত্ব কার্লো Angiuli, এড Morehouse, ড্যানিয়েল আর Licata এবং রবার্ট হারপার দ্বারা । মিমরাম এবং ডি জিস্টোর কাজগুলিতে, মডেলটিতে মরফিজম হিসাবে অবজেক্টস এবং প্যাচগুলি ফাইল রয়েছে। আমি মনে করি এটি একটি শাখাকে মার্জিং হিসাবে পরিণত করে - যদি আপনি একটি একক ভাণ্ডারে কাজ করেন তবে একটি এন্ডোফান্টর ct "হোমিওমোরফিক এন্ডোফান্টর" আমার কাছে তা বোঝায় না। হোমোপিপি তত্ত্ব জড়িত থাকার সাথে, একটি হিলবার্ট স্পেসের সাবম্যানিফোল্ডগুলি এতটা দূরে নাও থাকতে পারে ...

Answer 2

অবশ্যই সংস্করণ নিয়ন্ত্রণ সিস্টেমের জন্য একটি গাণিতিক আনুষ্ঠানিকতা রয়েছে। সিএসে কার্যত প্রতিটি অ্যালগরিদমের জন্য গাণিতিক আনুষ্ঠানিকতা রয়েছে। আছে একাধিক অনেকের জন্য formalisms। আনুষ্ঠানিকতা এবং তাদের মডেল করা সিস্টেমগুলির মধ্যে 1-1 সম্পর্ক নেই । মডেলগুলি সাধারণ থেকে জটিল পর্যন্ত হতে পারে। এখানে ভিসিএস / এসসিএম এর একটি উদাহরণ রয়েছে সুইয়ার্সট্রা দ্বারা, এখনও উদ্ধৃত হয়নি।

• সংস্করণ নিয়ন্ত্রণের শব্দার্থবিজ্ঞান

"সমান্তরাল ইউনিভার্স / টাইমলাইন" এবং বিজ্ঞানের কল্পকাহিনীতে কখনও কখনও ব্যবহৃত সময় ভ্রমণের ধারণার সাথে এসসিএমেরও অনেক মিল রয়েছে । এটি বিভিন্ন সময়ে বা "স্ন্যাপশটস" এ বিকশিত সিস্টেমের অবস্থা ক্যাপচার করে। এখানে "শাখা" এবং "সংযুক্তি" রয়েছে। সময়সীমাও দেখুন ।