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

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

11 concurrency  synchronization  mutual-exclusion 

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

11 algorithms  graphs  optimization  matching  bipartite-matching 

Тест-раунд Google Hash Code 2015 ( постановка проблеми ) запитав про таку проблему: вхід: сітка з позначеними квадратами, порогом T ∈ N , максимальною площею A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} Вихід: найбільша можлива площа безлічі непересічних прямокутників з цілими координатами в загальній складності таким чином, що кожен прямокутник …

11 complexity-theory  reductions  np-hard 

Мені було цікаво, чому стрічка / стрічки не є частиною формального визначення машини Тюрінга. Розглянемо, наприклад, формальне визначення машини Тюрінга на сторінці Вікіпедії . Визначення, слідуючи за Хопкрофтом і Уллманом, включає: кінцевий набір станів , алфавіт стрічки , порожній символ , початковий стан , набір кінцевих станів , і функція …

11 turing-machines  computation-models 

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

11 programming-languages  finite-model-theory  fixed-point 

Я початковий студент CS, і я вивчаю алгоритми. Я чув, що навіть із квантовими комп'ютерами ці загальні алгоритми сортування ніколи не можуть мати кращого часу. Однак я також знаю, що алгоритми факторингу були б набагато швидшими. Взагалі, які алгоритми стали б значно швидшими з квантовими комп'ютерами?nlognnlog⁡nn\log n

11 algorithms  quantum-computing 

Мені цікаво, чи існує поліноміальний алгоритм для "2-SAT з XOR-відношеннями". І 2-SAT, і XOR-SAT знаходяться в P, але чи є їх комбінація? Приклад введення: 2-SAT частина: (a or !b) and (b or c) and (b or d) XOR частина: (a xor b xor c xor 1) and (b xor c …

11 np-complete  satisfiability  xor  2-sat 

Я знаю, що це нерозумно, але мені вдалося заплутати себе, і мені потрібна допомога, щоб вирішити це Припустимо, , то для кожного оракула явно маємо що суперечить тому, що існує якийсь оракул для якого , отже,A P A = N P A A P A ≠ N P A P …

11 complexity-theory  p-vs-np  oracle-machines 

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

11 algorithms  data-compression  mathematical-programming 

Чи існування невирішених проблем негайно передбачає непередбачуваність фізичних систем? Розглянемо проблему зупинки, спочатку побудуємо фізичну UTM, скажімо, використовуючи звичайну побудову на основі схеми. Тоді не може існувати рішуча фізична теорія, яка може визначити, з огляду на будь-які вхідні параметри ланцюгів, чи зупинятиметься схема. Це здається дрібницею, але чи це не …

11 computability  turing-machines  undecidability  physics 

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

11 algorithms  graph-theory  graph-isomorphism 

Я дивлюся на Облік споруд та його місце в кубі Ламбди . Якщо я правильно розумію, кожну вісь куба можна вважати додаванням ще однієї операції, що включає типи, для просто набраного числення, λ→λ→\lambda_\to . Перша вісь додає операторів типу-до-терміна, друга операторів типу-типу, а третя-операторів, що залежать від типу, або термінів-тип-операторів. …

11 terminology  lambda-calculus  type-theory  dependent-types 

Нехай - деяка проблема підрахунку, яка, як відомо, є # P -комплект .ΠΠ\PiППP Чи означає це, що є A P X- твердим (тобто PTAS для проблеми не існує, якщо P = N P )?ΠΠ\PiА ПХАПХAPXП= NПП=NПP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Я читав, що такі ОС, як Android та iOS, якимось чином оптимізовані для покращення роботи акумулятора. Я розумію, що процесор виконує певну кількість операцій в певний час, так що я думаю , що ви можете прискорити роботу додатків за рахунок скорочення числа необхідних операцій, але так як процесор буде по- …

11 computer-architecture  operating-systems  performance  program-optimization 

Мені цікаво, чи є якісь проблеми, що стосуються які є "многочленними" в середньому випадку. Я думаю, що є два способи інтерпретувати це?NПNПNP Якщо , чи може існувати алгоритм, що розв'язує задачу твердого з амортизованим (середнім випадком) часом роботи для постійної ?П≠ NПП≠NПP \neq NPNПNПNPО ( н.)к)О(нк)O(n^k)ккk Чи є якісь проблеми, …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis