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

শিব Kintali শুধু একটি (কুল!) ঘোষণা করেছে যে ফলাফল প্রস্থের বেষ্টিত treewidth গ্রাফ এর জন্য গ্রাফ isomorphism হয় ⊕ এল -hard≥4≥4\geq 4⊕L⊕L\oplus L । অনানুষ্ঠানিকভাবে, আমার প্রশ্ন, "এটি কতটা কঠিন?" আমরা জানি যে ইউনিফর্মালি এন এল ⊆ ⊕ এল , এই প্রশ্নের উত্তরগুলি দেখুন । আমরা এও জানি যে এটি …

26 cc.complexity-theory  complexity-classes  logspace 

গ্রাফারিন এবং উইগডারসন গ্রাফারিন এবং উইগডারসন গ্রাফের উপস্থাপনের গবেষণাটি 1983 সাল থেকে শুরু করেছিলেন, যেখানে তারা প্রমাণ করেছেন যে গ্রাফের একটি ত্রিভুজ খুঁজে পাওয়ার মতো অনেকগুলি সাধারণ সমস্যার জন্য, সংস্করণের অনুরূপ সংস্করণ । পাপাদিমিট্রিও এবং ইয়ানাকাকাকিস এই গবেষণার রেখাটি আরও রেখেছেন এবং প্রমাণ করেছেন যে যা / -কমপ্লিট, সংশ্লিষ্ট যথাক্রমে …

26 cc.complexity-theory  reference-request  complexity-classes 

একটি PHPHPH মেশিন একটি র্যান্ডম বুলিয়ান ফাংশন ওরাকল প্রবেশাধিকার দেওয়া হয় f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} এবং দুটি ফুরিয়ার বর্ণালীতে ggg এবং hhh । একটি ফাংশন এর ফুরিয়ার বর্ণালীতে fff হিসাবে সংজ্ঞায়িত করা হয় F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) এক বা …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

একটি 3CNF সূত্রের জন্য CCC দিন M(C)M(C)M(C) কোনো কার্যভার সন্তুষ্ট ক্লজ সর্বোচ্চ সংখ্যা হতে CCC । জানা যায় ম্যাক্স-3SAT (পি ≠ দ্বারা NP সাপেক্ষে), অর্থাৎ কোন polytime অ্যালগরিদম যার ইনপুট একটি 3CNF সূত্র হয় আনুমানিক কঠিন CCC , যার আউটপুট হলে সংখ্যা M′M′M' যেমন যে M(C)M(C)M(C) একটি মধ্যে গুণনশীল ফ্যাক্টর …

26 cc.complexity-theory  sat 

#P = FP এর পরিণতি কোনটি হবে? আমি ব্যবহারিক এবং তাত্ত্বিক উভয় পরিণতিতে আগ্রহী। ব্যবহারিক দৃষ্টিকোণ থেকে, আমি বিশেষভাবে কৃত্রিম বুদ্ধিমত্তার উপর পরিণতি সম্পর্কে আগ্রহী। কাগজপত্র বা বইয়ের পয়েন্টারগুলি স্বাগত অপেক্ষা বেশি। দয়া করে এটি বলবেন না যে # পি = এফপি পি = এনপি বোঝায়, আমি এটি ইতিমধ্যে জানি। …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

এটি সুপরিচিত যে নির্দেশিত সেন্ট-সংযোগটি হ'ল কমপ্লিট। Reingold এর যুগান্তকারী ফলাফলের দেখিয়েছেন যে undirected St-সংযোগ রয়েছে এল । প্ল্যানার St-সংযোগ নির্দেশ মধ্যে হিসেবে পরিচিত ইউ এল ∩ গ ণ ইউ এল । চ এবং হুইন একটি প্যারামাইট্রাইজড ন্যাপস্যাক সমস্যার সংজ্ঞা দিয়েছিলেন এবং এল এবং এন এল এর মধ্যে সমস্যার একটি …

26 cc.complexity-theory  space-bounded 

নিম্নলিখিত সমস্যাটি কি এনপি-হার্ড? আন্তর্জাতিক খসড়ার জন্য একটি বোর্ড কনফিগারেশন দেওয়া , একটি একক আইনী পদক্ষেপ সন্ধান করুন।n×nn×nn\times n সাথে সম্পর্কিত সমস্যাটি আমেরিকান চেকার্স (ওরফে ইংলিশ ড্রাফ্ট) বহুবর্ষীয় সময়ে তুচ্ছভাবে সমাধানযোগ্য। এই দুটি গেমের মধ্যে তিনটি প্রধান পার্থক্য রয়েছে।n×nn×nn\times n প্রথম এবং সবচেয়ে উল্লেখযোগ্য পার্থক্য হ'ল "উড়ন্ত কিং" নিয়ম rule …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

সেখানে কোনো প্রাকৃতিক সমস্যা আছে যে নেই (হিসেবে পরিচিত / চিন্তা করা) এ ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP স্পষ্টতই, মধ্যে সবার কাছে যে জানে তারা হ'ল ফ্যাক্টরিংয়ের সিদ্ধান্ত সংস্করণ (এন-এর বেশিরভাগ কে-এর আকারের একটি উপাদান রয়েছে), তবে এটি ।NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

নিম্নলিখিত বিধিনিষেধের সাথে ন্যূনতম সেট কভার সমস্যাটি বিবেচনা করুন : প্রতিটি সেটে সর্বাধিক উপাদান রয়েছে এবং মহাবিশ্বের প্রতিটি উপাদান সর্বাধিক সেটে ঘটে ।kkkfff উদাহরণ: কেস এবং সর্বাধিক ডিগ্রি 4 সহ গ্রাফের ন্যূনতম ভার্টেক্স কভার সমস্যার সমতুল্য।k=4k=4k = 4f=2f=2f = 2 যাক বৃহত্তম মান যেমন যে একটি খোঁজার হতে পরামিতি সঙ্গে …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

কোন , আমি যে একটা ক্রম মধ্যে পূর্ণসংখ্যার হয় -complete যদি, যে বিন্যাস জন্য এর , পৃথক পৃথক পূর্ণসংখ্যার অনুক্রম হিসাবে লেখা , অনুক্রম একটি অনুচ্ছেদে , অর্থাত্যেমন সমস্ত ।n>0n>0n > 0{ 1 , … , n } n পি { 1 , … , এন } পি 1 , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

এমন কি (প্রাকৃতিকভাবে প্রাকৃতিক) এনপি-সম্পূর্ণ ভাষা , যেমন প্রতিটি for ধরে? অন্য কথায়, সমস্ত বিট উদাহরণগুলির ঠিক অর্ধেকটি থাকে ।L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

একটি সুপরিচিত চরিত্রগত -SAT দৃষ্টান্ত ক্লজ সংখ্যা অনুপাত ভেরিয়েবল সংখ্যা বেশি , অর্থাত্, ভাগফল । প্রতিটি , জন্য একটি প্রান্তিক মান সেন্ট is থাকে , বেশিরভাগ দৃষ্টান্তটি সন্তুষ্ট হয় এবং বেশিরভাগ ক্ষেত্রে অসন্তুষ্টি পাওয়া যায় না। যেখানে এবং পর্যাপ্ত পরিমাণে ছোট , সমস্যা রয়েছে তার জন্য অনেক গবেষণা হয়েছে forএম …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

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

25 cc.complexity-theory  conditional-results 

এই উত্তরটি করার মেজর তাত্ত্বিক কম্পিউটার বিজ্ঞান সমস্যা অসমাধিত? প্রশ্নে বলা হয়েছে যে এনপিতে কোনও নির্দিষ্ট সমস্যার জন্য সময় প্রয়োজন হলে এটি উন্মুক্ত ।Ω(n2)Ω(n2)\Omega(n^2) উত্তরের মন্তব্যগুলিতে তাকানো আমাকে অবাক করে দিয়েছে: প্যাডিং এবং অনুরূপ কৌশলগুলি বাদ দিয়ে, এনপি -র একটি আকর্ষণীয় সমস্যার জন্য (যা প্রাকৃতিক উপায়ে বলা হয়েছে ) ডেট্রিমেন্টিক …

25 cc.complexity-theory  np  p-vs-np