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

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

9 quantum-computing  program-verification  sample-complexity 

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

9 cc.complexity-theory  complexity-classes 

আমি ভাবছিলাম যে কোনও প্রস্তাবনামূলক প্রকারের ঘোষণার ক্রমটি বিবেচনা করতে পারে। উদাহরণস্বরূপ কাক-এ আপনি এই Natদ্বারা সংজ্ঞায়িত করতে পারেন : Inductive Nat := | O : Nat | S : Nat -> Nat. অথবা Inductive Nat := | S : Nat -> Nat | O : Nat. এটি স্বয়ংক্রিয়ভাবে উত্পাদিত …

9 lo.logic  type-theory  coq  dependent-type 

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

9 graph-theory  co.combinatorics  algebra 

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

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

আমরা একটি সেট আছে, সেট থেকে উপাদানের তালিকা, । থেকে প্রতিটি উপাদান মধ্যে একটি তালিকাতে প্রদর্শিত হবে । আমি একটি ডেটা কাঠামো খুঁজছি যা নিম্নলিখিত আপডেটগুলি সম্পাদন করতে পারে:LLLN={1,2,3,...,n}N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}NNNLLL concat(x,y)concat(x,y)concat(x, y) : ধারণকারী তালিকা concatenates তালিকা ধারণকারী শেষ সম্মুখেরyyyxxx split(x)split(x)split(x) : সরাসরি …

9 ds.algorithms  graph-algorithms  ds.data-structures 

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

9 ds.algorithms  reference-request  optimization  heuristics 

আমার একটা গ্রাফ আছে GGGযা কেবল তারকা গ্রাফ নিয়ে থাকে। স্টার গ্রাফের মধ্যে একটি কেন্দ্রীয় নোড থাকে যার মধ্যে প্রতিটি নোডের প্রান্ত থাকে। দিনH1,H2,…,HnH1,H2,…,HnH_1, H_2, \ldots, H_n উপস্থিত বিভিন্ন আকারের বিভিন্ন তারকা গ্রাফ হতে GGG। আমরা সমস্ত নোডের সেটকে কল করি যা কোনও তারকা গ্রাফের কেন্দ্রRRR। এখন ধরুন এই তারা …

9 graph-theory  co.combinatorics  puzzles 

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

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

এখানে একটি সমস্যা যা আমাকে কিছুক্ষণের জন্য বগল করে চলেছে। ধরা যাক একটি স্ট্রিং 1s এবং 0 এর ক্রম এবং একটি ওয়াইল্ডকার্ড স্ট্রিং 1, 0 এবং? এর একটি অনুক্রম। সমস্ত স্ট্রিং এবং ওয়াইল্ডকার্ড স্ট্রিংগুলির দৈর্ঘ্য একই। এগুলি মানক ইউনিক্স ওয়াইল্ডকার্ড; 10 ?? 1 ম্যাচ 10011, 10111, ইত্যাদি - ক? সেই …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

একটি হিলবার্ট স্পেস । একটি অব্যক্তযোগ্য পণ্য ভিত্তি (ইউপিবি) হ'ল পণ্য ভেক্টরগুলির একটি সেট যেমন:এইচ=এইচ1⊗ ⋯ ⊗এইচএনএইচ=এইচ1⊗⋯⊗এইচএনH = H_1 \otimes \dots \otimes H_n|বনামআমি⟩ = |বনাম1আমি। ⊗ ⋯ ⊗ |বনামএনআমি⟩|বনামআমি⟩=|বনামআমি1⟩⊗⋯⊗|বনামআমিএন⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle ক) সমস্ত পারস্পরিক অরথোগোনাল|বনামআমি⟩|বনামআমি⟩\vert v_i \rangle খ) সমস্ত কোনও …

9 quantum-computing  linear-algebra  quantum-information 

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

9 cc.complexity-theory  smoothed-analysis 

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

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

নির্ধারণ গণনীয় মডেল MPostBQP অভিন্ন হতে PostBQP ছাড়া আমরা পোস্টের-নির্বাচন এবং চূড়ান্ত পরিমাপ সামনে polynomially অনেক qubit পরিমাপ অনুমতি দেয়। আমরা কি এমন কোনও প্রমাণ দিতে পারি যে ইঙ্গিত দেয় যে এমপোস্টবিকিপি পোস্টবিকিপির চেয়ে বেশি শক্তিশালী? আমরা চূড়ান্ত পরিমাপ করার আগে একাধিক রাউন্ড পরিমাপ এবং পোস্ট নির্বাচনকে মঞ্জুরি দিতে MPostBQP …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

বুলিয়ান ফাংশনটির সিদ্ধান্তের জটিলতায়, খুব কার্যকরীভাবে নিম্নতর আবদ্ধ পদ্ধতিটি হ'ল ফাংশনকে উপস্থাপন করে এমন একটি (আনুমানিক) বহুবচন খুঁজে পাওয়া। পাটুরি একটি পরিমাণ বিবেচনা করে প্রতিসাম্য বুলিয়ান (আংশিক এবং মোট) ফাংশনগুলির জন্য একটি বৈশিষ্ট্য দিয়েছেনΓΓ\Gamma: উপপাদ্য ( পাটুরি ): আসুনfff যে কোনও ধ্রুবক প্রতিসাম্যিক ক্রিয়াকলাপ হতে হবে এবং বোঝাতে হবে den …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity