প্রশ্ন ট্যাগ «descriptive-complexity»

Immerman-Vardi উপপাদ্য বলে যে, PTIME (অথবা পি) অবিকল ভাষায় বর্গ প্রথম অর্ডার লজিক এর একটি বাক্য দ্বারা বর্ণিত যে করা যাবে একসঙ্গে একটি নির্দিষ্ট বিন্দু অপারেটর সঙ্গে, আদেশ স্ট্রাকচার ক্লাস শেষ। ফিক্সড পয়েন্ট অপারেটর হয় হয় কমপক্ষে স্থির-পয়েন্ট (ইমারম্যান এবং ভার্দি দ্বারা বিবেচিত), বা মুদ্রাস্ফীতি স্থায়ী-পয়েন্ট হতে পারে। (স্টিফান ক্রিয়েটজার, …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

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

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

এটা যে এক প্রশ্নের উত্তর খুঁজে পরিচিত হবে বলে মনে হয় একটি রিলেশনাল ডাটাবেস উপর , এক চাহিদা সময় , এবং এক্সপোনেন্ট পরিত্রাণ পেতে না পারেন।ডি | ডি | | প্রশ্ন | | প্রশ্ন |প্রশ্নঃQQডিDD| ডি || প্রশ্ন ||D||Q||D|^{|Q|}| প্রশ্ন ||Q||Q| যেহেতু খুব বড় হতে পারে তাই আমরা অবাক হয়েছি …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

অর্ডার রক্ষণাবেক্ষণ সমস্যা (বা "একটি তালিকায় অর্ডার বজায় রাখা") অপারেশনগুলিকে সমর্থন করে: singleton: একটি আইটেম সহ একটি তালিকা তৈরি করে, এতে একটি পয়েন্টার দেয় returns insertAfter: কোনও আইটেমকে পয়েন্টার দেওয়া হয়, এর পরে একটি নতুন আইটেম সন্নিবেশ করানো হয়, নতুন আইটেমে একটি পয়েন্টার ফিরিয়ে দেওয়া হয় delete: কোনও আইটেমকে পয়েন্টার …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

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

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

কাগজটি লরি হেল্লা এবং জোস মারিয়া টারুল-টরেস, উচ্চতর অর্ডার যুক্তির সাথে কম্পিউটারের ক্যোয়ারীগুলি , টিসিএস 355 197–214, 2006. ডয়ি: 10.1016 / j.tcs.2006.01.009 লজিক ভিও, ভেরিয়েবল-অর্ডার লজিকের প্রস্তাব দেয়। এটি ভেরিয়েবলের উপর অর্ডারের পরিমাণ নির্ধারণ করতে দেয়। ভিও বেশ শক্তিশালী এবং কিছু অ-গণনাযোগ্য প্রশ্ন প্রকাশ করতে পারে। (নীচে আর্থার মিলিশিয়রের দ্বারা …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Immerman (বর্ণনামূলক জটিলতা, 1999) উপহার মতিন পৃষ্ঠা 127. হিসাবে অস্তিত্ববাদের পরমাণুসদৃশ্য দ্বিতীয় অর্ডার (Ajtai-Fagin গেম) জন্য গেম শব্দের উপর MSO নিয়মিত ভাষায় সমতূল্য, খেলা নিম্নরূপ লেখা যেতে পারে।∃∃\exists একটি ল্যাঙ্গুয়েজ নিয়মিত যদি এবং কেবল যদি দলীলা নিম্নলিখিত গেম কোন বিজয়ী কৌশল আছে: 1. স্যামসন বেছে গ , মি ∈ এন …

11 lo.logic  automata-theory  descriptive-complexity 

জটিলতা চিড়িয়াখানায় এটি বলেছে [ ১ ] যে বর্ণনামূলক জটিলতায় তিনটি ভিন্ন ধরণের সূত্র, দ্বারা সংজ্ঞায়িত করা যায় যা , এবং হিসাবেও রয়েছে ।PPPFO(LFP)FO(LFP)FO(LFP)FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) তবে কিছু ব্যতিক্রম রয়েছে, উদাহরণস্বরূপ, এফপি দ্বারা প্রকাশ করা যায় না (এলএফপি সহ একই অভিব্যক্তি ক্ষমতা)। এবং প্রথম-আদেশের যুক্তি দ্বারা নির্ধারিত নয়। কিছু সমস্যা এমনকি সীমাবদ্ধতা …

10 lo.logic  polynomial-time  descriptive-complexity 

এটি সুপরিচিত যে এনপি- প্রবলেমের কয়েকটি শ্রেণিতে দ্বৈতত্ত্বের উপপাদ্য রয়েছে, যা গ্যারান্টি দেয় যে ক্লাসের প্রতিটি কাজ হয় এনপি- কমপ্লিট বা পি-তে রয়েছে । এরকম সর্বাধিক পরিচিত ফলাফল হ'ল বেশ কয়েকটি জেনারালাইজেশন সহ স্কেফারের দ্বৈতত্ত্বের উপপাদ্য । আমার বোধগম্যতা হল যে এই দ্বিবিজ্ঞানের উপপাদ্য প্রমাণ করা সত্যিই সহজ নয়। আমি …

10 cc.complexity-theory  np  descriptive-complexity 

প্রসঙ্গ: আমরা কেবল ডিজিট্রাফ বিবেচনা করি। সাইক্লিকে একটি চক্র সহ গ্রাফের ভাষা হতে দিন; এটি একটি এনএল-সম্পূর্ণ সমস্যা। কমপক্ষে একটি প্রান্ত সহ গ্রাফের ভাষা হ্যাশডে যাক। তারপর জাভাস্ক্রিপ্টে গার্বেজ, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} আর এন এল-কঠিন, যখন CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} থাকার বিষয়টি মতেই তাই। আসল সমস্যা: আমি ভাবছি যে ভাষাটি CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

ইন এই প্রশ্নের , এটা উল্লেখ করা হয়েছিল চাল এর উপপাদ্য বর্ণনামূলক জটিলতা সংস্করণ আছে। আমি নিম্নলিখিত উপপাদ্যের একটি প্রমাণ পেয়েছি: একটি জটিলতা বর্গ প্রদত্ত সি , এর ভাষাগুলির nontrivial বৈশিষ্ট্য সি মধ্যে নির্ণিত করা যাবে না সি আমি যে প্রমাণ পেয়েছি তার আগে আমি পোস্ট করেছিলাম তবে এটি এত …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

যাক π: { 0 , 1 }*→ { 0 , 1 }*π:{0,1}*→{0,1}*\pi \colon \{0,1\}^* \to \{0,1\}^* একটি বিন্যাস করা। নোট করুন যে while যখন অসীম ডোমেনে কাজ করে তবে এর বিবরণ সীমাবদ্ধ হতে পারে। বিবরণ দ্বারা , আমি একটি প্রোগ্রাম যা that এর কার্যকারিতা বর্ণনা করে mean (যেমন কলমোগোরভ জটিলতায়)) …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

বন্ধ থাকে। এই প্রশ্নটি অফ-টপিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে এটি তাত্ত্বিক কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জের বিষয়বস্তু । 7 বছর আগে বন্ধ ছিল । প্রথম অর্ডার সূত্র হিসাবে আমরা কীভাবে " " প্রকাশ করতে পারি ?পি= পিএসপিএ সিইP=PSPACEP=PSPACE পাটিগণিত …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

কোনও কাগজটি আরও ভালভাবে বোঝার জন্য আমি ন্যূনতম-স্থির পয়েন্ট যুক্তির সংক্ষিপ্ত বোঝার চেষ্টা করছি। আমি আটকে আছে যেখানে কয়েকটি পয়েন্ট আছে। যদি G=(V,E)G=(V,E)G = (V,E) একটি গ্রাফ এবং Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor P(a,b) \lor \exists z (E(a,z) \land P(z,b)) \} বাইনারি সম্পর্ক একটি অপারেটর PPP। …

9 lo.logic  descriptive-complexity  finite-model-theory 

আমি পিটিটাইমের জন্য পি-অপটিমাল প্রুফ সিস্টেম এবং লজিক অন পেপারের অধীনে চেষ্টা করার চেষ্টা করছি । কাগজে প্রুফ সিস্টেম নামে একটি ধারণা আছে এবং আমি অনুপ্রবেশটি পাই না: Σ={0,1}Σ={0,1}\Sigma = \{0,1\} ... আমরা সাবসেটগুলির সাথে সমস্যাগুলি সনাক্ত করি QQQ ভিতরে Σ∗Σ∗\Sigma^*। আমি মনে করি অনুপ্রবেশটি হ'ল আমরা একটি নির্দিষ্ট কাঠামোকে …

9 lo.logic  descriptive-complexity  proof-complexity