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

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

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

З цієї публікації в stackoverflow я побачив, що існують деякі відносно швидкі алгоритми просіювання інтервалу чисел, щоб побачити, чи є простір у цьому інтервалі. Однак чи означає це, що загальна проблема вирішення питання: (Чи існує простір в інтервалі?) Знаходиться в П. (На цю посаду було багато відповідей, які я не …

13 complexity-theory  np  polynomial-time  primes 

Функція підрахунку простих чисел , зменшена , визначається як кількість простих чисел, менших або рівних x .π(x)π(x)\pi(x)xxx Ми можемо визначити задачу рішення з наступним чином:π(x)π(x)\pi(x) Давши два числа і n , записані у двійковій формі, вирішіть, чи π ( x ) = n .xxxnnnπ(x)=nπ(x)=n\pi(x) = n Ми з другом говорили …

13 complexity-theory  primes 

Мені цікаво, чи вирішення проблеми вирішення є проблемою, що вирішується. Я не здогадуюсь, але після первинних пошуків я не можу знайти жодної літератури з цієї проблеми.

13 computability  undecidability  decision-problem 

Я намагаюся зрозуміти існування невпізнаваних мов. Для цього мені потрібно знати, чому машина Тьюрінга розпізнає лише одну мову, а не декілька. Чому це?

13 turing-machines  computation-models 

Я читаю книгу на тему інформатики, але у неї відсутні деякі необхідні передумови. Зазвичай, коли я стикаюся з термінами, я не розумію, я просто шукаю їх, але для Universal Search я просто не зміг знайти пояснення, придатне для читача, без досвіду статистики / інформатики. Я читав цю статтю про Універсальний …

13 algorithms  terminology  search-algorithms 

У 1962 році ви можете виграти приз у розмірі 10 000 доларів (приблизно 80 000 доларів на сьогоднішні гроші), якщо знайшли рішення проблеми евклідового продавця подорожей, визначеного в 33 містах. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Дивлячись на картину, проблема здається досить легкою. Однак більш детальних ресурсів щодо проблеми мені не вдалося знайти. Хтось знає …

13 optimization  traveling-salesman 

Фон \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr Припустимо, у мене дві однакові партії з nnn мармуру. Кожен мармур може бути одним із ccc кольорів, де c≤nc≤nc≤n . Нехай ninin_i позначає кількість мармурів кольору iii в кожній партії. Нехай SS\msS - мультисетка {1,…,1n1,2,…,2n2,…,1c,…,cnc}{1,…,1⏞n1,2,…,2⏞n2,…,1c,…,c⏞nc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\} представляє одну партію. У частотному поданні , SS\msS …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

Чи існують відомі алгоритми сформульованих задач, які вимагають складності простору O (sqrt (N))? Я знаю, що алгоритми з такою складною часовою складністю існують.

13 complexity-theory  asymptotics  space-complexity 

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

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Я все ще трохи плутаю терміни "довжина введення" та "розмір вводу", коли використовуються для аналізу та опису верхньої межі безсимптомного алгоритму Здається, що довжина введення для алгоритму багато залежить від типу даних та алгоритму, про який ви говорите. Деякі автори посилаються на довжину введення до розміру символів, які необхідні для …

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

Днями я дуріла на цьому веб-сайті: http://regexcrossword.com/, і мені стало цікаво, що найкращий спосіб вирішити. Чи можете ви вирішити наступну проблему в поліноміальний час чи це NP-важко? Давши сітку NxM з N регулярними виразами для стовпців та M для рядків, знайдіть будь-яке рішення сітки таким чином, щоб всі регулярні вирази …

13 complexity-theory  np-hard  regular-expressions 

Деякі гіпервізори оптимізують використання пам’яті за допомогою методу, який називається балончиком (принаймні, так називає KVM), цей метод розширює пам’ять між віртуальними машинами та встановлює загальні сторінки для читання лише з копією під час запису. Це щось на відміну від виклику вилки. Чи можливо реалізувати на рівні ОС для процесів (я …

13 operating-systems  memory-management  virtual-memory 

Сторінка вікіпедії в алгоритмах множення згадує цікаву Дональд Кнут . В основному, це передбачає поєднання множення множинних перетворень на фур'є з попередньо обчисленою таблицею множин логарифмічного розміру. Він працює в лінійний час. Стаття діє так, що цей алгоритм якось не вважається "справжнім" алгоритмом множення. Більш суттєво, що це вважається відкритим …

13 algorithms  runtime-analysis  multiplication 

Коли відбувається переривання, процесор попереджує поточний процес і викликає код ядра для обробки переривання. Як процесор знає, куди ввести ядро? Я розумію, що є обробники переривань, які можна встановити для кожної лінії переривання. Але оскільки процесор виконує лише "жорстку провідну логіку", має існувати якесь заздалегідь визначене місце, яке вказує або …

13 computer-architecture  operating-systems  os-kernel