প্রশ্ন ট্যাগ «reference-request»

অনুপ্রেরণা : ডেটা ভার্শনিংয়ের সরঞ্জামগুলি বিকাশ করার সময়, আমরা দুটি সংখ্যক পূর্ণসংখ্যার "ডিফ" তৈরির জন্য অ্যালগরিদমগুলি সন্ধান করি, যেখানে রূপান্তরগুলির ক্রম ঘটে যা একটি সংখ্যার পূর্ণাঙ্গ সেট করে নেয় set আমরা সেই সমস্যাটি নীচের খুব স্বাভাবিক সমস্যাটিতে কমাতে সক্ষম হয়েছি যা মনে হয় দূরত্ব সম্পাদনা করার জন্য সংযোগ রয়েছে, অদলবদল …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

ধরুন কিছু বর্ণমালা থেকে সম্মান সঙ্গে স্থিতিমাপ কর ভাষা । এর -slice হয় , এ দৃষ্টান্ত সেট যা প্যারামিটার আছে । জটিলতা বর্গ স্থিতিমাপ ভাষায় রয়েছে যেমন যে প্রত্যেকের জন্য সম্ভবত একটি ভিন্ন অ্যালগরিদম এবং বহুপদী চলমান সময় প্রত্যেকের জন্য আবদ্ধ সঙ্গে, । প্রতিটি স্থির-পরামিতি ট্র্যাকটেবল ভাষা এবং সেখানে \ …

10 cc.complexity-theory  reference-request  parameterized-complexity 

যাক AAA সসীম ক্ষেত্রের উপর একটি ম্যাট্রিক্স হতে F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} এবং xxx , yyy স্থান ভেক্টর হতে Fn2F2n\mathbb{F}_2^n । আমি সিদ্ধান্ত নেওয়ার সময় সেখানে বিদ্যমান গণনীয় জটিলতা আগ্রহী t∈Nt∈Nt \in \mathbb{N} যেমন যে Atx=yAtx=yA^t x = y , অর্থাত্, সসীম ক্ষেত্র ওভার রৈখিক গতিশীলতার নিয়ম জন্য reachability সমস্যা। সমস্যা …

10 cc.complexity-theory  reference-request  linear-algebra 

প্রোব্যাবিলিস্টিক অটোমেটার এবং তারা কী চিনে (শব্দের থেকে নির্দিষ্ট ফাংশন ) এর একটি পরিচিতি আমি কোথায় পাব ? প্রাব্যাবিলিস্টিক অটোমেটা দ্বারা স্বীকৃত এই জাতীয় ফাংশনগুলির জন্য কি কোনও স্ট্যান্ডার্ড শব্দ রয়েছে যা "নিয়মিত ভাষাগুলি" অনুসারে ডিটারিস্টোনিক সসীম অটোমেটা (ডিএফএ) স্বীকৃতি দেয়?[0,1][0,1][0,1] আমি এমন কিছু সন্ধান করছি যা ডিএফএ এবং নিয়মিত …

10 reference-request  fl.formal-languages  probabilistic-automata 

এখানে বিবেচিত ট্রান্সডুসাররা সেই উইকিপিডিয়া কল করে সসীম স্টেট ট্রান্সডুসার্স । ট্রান্সডুসার এর আচরণ , অর্থাৎ যে সম্পর্কটি এটি গণনা করে, সেগুলি লেখা হয় [ টি ] : একটি শব্দ y হল x iff x [ T ] y এর আউটপুট ।টিTT[ টি][T][T]Yyyএক্সxxx [ টি] yx[T]yx[T]y প্রশ্ন: নিম্নলিখিত সমস্যাটি কি …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

নিম্নলিখিত সমস্যা বিবেচনা করুন: একটি ম্যাট্রিক্স আমরা কম্পিউটিংয়ের জন্য গুণিত অ্যালগরিদমের সংখ্যার সংযোজনটি অনুকূল করতে চাই ।MMMv↦Mvv↦Mvv \mapsto Mv আমি ম্যাট্রিক্সের গুণনের জটিলতার সাথে এই সম্পর্কের কারণে এই সমস্যাটিকে আকর্ষণীয় মনে করি (এই সমস্যাটি ম্যাট্রিক্সের গুণনের একটি সীমাবদ্ধ সংস্করণ)। এই সমস্যা সম্পর্কে কি জানেন? এই সমস্যাটি ম্যাট্রিক্সের গুণ গুণটির জটিলতার …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

এটি মোটামুটি সুপরিচিত একটি সত্য যে মার্টিন-লয়েফ টাইপের তত্ত্বের একটি বৈষম্য (উদাহরণস্বরূপ, ) থেকে একটি বৈপরীত্য প্রাপ্ত জন্য একটি মহাবিশ্বের প্রয়োজন।(0=1)→⊥(0=1)→⊥(0=1) \to \bot প্রমাণ মোটামুটি সহজবোধ্য - বিশ্বজগতের অনুপস্থিতিতে, আমরা কোনো নির্ভরশীল ধরণ থেকে নির্ভরতা নিশ্চিহ্ন একটি সহজ টাইপ তার আকৃতি, এবং যাতে প্রতিপাদন পেতে পারেন বোঝা আমরা প্রমাণ করতে …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

প্রুফ জটিলতা গণনা জটিলতার তত্ত্বের একটি সর্বাধিক প্রাথমিক ক্ষেত্র। এই ক্ষেত্রের একটি চূড়ান্ত উদ্দেশ্য প্রমাণ করা , যে কোনও প্রবক্তা প্রদত্ত ইনপুট সূত্রটি অসন্তুষ্টির প্রমাণ দিতে পারে না। NP≠coNPNP≠coNPNP\neq coNP একটি গ্রাফ প্রমাণের আনুষ্ঠানিক মডেলগুলির মধ্যে একটি। আমার প্রশ্ন এই মডেলটির আরও বাধা সম্পর্কে। একটি প্রমাণ একটি ডিএজি হিসাবে উপস্থাপন …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

1965 নিবন্ধটি "এ আলগোরিদিম গণনীয় জটিলতার উপর Hartmanis এবং স্টার্ন দ্বারা", লেখক অনুমান যে যদি একটি রিয়েল-টাইম টুরিং মেশিন নির্ণয় বাস্তব সংখ্যার মধ্যে, উদাহরণস্বরূপ, বেস 10, তারপর দ হয় একটি মূলদ সংখ্যা বা একটি হল ট্রান্সসিডেন্টাল নম্বর।rrrrrr এমন কোনও গণনাযোগ্য ট্রান্সসেন্টেন্টাল নম্বর রয়েছে যা রিয়েল-টাইম টুরিং মেশিন দ্বারা উদাহরণস্বরূপ, বেস …

10 cc.complexity-theory  reference-request  examples 

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

10 reference-request  big-list  dc.distributed-comp  db.databases 

বহুবর্ষীয় সময়ে কেবলমাত্র P! = NP এবং অন্যথায় (বলুন) এ দ্রবণযোগ্য এমন কোনও সমস্যা রয়েছে কি? সময়?O(2n)O(2n)O(2^n) একটি সাধারণ উদাহরণ হবে: যদি পি! = এনপি, একটি এলোমেলো এন-বিট সংখ্যার জন্য একটি প্রাথমিক পরীক্ষা গণনা করুন, অন্যথায়, প্রতিটি পাশের 2n টুকরা সহ একটি এনএক্সএন বোর্ডের সাধারণ দাবাতে একটি র্যান্ডম সবচেয়ে খারাপ-পরিস্থিতি …

10 cc.complexity-theory  reference-request 

প্ল্যানার 3-স্যাট এর স্ট্যান্ডার্ড সংজ্ঞাটি কী? আমি বিভিন্ন সংজ্ঞা দেখতে পেয়েছি। মূল কাগজটি কী ছিল যা এটি সংজ্ঞায়িত করেছিল এবং এটি এনপি-সম্পূর্ণ হিসাবে প্রমাণিত হয়েছিল?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

আমি nnn এলোমেলো ভেক্টরগুলির উপর একটি বিতরণ সন্ধান করার চেষ্টা করছি , মাত্রিক ইউনিট গোলকের (যেখানে ) যা \ সর্বোচ্চ_ {i \ neq জে \ \ ম্যাথর্ম {ভার} (x_i) ^ টি x_j) বাধা subject mathbb {E} [x_i ^ Tx_j] = 0 এর সাপেক্ষে ।x1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 …

10 reference-request  randomized-algorithms 

একটি নির্দেশিত গ্রাফ দেওয়া, আমরা এটি স্থির করতে চাই যে এটিতে দৈর্ঘ্যের একটি নির্দেশিত চক্র রয়েছে কিনা। YUSTER এবং ZWICK এর 1997 এর এই গবেষণাপত্রে বলা হয়েছে যে সমস্যাটি না এবং এটি কমপ্লিট হিসাবেও পরিচিত নয় ।এন পিPPPNPNPNP নির্দেশিত গ্রাফগুলিতে এমনকি চক্র সমস্যার জটিলতা সমাধান করে এমন কোনও সাম্প্রতিক ফলাফল …

10 cc.complexity-theory  reference-request  graph-theory 

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

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency