Комп'ютерна наука

Тому я розумію думку про те, що проблема рішення визначається як Чи є такий шлях P таким, що вартість нижча за C? і ви можете легко перевірити це правдою, підтвердивши отриманий шлях. Однак що робити, якщо немає шляху, який би відповідав цим критеріям? Як би ви перевірили відповідь "ні", не …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

Коли машинний код насправді виконується апаратним забезпеченням та процесором, як це виглядає? Це виглядатиме як бінарне, як в інструкціях, представлених одиницями та нулями, чи це було б щось, що складається з шістнадцяткових цифр, де кодові коди є байтами, представлені у вигляді шістнадцяткових чисел, які можна розбити на бінарні числа, як …

21 computer-architecture  cpu 

Ірраціональні числа, такі як ππ\pi , eеe і 2–√2\sqrt{2} мають унікальну і неповторювану послідовність після коми. Якщо ми витягуємоnнn-туцифру з таких чисел (деnнn- це кількість разів, коли метод називається) і робимо число з цифрами, як це є, чи не можемо ми отримати ідеальний генератор випадкових чисел? Наприклад, якщо ми використовуємо2–√2\sqrt{2} …

21 randomized-algorithms  randomness  random-number-generator 

Щоб вирішити питання, в галузі інформатики часто ми хочемо обчислити добуток кількох ймовірностей: P(A,B,C) = P(A) * P(B) * P(C) Найпростіший підхід - просто помножити ці числа, і саме це я збирався зробити. Однак мій начальник сказав, що краще додати журнал ймовірностей: log(P(A,B,C)) = log(P(A)) + log(P(B)) + log(P(C)) Це …

21 algorithm-analysis  probability-theory 

Як я можу виражати ворота AND, використовуючи лише ворота XOR?

21 logic  boolean-algebra 

У математиці існує багато доказів існування, які не є конструктивними, тому ми знаємо, що певний об'єкт існує, хоча ми не знаємо, як його знайти. Я шукаю аналогічні результати в галузі інформатики. Зокрема: чи існує проблема, яку ми можемо довести, що вона вирішується, не показуючи її алгоритм? Тобто ми знаємо, що …

21 algorithms  proof-techniques 

Нещодавно я почув цікаву аналогію, яка стверджує, що докази Тьюрінга про нерозбірливість проблеми зупинки дуже схожі на парадокс перукаря Рассела. Тому мені стало цікаво: математикам вдалося зрештою зробити теорію множин послідовною шляхом переходу від наївного формулювання поля Кантора до більш складної системи аксіом (теорія множин ZFC), роблячи важливі виключення (обмеження) …

21 computability  turing-machines  computation-models  halting-problem 

Масив або вектор - це лише послідовність значень. Вони, безумовно, можуть бути реалізовані за допомогою пов'язаного списку. Це лише купа вузлів із вказівниками на наступний вузол. Стеки та черги - це два абстрактних типи даних, які зазвичай викладаються на курсах Intro CS. Десь на уроці учням часто доводиться реалізовувати стеки …

21 algorithms  data-structures  abstract-data-types 

Назва зазначає питання. У якості вхідних даних у нас є список елементів, які ми можемо порівняти (визначити, який найбільший ). Жоден елемент не може бути рівним. Ключові моменти: Порівняння не є транзитивним (подумайте ножиці з паперової папери): це може бути правдою: A> B, B> C, C> A (зауважте, що це …

21 algorithms  time-complexity  sets  transitivity 

Хочу знати, який алгоритм найшвидший для множення двох n-значних чисел? Космічну складність тут можна розслабити!

21 algorithms  mathematical-programming 

Вивчивши Haskell та інші не такі чисті мови FP, я вирішив прочитати про теорію категорій. Отримавши гарне розуміння теорії категорій, я почав думати про те, як поняття теорії категорій можна використовувати для роздуму над розробкою програм, але як би я не намагався, здається, це не шлях. Провівши багато невдалих спроб …

21 functional-programming  category-theory 

Щойно я натрапив на таке: я помістив декілька однакових копій PNG зображення у папку, а потім спробував стиснути цю папку такими методами: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz (це добре працює для однакових зображень, однак для подібних зображень коефіцієнт посилення дорівнює нулю) …

21 data-compression 

Припустимо, що вам дали справедливу монету і ви хотіли б імітувати розподіл ймовірності багаторазово перегортання справедливої ​​(шестигранної) плашки. Моя початкова думка полягає в тому, що нам потрібно вибрати відповідні цілі числа , такі, що . Отже, перевернувши монету раз, ми відображаємо число, закодоване біт-рядком k довжиною, до виходів штампу, ділимо …

21 probability-theory  randomness  sampling 

Проблема підмножини підсумків є класичною проблемою, що не стосується NP: Враховуючи список чисел і цільовий k , чи існує підмножина чисел з L, яка дорівнює k ?LLLкkkLLLкkk Студент запитав мене, чи цей варіант завдання, який називається проблемою "підмножина продукту", не відповідає NP: Враховуючи список чисел та цільову k , чи …

21 complexity-theory  np-complete  reductions 

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закритий минулого року . Прямо до речі: я дуже хотів би вивчити AI. Але я хочу порадити досвідчених хлопців …

21 artificial-intelligence