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

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

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

মালিকানার ধরণ এবং পৃথকীকরণ লজিকের একই লক্ষ্য রয়েছে বলে মনে হয়, মালিকানা ও আলিয়াসিংয়ের উপর নিয়ন্ত্রণ। সম্ভবত, আমারও যোগ করা উচিত: মডুলার স্পেসিফিকেশন লেখার ক্ষমতা। মালিকানার ধরণ এবং পৃথকীকরণ যুক্তির মধ্যে সম্পর্ক সম্পর্কে কী জানা যায়?

10 pl.programming-languages  type-systems  object-oriented  program-logic 

ফিক্স k≥5k≥5k\ge5 । কোনো যথেষ্ট বড় জন্য nnn , আমরা সব সাব-সেট নির্বাচন লেবেল চাই {1..n}{1..n}\{1..n\} আকারের ঠিক n/kn/kn/k থেকে ধনাত্মক পূর্ণসংখ্যা দ্বারা {1...T}{1...T}\{1...T\} । নিম্নলিখিত সম্পত্তিটি সন্তুষ্ট করার জন্য আমরা এই লেবেলটি চাই: এখানে পূর্ণসংখ্যার একটি সেট SSS , স্ট্যান্ডার্ড যদি n / k আকারের kkk উপসেটগুলি ছেদ না …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

যাক হতে কোন EXP সম্পূর্ণ সমস্যা। তারপরে, পি এ = এন পি এ ।AAAPA=NPAPA=NPAP^A = NP^A যাক কিছু ওরাকল যে প্রশ্ন যা অ্যাকাউন্ট লাগে হতে এম (পি একটি টি এম) করতে হবে, এবং আমরা পেতে পারেন পি বি ≠ এন পি বি ।BBBMMMPB≠NPBPB≠NPBP^B \neq NP^B প্রশ্ন: পি বনাম বিপিপির জন্য …

10 cc.complexity-theory  oracles  relativization 

চলুন । আমি সহজ গ্রাফ তৈরী করার দরকার জি এর ঘের ছ এমন সব সেট যে ছ ফরম -cycles একটি ডবল প্রান্ত কভার জি (যে, প্রত্যেক প্রান্ত দ্বারা ভাগ করা ঠিক দুই গ্রাম -cycles), এবং যেমন যে কোন দুটি ছেদ জি- সাইকেলগুলি হয় একটি শীর্ষবিন্দু, একটি প্রান্ত বা খালি। উত্পন্ন …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

গ্রাফের জন্য সহজ উপস্থাপনাগুলি সংলগ্ন ম্যাট্রিক্স / তালিকাগুলি ব্যবহার করে যার অর্থ প্রতিটি নোড এবং প্রান্তটি স্পষ্টভাবে প্রতিনিধিত্ব করা হয়। শক্তিশালী নিয়মিততা প্রদর্শনকারী গ্রাফগুলির জন্য অন্তর্নিহিত উপস্থাপনার গুরুত্ব দীর্ঘকাল ধরে স্বীকৃত। উদাহরণস্বরূপ, গ্যাল্পারিন অ্যান্ড উইগডারসন (1983), পাপাদিমিট্রিও এবং ইন্নাকাকিস (গ্রাফের সুসিনেক্ট রিপ্রেজেন্টেটিভসের উপর একটি নোট , 1986) এমন গ্রাফগুলির প্রশ্নটি …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

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

10 cc.complexity-theory  fixed-parameter-tractable 

কোনও লিনিয়ার ত্রুটি সংশোধনকারী কোড (যুক্তিসঙ্গত পরামিতি সহ) এর কোনও পরিচিত নির্মাণ রয়েছে , যেমন যখন বুলিয়ান ভেক্টর given , এটি বুলিয়ান ভেক্টর whp ফেরত দেয়? (যদিও এটি ) v ∈ { 0 , 1 } n F qE C C : Fএনকুই। চমিকুইECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^mবনাম∈ { 0 , 1 …

10 co.combinatorics  linear-algebra  coding-theory 

কয়েক বছর আগে, আমি পরবর্তী ক্যালকুলাসের সাম্যের জন্য নীচের বাম-নিয়মটি পেরিয়েছি: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} এখানে, নির্ণয় সবচেয়ে সাধারণ unifier \ থেটা জন্য গুলি এবং টন , এবং তারপর উপসংহার substition প্রযোজ্য সি এবং সমস্ত প্রেক্ষাপটে অনুমানের \ …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

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

10 cc.complexity-theory  turing-machines 

গ্রাফ হোমোমর্ফিিজম সিদ্ধান্ত নেওয়া সাধারণভাবে এনপি-সম্পূর্ণ। অন্তর্নিহিত গ্রাফগুলিতে বীজগণিত কাঠামো রয়েছে (যেমন কেলে বা কেলে কোসেট গ্রাফ থেকে কিছু নির্দিষ্ট কাঠামোযুক্ত অন্যান্য গ্রাফের জন্য হোমোর্ফিজমগুলি স্থির করে দেওয়ার মতো) এই সমস্যাটি অধ্যয়ন করার কোনও ফলাফল রয়েছে কি? জটিলতার ফলাফলের পাশাপাশি আমি সহায়ক বীজগণিত এবং / বা বর্ণালী কৌশলগুলিতেও আগ্রহী।

10 cc.complexity-theory  graph-theory  co.combinatorics 

এটি সর্বজনবিদিত যে চার্লস ব্যাবেজের বিশ্লেষণাত্মক মেশিনটির একটি আধুনিক স্থাপত্য ছিল আধুনিক ভন নিউম্যান আর্কিটেকচারকে দৃ strongly়ভাবে একত্রিত করার। এছাড়াও, এটি উল্লেখযোগ্য যে ব্যাবেজের বিশ্লেষণাত্মক মেশিন ( http://www.fourmilab.ch/babbage/figures/menat3.png ) এবং ভন নিউমানের কাজ (যেমন http://library.ias.edu ) এর জন্য একটি প্রোগ্রাম উপস্থাপনের টেবিলগুলি /files/pdfs/ecp/planningcodingof0103inst.pdf ) বেশ সাদৃশ্যপূর্ণ। এখন আমি ভাবছি যে …

10 ho.history-overview 

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

10 ds.algorithms  graph-theory 

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

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

নেই পরোক্ষভাবে ই = এন ই ?E এক্স পি = এন ই এক্স পিEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity