তাত্ত্বিক কম্পিউটার বিজ্ঞানে মোটর বীজগণিতের কিছু আকর্ষণীয় অ্যাপ্লিকেশন কী কী?


9

আমি কম্পিউটার বিজ্ঞানের প্রতি আগ্রহী, একটি মোটর তত্ত্ববিদ।

আমি জিজ্ঞাসা করতে চাই যে তাত্ত্বিক কম্পিউটার বিজ্ঞানে মোটরগাড়ি বীজগণিত (মডেল বিভাগ, ইনফিনিটি বিভাগ, সরলিকাল বিভাগ ইত্যাদি) এর আকর্ষণীয় অ্যাপ্লিকেশনগুলি কী কী?


সম্পর্কিত: এখানে এবং এখানে
হেনগ্সিন

উত্তর:


3

তাত্ত্বিক কম্পিউটার বিজ্ঞানে হোমোপি তত্ত্বের দুটি বড় অ্যাপ্লিকেশন

  1. হোমোটোপি টাইপ থিওরি টাইপড ল্যাম্বদা ক্যালকুলাস এবং হোমোপিপি তত্ত্বের মধ্যে সম্পূর্ণ অপ্রত্যাশিত সংযোগ প্রকাশ করেছিল। দ্রুত স্বজ্ঞাত হিসাবে, এটিকে স্বজ্ঞাত যুক্তি এবং টপোলজিকাল স্পেসগুলির মধ্যে সংযোগের (বিশাল) সাধারণীকরণ হিসাবে বিবেচনা করুন বা "সিন্থেটিক হোমোপপি তত্ত্ব" করার ভাষা হিসাবে বিবেচনা করুন।

  2. বীজগাণিতিক টপোলজি এবং homotopy তত্ত্বের নির্দেশ সংস্করণ (অর্থাত, যেখানে পাথ উলটাকর না) মনে কম্পিউটার বিজ্ঞান অ্যাপ্লিকেশনের সাথে অবিকল উন্নত করা হয়েছে। স্বজ্ঞাততাটি হ'ল সমবর্তী প্রোগ্রামের সম্ভাব্য মূল্যায়ন কোনও জায়গার সাথে সামঞ্জস্য করে, প্রোগ্রামের মৃত্যুদণ্ডগুলি সেই জায়গার পাথের সাথে সামঞ্জস্য করে এবং সিঙ্ক্রোনাইজেশন আদিম বাধাগুলির সাথে মিলে যায়। এই স্পেস / প্রোগ্রামগুলির জ্যামিতিক বৈশিষ্ট্যগুলি বিবেচনা করে, তাদের আচরণ সম্পর্কে যুক্তিযুক্ত করার জন্য সরঞ্জামগুলি বিকাশ করা সম্ভব হয়।


2

সম্পর্কিত পোস্টে আমার উত্তর : কম্পিউটার বিজ্ঞানে সেট থিওরি, অর্ডিনাল তত্ত্ব, অসীম সমন্বয় এবং সাধারণ টপোলজির জন্য অ্যাপ্লিকেশন? :

2004 গডেল পুরস্কার নিম্নলিখিত দুটি কাগজপত্র দ্বারা ভাগ করা হয়েছিল:

  • অ্যাসিঙ্ক্রোনাস গণনার টপোলজিকাল স্ট্রাকচার
    মরিস হেরলিহি এবং এসিএম জার্নাল নীর শবিত, খণ্ড। 46 (1999), 858-923
  • ওয়েট-ফ্রি কে-সেট চুক্তি অসম্ভব: জন জ্ঞানের টপোলজি
    মাইকেল সাকস এবং ফোটিয়াওস জাহারোগ্লো, কমপিউটিং-এ, সিয়াম জে। 29 (2000), 1449-1483।

2004 গডেল পুরষ্কারের উদ্ধৃতিগুলি :

দুটি কাগজ বিতরণ করা কম্পিউটিং তত্ত্বের অন্যতম গুরুত্বপূর্ণ যুগান্তকারী প্রস্তাব দেয়।

বিতরণকৃত কম্পিউটিংয়ের টোপোলজিকাল প্রকৃতির আবিষ্কারটি অঞ্চলটির উপরে একটি নতুন দৃষ্টিকোণ সরবরাহ করে এবং সম্ভবত প্রাকৃতিক গণনার ঘটনাকে প্রশমিত করতে টপোলজিকাল কাঠামোর ব্যবহারের ক্ষেত্রে সম্ভবত প্রয়োগিত গণিতে সমস্ত ক্ষেত্রে সবচেয়ে আকর্ষণীয় উদাহরণ উপস্থাপন করে।


যোগ করা হয়েছে:

এই বিষয়ে একটি বই:

সম্মিলিত টপোলজি, 1 ম সংস্করণ, 2013 এর মাধ্যমে বিতরণ করা কম্পিউটিং


আমি এই ফলাফল একটি বড় ভক্ত হলেও এটা আমার কাছে পরিষ্কার না যদি তারা যেমন গণনা homotopical এত শুধু বীজগণিত homological বীজগণিত ...
জশুয়া Grochow

@ জোশুয়া গ্রাচো সত্যই, আমি এই ফলাফলগুলি সম্পর্কে খুব কম জানি। আমি বিতরণ করা কম্পিউটিংয়ে আগ্রহী এবং এই ফলাফলগুলি সম্পর্কে জানি। তবে এগুলি ভালভাবে বোঝার জন্য আমার গাণিতিক পটভূমি খুব কম। দয়া করে আমার উত্তরটি সংশোধন / মোছার জন্য নির্দ্বিধায় ধন্যবাদ।
হেনগ্সিন
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.