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

আমি মডেল স্ট্রাকচারাল লজিক্স সম্পর্কিত কাগজপত্র এবং নিবন্ধগুলি সন্ধান করছি - লিনিয়ার লজিক মোডালটির শব্দার্থতত্ত্বের উপর নয়, মানক মডেল অপারেটরগুলির সাথে সংযুক্ত কাঠামোগত লজিকগুলিতে, যেমন স্ট্রাকচারাল কে (বক্স অপারেটর, প্রয়োজনীয়তা এবং কে নিয়মের সাথে মলের মতো কিছু) something

15 reference-request  lo.logic  proof-theory 

যেমনটি সবাই জানেন, গ্যারি এবং জনসনের বিখ্যাত বইটি (এবং আরও অনেকে) শাস্ত্রীয় সেটিংয়ে হ্রাস করার কৌশলটির জন্য একটি দুর্দান্ত রেফারেন্স সরবরাহ করে। প্যারামিটারাইজড অ্যালগরিদমে হ্রাস কৌশল সম্পর্কিত কোনও জরিপ বা বই রয়েছে, বলুন fpt হ্রাস?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

আমি স্ট্যাক ওভারফ্লোতে কিছুক্ষণ আগে এই প্রশ্নটি জিজ্ঞাসা করেছি: সমস্যা: বব এর বিক্রয় । কেউ কেউ এখানে প্রশ্ন পোস্ট করার পরামর্শ দিয়েছে। কেউ কেউ ইতিমধ্যে এখানে এই সমস্যা সম্পর্কিত একটি প্রশ্ন জিজ্ঞাসা করেছেন - প্রদত্ত কার্ডিনালটির সর্বনিম্ন ওজন - তবে যতদূর আমি বুঝতে পারি এটি আমার সমস্যাটিতে আমাকে সহায়তা করে …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

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

15 pl.programming-languages  type-theory  linear-logic 

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

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

বনাচের নির্দিষ্ট পয়েন্টের উপপাদ্যটি বলে যে আমাদের যদি কোনও অস্তিত্ব পূর্ণ মেট্রিক স্পেস AএকজনA , তবে যেকোন অভিন্ন সংকোচনের কাজটি f:A→Aচ:একজন→একজনf : A \to A এর একটি অনন্য স্থির বিন্দু থাকে μ(f)μ(চ)\mu(f) । যাইহোক, এই উপপাদ্য প্রমাণ পছন্দের সবর্জনবিদিত প্রয়োজন - আমরা একটি অবাধ উপাদান চয়ন করতে হবে iterating শুরু …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

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

15 cc.complexity-theory  lower-bounds 

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

15 ds.algorithms  co.combinatorics  sorting 

আমার প্রশ্নটি একটি সাধারণ: আমি কীভাবে অ্যালগোরিদম ডিজাইন এবং জটিলতার বিবেচনা করতে শুরু করব? আমি অ্যালগরিদম ডিজাইনে একটি স্নাতক কোর্স নিতে যাচ্ছি। আমি এটিতে আগে নিবন্ধভুক্ত হয়েছিলাম তবে পরে রেখে দিয়েছি কারণ আমি এটি বজায় রাখতে পারিনি। প্রয়োজন হিসাবে এই কোর্সটি আমাকে নিতে হবে। এইভাবে চিন্তা করার কোনও 'কৌশল' আছে …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

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

15 cc.complexity-theory  reference-request  pseudorandomness 

যাক এবং ওয়াই সঙ্গে দুই বাইনারি সংখ্যার এন বিট এবং z- র = এক্স ⋅ Y বাইনারি সংখ্যাকে (দৈর্ঘ্য 2 এন গুণফল এর) এক্স এবং ওয়াই । আমরা z = z 2 n - 1 … z 0 পণ্যটির সর্বাধিক siginifcant বিট z 2 n - 1 গণনা করতে চাই …

15 cc.complexity-theory  binary-decision-diagrams 

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

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

সর্বাধিক-প্রবাহ সমস্যার একটি শাস্ত্রীয় বর্ধন হ'ল "সময়ের সাথে সর্বাধিক প্রবাহ" সমস্যা: আপনাকে একটি ডিগ্রাফ দেওয়া হয়, যার দুটি নোড উত্স এবং সিঙ্ক হিসাবে পৃথক করা হয়, যেখানে প্রতিটি চাপে দুটি প্যারামিটার থাকে, প্রতি ক্ষমতা ধারণ ক্ষমতা ইউনাইট-সময় এবং একটি বিলম্ব। আপনি একটি সময় দিগন্ত দেওয়া হয়টিটিT। লক্ষ্যটি হ'ল সময়ের সাথে …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

ঘন গ্রাফের 3-প্রান্তের রঙিন কমপ্লিট। ফোর কালার উপপাদ্য "প্রতিটি কিউবিক প্ল্যানার সেতুবিহীন গ্রাফগুলি 3-প্রান্তের কলয়েবল" এর সমান।NPNPNP কিউবিক প্ল্যানার গ্রাফের 3-প্রান্তের বর্ণের জটিলতা কী? এছাড়াও, এটি অনুমান করা হয় যে 4,5} সর্বাধিক ডিগ্রি plan সহ প্ল্যানার গ্রাফগুলির জন্য ta এজ রঙটি -হার্ড }ΔΔ\DeltaNPNPNPΔ∈Δ∈\Delta \in এই অনুমানের সমাধানের দিকে কি কোনও …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

এটা ঘন হ্যামিল্টনিয়ান গ্রাফ দীর্ঘতম চক্র একটি ধ্রুবক ফ্যাক্টর পড়তা এটি -hard। কিউবিক হ্যামিল্টোনীয় গ্রাফগুলিতে কমপক্ষে দুটি হ্যামিল্টোনীয় চক্র থাকে।এনপিএনপিNP কিউবিক হ্যামিল্টোনীয় গ্রাফগুলিতে হ্যামিল্টোনীয় চক্রের সংখ্যার উপরের সর্বাধিক পরিচিত ওপেন বাউন্ড এবং নিম্ন সীমাটি কী? কিউবিক হ্যামিল্টোনীয় গ্রাফ দেওয়া হয়েছে, হ্যামিল্টোনীয় চক্রের সংখ্যা খুঁজে বের করার জটিলতা কী? এটা কি …

15 cc.complexity-theory  counting-complexity