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

আমি জানতে চাই যে টিসিএসে দীর্ঘকাল ধরে অনুমানযোগ্য অনুমানগুলি রয়েছে, যা পরে অন্য একটি উপপাদ্য থেকে জড়িত দ্বারা প্রমাণিত হয়েছিল, এটি প্রমাণ করা আরও সহজ হতে পারে।

18 reference-request  soft-question  big-list 

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

18 computability  oracles  random-oracles 

সীমিত গাছের চওড়ার গ্রাফগুলিতে প্রচুর হার্ড গ্রাফ সমস্যাগুলি বহুবর্ষীয় সময়ে সমাধানযোগ্য । প্রকৃতপক্ষে, পাঠ্যপুস্তক সাধারণত উদাহরণ হিসাবে ইন্ডিপেন্ডেট সেট ব্যবহার করে যা স্থানীয় সমস্যা । মোটামুটিভাবে, একটি স্থানীয় সমস্যা হ'ল এমন একটি সমস্যা যার সমাধান প্রতিটি ভার্টেক্সের কিছু ছোট ছোট পাড়া পরীক্ষা করে সমাধান করা যায়। মজার বিষয় হল, এমনকি …

18 graph-theory  graph-algorithms  treewidth 

আমি একটি নির্দিষ্ট সমস্যা সমাধানের চেষ্টা করছি, এবং আমি ভেবেছিলাম আমি অটোমাতা তত্ত্বটি ব্যবহার করে এটি সমাধান করতে সক্ষম হতে পারি। আমি ভাবছি, অটোমাতার কোন মডেলগুলির বহুগুণে কন্টেন্ট কনটেন্ট থাকে? অর্থাত্ আপনার যদি মেশিনগুলি আপনি দক্ষতার সাথে এল ( এম 1 ) ⊆ এল ( এম 2 ) পরীক্ষা করতে …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

কক, আগদা এবং ইদ্রিসের একটি অসীম প্রকারের স্তরক্রম রয়েছে (প্রকার 1: প্রকার 2: প্রকার 3: ...)। তবে এটি কেন λ সি এর পরিবর্তে, ল্যাম্বডা কিউবতে যে সিস্টেমটি নির্মাণের ক্যালকুলাসের নিকটতম, যেখানে কেবল দুটি ধরণের, *** এবং , এবং এই নিয়মগুলি রয়েছে?◽◽◽ ∅ ⊢ * : ◽∅⊢*:◽\frac {} {∅ ⊢ * …

18 coq  dependent-type  calculus-of-constructions 

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

18 cc.complexity-theory  reference-request  computability  undecidability 

বার্মান এবং হার্টম্যানিসের বিখ্যাত আইসোমর্ফিজম কনজেকচার বলে যে সমস্ত কমপ্লিট ভাষা একে অপরের কাছে বহুবর্ষময় সময় আইসোমোরিক (পি-আইসোমর্ফিক)। অনুমানের মূল তাত্পর্যটি এটি হ'ল পি ≠ এন পি । এটি ১৯77 সালে প্রকাশিত হয়েছিল, এবং এর সমর্থক প্রমাণগুলির এক অংশ ছিল যে সমস্ত এন পি- কমপ্লিট সমস্যাগুলি সে সময়ের জানা ছিল …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

আমি জানতে চাই যে পরীক্ষার জন্য কোনও নিখরচায় গ্রাফ লাইব্রেরি আছে কি না কোনও নির্দিষ্ট গ্রাফে কোনও নির্দিষ্ট নাবালকের সেট উপস্থিত রয়েছে?

18 graph-algorithms  implementation  graph-minor 

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

18 sat  treewidth  max2sat 

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

18 graph-isomorphism  fixed-parameter-tractable 

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

18 graph-theory  co.combinatorics  counting-complexity 

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

18 np-hardness 

L k - d i s t i n c t এর ভাষাটি বিবেচনা করুন যাতে Lk−distinctL_{k-distinct}সমস্ত কে-kk লেলেটরের উপরের স্ট্রিং থাকে ΣΣ\Sigma যেমন কোনও দুটি বর্ণ সমান নয়: এল কে - ডি আই এস টি আই এন সি টি : = { ডাব্লু = σ 1 σ 2 । …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

আমি কোনও গ্রাফের বৃক্ষের প্রশস্ততা গণনা করতে চাই । যেমন অন্যান্য দ্বারা NP-হার্ড গ্রাফ সমস্যার জন্য সত্যিই ভাল হিউরিস্টিক আছে VF2 subgraph isomorphism জন্য উপলব্ধ কোড সহ, igraph উদাহরণস্বরূপ। আমি তাদের আমার গ্রাফগুলিতে চেষ্টা করেছি এবং আমি দেখতে পাচ্ছি যে তারা আমার ডেটার জন্য খুব দ্রুত চালিত। অনুরূপ শিরাতে ট্রিউইথ …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

পুনর্নির্দেশিত গ্রাফগুলির একটি অনুক্রম কি , যেখানে প্রতিটি সি এন এর ঠিক এন কোণ এবং সমস্যা রয়েছে{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn প্রদত্ত এবং একটি গ্রাফ জি হল সি এন একজন প্ররোচক subgraph জি ?nnnGGGCnCnC_nGGG ক্লাসে থাকতে জানা যায় ? (উদাহরণস্বরূপ, যখন সি এন = কে এন , এটি এনপি-সম্পূর্ণ চক্রের সমস্যা))PP\mathsf{P}Cn=KnCn=KnC_n=K_n

18 cc.complexity-theory  graph-theory