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

ইন এই থ্রেড , Norbet Blum এর চেষ্টা প্রমাণ succinctly লক্ষ Tardos ফাংশন উপপাদ্য 6 একটি counterexample যে দ্বারা খণ্ডন করা হয়।P≠NPP≠NPP \neq NP উপপাদ্য 6 : যাক যে কোনও বুলিয়ান ফাংশন । ধরে নিন যে এখানে একটি সিএনএফ-ডিএনএফ-অ্যাক্সেসিমিটার রয়েছে যা জন্য নিম্ন সীমা প্রমাণ করতে ব্যবহৃত হতে পারে । …

22 cc.complexity-theory  np-hardness  complexity-classes 

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

22 computability  relativization 

আমি পড়েছি যে প্রাথমিকভাবে চার্চ প্রস্তাবিত তার অংশ হিসেবে -calculus লজিক এর Postulates কাগজ (যা একটি ঘন পঠিত)। কিন্তু ক্লেইন তার "সিস্টেম "টিকে অসঙ্গত প্রমাণ করেছিলেন, এর পরে, চার্চ" কার্যকর গণনা "সম্পর্কে তাঁর কাজের জন্য প্রাসঙ্গিক জিনিসগুলি সরিয়ে নিয়েছিলেন এবং যুক্তির বিষয়ে তাঁর পূর্বের কাজটি ত্যাগ করেছিলেন।λλ\lambda সুতরাং হিসাবে আমি …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

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

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

কাগজে "SATISFIABILITY সমস্যার জটিলতার" টমাস জে স্কেফের দ্বারা, লেখক উল্লেখ করেছেন যে This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

আমি একটি সাধারণ স্ট্যাটিকালি টাইপড ফাংশনাল প্রোগ্রামিং ভাষা শেখার অভিজ্ঞতা হিসাবে ডিজাইন করছি। দেখা যাচ্ছে যে আমি এখন পর্যন্ত যে ধরণের সিস্টেমটি প্রয়োগ করেছি (সামান্য অতিরিক্ত কাজ করে) ছেদ এবং ইউনিয়নের ধরণগুলি অন্তর্ভুক্ত করতে পারে, যেমন আপনার থাকতে পারে: <Union String Integer> <Union Integer Foo> উপরের দুটি ধরণের ছেদটি একটি …

22 type-theory  functional-programming  type-inference  language-design 

এটি একটি মুক্ত-সমাপ্ত প্রশ্নের ধরণের - যার জন্য আমি আগাম ক্ষমা চাই। বিবৃতিগুলির (উদাহরণস্বরূপ) জটিলতা বা ট্যুরিং মেশিনের সাথে কিছুই করার নেই বলে উদাহরণ রয়েছে তবে এর উত্তর বোঝাবে পি ≠ এন পিP≠NP\mathbf{P}\neq \mathbf{NP}?

22 cc.complexity-theory  complexity-classes  p-vs-np 

প্ল্যানার গ্রাফ জি হিসাবে মডেল করা একটি বৈদ্যুতিক নেটওয়ার্ক বিবেচনা করুন, যেখানে প্রতিটি প্রান্তটি 1Ω প্রতিরোধকের প্রতিনিধিত্ব করে। জি-তে দুটি শীর্ষ কোণের মধ্যে আমরা সঠিক কার্যকর প্রতিরোধের কত দ্রুত গণনা করতে পারি ? সমানভাবে, আমরা যদি G এর দুটি শীর্ষে 1V ব্যাটারি সংযুক্ত করি তবে প্রতিটি প্রান্তের সাথে প্রবাহিত সঠিক …

22 ds.algorithms  graph-theory  planar-graphs  physics 

গভীরতা -3 ফলাফলের সাম্প্রতিক কাস্মের আলোকে (যা অন্যান্য জিনিসের মধ্যে একটি গভীরতা -3 গাণিতিক সার্কিটের জন্য নির্ণায়ক over ), আমি নিচের প্রশ্নগুলোর আছে: Grigoriev এবং Karpinski প্রমাণিত একটি কোনো গভীরতা -3 গাণিতিক বর্তনী কম্পিউটিং এর নির্ণায়কের জন্য আবদ্ধ নিম্ন সসীম ক্ষেত্র ওভার ম্যাট্রিক্স (যা আমি অনুমান, এছাড়াও স্থায়ী জন্য ধারনা …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

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

22 cc.complexity-theory  graph-algorithms  np-hardness 

আমি undirected, unweighted সংযুক্ত গ্রাফ খুঁজছি , যা যে যুগল জন্য U , V ∈ ভী , একটি অনন্য তোমার দর্শন লগ করা → বনাম পথ যা বুঝতে পারবেন দূরত্ব ঘ ( U , V ) ।G=(V,E)G=(V,E)G=(V,E)u,v∈Vu,v∈Vu,v \in Vu→vu→vu \rightarrow vd(u,v)d(u,v)d(u,v) এই শ্রেণীর গ্রাফগুলি কি সুপরিচিত? এটির অন্যান্য কী কী …

22 graph-theory 

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

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

কিউবিক গ্রাফগুলি এমন গ্রাফ যেখানে প্রতিটি প্রান্তের ডিগ্রি 3 থাকে They সেগুলি ব্যাপকভাবে অধ্যয়ন করা হয়েছে এবং আমি জানি যে কয়েকটি এনপি-হার্ড সমস্যাগুলি এনপি-হার্ড এমনকি ঘন গ্রাফের সাবক্লাসে সীমাবদ্ধ রয়েছে, তবে কিছু অন্যান্য সহজ হয়ে যায়। ঘন গ্রাফের একটি সুপারক্লাস হ'ল সর্বোচ্চ ডিগ্রি সহ গ্রাফের শ্রেণি ।Δ≤3Δ≤3\Delta \leq 3 কিউবিক …

22 graph-theory  graph-algorithms  np-hardness 

বিভাগ তত্ত্বের ক্ষেত্রে ফিউচার বা প্রতিশ্রুতির কোনও কার্যকর বিবরণ আছে কি ? বিশেষত, ভবিষ্যতের শ্রেণীবদ্ধ দ্বৈত কী হতে পারে?

22 pl.programming-languages  ct.category-theory  concurrency 

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

22 reference-request  lo.logic