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

অরোরা এবং বারাকের বইটি ফ্যাক্টরিংটিকে নিম্নলিখিত সমস্যা হিসাবে উপস্থাপন করেছে: ফ্যাক্টরিং = { ⟨ এল , ইউ, এন⟩|( ∃ একটি মৌলিক পি ∈ { এল , ... , ইউ} ) [ পি | এন] }FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } …

45 cc.complexity-theory  np-hardness  factoring 

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

45 ds.algorithms  directed-acyclic-graph  partial-order 

লাডনারের উপপাদ্যটিতে বলা হয়েছে যে যদি পি ≠ এনপি হয়, তবে সেখানে জটিলতার ক্লাসগুলির একটি অসীম শ্রেণিবিন্যাস রয়েছে যা কঠোরভাবে পি রয়েছে এবং এনপিতে কঠোরভাবে রয়েছে contained প্রমাণটি এনপিতে একাধিক হ্রাসের অধীনে স্যাট এর সম্পূর্ণতা ব্যবহার করে। শ্রেণিবিন্যাসে একধরণের তির্যককরণ দ্বারা নির্মিত জটিল শ্রেণি রয়েছে, প্রত্যেকটিতে এমন কিছু ভাষা রয়েছে …

45 cc.complexity-theory  reference-request  np-intermediate 

একটি ভিন্ন থ্রেডে , আন্দ্রেজ বাউর ডোনোটেশনাল শব্দার্থকে সংজ্ঞায়িত করেছেন: একটি প্রোগ্রামের অর্থ হল এর অংশগুলির অর্থের একটি ক্রিয়া। আমাকে এই সংজ্ঞাটি সম্পর্কে বিরক্ত করার কারণ এটি হ'ল সাধারণত যেটিকে নন-ডায়নোটেশনাল শব্দার্থক হিসাবে বলা হয় যা স্ট্রাকচারাল অপারেশনাল শব্দার্থক হিসাবে সাধারণত ভাবা হয় তার থেকে একটিকে বোঝায় না । আরো …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

চমস্কি (üSchützenberger) শ্রেণিবদ্ধতা তাত্ত্বিক কম্পিউটার বিজ্ঞানের পাঠ্যপুস্তকগুলিতে ব্যবহৃত হয়, তবে এটি সম্পূর্ণ জটিলতা চিড়িয়াখানার চিত্রের তুলনায় প্রথাগত ভাষার (আরইজি, সিএফএল, সিএসএল, আরই) খুব সামান্য অংশকেই আবৃত করে । শ্রেণিবিন্যাস কি বর্তমান গবেষণায় কোনও ভূমিকা পালন করে? আমি এখানে চেমস্কির খুব কম রেফারেন্স পেয়েছি cstheory.stackexchange এ এবং কমপ্লেক্সি চিড়িয়াখানায় চমস্কি এবং …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

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

44 cc.complexity-theory  ds.algorithms 

এটি জানা যায় যে মেট্রিক টিএসপি মধ্যে প্রায় অনুমান করা যায় এবং 123 এর চেয়ে আরও ভাল অনুমান করা যায় না1.51.51.5বহুবারের সময়ে 122 । তাত্পর্যপূর্ণ সময়ে আনুমানিক সমাধানগুলি সন্ধান করার বিষয়ে কি কিছু জানা যায় (উদাহরণস্বরূপ,কেবলমাত্র বহুবর্ষীয় স্থান সহ2এনপদক্ষেপেরকম)? উদাহরণস্বরূপ, কোন সময় এবং স্থানের মধ্যে আমরা এমন একটি ট্যুর খুঁজে …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

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

44 lo.logic  type-theory  proof-assistants 

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

44 soft-question  big-list 

এটি আমার উপলব্ধি যে ট্যুরিংয়ের মডেল গণনার বিবরণ দেওয়ার সময় "মান" হয়ে উঠেছে। আমি কেন আগ্রহী তা জানতে আগ্রহী - এটি হ'ল টিএম মডেল কেন অন্যান্য তাত্ত্বিক সমতুল্য (আমার জ্ঞানের সাথে) মডেলগুলির চেয়ে বেশি ব্যবহৃত হয়েছে, উদাহরণস্বরূপ ক্লিনির μ-পুনরাবৃত্তি বা ল্যাম্বদা ক্যালকুলাস (আমি বুঝতে পেরেছি) পূর্ববর্তীটি পরবর্তীকালে উপস্থিত হয়নি এবং …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

অনানুষ্ঠানিকভাবে বলতে, একটি স্ট্রিং এর Kolmogorov জটিলতা একটি সংক্ষিপ্ত প্রোগ্রামের দৈর্ঘ্য যে আউটপুট হয় x । আমরা এটি ব্যবহার করে 'এলোমেলো স্ট্রিং'র একটি ধারণা সংজ্ঞায়িত করতে পারি ( x যদি এলোমেলো হয় তবে K ( x ) ≥ 0.99 | x | ) এটি দেখতে সহজ যে বেশিরভাগ স্ট্রিং এলোমেলো …

44 cc.complexity-theory  big-list  co.combinatorics  it.information-theory 

ইন্টিগ্রালিটি গ্যাপের (আইজি) গুরুত্ব এবং এটির সীমাবদ্ধতা বুঝতে আমার সর্বদা সমস্যা ছিল । আইজি সমস্যাটির শিথিলকরণের সর্বোত্তম প্রকৃত সমাধানের (মানের গুণমান) সর্বোত্তম পূর্ণসংখ্যার উত্তর (এর গুণমান) এর অনুপাত। উদাহরণ হিসাবে ভার্টেক্স কভার (ভিসি) বিবেচনা করুন। ভিসি নিম্নলিখিত রৈখিক সমীকরণের একটি সর্বোত্তম পূর্ণসংখ্যার সমাধান অনুসন্ধান হিসাবে বলা যেতে পারে: গ্রাফের এর …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

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

43 cc.complexity-theory  gct 

আপনি যদি ডায়নামিক প্রোগ্রামিংটির নাম পরিবর্তন করতে পারেন তবে আপনি এটিকে কী বলবেন?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

ল্যাম্বদা ক্যালকুলাস ব্যবহার করে অ্যালগরিদমের সময়ের জটিলতা গণনা করার কোনও সুবিধা আছে কি? অথবা এই উদ্দেশ্যে আরও একটি সিস্টেম নকশা করা হয়েছে? কোন রেফারেন্স প্রশংসা করা হবে।

43 lambda-calculus  pl.programming-languages  time-complexity