Запитання з тегом «reference-request»

У Доказаннях та видах Жирара ми можемо прочитати: З алгоритмічної точки зору, послідовне обчислення не має ізоморфізму Керрі-Говарда через безліч способів написання одного і того ж доказу. Це заважає нам використовувати його як типізований -calculus, хоча ми бачимо деяку глибоку структуру такого роду, ймовірно, пов'язану з паралелізмом.λλ\lambda Докази та типи …

9 reference-request  logic  parallel-computing 

Я опублікував це на MathUnderflow, але не отримав відповідей, тому подумав, що спробую тут, Я читаю стару книгу Рабіна та Фішера [опублікую посилання, коли це можливо], де, серед іншого, доведена подвійна експоненціальна складність арифметики Пресбургера. Доказ покладається на існування формули Ян( х )Ян(х)I_{n}(x) неофіційно стверджує "х <22k x + 1х<22кх+1x …

9 complexity-theory  reference-request  logic 

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

9 reference-request  computational-geometry 

Я почув кілька можливих пояснень, тому мені хотілося б довіряти посилання. Оновлення 05.19: Мене цікавить питання, оскільки один із моїх студентів написав у своїй дисертації, що назва походить із нижченаведеного пояснення (1). До цього часу я думав / чув, що це походить від пояснення (2). Мені було б погано як …

9 terminology  reference-request  history 

@ Відповідь Бабу на недавнє запитання нагадує мені, що свого часу я думаю, що я прочитав документ про еквівалентність (з точки зору обох фактів, які можна зробити висновками або довести, та складності часу виконання алгоритму висновку) аналізу потоків даних , абстрактна інтерпретація та тип висновку . У деяких підставах (як, …

9 reference-request  compilers  type-inference  program-optimization 

Це питання стосується перетину теорії ймовірностей та обчислювальної складності. Одним із ключових спостережень є те, що деякі дистрибуції легше генерувати, ніж інші. Наприклад, проблема Давши число , поверніть рівномірно розподілене число з .ннniii0 ≤ i &lt; n0≤i&lt;н0 \leq i < n легко вирішити. З іншого боку, наступна проблема є або …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Я переглядаю таку проблему: Дано nnn-вимірні вектори натуральних чисел v1,…,vmv1,…,vmv_1, \ldots, v_m і деякий вхідний вектор uuu, є uuu лінійна комбінація viviv_iз натуральними коефіцієнтами чисел? тобто є якісь t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N} де u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + t_m v_m? Очевидно, що реальну версію цієї проблеми можна …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Формальна мова над алфавітом є підмножиною , тобто, набір слів в цьому алфавіті. Дві формальні мови і є рівними, якщо відповідні множини дорівнюють як підмножини . Можна використовувати мови в теорії складності для формалізації поняття "проблема". Можна поскаржитися, що «взагалі» рівність розширення не можна визначити, але я вважаю, що це …

9 complexity-theory  formal-languages  reference-request 

Нещодавно я поставив запитання щодо Math SE. Ще немає відповіді. Це питання пов'язане з цим питанням, але більше технічних деталей щодо інформатики. Дано два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1)і де набір станів, вхідний алфавіт та функція переходу і однакові, початкові стани і кінцеві (приймаючі) стани можуть бути …

9 formal-languages  reference-request  finite-automata 

Чи легкий / відомий цей варіант проблеми сукупності підмножини? Враховуючи ціле і набір натуральних чисел таких, що кожен має максимум біти, встановлені на ( ); чи існує підмножина така, що сума її елементів дорівнює ?mmmA={x1,x2,...,xn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\}xixix_ik=2k=2k=2111xi=2bi1+2bi2,bi1,bi2≥0xi=2bi1+2bi2,bi1,bi2≥0x_i = 2^{b_{i_1}}+2^{b_{i_2}},\;\; b_{i_1},b_{i_2}\geq 0A′⊆AA′⊆AA' \subseteq Ammm Це в ? Чи …

9 complexity-theory  reference-request  decision-problem 

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

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Чи є якісь дискретні знання з веб-ресурсів з математики з наборами проблем?

9 reference-request  education  discrete-mathematics 

Це тривіальна вправа в кінцевих автоматиках, щоб показати, що не існує алгоритму, який би міг виявити всі віруси, але є багато програмних компаній, що продають антивірусне програмне забезпечення. Чи є частина CS, яка займається вірусами та антивірусами? PS: Я не прошу виправдання, пов’язане з тим, що не стосується CS, мати …

9 reference-request  security 

Які алгоритми машинного навчання (крім SVM) використовують принцип структурної мінімізації ризиків ?

9 reference-request  machine-learning