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

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

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

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

18 cc.complexity-theory  lower-bounds  circuit-complexity 

এখানে লক্ষ্যটি হ'ল স্বল্পসংখ্যক ক্লজ এবং ভেরিয়েবলের সংখ্যার সাহায্যে বহুবিবাহের সময় একটি স্বেচ্ছাসেবক SAT সমস্যা হ্রাস করতে। আমার প্রশ্ন কৌতূহল দ্বারা অনুপ্রাণিত হয়। কম আনুষ্ঠানিকভাবে, আমি জানতে চাই: "স্যাট থেকে 3-স্যাট থেকে 'সবচেয়ে প্রাকৃতিক' হ্রাস কী?" আমি পাঠ্য বইয়ে সর্বদা যে হ্রাস দেখেছি তা এরকম কিছু হয়: প্রথমে আপনার স্যাট …

18 cc.complexity-theory  sat  reductions 

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

18 reference-request  cr.crypto-security 

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

18 cc.complexity-theory  computability 

আমি মনে করি আমি এটি বুঝতে পারছি না, তবে রূপান্তর আমাকে রূপান্তর হিসাবে দেখায় যা কিছুই করে না, রূপান্তর একটি বিশেষ ক্ষেত্রে যেখানে ফলাফলটি ল্যাম্বডা বিমূর্তিতে কেবলমাত্র শব্দ কারণ কিছুই নেই because করতে, এক ধরণের অর্থহীন রূপান্তর।ηη\etaββ\betaββ\betaββ\beta সুতরাং সম্ভবত রূপান্তরটি এর থেকে সত্যই গভীর এবং ভিন্ন কিছু, তবে এটি যদি …

18 lo.logic  lambda-calculus  extensionality 

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

18 automated-theorem-proving 

1979 সালে, ফ্রেইভাল্ডস দেখিয়েছেন যে কোনও ক্ষেত্রের ম্যাট্রিক্স পণ্য যাচাইকরণ এলোমেলোভাবে সময়ে করা যেতে পারে । আরও আনুষ্ঠানিকভাবে, এফ, বি এবং সি তিনটি ম্যাট্রিক দেওয়া হয়েছে, এফ ফিল্ডের এন্ট্রি সহ, এফ = সি এর এলোমেলো সময়ের অ্যালগোরিদম আছে কিনা তা যাচাই করার সমস্যা ।O(n2)O(n2)O(n^2)O(n2)O(n2)O(n^2) এটি আকর্ষণীয় কারণ কারণ গুণমানের ম্যাট্রিকগুলির …

18 ds.algorithms  linear-algebra  matrix-product 

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

18 soft-question 

আমার 8-বছরের পুরানো প্রচলিত ম্যাজগুলি তৈরি করতে বিরক্ত হয়েছে এবং এর মতো দেখতে ভেরিয়েন্টগুলি তৈরি করেছে: ধারণাটি হ'ল এক্স থেকে শুরু করে সাধারণ নিয়মে ও-তে পৌঁছাবেন। উপরন্তু, আপনি পূর্ণসংখ্যা কোন থেকে "প্রস্থান" করতে পারেন অন্য কোন পূর্ণসংখ্যা , কিন্তু আপনি প্রদান করতে হবেবিশেষাধিকার জন্য ডলার। লক্ষ্যটি হ'ল সর্বনিম্ন ব্যয়ের জন্য …

18 ds.algorithms  optimization  puzzles 

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

18 lo.logic  type-theory  lambda-calculus 

এটি কি ব্যাকরণ প্রোগ্রামগুলির একটি সংস্কার ? পূর্ববর্তী ভ্যাগ দ্বারা জিজ্ঞাসা করা হয়েছিল এবং মন্তব্যকারীদের অনেক পরামর্শ সহ। কোন ব্যাকরণকে গণনার মডেল নির্দিষ্ট করে দেখা যায়? উদাহরণস্বরূপ, যদি আমরা একটি সাধারণ প্রসঙ্গমুক্ত ব্যাকরণ গ্রহণ করি যেমন G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

আমার 3 ডি স্পেসে প্রচুর কিউবিড রয়েছে, প্রত্যেকের শুরুর পয়েন্ট থাকে (x, y, z) এবং এর আকার (Lx, Ly, Lz) থাকে। আমি আশ্চর্য হয়েছি কীভাবে কিউবিডের ইউনিয়নে থাকা এই 3 ডি স্পেসে একটি বৃহত্তম কিউব খুঁজে পাবেন। এর জন্য কি কোনও কার্যকর অ্যালগরিদম আছে? উদাহরণস্বরূপ, যদি আমার কাছে নিম্নলিখিত কিউবিড …

18 ds.algorithms  cg.comp-geom 

এটা সর্বজনবিদিত যে পি = এন পিP=NP\mathbf{P}=\mathbf{NP} তারপর বহুপদী অনুক্রমের ভেঙে এবং পি = পি এইচP=PH\mathbf{P}=\mathbf{PH} । এটি সহজেই ওরাকল মেশিনগুলি ব্যবহার করে সূক্ষ্মভাবে বোঝা যায়। প্রশ্ন হল - কেন আমরা পরিবর্তনও একটি ধ্রুবক স্তর অতিক্রম করিয়া প্রস্তাবনামূলক প্রক্রিয়াটি চালিয়ে যান এবং প্রমাণ করতে পি = একটি ঠ টি টি …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

কাক-এ নিম্নলিখিত উপপাদ্য প্রমাণ করার কোনও উপায় আছে কি? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. সম্পাদনা : "কী প্রমাণের অপ্রাসঙ্গিকতা" এর সংক্ষিপ্ত ব্যাখ্যা দেওয়ার একটি প্রচেষ্টা (আমি ভুল বা ভুল হলে আমাকে কাউকে সংশোধন করুন) মূল ধারণাটি হ'ল প্রস্তাবের জগতে …

18 lo.logic  type-theory  proof-assistants  coq