প্রশ্ন ট্যাগ «cc.complexity-theory»

এটি সুপরিচিত যে অনেকগুলি ক্রিপ্টোগ্রাফির জন্য ডিজিটাল স্বাক্ষর, সিউডোর্যান্ডম জেনারেটর, প্রাইভেট-কী এনক্রিপশন ইত্যাদির জন্য ওয়ান-ওয়ে ফাংশনের অস্তিত্ব প্রয়োজনীয় এবং পর্যাপ্ত। আমার প্রশ্ন হ'ল: একমুখী ফাংশনের অস্তিত্বের জটিলতা-তাত্ত্বিক পরিণতিগুলি কী কী ? উদাহরণস্বরূপ, ওডাব্লুএফগুলি এটি বোঝায়NP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, এবং CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}। অন্যান্য জ্ঞাত পরিণতি আছে কি? বিশেষত, ওডাব্লুএফএফগুলি কি বোঝায় যে বহুবচনীয় শ্রেণিবিন্যাস …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

আসুন একটি সীমাবদ্ধ মহাবিশ্ব এর এলিমেন্ট সাবসেটের একটি পরিবার হোক । একটা পরিবার এর এর -element সাব-সেট নির্বাচন , সঙ্গে , একটি হয় - আঘাত-সেট এর প্রত্যেকের জন্য যদি অস্তিত্ব আছে অন্তত এক সেট যেমন যে ।এফFFঘddইউUUএইচHHটkkইউUU1 ≤ কে &lt; ডি1≤k&lt;d1 \le k < d( কে , ডি))(k,d)(k,d)এফFFভী। চV∈FV \in …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

আমি একটি সূত্রের সন্তুষ্টিযোগ্যতার জটিলতা খুঁজছি বা একটি সূত্রের যেখানে হল ফর্মুলার সূত্র: কোথায় মধ্যে ধ্রুবক হয় , এবং ভেরিয়েবল ডোমেইন হয় ।∀Y1, … ,Yএন, ∃এক্স1, … ,এক্সমি, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃এক্স1, … ,এক্সমি∀Y1, … ,Yএন, ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phiφϕ\phi। : = ϕ ∧ ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

নিম্নলিখিত দুটি অতিরিক্ত বিধিনিষেধযুক্ত একটি মনোোটোন 3 সিএনএফ সূত্র বিবেচনা করুন: প্রতিটি পরিবর্তনশীল হুবহু প্রদর্শিত হয় 222 ক্লজ। কোন দেওয়া 222 ধারা, তারা সর্বাধিক ভাগ 111 পরিবর্তনশীল। আমি জানতে চাই যে এই জাতীয় সূত্রের সন্তোষজনক দায়িত্বগুলি গণনা করা কতটা কঠিন। আপডেট 06/04/2013 12:55 সন্তোষজনক কার্যভারের সংখ্যার সমতা কতটা নির্ধারণ করা …

9 cc.complexity-theory  sat  counting-complexity 

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

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

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

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

বন্ধ থাকে। এই প্রশ্নটি অফ-টপিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে এটি তাত্ত্বিক কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জের বিষয়বস্তু । 7 বছর আগে বন্ধ ছিল । প্রথম অর্ডার সূত্র হিসাবে আমরা কীভাবে " " প্রকাশ করতে পারি ?পি= পিএসপিএ সিইP=PSPACEP=PSPACE পাটিগণিত …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

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

9 cc.complexity-theory  complexity-classes  structural-complexity 

১৯ Sha৯ সাল থেকে আদি শামির [১] এর গবেষণাপত্রে তিনি দেখিয়েছেন, বহুগুণে গণিত পদক্ষেপে ফ্যাক্টরিং করা যেতে পারে । বোরউইন এবং হোবার্টের সাম্প্রতিক গবেষণাপত্রে [২] স্ট্রেট লাইন কর্মসূচির (এসএলপি) প্রসঙ্গে এই বাস্তবতাটি পুনঃস্থাপন করা হয়েছিল এবং এভাবে আমার নজরে আসে। যেহেতু আমি এটি পড়ার পরিবর্তে অবাক হয়েছিলাম, আমার নীচের প্রশ্নটি …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

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

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

নিম্নলিখিতটি আমার কাছে প্রাকৃতিক সংজ্ঞা হিসাবে মনে হয়েছে এবং আমি আশ্চর্য হয়েছি যে এটি কোথাও অধ্যয়ন করা হয়েছে কিনা বিবেচনা করুন ভাষার সেট। তারপরে " যাচাইযোগ্য তথ্য" বলা হয় যখন stএক্স ⊂2{ 0 , 1}*X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}কে⊂ { 0 , 1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omegaএক্সX\mathsf{X}এল ∈ …

9 cc.complexity-theory  reference-request 

প্রাথমিক-পুনরাবৃত্ত ক্রিয়াকলাপগুলির বিষয়ে ক্রিস প্রিসির আকর্ষণীয় প্রশ্নে আগ্রহী , আমি আরও অনুসন্ধান করে এবং ওয়েবে এই প্রশ্নের উত্তর খুঁজে পেতে অক্ষম। প্রাথমিক recursive ফাংশন সূচকীয় অনুক্রমের চমত্কারভাবে মিলা,ডিটাইম (2এন) ∪ ডিটাইম (22এন) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। সংজ্ঞা থেকে এটি সহজবোধ্য বলে মনে হয় যে নিম্ন- প্রাথমিক উপাদানগুলি দ্বারা …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

এটি সুপরিচিত যে ফাংশনটির সীমিত ত্রুটি কোয়ান্টাম কোয়েরি জটিলতা OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n) হয় Θ(n−−√)Θ(n)\Theta(\sqrt{n})। এখন প্রশ্নটি কি আমরা যদি আমাদের কোয়ান্টাম অ্যালগরিদম সম্ভাবনার সাথে প্রতিটি ইনপুট সফল করতে চান1−ϵ1−ϵ1-\epsilon স্বাভাবিকের চেয়ে বরং 2/32/32/3। এখন শর্তেϵϵ\epsilon উপযুক্ত ওপরের এবং নিম্ন সীমানা কি হবে? এটা তাত্ক্ষণিক O(n−−√log(1/ϵ))O(nlog⁡(1/ϵ))O(\sqrt{n} \log(1/\epsilon))গ্রোভার অ্যালগরিদম পুনরাবৃত্তি করে এই কাজের …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

অরোরা এবং বারাকের বইটিতে পিসিপিতে অধ্যায় নোট রয়েছে আমরা লক্ষ করেছি যে দিনুরের সাধারণ কৌশলটি বিস্তৃত গ্রাফগুলির জিগ-জাগ নির্মাণ এবং অধ্যায় 20-এ বর্ণিত অনাকাঙ্ক্ষিত সংযোগের জন্য রিইনগোল্ডের ডিটারমিনিস্টিক লগস্পেস অ্যালগরিদমকে কিছুটা স্মরণ করিয়ে দিচ্ছে যা বোঝায় যে গবেষণার এই বিভিন্ন ক্ষেত্রগুলির মধ্যে আরও সংযোগ স্থাপনের অপেক্ষায় রয়েছে। (পৃষ্ঠা 494) এই …

9 cc.complexity-theory  pcp 

আমার প্রশ্ন সীমাবদ্ধ মডেল তত্ত্ব / বর্ণনামূলক জটিলতা সম্পর্কে, তাই FO(R)FO(R)FO(R) এর অর্থ হবে "সীমাবদ্ধ বাইনারি শব্দের উপর প্রথম অর্ডার, ব্যবহারের পূর্বাভাস ব্যবহার করে এবং শব্দের মধ্যে 1 এর অবস্থানের ভিত্তিতে একটি অ্যানারি প্রিডিকেট পি সত্য"। আমি জানতে চাই, সেখানে কি কোনও কর্কশীকরণ রয়েছে? FO(&lt;,R)FO(&lt;,R)FO(<,R) আর এর সাথে কোনও প্রিকিকেট …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory