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

যোগাযোগ জটিলতায়, লগ-র‌্যাঙ্কের অনুমানটি বলে যে cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} যেখানে cc(M)cc(M)cc(M) হ'ল এর যোগাযোগ জটিলতা M(x,y)M(x,y)M(x,y)এবং বাস্তবের চেয়ে এম (ম্যাট্রিক্স হিসাবে )rk(M)rk(M)rk(M) এর র‌্যাঙ্ক ।MMM যাইহোক, যখন আপনি শুধু কম আবদ্ধ র্যাঙ্ক-পদ্ধতি ব্যবহার করছেন cc(M)cc(M)cc(M) আপনি ব্যবহার করতে পারেন rkrkrk কোনো ফিল্ড সুবিধাজনক করে। লগ-র‌্যাঙ্ক অনুমান কেন বাস্তবের উপরে …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

জটিলতা শ্রেণি follows নীচে ( উইকিপিডিয়া থেকে ) সংজ্ঞায়িত করা হয়েছে :এসপি2S2P\textrm{S}_2^\textrm{P} একটি ল্যাঙ্গুয়েজ রয়েছে যদি অস্তিত্ব আছে একটি বহুপদী টাইম সম্পৃক্ত যেমন যেএস পি 2 পিএলLLএসপি2এস2পিS_2^PপিপিP যদি , তবে সেখানে এমন উপস্থিতি রয়েছে যা সমস্ত ,y z P ( x , y , z ) = 1x ∈ Lএক্স∈এলx …

10 cc.complexity-theory  complexity-classes 

রাজবরোভের একটি আলোচনায় , একটি কৌতূহলী ছোট্ট বিবৃতি পোস্ট করা হয়েছে। যদি ফ্যাক্টরিং শক্ত হয়, তবে তে ফের্ম্যাট এর সামান্য উপপাদ্য প্রমাণযোগ্য নয় S12S21S_{2}^{1}। কী S12S21S_{2}^{1}এবং বর্তমান প্রমাণ S12S21S_{2}^{1} কেন?

10 cc.complexity-theory  lo.logic  proof-complexity 

ক্লাস বিপিএনসি ( এবং এর সংমিশ্রণ ) সীমিত ত্রুটির সম্ভাবনা এবং একটি এলোমেলো উত্স অ্যাক্সেস সহ লগ গভীরতার সমান্তরাল অ্যালগরিদম হতে দিন (আমি নিশ্চিত নই যে এর আলাদা নাম আছে কিনা)। অ্যালগরিদম প্রারম্ভকালে স্থির বিটগুলির একটি এলোমেলো প্রবাহে সমস্ত প্রক্রিয়াগুলির এলোমেলো অ্যাক্সেস ব্যতীত ডিবিপিএনসি শ্রেণিটি একইভাবে সংজ্ঞায়িত করুন।বি পি পিবিপিপি\mathsf{BPP}এন …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

আমার প্রশ্ন হ'ল গভীরতার 3 টি বুলিয়ান সার্কিটগুলি গেটগুলির সাথে "এবং" এবং "এক্সওর" নির্ধারকটির জন্য কেন ith উপরে গাণিতিক সার্কিটের জন্য একই নিম্ন সীমানাকে বোঝায় না ?ZZ\mathbb{Z} নিম্নলিখিত যুক্তিটিতে কী ভুল: একটি গাণিতিক সার্কিট গণনা নির্ণায়ক হতে হবে তারপর সমস্ত ভেরিয়েবল মড 2 গ্রহণের মাধ্যমে আমরা বুলিয়ান সার্কিট গণনা নির্ণায়ক …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

প্রসঙ্গ : Kavvadias এবং Sideri দেখা গেছে ইনভার্স 3-স্যাট সমস্যা coNP সম্পূর্ণ হলে: প্রদত্ত φϕ\phi উপর মডেলের একটি সেট এনnn ভেরিয়েবল, একটি 3-CNF সূত্র যেমন যে φϕ\phi মডেলের তার সঠিক সেট হয়? একটি তাৎক্ষণিক প্রার্থী সূত্র দেখা দেয় দুটো কারণে যা সব 3-ক্লজ-এ সমস্ত মডেলের সন্তুষ্ট এর একত্রে হয় φϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

