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

জোশ গ্রাচোর পরামর্শ অনুসরণ করে, আমি পূর্ববর্তী প্রশ্ন থেকে আমার মন্তব্যকে একটি নতুন প্রশ্নে রূপান্তর করছি । জন্য আমাদের কী প্রমাণ রয়েছে ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} এখানে UPUP\mathsf{UP} হ'ল বহু-কালীন সময়-অ-সংজ্ঞা-বিহীন টিউরিং মেশিনগুলির দ্বারা স্বীকৃত ভাষাগুলির শ্রেণি যা "হ্যাঁ" উদাহরণগুলিতে অনন্য গ্রহণযোগ্য পথ এবং "না" উদাহরণগুলিতে কোনও গ্রহণযোগ্য পথ নেই। স্পষ্টতই …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

ইলিয়া বারান, এরিক ডি ডামাইন, মিহাই পাত্রাসু রচিত "সাবউক্যাড্রিক অ্যালগোরিদম ফর 3 এসএমএম" পত্রিকার জন্য নিম্নলিখিত জটিলতা রয়েছে 3SUM সমস্যা: একটি তালিকা দেয়া LLL এর nnn পূর্ণসংখ্যার যদি আছে x,y,z∈Lx,y,z∈Lx,y,z \in L যেমন যে x+y=z.x+y=z.x+y=z. w−w−w-একটি সি 0 হে ( ঢ 2 / W 2 লগ W ) হে ( …

17 cc.complexity-theory  ds.algorithms 

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

17 cc.complexity-theory  graph-isomorphism 

ধরুন আমি বিপিপির নিম্নলিখিত রূপগুলি বিবেচনা করি, যা আমাদের ই (এক্স্যাক্ট) বিপিপি বলে: একটি ভাষা ইবিপিপিতে থাকে যদি একটি বহুবর্ষের সময় র্যান্ডমাইজড টিজি থাকে যা ভাষার প্রতিটি শব্দকে ঠিক 3/4 সম্ভাব্যতার সাথে গ্রহণ করে এবং প্রতিটি শব্দই এতে না থাকে ঠিক 1/4 সম্ভাবনা সহ ভাষা। স্পষ্টতই ইবিপিপি বিপিপিতে রয়েছে তবে …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

নিম্নলিখিত সমস্যাটিQQQ বিবেচনা করুন প্রশ্ন : আমাদের 1 ≤ l i ≤ r i ≤ 2 n এর সাথে একটি পূর্ণসংখ্যা , এবং কে অন্তর [ l i , r i ] দেওয়া হবে । আমাদের 2 এন পূর্ণসংখ্যার ডি 1 , … , ডি 2 এন ≥ 0 দেওয়া …

17 cc.complexity-theory  np-hardness 

কোয়ান্টাম কম্পিউটারগুলি করতে পারে এমন একটি জিনিস (সম্ভবত এমনকি বিপিপি + লগ-গভীরতার কোয়ান্টাম সার্কিট সহ) বুলিয়ানটির ফুরিয়ার রূপান্তর আনুমানিক-নমুনা করা পি মধ্যে -valued ফাংশন±1±1\pm 1 এখানে এবং নীচে যখন আমি ফুরিয়ার ট্রান্সফর্মের নমুনা নেওয়ার কথা বলি তখন । (প্রয়োজনে প্রায় এবং প্রায় সাধারণ হয়)।|f^(x)|2|f^(x)|2|\hat f(x)|^2 আমরা কি জটিলতার ক্লাসটি বর্ণনা …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

সাম্প্রতিককালে, আমি নিম্নলিখিত ধরণের রঙের মুখোমুখি হয়েছি। কোনো সংযুক্ত undirected গ্রাফ দেওয়া, প্রান্ত রং সর্বোচ্চ সংখ্যক ব্যবহার করে পাশাপাশি বাধ্যতা পরিতৃপ্ত একটি রং যে, যে প্রান্তবিন্দু জন্য , এর প্রান্ত ঘটনা বনাম সবচেয়ে দুটি রং এ ব্যবহারের।vvvvবনামv আমার প্রথম অনুমানটি হ'ল সমস্যাটি এনপি-হার্ড। গ্রাফের রঙিন সমস্যার জন্য ক্লাসিকাল এনপি-হার্ড প্রমাণগুলি …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

মুদ্রণে জটিলতার তত্ত্বের প্রাসঙ্গিকতার জন্য অর্থনীতিবিদদের বোঝানোর চেষ্টা করার সময়, উদ্ধৃত করার কোনও মানক রেফারেন্স কি আছে? আমি পরিচিত নই নোয়াম নিশান এর ব্লগ পোস্টে , টিম Roughgarden জরিপ , এবং অধ্যায় 11 স্কট Aaronson এর প্রবন্ধ । এই পোস্টগুলি কম্পিউটার বিজ্ঞানীদের জন্য অ্যাক্সেসযোগ্য, তবে অর্থনীতিবিদদের ভাষা ব্যবহার করবেন না …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

আমি দক্ষ অ্যালগরিদমগুলির প্রাকৃতিক উদাহরণগুলি খুঁজছি (অর্থাত্ বহুপক্ষীয় সময়ে) স্ট্যান্ড তাদের সঠিকতা এবং দক্ষতা গঠনমূলকভাবে প্রমাণিত হতে পারে (যেমন বা ), তবেPRAPRAPRAHAHAHA কেবল দক্ষ ধারণা ব্যবহার করে কোনও প্রমাণ জানা যায় না (যেমন আমরা বা কীভাবে তাদের সঠিকতা এবং দক্ষতা প্রমাণ করতে পারি তা জানি না )।TV0TV0TV^0S12S21S^1_2 আমি নিজেই কৃত্রিম …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

সার্কিট জটিলতা তত্ত্বের মধ্যে সীমাবদ্ধ গভীরতা সার্কিট জটিলতা গবেষণার অন্যতম প্রধান ক্ষেত্র। এই বিষয়টির উত্স যেমন "প্যারিটি ফাংশন AC0AC0AC^{0} " এবং "Mod ppp ফাংশন AC0[q]AC0[q]AC^{0}[q] " দ্বারা গণনা করা হয় না , যেখানে AC0[q]AC0[q]AC^0[q] দ্বারা শ্রেণীর ভাষাটি সিদ্ধান্ত গ্রহণযোগ্য অ-ইউনিফর্ম, ধ্রুবক গভীরতা, বহুপক্ষীয় আকার, আনবাউন্ডেড ফ্যান-ইন এবং, এবং, নং এবং …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

সংক্ষিপ্ত সংস্করণ. # 2-স্যাট হ'ল আসল প্রমাণ হ'ল # পি- কমপ্লিট দেখায়, আসলে, # 2-স্যাট এর যে দৃষ্টান্তগুলি উভয়ই একঘেয়ে (কোনও ভেরিয়েবলের অবহেলার সাথে জড়িত নয়) এবং বাইপারটাইট ( উপরের ধারাগুলির দ্বারা গঠিত গ্রাফ ) ভেরিয়েবলগুলি দ্বিপক্ষীয় গ্রাফ) # পি- হর্ট। সুতরাং, # 2-মনোটোন-স্যাট এবং # 2-বিপার্টি-স্যাট দুটি বিশেষ কেস …

17 cc.complexity-theory  sat  counting-complexity 

আমি আজ নিম্ন সীমানা শিখিয়েছি এবং শিক্ষার্থীদের মধ্যে একটি এ সি নামের কারণ সম্পর্কে জিজ্ঞাসা করেছিল । সরকারী ব্যাখ্যাটি হ'ল "এ" এর অর্থ "অল্টারনেশন"।এ সি0একজনসি0AC^0এ সিএকজনসিAC আমার অস্পষ্টভাবে অনেক বছর আগে বলা হয়েছিল যে নিক পাইপ্পেঞ্জার স্টিভ কুক নামকরণ করেছিলেন নিক পিপ্পেঞ্জার (নিকের ক্লাস), এবং নিক পরে স্টিভ (স্টিভের ক্লাস) …

17 cc.complexity-theory  reference-request  ho.history-overview 

প্ল্যানার গ্রাফের জেনাস শূন্য থাকে। টরাসটিতে এম্বেডযোগ্য গ্রাফগুলির বেশিরভাগ জেনাস থাকে 1. আমার প্রশ্নটি সহজ: প্ল্যানার গ্রাফগুলিতে বহুজাতীয়ভাবে সমাধানযোগ্য তবে জিনাসের গ্রাফের এনপি-হার্ডে এমন কি কোনও সমস্যা আছে? জেনাস জি এর গ্রাফগুলিতে বহুলোকভাবে সমাধানযোগ্য তবে জেনাস> জি এর গ্রাফগুলিতে এনপি-হার্ড সাধারণত কোন সমস্যা আছে?

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

নেতিবাচক প্রতিকূল পদ্ধতি ( ) এমন একটি এসডিপি যা কোয়ান্টাম কোয়েরি জটিলতার বৈশিষ্ট্যকে চিহ্নিত করে। এটি বহুল ব্যবহৃত বিরোধী পদ্ধতির একটি সাধারণীকরণ ( A D V ), এবং দুটি প্রতিবন্ধকতাগুলি প্রতিরোধ করে যা প্রতিকূল পদ্ধতিতে বাধা দেয়:ADV±ADV±ADV^\pmADVADVADV সম্পত্তি পরীক্ষামূলক বাধা যদি সব 0-দৃষ্টান্ত হয় সব 1-দৃষ্টান্ত থেকে -far তারপর প্রতিদ্বন্দ্বী …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

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

17 cc.complexity-theory  np-hardness  reductions