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

এটি প্রায়শই বলা হয় যে MD5 অ্যালগরিদম কিছু স্বেচ্ছাচারিত তথ্যে স্বাক্ষর করার জন্য, ভাগ করা গোপনীয়তাটি শেষে থাকতে হবে। কেন?

16 hash-function  cr.crypto-security 

কোয়ার্টাম কম্পিউটিং থিউরির জন্য আর্নসনের তালিকার দশটি আধা-গ্র্যান্ড চ্যালেঞ্জগুলির মধ্যে নিম্নলিখিত সমস্যাটি উপস্থিত হয় । হয়বি Q পি = বি পি পিবি কিউ এন সিবিপ্রশ্নঃপি=বিপিপিবিপ্রশ্নঃএনসি\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} অন্য কথায়, কোন কোয়ান্টাম এলগরিদম "কোয়ান্টাম" অংশ সংকুচিত করা যেতে পারে গভীরতা, আমরা প্রদান করা ' বহুবর্ষীয় সময়ের ধ্রুপদী পোস্টপ্রসেসিং করতে রাজি? (এটি শোরের অ্যালগোরিদমের …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

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

16 computability  turing-machines 

নন-ভন নিউমান প্রোগ্রামিং মডেলগুলির জন্য কি কোনও ব্যবহারিক অ্যাপ্লিকেশন রয়েছে? সর্বাধিক ব্যবহৃত নন-ভন নিউমন প্রোগ্রামিং ভাষা কোনটি?

16 universal-computation  logic-programming 

সাধারণ টাইপযুক্ত ল্যাম্বডা ক্যালকুলাসের জন্য দুর্বল স্বাভাবিককরণকে অন্তর্ভুক্ত করে প্রমাণ করা যায় (টুরিং) । স্বাভাবিক সংখ্যার উপর recursors সহ একটি বর্ধিত ল্যামডা ক্যালকুলাস (Gentzen) আনয়ন করে একটি দুর্বল নিয়মমাফিককরণ কৌশল রয়েছে ε 0 ।ω2ω2\omega^2ε0ε0\epsilon_0 সিস্টেম এফ (বা দুর্বল) সম্পর্কে কী? এই শৈলীতে কি কোনও দুর্বল স্বাভাবিকতার প্রমাণ রয়েছে? তা না …

16 lo.logic  type-theory  lambda-calculus  proof-theory  normalization 

জিআই পরীক্ষার জন্য কি দৃ strongly়ভাবে নিয়মিত গ্রাফের ক্ষেত্রে সবচেয়ে কঠিন? যেখানে "সবচেয়ে শক্ত" কিছু "সাধারণ জ্ঞান" অর্থ, বা "গড়" হিসাবে ব্যবহৃত হয়, তাই কথা বলতে। ওল্ফ্রাম ম্যাথওয়ার্ল্ড কিছু "প্যাথলজিকালি হার্ড গ্রাফ" উল্লেখ করেছেন। তারা কি? আমার 25 টি গ্রাফের নমুনা সেট: http://funkybee.narod.ru/رافs.htm আমি অন্য অনেকের সাথে একই রকম পরীক্ষা …

16 ds.algorithms  graph-isomorphism 

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

16 cc.complexity-theory  complexity-classes 

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

16 cc.complexity-theory  reference-request  quantum-computing 

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

16 ho.history-overview  analysis-of-algorithms 

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

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

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

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

আমরা সকলেই জানি যে এর বাধা রয়েছে showing আমরা সকলেই এই প্রতিবন্ধকতাগুলি অধ্যয়ন করেছি কারণ আমরা বিশ্বাস করি ।পি। এনপিপি≠এনপিP\ne NPপি। এনপিপি≠এনপিP\ne NP তবে ধরে নিন এবং এমন জ্ঞানী লোক আছেন যারা বিশ্বাস করেন যে সম্ভাবনা আছে । যদি প্রকৃতপক্ষে এটি হয় তবে আমরা কোনও ভাল অ্যালগরিদম দেখতে পাইনি এমন …

15 p-vs-np  barriers 

আমি কম্পিউটার সম্পর্কে কিছু বই পেয়েছি তবে সেগুলি সমস্ত প্রযুক্তি সম্পর্কিত about আমি তত্ত্বের সাথে আরও কিছু যুক্ত হতে চাই।

15 reference-request  soft-question  philosophy 

আমি উত্তরটি হ্যাঁ আশা করি, তবে আমি আসলে একটি পাল্টা নমুনা তৈরি করতে পারিনি। পার্থক্যটি হ'ল , আমরা অ (অ) O (এন ^ {2 + ε}) অ্যালগরিদমকে সক্ষম হতে পারি না মধ্যে ε ।∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε একটি দোভেটেলিং যুক্তি দ্বারা (উদাহরণস্বরূপ, এই প্রশ্নটি দেখুন ), যদি সেখানে কোনও টিউরিং মেশিনের সি …

15 cc.complexity-theory  time-complexity 

অথবা অন্য শব্দের সঙ্গে, আমরা আছে যে প্রতি ভাষার জন্য এবং বি , একটি ≤ পি বি বা বি ≤ পি একটি ?একজনএকজনAবিবিBক ≤পিবিএকজন≤পিবিA \leq_p Bখ ≤পিএকজনবি≤পিএকজনB \leq_p A

15 reductions  complexity