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

Задача лінійного програмування: знайдіть алгоритм сильно-поліноміального часу, який для заданої матриці A ∈ Rm × n і b ∈ Rm вирішує, чи існує x ∈ Rn з Ax ≥ b. Я знаю, що Стів Смайл перераховує деякі невирішені проблеми математики. Але така проблема лінійного програмування досі не вирішена?

12 algorithms  polynomial-time  linear-programming 

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

12 machine-learning  artificial-intelligence  neural-networks  image-processing  computer-vision 

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

12 garbage-collection  resource-allocation 

Я намагаюся відтворити синтетичні мережі (графіки), описані в деяких роботах. Зазначено, що модель Барабасі-Альберта використовувалася для створення " безмасштабних мереж з розподілом ступеня енергетичного права, PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} ". PAPAP_A - розподіл ймовірностей, який повертає ймовірність вузла, що має ступінь kkk . Наприклад, PA(2)PA(2)P_A(2) вказує на ймовірність випадкового вибору вузла …

12 algorithms  graph-theory  graphs  randomness  sampling 

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

12 term-rewriting 

Мені цікаво, у чому полягає складність часу визначення порожнечі для двосторонніх ДФА? Тобто, кінцеві автомати, які можуть рухатись назад на вхідній стрічці лише для читання. Згідно з Вікіпедією, вони еквівалентні DFA, хоча еквівалентний DFA може бути експоненціально більшим. Я виявив складність держави для їх доповнення та перехрестя, але не для …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

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

12 turing-machines  undecidability  halting-problem 

Якщо ні, то що це означає, коли для деякого стану qqq і деякого символу аaa , δ( q, а )δ(q,a)\delta(q, a) не існує?

12 terminology  automata  finite-automata 

Мені було цікаво, так як * сама зірка-вільний мову, є регулярний мову , який не є зіркою вільного мови? Чи можете ви навести приклад?a∗a∗a^* (з wikipdia ) Лоусон визначає мови без зірок як: За звичайною мовою кажуть, що вона не має зірки, якщо її можна описати за допомогою регулярного вираження, …

12 formal-languages  regular-languages  automata 

Хочу довести, що доповнення не є регулярним використанням властивостей закриття.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Я розумію, що накачана лема може бути використана, щоб довести, що не є звичайною мовою. Я також розумію, що регулярні мови закриваються під час доповнення. Однак, це також означає, що доповнення мови є нерегулярним?{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n …

12 formal-languages  regular-languages  closure-properties 

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

12 operating-systems  memory-allocation  virtual-memory  paging  memory-management 

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

12 terminology  machine-learning  pattern-recognition  bayesian-statistics 

Зараз я читаю вступ до алгоритмів і дійшов до алгоритму Джонсона, який залежить від того, щоб переконатися, що всі шляхи позитивні. algo залежить від пошуку нової вагової функції (w '), яка є позитивною для всіх ребер і зберігає правильність найкоротших співвідношень шляхів. Це робиться шляхом обчислення значень h (s), h …

12 algorithms  graph-theory  graphs  shortest-path 

У курсах CS коледжів є багато деталей щодо носіїв, що містять шуму, таких як Kogge-Stone, Lander-Fischer тощо. Вони описуються як "поширені в галузі". Однак я не можу знайти жодних доказів (окрім, мабуть, Манчестерської ланцюжка) з останніх часів, що вони фактично використовуються десь конкретно. Пошук у Google повертає лише сторінки журналів …

12 computer-architecture 

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

12 algorithms  regular-expressions