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

"গণনা জটিলতায় বিজয় ঘোষণা করার সময় কি?" নিবন্ধটি পড়ার সময়? এ ওভার "গোডেলের লস্ট পত্র ও P = দ্বারা NP" ব্লগ, তারা সিএসপি এর জন্য বৈপরীত্য উল্লেখ করেছে। কিছু লিঙ্ক ফলো করার পরে, গুগলিং এবং উইকিপিডিংয়ের পরে, আমি ল্যাডনারের উপপাদ্য জুড়ে এসেছি : লাডনারের উপপাদ্য: যদি , তবে যা com-অসম্পূর্ণ …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

(দুঃখিত এই সুপরিচিত হয়।) আমি এক কিছু আইটেমটি দিতে চাই , এজেন্ট, যাতে এজেন্ট সম্ভাব্যতা সঙ্গে আইটেমটি পাবেন । এমন কোনও ক্রিপ্টোগ্রাফিক (বা অন্যান্য) সরঞ্জাম রয়েছে যাতে প্রতিটি এজেন্ট (এবং এমনকি প্রতিটি পর্যবেক্ষক) এলোমেলোভাবে অঙ্কনটি সত্যই ন্যায্য ছিল তা নিশ্চিত হতে সক্ষম হবে?kkkjjjpipip_i

27 cr.crypto-security 

নিয়মিত ভাষাগুলি (এবং সেই নিয়মিত প্রকাশগুলি থেকে) "নিয়মিত" কেন বলা হয়? সেখানে অনেক নিয়মানুবর্তিতা প্রসঙ্গ-মুক্ত ভাষায় ভাষায় অন্যান্য ধরনের এছাড়াও। আমি অনুমান করি যে, শুরুতে, "নিয়মিত" বিশেষণটি অন্য ধরণের "অন্যান্য নিয়মিত" বা কোনওভাবে অস্বাভাবিক ভাষা থেকে এই ধরণের ভাষাগুলির মধ্যে পৃথক করতে ব্যবহৃত হয়েছিল been যদি তা হয় তবে এই …

27 regular-expressions  regular-language  ho.history-overview 

এন ইনপুট বিট এবং এন আউটপুট বিট সহ একটি সার্কিট { 0 , 1 } n এর অনুক্রমের গণনা করে কিনা তা সিদ্ধান্ত নেওয়ার জটিলতা কী ? অন্য কথায়, কিনা প্রতিটি বিট স্ট্রিং { 0 , 1 } এন কিছু ইনপুট জন্য বর্তনী একটি আউটপুট কি? এটি এমন একটি সমস্যার …

27 cc.complexity-theory  circuit-complexity  permutations 

আমি এমন সমস্যার উদাহরণগুলিতে আগ্রহী যেখানে কোয়ান্টাম মেকানিক্স / তথ্য (উদাহরণস্বরূপ নিখুঁত ধ্রুপদী বস্তু সম্পর্কে কিছু বলা আছে) এর সাথে কোনও উপপাদ্য সম্পর্কিত কিছু নেই যা তবুও কোয়ান্টাম সরঞ্জামগুলি ব্যবহার করে প্রমাণিত হতে পারে। ক্লাসিকাল উপপাদ্যগুলির জন্য একটি জরিপ কোয়ান্টাম প্রুফস (এ। ড্রাগার, আর। ওল্ফ) এই জাতীয় সমস্যার একটি দুর্দান্ত …

27 quantum-computing  big-list  proofs 

আমি এই ডেটা কাঠামোটি সন্ধান করতে পারি নি, তবে আমি ক্ষেত্রের বিশেষজ্ঞ নই। কাঠামোটি একটি সেট প্রয়োগ করে এবং মূলত একটি ইনগ্রান্টের সাথে তুলনীয় উপাদানগুলির একটি অ্যারে। আক্রমণকারীটি নিম্নলিখিত (পুনরাবৃত্তভাবে সংজ্ঞায়িত): দৈর্ঘ্যের 1 টি অ্যারে হ'ল মার্জ-অ্যারে। দৈর্ঘ্যের একটি অ্যারে 2 ^ n (n> 0 এর জন্য) যদি মার্জ-অ্যারে হয় …

27 ds.data-structures 

শোরের ফ্যাক্টরিং অ্যালগরিদমের চূড়ান্ত পদক্ষেপগুলি পুরোপুরি বুঝতে আমার একটু সমস্যা হচ্ছে। প্রদত্ত একটি আমরা ফ্যাক্টর করতে চাই, আমরা একটি র্যান্ডম পছন্দ করে যা অর্ডার হয়েছে ।NNNxxxrrr প্রথম পদক্ষেপে নিবন্ধগুলি স্থাপন এবং হাদামার্ড অপারেটর প্রয়োগ করা অন্তর্ভুক্ত। দ্বিতীয় ধাপে লিনিয়ার অপারেটর প্রয়োগ করা হয়। তৃতীয় ধাপে দ্বিতীয় নিবন্ধকটি পরিমাপ করা হয় …

27 quantum-computing 

আমার অবাক করে দিয়ে আমি এই সম্পর্কে কাগজপত্র সন্ধান করতে সক্ষম হই নি - সম্ভবত ভুল কীওয়ার্ডগুলি অনুসন্ধান করেছে। সুতরাং, আমরা কিছু একটি অ্যারের, এবং একটি ফাংশন পেয়েছেন তার সূচকের উপর; একটি অনুগমন।ffffff কীভাবে আমরা অনুযায়ী অ্যারের পুনর্বিন্যাস না মেমরি এবং পাসে যেমন রানটাইম সঙ্গে এবং যতটা সম্ভব?fffO(1)O(1)O(1)O(n)O(n)O(n) এই কাজটি …

27 ds.algorithms  co.combinatorics  permutations 

আমি টপোলজির উপর একটি কোর্স গ্রহণকারী একজন কম্পিউটার বিজ্ঞানী (পয়েন্ট-সেট টোপোলজির একটি ছিটিয়ে থাকা ধারাবাহিক তত্ত্বের সাথে প্রচুর স্বাদযুক্ত)। আমি টপোলজিকাল বৈশিষ্ট্যগুলির জন্য কোনও স্থানের বর্ণনা (সরলিকল্পিতভাবে) পরীক্ষার সিদ্ধান্ত নিতে আগ্রহী হয়েছি; যারা হোমোমর্ফিজম পর্যন্ত সংরক্ষণ করেছেন। এটি জানা যায়, উদাহরণস্বরূপ, গিঁটের জিনাস নির্ধারণ করা PSPACE এ এবং এনপি-হার্ড। (আগোল …

27 cc.complexity-theory  big-list  topology 

আমি নিম্নলিখিত ধরণের ত্রুটি-সংশোধনকারী কোডগুলি খুঁজছি: ধ্রুবক হার সহ বাইনারি কোডগুলি, আকারের বুলিয়ান সার্কিট হিসাবে প্রয়োগযোগ্য একটি ডিকোডার দ্বারা ত্রুটির কিছু ধ্রুবক ভগ্নাংশ থেকে ডিকোডেবল , যেখানে এনকোডিংয়ের দৈর্ঘ্য isO(N)O(N)O(N)NNN কিছু পটভূমি: Spielman মধ্যে লিনিয়ার-টাইম Encodable এবং Decodable এরর-কারেক্টিং কোড দেন সঙ্কেত decodable সময় লগারিদমিক খরচের র্যাম মডেল দ্বারা decodable, …

27 co.combinatorics  it.information-theory  coding-theory 

জানা যায় একটি প্রদত্ত এর -point উপসেট ℓ ঘ 2 (যে দেওয়া এন পয়েন্ট আর ঘ ইউক্লিডিয় দূরত্ব সহ) তা তাদের মধ্যে isometrically এম্বেড করা সম্ভব ℓ ( এনএনnnℓঘ2ℓ2d\ell_2^dএনnnRdRd{\mathbb R}^d।ℓ(n2)1ℓ1(n2)\ell^{n\choose 2}_1 বহুতল সময়ে আইসোমেট্রিটি গণনাযোগ্য (সম্ভবত, এলোমেলোভাবে) যেহেতু সসীম-নির্ভুলতার সমস্যা রয়েছে তাই সুনির্দিষ্ট প্রশ্নটি একটি সেট দেওয়া এর এন পয়েন্ট …

27 cg.comp-geom  metrics  embeddings 

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

27 soft-question  intuition 

আমি এক সময়ের জন্য নিম্নলিখিত সমস্যাটি নিয়ে ভাবছিলাম, এবং এর কোনও বহুবর্ষের সমাধান আমি পাইনি। শুধু ব্রুট-ফোরস আমিও কোনও ব্যয় ছাড়াই একটি এনপি-কমপ্লিট সমস্যা এটিতে হ্রাস করার চেষ্টা করছি। সমস্যাটি এখানে : আপনি একটি আছে সাজানো সেট {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, (A_n, B_n)\} ধনাত্মক পূর্ণসংখ্যা যুগলের। (Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(A_i, B_i) < …

27 ds.algorithms  np-hardness  sorting 

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

27 cc.complexity-theory  sat 

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

27 cc.complexity-theory  quantum-computing  np  np-intermediate