তাত্ত্বিক কম্পিউটার বিজ্ঞান

Razborov-Rudich এর দশকে প্রাকৃতিক নিদর্শনাবলী কাগজ, পৃষ্ঠা 6, অংশ তারা আলোচনা আছে "শক্তিশালী lowerbounds বিরুদ্ধে প্রমাণাদি একঘেয়েমি বর্তনী মডেল" এবং কিভাবে তারা ছবি মধ্যে মাপসই করা, সেখানে নিচের বাক্যগুলো আছেন: এখানে সমস্যাটি গঠনমূলক নয় - এই প্রমাণগুলিতে ব্যবহৃত বৈশিষ্ট্যগুলি সমস্ত সম্ভব - তবে বড়ত্বের শর্তটির কোনও ভাল আনুষ্ঠানিক এনালগ নেই …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Σএক্সΠi j ∈ Eচ( এক্সআমি, এক্সঞ)Σএক্সΠআমিঞ∈ইচ(এক্সআমি,এক্সঞ)\sum_x \prod_{ij \in E} f(x_i,x_j)সর্বোচ্চএক্সΠi j ∈ Eচ( এক্সআমি, এক্সঞ)সর্বোচ্চএক্সΠআমিঞ∈ইচ(এক্সআমি,এক্সঞ)\max_x \prod_{ij \in E} f(x_i,x_j) যেখানে বা সমস্ত লেবেলিংয়ের উপরে সর্বাধিক বা যোগফল নেওয়া হয় , সেখানে গ্রাফ for এবং একটি স্বেচ্ছাসেবী কর্ম হিসাবে পণ্যটি সমস্ত প্রান্ত ধরে নেওয়া হয় । সীমিত গাছের প্রস্থের গ্রাফগুলির জন্য …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

স্যাভিচ ও ( লগ 2 এন ) স্পেস ব্যবহার করে স্ট্যান্ড-কানেকটিভিটি সমাধান করার জন্য একটি নিয়ন্ত্রিত অ্যালগরিদম দিয়েছেন , যার দ্বারা বোঝায় । সময় Savitch এর এলগরিদম রানে । বহু-সময় এবং স্পেসে কিনা সে ক্ষেত্রে সেন্ট-কানেকটিভিটি কোনও ডিস্ট্রিমেন্টিক অ্যালগরিদম দ্বারা সমাধান করা যায় কিনা এটি একটি প্রধান উন্মুক্ত সমস্যা । …

15 cc.complexity-theory  space-bounded 

ওয়ালশ-Hadamard রুপান্তর (wht) ফুরিয়ার একটি সাধারণীকরণ রুপান্তর, এবং মাত্রা প্রকৃত বা জটিল সংখ্যার একটি ভেক্টর উপর একটি লম্ব রূপান্তর হয় । ট্রান্সফর্মটি কোয়ান্টাম কম্পিউটিংয়ে জনপ্রিয়, তবে জনসন-লিন্ডেনস্ট্রাস লিমার প্রমাণ হিসাবে ব্যবহারের জন্য উচ্চ-মাত্রিক ভেক্টরগুলির এলোমেলোভাবে অনুমানের জন্য এটি এক প্রকার পূর্বশর্ত হিসাবে অধ্যয়ন করা হয়েছে। এর প্রধান বৈশিষ্ট্যটি হ'ল যদিও …

15 ds.algorithms  linear-algebra 

এক্সপেন্ডার গ্রাফিক্স শিরোনামে ২০০ 2006 উপস্থাপনায় - সেখানে কি কোনও রহস্য রয়েছে? , নাটি লিনিয়াল নিম্নলিখিত উন্মুক্ত সমস্যাটি উপস্থিত করেছেন: গ্রাফের সম্প্রসারণে সীমাবদ্ধ থাকাকালীন কোন -গার্ড কম্পিউটেশনাল সমস্যাটি শক্ত থাকে?NPNPNP তার পর থেকে, -সমস্যার কোনও সমস্যার জন্য এই জাতীয় ফলাফল প্রমাণ করতে কোনও অগ্রগতি হয়েছে ?NPNPNP

15 cc.complexity-theory  np-hardness  expanders 

প্রাকৃতিক প্রমাণগুলি বুলিয়ান ফাংশনগুলির সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করার প্রতিবন্ধক। তারা সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করতে এ জাতীয় কোনও বাধা সরাসরি বোঝায় না । এই জাতীয় বাধা চিহ্নিত করার দিকে কি কোনও অগ্রগতি রয়েছে? একঘেয়ে সেটিং এ অন্য বাধা আছে?মি ও এন ও টি ও এন ইমিণএনণটিণএনইmonotone

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

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

15 lo.logic  lambda-calculus  extensionality 

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

15 cc.complexity-theory  lower-bounds  relativization  permanent 

ইন এই কাগজ এ "সার্কেল অরিগ্যামি নকশা হার্ড জন্য প্যাকিং" পৃষ্ঠা 15, ফিগার 13 এরিক ডি Demaine, Sándor পি Fekete, রবার্ট জে ল্যাঙ, কসম, সে লোক দাবি করে যে ক্ষুদ্রতম স্কোয়ারের দিকে দৈর্ঘ্য দুই চেনাশোনা encloses ক্ষেত্রফল 1/2 এর প্রতিটি হ'ল 1.471299। আমার গণনা অনুসারে আমি পাশের দৈর্ঘ্য 1.362 এবং …

15 cg.comp-geom 

এই প্রশ্নটি খুব সাধারণ হলে অগ্রিম ক্ষমা চাই। মূলত, যদি কোনো ফাংশন কী আমি জানতে চাই হয় f(x)f(x)f(x) নিম্নলিখিত বৈশিষ্ট্য সঙ্গে: নিন fn(x)fn(x)f_n(x) হতে f(x)f(x)f(x) যখন ডোমেইন এবং codomain সীমাবদ্ধ nnn -বিট স্ট্রিং। তারপর fn(x)fn(x)f_n(x) ইনজেকশনযুক্ত সার্জেক্টিভfn(x)fn(x)f_n(x) f - 1 n ( y ) এর চেয়ে কিছু যুক্তিসঙ্গত মডেলের অধীনে …

15 cc.complexity-theory 

রৈখিক সময়ে প্ল্যানার বহুভুজকে ত্রিকোণকরণের জন্য কি এখন সাধারণ অ্যালগরিদম / প্রমাণ রয়েছে? এই বিখ্যাত সমস্যার শিল্পের রাজ্যে একটি ভাল সংস্থান কী?

15 reference-request  cg.comp-geom 

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

15 cc.complexity-theory  graph-theory  relational-structures 

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

15 coq  proof-assistants 

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

15 cc.complexity-theory  soft-question  big-picture  experimental 

আমি প্রান্ত সংযোজনে O (N ^ 2) এর চেয়ে কম সময় জটিলতার সাথে নির্দেশিত অ্যাসাইক্লিক গ্রাফের ট্রানজিটিভ বন্ধ রাখার জন্য একটি অনলাইন অ্যালগরিদম খুঁজছি। আমার বর্তমান অ্যালগরিদম এরকম: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure