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

আমার পোস্টে Fortnow এর মন্তব্য দ্বারা পরিচালিত হয়ে, প্রমাণ গ্রাফ Isomorphism সমস্যা হয় না যে NPNPNP -complete , এবং সত্য যে GIGIGI জন্য একটি মৌলিক প্রার্থী NPNPNP -intermediate সমস্যা (না NPNPNP -complete কিংবা এ PPP ), I am পরিচিত প্রমাণ আগ্রহী যে GIGIGI নেই PPP । এই ধরনের একটি প্রমাণ …

23 cc.complexity-theory  graph-isomorphism 

নোট অল ইকুয়াল -স্যাট সমস্যা (এনএই এস্যাট), বুলিয়ান ভেরিয়েবলের একটি সেট উপরে একটি ক্লাসের প্রদান করে যেমন প্রতিটি অনুচ্ছেদে বেশিরভাগ আক্ষরিক অন্তর্ভুক্ত থাকে, জিজ্ঞাসা করে যে ভেরিয়েবলগুলির সত্য নির্ধারিত রয়েছে কিনা? প্রতিটি অনুচ্ছেদে অন্তত একটি সত্য এবং কমপক্ষে একটি মিথ্যা আক্ষরিক থাকে।কে সি এক্স কেkkkkkkCCCXXXkkk প্ল্যানার Nae -SAT সমস্যা Nae …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

সুভাষ Khot এর একটি স্বতন্ত্র গেম অনুমান জটিলতা তত্ত্ব সক্রিয় গবেষণা এলাকায় এক। এর পক্ষে আমাদের কী প্রমাণ রয়েছে? এর বিরুদ্ধে আমাদের কী প্রমাণ রয়েছে?

23 cc.complexity-theory  unique-games-conjecture 

ইন এই থ্রেড , Norbet Blum এর চেষ্টা প্রমাণ succinctly লক্ষ Tardos ফাংশন উপপাদ্য 6 একটি counterexample যে দ্বারা খণ্ডন করা হয়।P≠NPP≠NPP \neq NP উপপাদ্য 6 : যাক যে কোনও বুলিয়ান ফাংশন । ধরে নিন যে এখানে একটি সিএনএফ-ডিএনএফ-অ্যাক্সেসিমিটার রয়েছে যা জন্য নিম্ন সীমা প্রমাণ করতে ব্যবহৃত হতে পারে । …

22 cc.complexity-theory  np-hardness  complexity-classes 

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

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

কাগজে "SATISFIABILITY সমস্যার জটিলতার" টমাস জে স্কেফের দ্বারা, লেখক উল্লেখ করেছেন যে This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

এটি একটি মুক্ত-সমাপ্ত প্রশ্নের ধরণের - যার জন্য আমি আগাম ক্ষমা চাই। বিবৃতিগুলির (উদাহরণস্বরূপ) জটিলতা বা ট্যুরিং মেশিনের সাথে কিছুই করার নেই বলে উদাহরণ রয়েছে তবে এর উত্তর বোঝাবে পি ≠ এন পিP≠NP\mathbf{P}\neq \mathbf{NP}?

22 cc.complexity-theory  complexity-classes  p-vs-np 

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

22 cc.complexity-theory  graph-algorithms  np-hardness 

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

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

গ্রাফ সম্পত্তি পরীক্ষামূলক, একটি অ্যালগরিদম কিনা তা নির্ধারণ করতে লক্ষ্য হয় একটি নির্দিষ্ট সম্পত্তি আছে বা নেই উপস্থিতি বা প্রান্ত এবং চাহিদা না থাকায় জন্য একটি লক্ষ্য গ্রাফ অনুসন্ধান করে সম্পত্তি থাকার থেকে -far। (একটি অ্যালগরিদম 1 একতরফা বা 2 একতরফা ত্রুটি সহ সফল করতে বলা হতে পারে।) একটি গ্রাফ …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

অনেকগুলি অযৌক্তিক ফলাফল রয়েছে যা অনন্য গেমস অনুমানের উপর নির্ভর করে। উদাহরণ স্বরূপ, অনন্য গেম অনুমান ধরে নেওয়া যাক, এটি একটি ফ্যাক্টর মধ্যে সর্বাধিক কাটা সমস্যা সূক্ষ পরিমাপক দ্বারা NP-কঠিন আর কোনো ধ্রুবক জন্য আর > আর জি ডব্লিউ । (এখানে আর জিডব্লু = 0.878… গোমানস-উইলিয়ামসন অ্যালগরিদমের আনুমানিক অনুপাত)) তবে …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

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

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

সাধারণ গাণিতিক সার্কিট সম্পর্কে আমাদের জ্ঞানের অবস্থা বুলিয়ান সার্কিট সম্পর্কে আমাদের জ্ঞানের অবস্থার সাথে সমান বলে মনে হয়, অর্থাৎ আমাদের ভাল নিম্ন-সীমানা নেই। অন্যদিকে আমাদের একঘেয়ে বুলিয়ান সার্কিটের জন্য ক্ষুদ্রতর আকারের নিম্ন-সীমা রয়েছে । মনোোটোন গণিত সার্কিট সম্পর্কে আমরা কী জানি ? আমাদের কি তাদের জন্য একই রকম ভাল নিম্ন-সীমা …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

আমি ভাবছিলাম এই প্রশ্নটি বুঝতে আমার কী কী কাগজপত্র পড়া উচিত বীজগণিত জ্যামিতি বা উচ্চতর কোহমোলজির মতো গণিতের অন্যান্য ক্ষেত্রে অপ্রত্যাশিত সংযোগ। সম্ভবত গণিতের একটি ক্ষেত্র এখনও বিকশিত হয়নি। পি বনাম এনপি প্রশ্নটি পরিচালনা করার জন্য সম্ভবত কেউ গণিতের পুরো নতুন দিকটি বিকাশ করবে। -From Fortnow 2002 প্রশ্নের আর একটি …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

পিটার শোরের উত্তর এবং অ্যাডাম ক্রুমের পূর্ববর্তী একটি প্রশ্ন পড়ার সময় আমি বুঝতে পেরেছিলাম যে PP\mathsf{P} হার্ড হওয়ার অর্থ কী তা সম্পর্কে আমার কিছু ভুল ধারণা রয়েছে। একটি সমস্যা -hard তাহলে কোনো সমস্যা পি এর মাধ্যমে এতে রূপান্তরযোগ্য হয় এল (অথবা যদি আপনি চান এন সি ) হ্রাস। সমস্যাটি পি …

22 cc.complexity-theory  complexity-classes