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

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

20 reference-request  pl.programming-languages  semantics  compilers 

У моєму дослідженні нещодавно з’явилася така цікава проблема: ІНСТАНЦІЯ: Графік .Г ( V, Е)G(V,E)G(V, E) РІШЕННЯ: Безкоректне завершення непарного циклу, визначене як надмножина крайового набору так, щоб завершений графік мав властивість, що кожне ребро в міститься в непарному циклі без акордів.Е'E′E'ЕEEГ'( V, Е')G′(V,E′)G'(V, E')Г'G′G' ВИМІР: Розмір завершення, тобто.| Е'- Е||E′−E||E' …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Назвіть кілька відомих результатів для знаходження точного n-мірного масиву всередині n-мірного масиву? У 1D це лише відповідність рядків, KMP робить це в лінійний час. У 2D, цей документ показав, що це можна зробити в лінійний час з невеликим додатковим простором. Чи можна цю проблему вирішити в лінійний час у найгіршому …

20 ds.algorithms  reference-request  string-matching 

Припустимо, графік з n вершинами представлений у вигляді потоку з m ребер, але через потік дозволено кілька проходів.GGGnnnmmm Моніка Раух Гензінгер, Прабхакар Рагаван і Шрідар Раджагопалан зауважили, що простір необхідний, щоб визначити, чи існує шлях між двома заданими вершинами в G , якщо через дані дозволено проходження k . (Див. …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Я шукаю гарне опитування алгоритмів та складності лінійної алгебри (такі операції, як рангові, зворотні, власні значення, ... для булевих, та матриць цілих чисел / раціональних) з акцентом на паралельні ( N C ієрархія) та політаймні алгоритми . Не знайшов останніх.FpFp\mathbb{F}_pNCNCNC Чи знаєте ви гарне нещодавнє опитування чи книгу про складність …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

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

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

Класична проблема теорії ймовірностей полягає у вираженні ймовірності події з точки зору більш конкретних подій. У найпростішому випадку можна сказати P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Напишемо B для випадку ∩ B .ABABABA∩BA∩BA \cap B P[∪Ai]P[∪Ai]P[\cup A_i]AiAiA_iP[∪Ai]≤∑P[Ai]P[∪Ai]≤∑P[Ai]P[\cup A_i] \le \sum P[A_i]P[∪Ai]≤∑iP[Ai]−maxj∑i≠jP[AiAj].P[∪Ai]≤∑iP[Ai]−maxj∑i≠jP[AiAj].P[\cup A_i] \le \sum_i …

20 reference-request  pr.probability 

У класі складності існують деякі проблеми, які НЕ знаходяться в класі N C , тобто проблеми з детермінованими паралельними алгоритмами. Проблема із максимальним потоком - один із прикладів. І існують проблеми, ЩО ВЕРІТАЄТЬСЯ бути в N C , але доказів ще не знайдено.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Ідеальний Matching проблема є однією з найбільш …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Існує велика література про "тестування властивостей" - проблема внесення невеликої кількості запитів у чорну скриньку до функції для розрізнення двох випадків:f: { 0 , 1 }н→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R - член деякого класу функцій CfffСC\mathcal{C} є ε -far з кожної функції в класі C .fffεε\varepsilonСC\mathcal{C} Діапазон функції іноді булевий: R = …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Клас складності PPAD (наприклад, обчислення різних рівноваг Неша) можна визначити як сукупність політематичних задач пошуку, зведених до кінця лінії : Кінець лінії : задані схеми S і P з n вхідними бітами і n вихідними бітами, так що P (0 n ) = 0 n ! = S (0 n …

20 reference-request  combinatory-logic  graph-theory  ppad 

Доповнення ланцюг являє собою послідовність позитивних цілих чисел (x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n) , де x1=1x1=1x_1 = 1 , і кожен індекс i≥2i≥2i\ge 2 , ми маємо xi=xj+xkxi=xj+xkx_i = x_j + x_k для деяких індексів 1≤j,k&lt;i1≤j,k&lt;i1\le j,k < i . Довжина додавання ланцюга nnn ; мішень з крапельної ланцюга xnxnx_n . …

20 reference-request  np-hardness 

Це питання схоже на більш загальне питання про те, яка правильна теоретична модель комп'ютера для проектування алгоритму та структури даних. Тут я запитую конкретно про сучасні високопродуктивні комп’ютери (наприклад, ті, що перераховані як Top 500 ) або навіть про майбутні суперкомп'ютери. Зважаючи на те, що ці комп'ютери, як правило, працюють …

20 reference-request  soft-question  machine-models 

Основне / загальне питання Нехай - мова. Визначте мови допомогою і для . Розглянемо . Отже, ми неодноразово «вбудовували» у себе, щоб отримати .L I L 0 = L L я = { х ш у : х у ∈ L я - 1 , W ∈ L } я …

19 reference-request  fl.formal-languages 

У квантовому обчисленні адіабати (AQC) кодується розв’язання задачі на оптимізацію в основному стані [задачі] Гамільтонів . Щоб дійти до цього основного стану, ви починаєте у легко охолоджуваному початковому (ґрунтовому) стані з гамільтоніанським H i та "відпалом" (адіабатично збуреним) у напрямку H p , тобтоHpHpH_pHiHiH_iHpHpH_p H(s)=sHi+(1−s)HpH(s)=sHi+(1−s)Hp H(s) = s H_i + …

19 reference-request  quantum-computing  physics  topology 

Яка часова складність (а не складність запиту) алгоритму Гровера? Мені здається зрозумілим, що це оскільки єΩ( √Ω ( лог( N) N--√)Ω(журнал⁡(N)N)\Omega(\log(N) \sqrt{N})ітерації та кожна ітерація вимагає використання операції відображення, яка, у свою чергу, вимагає часуΩ(log(N)),використовуючи будь-який стандартний набір універсальних воріт.Ω ( N--√)Ω(N)\Omega(\sqrt{N})Ω ( лог( N) )Ω(журнал⁡(N))\Omega(\log(N)) Проблема полягає в тому, …

19 reference-request  quantum-computing  time-complexity