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

Це може бути смішним питанням, але чи можлива проблема, яка насправді стає простішою, оскільки вхід збільшується в розмірах? Я сумніваюся, що будь-які практичні проблеми подібні, але, можливо, ми можемо вигадати вироджену проблему, яка має цю властивість. Наприклад, можливо, воно починає «вирішувати себе», коли воно стає більшим, або поводиться якось іншим …

62 algorithms  asymptotics 

Існує багато застосунків, де використовується генератор псевдовипадкових чисел. Тож люди реалізують те, що, на їхню думку, є чудовим лише для того, щоб згодом виявити його недоліки. Щось подібне сталося з генератором випадкових чисел Javascript нещодавно. RandU теж набагато раніше. Також є питання про невідповідний початковий посів на щось подібне до …

60 pseudo-random-generators  random-number-generator 

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

60 terminology  distributed-systems  parallel-computing 

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

60 computability  turing-machines  halting-problem  human-computing 

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

60 algorithms  graph-theory  graphs  weighted-graphs 

Я вважаю, що я розумію такі складності, як , Θ ( n ) та Θ ( n 2 ) .O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) З точки зору списку, - це постійний пошук, тому це просто отримання голови списку. Θ ( n ) - це те, де я пройду весь список, а Θ ( n …

59 algorithms  complexity-theory  time-complexity  intuition 

У мене є ціла лінійна програма (ILP) з деякими змінними , які призначені для відображення булевих значень. S »обмежені цілими числами і тримати або 0 , або 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Я хочу висловити булеві операції на цих змінних 0/1, …

58 linear-programming  integer-programming 

Чи може хтось пояснити різницю між залежними типами та типами уточнення? Як я розумію, тип уточнення містить усі значення типу, що виконують присудок. Чи є особливість залежних типів, яка їх відрізняє? Якщо це допомагає, я натрапив на вдосконалені типи через проект Liquid Haskell, та залежні типи через Coq та Agda. …

57 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Якщо у мене є список ключових значень від 1 до 100 і я хочу організувати їх у масиві з 11 відер, мене вчили формувати модову функцію H=kmod 11H=kmod 11 H = k \bmod \ 11 Тепер усі значення будуть розміщені одне за одним у 9 рядках. Наприклад, у першому відрі …

57 data-structures  hash  hash-tables  primes 

У цьому посібнику з програмування збірки я читав, що 8 біт використовуються для даних, тоді як 1 біт - це паритет, який потім використовується для виявлення помилок паритету (викликаних апаратними несправностями або електричними порушеннями). Це правда?

56 computer-architecture  numeral-representations 

Я розумію проблему на високому рівні і розумію, що якби це було абсолютно «доведено», що це правда із запропонованим рішенням, це відкрило б двері для вирішення численних проблем у царині інформатики.П= NПP=NPP=NP Моє запитання: якщо хтось опублікує незаперечний, конструктивний доказ , то які саме негайні наслідки ми б побачили від …

56 complexity-theory  p-vs-np 

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

55 complexity-theory  p-vs-np 

Чи існує набір мов програмування на мові програмування для того, щоб він вважався Тюрінг завершеним? З того, що я можу сказати з вікіпедії , мова повинна підтримувати рекурсію, або, здавалося б, повинна бути здатна працювати без зупинки. Це все є для цього?

55 computability  programming-languages  turing-machines  turing-completeness 

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

55 algorithms  time-complexity  optimization  sorting 

Чи всі рядки коду Морзе однозначно розшифровуються? Без пробілів, ......-...-..---.-----.-..-..-.. це може бути, Hello Worldале, можливо, перша літера є 5- адже це виглядає дуже малоймовірним, що довільна послідовність крапок і тире повинна мати унікальний переклад. Можливо, можна використовувати нерівність Крафта, але це стосується лише префіксальних кодів . Код Морзе з …

54 information-theory  coding-theory