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

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

55 proofs  survey  examples 

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

54 cc.complexity-theory  counting-complexity  big-picture 

ইন বর্ণনামূলক জটিলতা , Immerman হয়েছে প্রতীক 7.23। নিম্নলিখিত শর্তগুলি সমতুল্য: 1. পি = এনপি। 2. সসীম, আদেশ কাঠামো ধরে, এফ ও (LFP) = তাই। এটিকে বৃহত্তর জটিলতা ক্লাসের উপর সমমানের স্টেটমেন্টের (সমমানের) বিপরীতে "প্রশস্তকরণ" পি = এনপি হিসাবে ভাবা যেতে পারে। নোট করুন যে এসও বহু-সময়ের-স্তরক্রমের পিএইচটি ক্যাপচার করে …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

এটি এই সাইটে আমার প্রথম প্রশ্ন। আমি গণনা তত্ত্বের উপর মাস্টার্স কোর্স নিচ্ছি taking আপনি 10 বছর বয়সী শিশুকে কীভাবে পি = এনপি সমস্যাটি ব্যাখ্যা করবেন এবং কেন এটির উপর এই জাতীয় আর্থিক পুরষ্কার রয়েছে? তোমার নে? এটি সম্পর্কে আমার মাথা পরিষ্কার হয়ে যাওয়ায় আমি প্রশ্নটি আপডেট করব।

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

আপনার পছন্দের উদাহরণগুলি কী যেখানে তথ্য তত্ত্বটি একটি ঝরঝরে সমন্বয়মূলক বিবৃতিটিকে একটি সহজ উপায়ে প্রমাণ করতে ব্যবহৃত হয়? আমি যে কয়েকটি উদাহরণের কথা ভাবতে পারি সেগুলি স্থানীয়ভাবে ডিকোডেবল কোডগুলির নিম্ন সীমানার সাথে সম্পর্কিত, উদাহরণস্বরূপ, এই কাগজে: ধরুন যে বাইনারি স্ট্রিং দৈর্ঘ্যের এটি ধারণ করে যে প্রতি জন্য, জন্য আলাদা জোড়া …

54 co.combinatorics  big-list  it.information-theory 

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

53 soft-question 

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

53 cc.complexity-theory  graph-isomorphism  pcp 

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

52 machine-learning 

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

52 cc.complexity-theory  ds.algorithms  reference-request 

বিবেচনা করুন এর সাব-সেট নির্বাচন এর গ্রন্থিচ্যুত পরিবারের {1,2 ..., এন}, ।এফ 1 , এফ 2 , … এফ টিটিttএফ1, এফ2, … এফটিF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} হটাত যদি (*) প্রতি এবং প্রতিটি , এবং , সেখানে রয়েছে যা ধারণ করে ।R ∈ F i T ∈ F k S …

52 co.combinatorics  cg.comp-geom  open-problem  linear-programming 

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

52 ds.algorithms  big-list  ds.data-structures 

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

51 big-list  ds.data-structures  functional-programming 

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

51 big-list  soft-question 

স্টিফেন উইসনার তার উদযাপিত কাগজ "কনজুগেট কোডিং" (১৯ 1970০ সালের দিকে লেখা) -তে জালিয়াতি করা নিঃশর্তভাবে অসম্ভব এমন কোয়ান্টাম টাকার জন্য একটি প্রকল্প প্রস্তাব করেছিলেন, ধরে নিলেন যে ইস্যুকারী ব্যাংকের এলোমেলো সংখ্যার একটি বিশাল টেবিলের অ্যাক্সেস রয়েছে এবং ব্যাংক নোটগুলি আনা যেতে পারে যাচাইয়ের জন্য ব্যাঙ্কে ফিরে যান। উইসনারের স্কিমে, …

50 quantum-computing 

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

50 soft-question  big-list