প্রশ্ন ট্যাগ «computing-over-reals»

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

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

বর্গমূল এর সমষ্টি সমস্যা, দুই সিকোয়েন্স দেওয়া জিজ্ঞেস এবং খ 1 , খ 2 , ... , খ এন , ধনাত্মক পূর্ণসংখ্যা কিনা সমষ্টি Σ আমি √একটি1, ক2, … , কএনa1,a2,…,ana_1, a_2, \dots, a_nখ1, খ2, … , খএনb1,b2,…,bnb_1, b_2, \dots, b_n কম, এর সমান, বা সমষ্টি তার চেয়ে অনেক বেশীΣআমি√∑iai−−√∑iai\sum_i …

37 ds.algorithms  big-list  reductions  computing-over-reals 

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

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

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

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

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

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

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

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

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

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

এন পূর্ণসংখ্যার কোনও ভেক্টরের মানক বিচ্ছিন্ন ফুরিয়ার রূপান্তরকরণের জটিলতা (স্ট্যান্ডার্ড ইন্টিজার র‌্যামে) কী?nnn দ্রুত ফুরিয়ার রূপান্তরগুলির জন্য ধ্রুপদী অ্যালগরিদম , কুলি এবং টুকির সাথে অনুপযুক্ত [1] হিসাবে চিহ্নিত করা হয় সাধারণত O(nlogn)O(nlog⁡n)O(n \log n) সময়ে চলমান হিসাবে বর্ণনা করা হয় । তবে এই অ্যালগরিদমে কার্যকর করা বেশিরভাগ গাণিতিক ক্রিয়াকলাপগুলি unityক্যের …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

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

16 computability  computing-over-reals  topology  model-theory 

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

16 ds.algorithms  machine-models  computing-over-reals 

আমি সম্প্রতি গণনার বিএসএস মডেল অধ্যয়ন করছি (সিএফ। উদাহরণস্বরূপ জটিলতা এবং রিয়েল কম্পিউটেশন; ব্লাম, কাকার, শুব, স্যামেল।) রিয়েলস জন্য এটি দেখানো হয়েছে যে বহুবচনগুলির একটি ব্যবস্থা f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] দিয়ে শূন্যের অস্তিত্ব হ'ল এন পি …

13 cc.complexity-theory  computing-over-reals 

ওলা সোভেনসনের এই বক্তৃতার নোটগুলিতে: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf- এ বলা হয়েছে যে ইউক্লিডিয়ান টিএসপি এনপিতে রয়েছে কিনা তা আমরা জানি না: কারণটি হ'ল আমরা কীভাবে দক্ষতার সাথে বর্গমূলগুলি গণনা করতে জানি না। অন্যদিকে পাপাদিমিট্রিউয়ের এই কাগজটি রয়েছে: http ://www.sज्ञानdirect.com/sज्ञान/article/pii/0304397577900123 এটি এনপি-সম্পূর্ণ, যার অর্থ এটি এনপি-তে রয়েছে। যদিও তিনি কাগজে এটি প্রমাণ করেননি, …

12 np  tsp  computing-over-reals 

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

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

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

10 cc.complexity-theory  computing-over-reals 

কেউ কি আমাকে পিসিএফ-এ ধারাবাহিকতার মডুলাসের কার্যকারিতা অ-নিশ্চিত করার জন্য রেফারেন্সের দিকে নির্দেশ করতে পারেন? \ newcommand {ool bool} \ \ mathsf {bool}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} আন্দ্রেজ বাউর একটি খুব সুন্দর ব্লগ পোস্ট লিখেছেন কিছু বিষয় নিয়ে আরও বিস্তারিতভাবে অনুসন্ধান করে, তবে আমি এই প্রশ্নের কিছুটা প্রসঙ্গ ধার্য করার জন্য তার পোস্টের …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals