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

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

9 automata-theory  time-complexity  dfa 

আমার জাভা প্রকল্পগুলির একটি হ'ল পার্বোয়েলডের কাঁটাচামচ , এবং বলার অপেক্ষা রাখে না, অ্যান্টলার বা জাভাসিসি, রানটাইম পার্সার তৈরি হয়। উত্পন্ন ব্যাকরণগুলি হ'ল পার্সিং এক্সপ্রেশন ব্যাকরণ, বা পিইজি (আমি তাদের জন্য অন্য একটি শব্দ "প্যাক্র্যাট" শুনি)। রানটাইম প্রজন্ম জটিলতা যুক্ত করে (বাইটকোড জেনারেশন জড়িত), অন্য দিকটি পার্সার তত্ত্বের সাথেই সম্পর্কিত। …

9 research-practice  books  parsing 

আমি জানতে চাই যে একই প্রস্তাবের দুটি সিদ্ধান্ত গ্রহণযোগ্য প্রমাণের সমতার ডিসিডেবিলিটি ইন্ডাকটিভ কনস্ট্রাকশনস ক্যালকুলাসে কোনও অতিরিক্ত অক্ষর ছাড়া প্রমাণ করা যায় কিনা। বিশেষত, আমি জানতে চাই যে এটি কোকের কোনও অতিরিক্ত অ্যাকিমিয়াম ছাড়াই সত্য if । পি: প্রপ , পি∨ ¬ পি⇒ ( ∀)পি1: পি, ∀পি2: পি, {পি1=পি2} ∨ …

9 coq  constructive-mathematics  calculus-of-constructions 

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

9 reference-request  graph-theory  graph-minor 

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

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

আমি গ্রাফের সাথে সর্বোচ্চ ওজনের মিলের বৈকল্পিকের প্রতি আগ্রহী, যাকে আমি "সর্বাধিক ফেয়ার ম্যাচিং" বলি। ধরে নিন যে গ্রাফটি পূর্ণ E=V×VE=V×VE=V\times V), এর এমনকি বহু সংখ্যাসমুহ রয়েছে এবং ওজন একটি লাভজনক ফাংশন দ্বারা দেওয়া হয়েছে । একটি মানানসই দেওয়া , বোঝাতে দ্বারা প্রান্ত মুনাফা সঙ্গে মিলেছে হয়।p:(V2)→Np:(V2)→Np:{V\choose 2}\to \mathbb NMMMM(v)M(v)M(v)vvv …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

আমি নিম্নলিখিত সমস্যার জন্য রেফারেন্স খুঁজছি: প্রদত্ত পূর্ণসংখ্যা nnn এবং kkk, সমস্ত অ-সমকামী পরিকল্পনাকারী গ্রাফগুলি গণনা করুন nnn শীর্ষে এবং বৃক্ষ প্রস্থ ≤k≤k\leq k। আমি তাত্ত্বিক এবং ব্যবহারিক ফলাফল উভয়ই আগ্রহী, তবে বেশিরভাগ ব্যবহারিক অ্যালগরিদমগুলি যে কোডগুলি সম্ভব এবং যতগুলি সম্ভব মূল্যের জন্য চালানো সম্ভবnnn এবং kkk (মনে k≤5k≤5k \leq …

9 reference-request  graph-theory  graph-algorithms  treewidth 

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

9 cr.crypto-security  primes 

রেনোল্ডস মূলত দ্বিতীয় অর্ডার পলিমারফিক ল্যাম্বডা ক্যালকুলাসের জন্য একটি সম্পর্কযুক্ত শব্দার্থক প্রস্তাব করেছিলেন [1]। তবে তিনি পরে [2] দেখিয়েছিলেন যে এই পদ্ধতির সাথে শাস্ত্রীয় সেট তত্ত্বের সাথে সঙ্গতিপূর্ণ নয়। পিটস হাইপারডোকট্রিন মডেল এবং টপোস মডেলগুলির কাঠামো বর্ণনা করেছেন [3] যা গঠনমূলক যুক্তির সাথে সামঞ্জস্যপূর্ণ। সম্ভবতঃ সম্পর্কিত সম্পর্কিত হাইপারডোকট্রিন এবং টপোস …

9 type-theory  parametricity 

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

9 machine-learning  lg.learning 

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

9 reference-request  lo.logic  automated-theorem-proving 

দিন fff একটি হতে nnnসাইজের পলি এর পাটিগণিত সার্কিট হিসাবে প্রদত্ত বহু-বহুবৈচিত্র্য এবং প্রধান হতে দিন।(n)(n)(n)p=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} আপনি পরীক্ষা যদি পারো অভিন্নরুপে শূন্য শেষ হয়ে গেছে , সময়ের সাথে সাথে এবং ত্রুটি সম্ভাব্যতা , এমনকি যদি ডিগ্রী নয় একটি প্রাইরি আবদ্ধ? কি হবে যদি univariate হয়?fffZpZp\mathbb{Z}_ppoly(n)poly(n)\mbox{poly}(n)≤1−1/poly(n)≤1−1/poly(n)\leq 1-1/\mbox{poly}(n)fff মনে রাখবেন …

9 polynomials  arithmetic-circuits 

একটি নির্বিচারে প্রসঙ্গ-মুক্ত ব্যাকরণ বিবেচনা করুন জিGG বর্ণমালা উপর { 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbrace। এই ব্যাকরণের উত্পাদনে, দুটি স্থির অ প্রসঙ্গ-মুক্ত-প্রযোজনা যুক্ত করুনপিPP: 0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon এবং 1¯¯¯1 → ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilon। ফলাফল ব্যাকরণ কলজিপিGPG^P "জন্য দাঁড়িয়েজিGG প্রযোজনার সাথে সংযোজন পিPP"। ব্যাকরণ লাগে …

9 context-free  decidability 

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

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

একটি রঙিন গ্রাফ টিপল হিসাবে বর্ণনা করা যেতে পারে (G,c)(G,c)(G,c) কোথায় GGG একটি গ্রাফ এবং c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}রঙ হয়। দুটি রঙিন গ্রাফ(G,c)(G,c)(G,c) এবং (H,d)(H,d)(H,d) আইসোমরফিজম উপস্থিত থাকলে আইসোমরফিক বলে থাকে π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) যেমন রঙ মানা হয়, অর্থাত্‍ c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v)) সবার জন্য v∈V(G)v∈V(G)v \in V(G)। …

9 terminology  graph-isomorphism  equivalence