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

গোষ্ঠীগুলির সাথে জড়িত জটিলতার তত্ত্বের ক্ষেত্রে আমি জ্ঞাত নই তাই এটি যদি সুপরিচিত ফলাফল হয় তবে আমি ক্ষমা চাই। প্রশ্ন 1. আসুন আদেশের একটি সহজ undirected গ্রাফ হতে । শিখর-ট্রানসিটিভ কিনা তা নির্ধারণের গণনা সংক্রান্ত জটিলতা ( ) কী?GGGnnnnnnGGG রিকল করে একটি গ্রাফ হয় প্রান্তবিন্দু-সকর্মক যদি উপর transitively কাজGGGভিAut(G)Aut(G)\mathrm{Aut}(G)V(G).V(G).V(G). আমি …

16 cc.complexity-theory  graph-theory  gr.group-theory 

যে ধরুন, প্রতিটি জন্য ϵ>0ϵ>0\epsilon > 0 , একটি টুরিং মেশিন MϵMϵM_{\epsilon} যে একটি ভাষা সিদ্ধান্ত নেয় LLL সময় O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) । সেখানে একটি একক অ্যালগরিদম সিদ্ধান্ত হয় LLL সময় O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (এখানে, o(1)o(1)o(1) শব্দটি nnn , ইনপুট দৈর্ঘ্যের ক্ষেত্রে পরিমাপ করা হয় )) যদি অ্যালগরিদম MϵMϵM_{\epsilon} …

16 cc.complexity-theory  asymptotics 

আয়তক্ষেত্র প্যাকিং সমস্যা, এক আয়তক্ষেত্র একটি সেট দেওয়া হয় এবং আয়তক্ষেত্র সীমান্ত । কাজটি হ'ল ভিতরে এর স্থান নির্ধারণ করা যাতে কোনও আয়তক্ষেত্র না হয়। সাধারণত, প্রতিটি আয়তক্ষেত্রের অবস্থান স্থির করা হয়। অর্থাৎ আয়তক্ষেত্রগুলি ঘোরানো যায় না। এই ক্ষেত্রে, সমস্যাটি এনপি-সম্পূর্ণ হিসাবে পরিচিত হিসাবে পরিচিত (উদাহরণস্বরূপ, করপ 2003 )।{r1,…,rn}{r1,…,rn}\{r_1,\dots,r_n\}RRRr1,…,rnr1,…,rnr_1,\ldots,r_nRRRnnnririr_i আয়তক্ষেত্রগুলি …

16 cc.complexity-theory  np-hardness  packing 

দৃ strongly়ভাবে নিয়মিত গ্রাফগুলির জন্য গ্রাফ আইসোমর্ফিজম (জিআই) পি-তে রয়েছে কিনা তা জানা যায়নি । এমন কোনও ইঙ্গিত রয়েছে যা এটি জিআই- কমপ্লিট হতে পারে বা নাও হতে পারে ? এই ধরনের ক্ষেত্রে কোন শক্ত ফলাফল আছে? ( জিআই এনপি-কমপ্লিট নাও হতে পারে এমন বিশ্বাসের সাথে মিল রয়েছে)।

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

আমি এই সমস্যায় আগ্রহী: একটি অনির্দেশিত গ্রাফ , গ্রাফ জি 1 ( ই 1 , ভি 1 ) এবং জি 2 ( ই 2 , ভি 2 ) এর মধ্যে জি এর কোনও বিভাজন রয়েছে যেমন জি 1 এবং জি 2 isomorphic?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 এখানে দুটি বিভাজন সেট E …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

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

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

এবং এক সাথে ইনপুট বিটের গণনা করতে বাইনারি গেটের ন্যূনতম সংখ্যার কী ? তুচ্ছ সর্বোচ্চ সীমা 2 এন - 2 । আমি বিশ্বাস করি যে এটি সর্বোত্তম, তবে এটি কীভাবে প্রমাণ করবেন? স্ট্যান্ডার্ড গেট নির্মূলের কৌশলটি এখানে কোনও কাজ করে না কারণ কোনও ইনপুট ভেরিয়েবলকে ধ্রুবক নির্ধারণ করে যে কোনও …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

আমি এমন একটি সমস্যা খুঁজছি যা সাধারণ গ্রাফগুলিতে তবে আবদ্ধ গাছের প্রস্থের গ্রাফগুলিতে in এর মধ্যে রয়েছে, আসলে আমি মনে করি এই সমস্যাগুলি আবদ্ধ অবস্থায় সাধারণ গতিশীল প্রোগ্রামিংয়ের চেয়ে আরও শক্ত are তাদের সমাধানের জন্য তিনটি প্রস্থের গ্রাফ।ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

পিটিটাইমে নিম্নলিখিত সমস্যা, বা কোএনপি-হার্ড: দুটি বুলিয়ান এক্সপ্রেশন এবং e 2 ভেরিয়েবলগুলিতে x 1 , … , x n দেওয়া ছাড়াই (যেমন, এক্সপ্রেশনগুলি সম্পূর্ণরূপে ∧ এবং ∨ এর মাধ্যমে নির্মিত ) are ই 1 ≡ ই 2 কিনা তা স্থির করুনই1ই1e_1ই2ই2e_2এক্স1, … , এক্সএনএক্স1,...,এক্সএনx_1,\dots,x_n∧∧\wedge∨∨\veeই1≡ ই2ই1≡ই2e_1 \equiv e_2 , ভেরিয়েবলগুলিতে সমস্ত …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

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

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

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

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

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

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

যাক বোঝাতে একটি স্ট্রিং Kolmogorov জটিলতা । মতো স্ট্রিং রয়েছে কি ? (এখানে এটি নিজের সাথে )। অনুরূপ একটি কিন্তু বিভিন্ন প্রশ্ন জিজ্ঞাসা করা হল এখানে কিন্তু counterexample যে প্রশ্নের উত্তর দেওয়া এই এক জন্য কাজ করে না।K(x)K(x)K(x)xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity 

একটি ফাংশন একমুখী হয় যদি f বহুপদী সময় অ্যালগরিদম দ্বারা গণনা করা যায় তবে প্রতিটি এলোমেলোভাবে বহুবর্ষের সময় অ্যালগরিদম এf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA , Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) প্রত্যেক বহুপদী জন্য এবং যথেষ্ট বৃহৎ এন ভেবে যে তারা এক্স থেকে অবিশেষে নির্বাচিত { 0 , 1 …

16 cc.complexity-theory  cr.crypto-security  one-way-function