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

З огляду на упереджене NNN однобічне відмирання, як можна рівномірно генерувати випадкове число в діапазоні [1,N][1,N][1,N] ? Розподіл ймовірностей граней штампів невідомий. Все, що відомо, це те, що кожне обличчя має ненульову ймовірність і що розподіл ймовірностей однаковий для всіх кидків (зокрема, кидки незалежні). Це очевидне узагальнення справедливих результатів з …

18 probability-theory  randomized-algorithms  random-number-generator 

Розглянемо наступну дуже просту комп'ютерну програму: for i = 1 to n: y[i] = x[p[i]] Тут і - -елементних масивів байтів, а - -елементний масив слів. Тут є великим, наприклад, (так що лише незначна частка даних вписується в будь-яку пам'ять кешу).ххxууyннnpppннnннnn = 231н=231n = 2^{31} Припустимо, що складається з випадкових …

18 parallel-computing  cpu-cache  memory-hardware 

Мене цікавить невеликий варіант плитки, головоломки «лобзик»: кожен край (квадратної) плитки позначений символом від , і дві плитки можуть бути розміщені поруч один до одного, якщо символ на лицьовому краю однієї плитки дорівнює k, а символ на лицьовому краю іншої плитки - ˉ k , для деяких k ∈ { …

18 complexity-theory  np-complete  tiling 

Якщо у мене є складна проблема, один із стандартних підходів - це висловити це як екземпляр SAT і спробувати запустити на ньому SAT-рішення. Інший стандартний підхід - це висловити це як проблему задоволення обмежень та спробувати використовувати вирішувач CSP. Вони відчувають себе якось невиразно схожими на те, які проблеми можуть …

18 heuristics  sat-solvers  constraint-programming 

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

18 terminology  programming-languages  api-design 

У вас є масив з яти різних елементів. У вас є доступ до компаратора (функція чорної скриньки, яка бере два елементи a і b і повертає справжній iff a < b ) і справді випадкове джерело бітів (функція чорної скриньки не бере аргументів і повертає незалежно рівномірно випадковий біт). Розглянемо …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

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

18 graph-theory  combinatorics  check-my-proof 

З огляду на регулярну мову , то легко довести, що існує константа N така, що σ ∈ L , при | σ | ≥ N існують рядки α , β і γ такі, що | α β | ≤ N і | β | ≠ ϵ , а для всіх …

18 formal-languages  proof-techniques 

Дано n × nн×нn \times n матрицю . Нехай обернена матриця буде (тобто ). Припустимо, що один елемент у змінено (скажімо, на ). Мета - знайти після цієї зміни. Чи існує метод пошуку цієї мети, який є більш ефективним, ніж перерахунок зворотної матриці з нуля.A A - 1 A A …

18 algorithms  numerical-analysis  online-algorithms 

У своїй книзі рандомізованих алгоритми , Motwani і Raghavan відкрити введення з описом їх функції RandQS - рандомізованих - де швидкої сортуванням стрижень, який використовується для поділу безлічі на дві частини, вибирається випадковим чином . Я протягом певного часу ламаю свої (правда, дещо недооцінені) мізки, але я не зміг зрозуміти, …

18 algorithm-analysis  sorting  randomized-algorithms 

Вікіпедія визначає, якою вона є Кажуть, що алгоритм має поліноміальний час, якщо його час роботи верхній межами виражається поліномом у розмірі входу для алгоритму, тобто для деякої постійної k.Т( n ) = O ( nк)Т(н)=О(нк)T(n) = O(n^k) Алгоритм працює в сильно поліноміальний час, якщо [8] кількість операцій в арифметичній моделі …

18 complexity-theory 

Останнім часом я самостійно вивчаю максимізацію очікувань і захоплюю собі кілька простих прикладів. З тут : Є три монети , і з , і відповідну ймовірність для посадки на голові , коли кинув. Кидок . Якщо результат - голова, тричі киньте , інше киньте тричі. Дані, які спостерігаються та є …

18 probability-theory  statistics 

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

18 logic  reference-request  terminology  type-theory 

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

18 complexity-theory  np-complete  reductions 

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

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis