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

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

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

তাহলে একটি undirected হয় -regular গ্রাফ এবং cardinality ছেদচিহ্ন একটি উপসেট হয় , কল প্রান্ত সম্প্রসারণ এর পরিমাণG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} কোথায় এক শেষবিন্দু দিয়ে প্রান্ত সংখ্যা এবং এক শেষবিন্দু । তারপরে এজ প্রসারণ সমস্যাটি হ'ল দিয়ে একটি সেট যা হ্রাস করে । কে একটি অনুকূল …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

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

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

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

27 cc.complexity-theory  uniformity 

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

27 lo.logic  computability  turing-machines 

ব্ল্যাক-বাক্স মডেলটিতে, ইনপুট এক্স- তে বিপিপি মেশিন এর আউটপুট নির্ধারণের সমস্যাটি অ্যাডিটিভ ত্রুটি 1/3 (বলুন) সহ E আর এম ( এক্স , আর ) নির্ধারণের আনুমানিক গণনা সমস্যা is ।এম( এক্স , আর )M(x,r)M(x,r)এক্সxxErM(x,r)ErM(x,r)E_r M(x,r) বিকিউপি-তে কি একই সমস্যা আছে? কেন রেগানের এই মন্তব্যটি এ জাতীয় সমস্যার পরামর্শ দেয় আপনি …

27 cc.complexity-theory  quantum-computing  black-box 

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

27 cc.complexity-theory  complexity-classes  conditional-results 

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

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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

27 quantum-computing  approximation-algorithms 

কিছু এনপি-হার্ড সমস্যাগুলি যা সাধারণ গ্রাফগুলিতে ক্ষতিকারক হয় প্ল্যানার গ্রাফগুলিতে সূক্ষ্মভাবযুক্ত কারণ গাছের প্রস্থটি সর্বাধিক বর্গক্ষেত্র এবং সেগুলি গাছের প্রস্থে ক্ষতিকারক ।4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} মূলত আমি আগ্রহী যদি প্ল্যানার স্যাট-এর জন্য সুপ এক্সফোনশিয়াল অ্যালগরিদম থাকে যা এনপি-সম্পূর্ণ। আসুন ভেরিয়েবলের একটি সিএনএফ সূত্র হতে হবে এবং ধারাটি ।ϕϕ\phixixix_iiiicicic_i ঘটনা গ্রাফ পি। এর …

26 graph-theory  sat  reductions 

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

26 ho.history-overview  string-matching 

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

26 co.combinatorics  fl.formal-languages  tree  regular-language 

আমি সমালোচনামূলক আগ্রহী 3-satisfiability (3-স্যাট) ঘনত্ব । এটি অনুমান করা হয়েছে যে এই জাতীয় α বিদ্যমান রয়েছে: যদি এলোমেলোভাবে উত্পাদিত 3-স্যাট ক্লজগুলির সংখ্যা ( α + ϵ ) n বা তার বেশি হয় তবে তারা অবশ্যই অসন্তুষ্ট হয়। (এখানে any কোনও ছোট ধ্রুবক এবং n হল ভেরিয়েবলের সংখ্যা)) সংখ্যাটি যদি …

26 pr.probability  random-k-sat 

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

26 soft-question  advice-request  career 

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

26 lo.logic  proof-assistants