BPPBPP\mathsf{BPP} এবংদুটি প্রাথমিক সম্ভাব্য জটিলতা ক্লাস।ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} -সময়ের টিউরিং অ্যালগরিদম দ্বারা নির্ধারিত ভাষার শ্রেণি যেখানে কোনও ভুল উত্তর অ্যালগরিদমের সম্ভাবনা সীমাবদ্ধ থাকে, অর্থাৎ ত্রুটির সম্ভাবনা সর্বাধিক (উভয়ই হ্যাঁ এবং কোনও উদাহরণ নয়)।1313\frac{1}{3} অন্যদিকে, অ্যালগরিদমগুলি সেই সম্ভাব্য অ্যালগরিদম হিসাবে দেখা যেতে পারে যা কখনই কোনও ভুল উত্তর দেয় না, যখনই তারা …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

আমি বুলিয়ান সূত্র ভারসাম্য সমস্যার জটিলতা সম্পর্কে উল্লেখ খুঁজছি । নির্দিষ্টভাবে, এটি কি জানা ছিল যে বুলিয়ান সূত্রগুলি এ ভারসাম্যপূর্ণ হতে পারে ?AC0AC0\mathsf{AC^0} বুলিয়ান সূত্রে ভারসাম্য বজায় রাখার সহজ প্রমাণ কি ?AC0AC0\mathsf{AC^0} "সরল" দ্বারা আমি নীচে উল্লিখিত একটির চেয়ে সহজ প্রমাণ হিসাবে বোঝাচ্ছি, বিশেষত আমি এমন একটি প্রমাণ খুঁজছি যা …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

বেশিরভাগ সম্ভাব্য প্রুফ সিস্টেমগুলিতে (উদাহরণস্বরূপ, পিসিপি উপপাদ্য), ত্রুটি-সম্ভাবনাগুলি সাধারণত মিথ্যা-ধনাত্মক দিকগুলির সংজ্ঞায়িত করা হয়, যেমন একটি সাধারণ সংজ্ঞাটি দেখতে পারে: যদি x ∈ Lx∈Lx \in L তবে যাচাইকারী সর্বদা গ্রহণ করে তবে এতে অন্য ক্ষেত্রে প্রত্যাখার সম্ভাবনা কমপক্ষে 1/2। অন্যদিকে ত্রুটি ঘটতে দিতে সমস্যা আছে কি? এর অর্থ হল যাচাইকারী …

10 cc.complexity-theory  pcp  interactive-proofs 

আমি এবং সম্পর্কিত কোনও বিবৃতি খুঁজে ; পয়েন্টার প্রশংসা করা হবে।MAএমএকজন\mathsf{MA}NPRPএনপিআরপি\mathsf{NP}^\mathsf{RP} আমি বিশ্বাস করি তারা সমান: MA⊆NPRPএমএকজন⊆এনপিআরপি\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : মেশিন মার্লিনের স্ট্রিং অনুমান করে এবং ওরাকল আর্থারের মতো স্ট্রিংটি যাচাই করে।NPএনপি\mathsf{NP}RPআরপি\mathsf{RP} NPRP⊆MAএনপিআরপি⊆এমএকজন\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : মেরলিন সমস্ত কল সহ calls মেশিনের গ্রহণযোগ্য গণনা এবং সেই সাথে এই কলগুলির ফলাফলগুলি …

10 cc.complexity-theory  oracles 

যাক হতে কোন EXP সম্পূর্ণ সমস্যা। তারপরে, পি এ = এন পি এ ।AAAPA=NPAPA=NPAP^A = NP^A যাক কিছু ওরাকল যে প্রশ্ন যা অ্যাকাউন্ট লাগে হতে এম (পি একটি টি এম) করতে হবে, এবং আমরা পেতে পারেন পি বি ≠ এন পি বি ।BBBMMMPB≠NPBPB≠NPBP^B \neq NP^B প্রশ্ন: পি বনাম বিপিপির জন্য …

10 cc.complexity-theory  oracles  relativization 

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

10 cc.complexity-theory  fixed-parameter-tractable 

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

10 cc.complexity-theory  turing-machines 

গ্রাফ হোমোমর্ফিিজম সিদ্ধান্ত নেওয়া সাধারণভাবে এনপি-সম্পূর্ণ। অন্তর্নিহিত গ্রাফগুলিতে বীজগণিত কাঠামো রয়েছে (যেমন কেলে বা কেলে কোসেট গ্রাফ থেকে কিছু নির্দিষ্ট কাঠামোযুক্ত অন্যান্য গ্রাফের জন্য হোমোর্ফিজমগুলি স্থির করে দেওয়ার মতো) এই সমস্যাটি অধ্যয়ন করার কোনও ফলাফল রয়েছে কি? জটিলতার ফলাফলের পাশাপাশি আমি সহায়ক বীজগণিত এবং / বা বর্ণালী কৌশলগুলিতেও আগ্রহী।

10 cc.complexity-theory  graph-theory  co.combinatorics 

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

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism