তাত্ত্বিক কম্পিউটার বিজ্ঞান

এটি জানা যায় যে অনেকগুলি লজিক সমস্যা (যেমন কয়েকটি মডেল লজিকগুলির সন্তুষ্টিযোগ্যতা সমস্যাগুলি) সিদ্ধান্ত গ্রহণযোগ্য নয়। অ্যালগরিদম তত্ত্বেও অনেক অনস্বীকার্য সমস্যা রয়েছে, যেমন মিশ্রিত অপটিমাইজেশন। তবে অনুশীলনে হিউরিস্টকস এবং আনুমানিক অ্যালগরিদম ব্যবহারিক অ্যালগরিদমের জন্য ভাল কাজ করে। সুতরাং কেউ আশা করতে পারেন যে যুক্তিযুক্ত সমস্যার জন্য আনুমানিক অ্যালগরিদমগুলিও উপযুক্ত হতে …

13 lo.logic  approximation-algorithms  undecidability 

যুক্তিযুক্ত এন্ট্রি সহ একটি ম্যাট্রিক্স এ দেওয়া । চেক করতে জটিলতা কি একটি diagonalizable হয়?n×nn×nn\times nAAAAAA আমি সন্দেহ করি যে এটি পি তে করা যেতে পারে তবে আমি কোনও রেফারেন্স জানি না। যাইহোক, আরও আকর্ষণীয় প্রশ্ন হ'ল, এই সমস্যাটি ধরার জন্য আরও ভাল কোনও জটিল শ্রেণি নেই? কোন গাইডেন্স / …

13 cc.complexity-theory  linear-algebra  matrices 

সীমাবদ্ধ অটোম্যাটা একই প্রাথমিক এবং গ্রহণযোগ্য রাষ্ট্রের দ্বারা স্বীকৃত ভাষার শ্রেণীর বিষয়ে কী জানা যায়? এটি নিয়মিত ভাষার একটি উপযুক্ত উপসেট (যেহেতু প্রতিটি ভাষার খালি স্ট্রিং থাকে) তবে এটি কতটা দুর্বল? একটি সাধারণ বীজগণিত বৈশিষ্ট্য আছে? প্রাথমিক এবং গ্রহণযোগ্য রাষ্ট্রের একই সেট থাকা অ-নিরস্তক অটোমাতা দ্বারা স্বীকৃত ভাষার জন্য ডিটো।

13 fl.formal-languages  automata-theory  algebra  regular-language 

আমি (এবং / অথবা অসীম শব্দ ) এর দুটি নিয়মিত ভাষার সীমাবদ্ধ ভাষার মধ্যে "ঘনিষ্ঠতা" একটি ধারণাটি সংজ্ঞায়িত করতে চাই । মূল ধারণাটি হ'ল আমরা চাই দুটি ভাষাগুলি যদি খুব শব্দ দ্বারা পৃথক না হয় তবে তারা নিকটবর্তী হয়। আমরা কোনওভাবে সম্পাদনার দূরত্বও ব্যবহার করতে পারি ... আমি এই বিষয়ে …

13 reference-request  fl.formal-languages  regular-language 

গত সপ্তাহে, আমি আবার লেসলির ল্যাম্পোর্টের 1982 সালে সলভিত সমস্যা, সমাধান না হওয়া সমস্যা এবং কনক্যুরન્સીতে সমস্যা সমাধান না হওয়া সম্পর্কিত একটি সম্মেলনের ট্রান্সক্রিপ্টটি পড়ছিলাম । কাগজটি সহজেই পঠনযোগ্য, তবে যে জিনিসগুলি আমাকে ভাবতে পেরেছিল তার মধ্যে একটি হ'ল নিম্নলিখিত জোর: কোনও সমস্যা মিউচুয়াল বর্জনীয় সমস্যা বা উত্পাদক-ভোক্তার সমস্যা, বা …

13 reductions  dc.distributed-comp  concurrency 

আমি একটি ডাটা স্ট্রাকচার যে একটি পূর্ণসংখ্যা টেবিল বজায় রাখা হবে খোঁজ করছি আকারের , এবং সময় নিম্নলিখিত অপারেশন যার ফলে ।n ও ( লগ এন )tttnnnO(logn)O(log⁡n)O(\log n) বৃদ্ধি ( ক , খ )increase(a,b)\text{increase}(a,b) , যা ।টি [ এ ] , টি [ এ + ১ ] , … , …

13 ds.data-structures  cg.comp-geom 

তাহলে বাজে কথা মধ্যে স্থাপন করা হয় এন অবিশেষে এলোমেলোভাবে বিন, গুরুতম লোড বিন হয়েছে হে ( LG এন / এলজি এলজি এন ) উচ্চ সম্ভাবনা সঙ্গে এটা বাজে কথা। ইন "সহজ সারণি হ্যাশ পরাক্রম" , Pătraşcu এবং Thorup উল্লেখ যে "Chernoff-Hoeffding সীমিত স্বাধীনতার অ্যাপ্লিকেশনের জন্য সীমা" ( মিরর ) …

13 ds.data-structures  randomness  hash-function  independence 

একাডেমিয়ার বাইরে আমার 'ক্ষমতা' ব্যবহার কী? আমি কাগজপত্র পড়ানো এবং প্রকাশ করা ছাড়া আর কী করতে পারি? আমি কোথায় আমার ক্ষমতা প্রয়োগ করতে পারি? যুক্তির খাতিরে: অনুগ্রহ করে ধরুন আমার কাছে অ্যালগরিদম / টিসিএসে পিএইচডি আছে এবং আমি 'স্টাফ' নিয়ে প্রচুর পরিমাণে শিখেছি এবং বিদ্যমান অ্যালগরিদম ইত্যাদির উপর যুগান্তকারী সীমা …

13 soft-question  big-picture  career 

অনুপ্রেরণা: একজন সহকারী একটি পাণ্ডুলিপি সম্পাদনা করে এবং আমি সম্পাদনাগুলির একটি পরিষ্কার সংক্ষিপ্ত বিবরণ দেখতে চাই। সবগুলি "পরিবর্তন" সরঞ্জাম -একটি করলে কি না হয় বেহুদা হতে থাকে উভয় চারপাশে পাঠ্য চলন্ত (যেমন, পুনরায় সংগঠিত কাঠামো) এবং স্থানীয় সম্পাদনাগুলি করছেন। এটি সঠিকভাবে পাওয়া কি এতটা কঠিন? সংজ্ঞা: আমি ন্যূনতম সম্পাদনার দূরত্ব …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

মনে রাখবেন যে কোনও সিএনএফ সূত্র এফের রেজোলিউশন খণ্ডন আর এর প্রস্থ হ'ল আর-এ সংঘটিত যে কোনও ধারাটিতে আক্ষরিক সংখ্যা সর্বাধিক । প্রত্যেক জন্য W , সেখানে unsatisfiable সূত্রে এফ 3-CNF St মধ্যে প্রতিটি রেজল্যুশন অপ্রমাণ এফ অন্তত প্রস্থ প্রয়োজন W ।আরRRএফFFআরRRWwwএফFFএফFFWww আমার 3-সিএনএফ (যতটা সম্ভব ছোট এবং সহজ) এর …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

পার্টিশন সমস্যাটি দুর্বলভাবে এনপি-সম্পূর্ণ, কারণ ইনপুট পূর্ণসংখ্যার কিছু বহিরাগত দ্বারা আবদ্ধ হলে এটি বহুবচন (সিউডো-বহু-বহিরাগত) সময় অ্যালগরিদম রয়েছে। যাইহোক, 3-পার্টিশনটি এনপি-সম্পূর্ণরূপে সমস্যা হ'ল এমনকি যদি ইনপুট পূর্ণসংখ্যাগুলি বহুবচন দ্বারা আবদ্ধ থাকে। ধরে নিচ্ছি, , আমরা কি প্রমাণ করতে পারি যে মধ্যবর্তী এনপি-সম্পূর্ণ সমস্যা থাকতে হবে? উত্তরটি যদি হ্যাঁ হয় তবে …

13 cc.complexity-theory  np-hardness  partition-problem 

আমি নিম্নলিখিত গেমটির মুখোমুখি হয়েছি। আমি অনুরোধ অনুযায়ী এটি স্থানান্তর করব। একটি বাগ চেনাশোনাগুলি পরিদর্শন করছে, এবং একটি শত্রু তার ভ্রমণের সময়কে সর্বাধিক বাড়িয়ে তুলতে চায়। প্রতিপক্ষ প্রতিটি ঘুরিয়ে একটি বৃত্ত রাখে। বাগটি তার বর্তমান অবস্থান থেকে সরাসরি নতুন বৃত্তের কেন্দ্রের দিকে চলে। এটি বাগের পালা। বিরোধীদের কাছে চেনাশোনা উপলব্ধ।NNN …

13 gt.game-theory 

এটি সহজেই দেখতে পাওয়া যায় যে যদি তবে মোট এন পি অনুসন্ধান সমস্যা রয়েছে যা বহু কালীন সময়ে সমাধান করা যায় না (সদস্যতার জন্য সাক্ষী এবং নন-এম্বারশিপের সাক্ষী উভয়কে রেখে সম্পূর্ণ অনুসন্ধানের সমস্যা তৈরি করুন)।এন পি ∩ সি ও এন পি ≠ পিNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}এন পিNP\mathsf{NP} কথোপকথনটি কি সত্য, অর্থাৎ …

13 cc.complexity-theory  reference-request  search-problem 

আমরা যে একটি ফাংশন হয় সময়-অঙ্কনযোগ্য , যদি সেখানে একটি নির্ণায়ক বহু-টেপ মেশিন টুরিং বিদ্যমান এম যে দৈর্ঘ্যের সমস্ত ইনপুট উপর এন সর্বাধিক তোলে চ ( এন ) পদক্ষেপ এবং প্রত্যেকের জন্য এন সেখানে কিছু ইনপুট বিদ্যমান দৈর্ঘ্য n যার উপরে এম প্রসন্নভাবে f ( n ) পদক্ষেপ করে।চ: এন …

13 cc.complexity-theory  time-complexity  terminology 

অনলাইন অ্যালগরিদমের কোনও সাম্প্রতিক বই আছে কি? আমি এই বিষয়টিতে মাত্র দুটি বই জানি। অ্যালান বোরোডিন এবং রন এল-ইয়ানিভ দ্বারা অনলাইন গণনা এবং প্রতিযোগিতামূলক বিশ্লেষণ: এটি একটি ধ্রুপদী তবে পুরাতন বই এবং এটি ক্ষেত্রে সাম্প্রতিক অগ্রযাত্রা নেই। নিভা বুচবিন্দর এবং জোসেফ (সেফি) নাওরের প্রাথমিক দ্বৈত পদ্ধতির মাধ্যমে প্রতিযোগিতামূলক অনলাইন অ্যালগরিদমের …

13 reference-request  big-list  online-algorithms